{"entities":{"Q2358081":{"pageid":2368824,"ns":120,"title":"Item:Q2358081","lastrevid":74299347,"modified":"2026-04-14T19:25:12Z","type":"item","id":"Q2358081","labels":{"en":{"language":"en","value":"Credible autocoding of convex optimization algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6734002"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$4FA4417F-C417-4DFA-9A5A-CDCA9320DAD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9317a8be5cbc90097477bfd7ee85588ee5eabc7f","datavalue":{"value":{"text":"Credible autocoding of convex optimization algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358081$E0A4C559-6B9C-4CBC-A429-262F770C6266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"999207a99b765a7303f5390e978c8b9406fb5197","datavalue":{"value":"1364.90247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$91E7C6E2-8162-4BC7-AA86-CDBECC43BFB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"614dd981950be8545b32ba57aaf81af0bf231246","datavalue":{"value":{"entity-type":"item","numeric-id":2358079,"id":"Q2358079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$74D5FE31-6DFC-43F5-ABD1-054746FF0A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a89298df4fb395c8a2896b55cb50484348a5481","datavalue":{"value":{"entity-type":"item","numeric-id":2358080,"id":"Q2358080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$210DD3EE-2F77-4B80-9EEA-07D5B6D0EA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947999c367037277243554e8f44908cab3697255","datavalue":{"value":{"entity-type":"item","numeric-id":2147211,"id":"Q2147211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$88E3FD96-9C99-484F-A97E-67DE66A5DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$65811A70-2A0D-4329-A64A-854462FA9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7d9335554c9a7856800d3e449acd3b42cd7a15","datavalue":{"value":{"entity-type":"item","numeric-id":1128971,"id":"Q1128971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$ECBD5A37-42AE-4FA2-99F6-F008504CB635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cff0a2417d7693db5ef847bb34c831d5e919a27f","datavalue":{"value":{"entity-type":"item","numeric-id":248042,"id":"Q248042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$8D1FBF8B-2F8F-4777-B12A-1F630F67E78C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7e8499deb8d27ab9be1d7c956abc410ef4dd706b","datavalue":{"value":{"entity-type":"item","numeric-id":81902,"id":"Q81902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$A3D753B4-53EE-4D87-AFBC-CA5555A32B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f889432403f3e87ba72d1eb34a5f814171f1311","datavalue":{"value":{"time":"+2017-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2358081$3C6EE4AF-BBC9-40DC-BC76-4362BE82596E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27c7c85a169a605e6bad338838cd0e63d23e88f0","datavalue":{"value":"https://arxiv.org/abs/1403.1861","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358081$762AC756-266A-4A3E-9135-4125ACA7EC3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$61CD3EB1-1EA8-4FE1-80F5-BF68A4610282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ac3edbc9a781214f87fc7c9c04c2c17e13b7ca7","datavalue":{"value":"90C51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$019F3E63-93B1-4D2A-B7DD-2DF9132A7E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$6C46A919-5EA0-460A-95A8-F0E033989293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$561AD290-4065-4B26-A080-E763516BDFEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d932d4c39fbfb2985dfa0c998ba61b62c3cb2b5","datavalue":{"value":"6734002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$1286B458-B213-44E9-B526-1EE37572D10A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf6c6bc13235317e263a8900998cf3b2bc82b2d","datavalue":{"value":"control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$112E76AA-9887-4575-96D4-C7E13A8DFB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5d587e9d9188fbe0ad6533f111851a3fd79d31","datavalue":{"value":"autocoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$FD0D2AEF-7B3D-4583-BB77-5EA6808408BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77eee0c7c78ed06532d2592ffb157169e7ddf6b9","datavalue":{"value":"Lyapunov proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$CAFC971F-D944-4A37-9ACA-18F33E7C82F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$083654C1-E9E9-4DF6-B9DA-A8BC07BCEBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$53BC9C7F-EAEC-445C-A287-80A58FF0CFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22cdef1ea933bc70a54e0c4d7527bfb3ea401ee","datavalue":{"value":"interior-point method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$B31C18C4-0DAA-48C2-AA95-D4EFDD1FF27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$FD8ACE06-F4EE-4238-849C-452EF0666A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59b6fbd93e932ad270b3f0bab8c6d74c6d46279","datavalue":{"value":"Frama-C","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358081$A4A27DB3-85EE-4983-8C0B-F858E1D32A01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba38666b847b4b6791ef188ff5703b737cb3f61","datavalue":{"value":{"entity-type":"item","numeric-id":16199,"id":"Q16199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$6E521A25-86DC-4159-8E80-4CF3E7DEA071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$94C7BEA3-73CB-4E00-A956-D2A4607A0BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$EA905F2E-0557-4A70-B90C-FFB8099835FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c5814a0a3b47b1b5455e3eaa345adcdfd08dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":16192,"id":"Q16192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$D09BF8BD-BADB-4A13-8B5F-AB2E54937833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$3F3338EA-C1E7-4536-9DF6-CFE8AD87C1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$29E7E738-0866-4C4B-94C2-375221668E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$E752C543-481A-4F51-BA76-23C98055B0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$573493C3-7857-4FBC-B3A9-F2C4D9E949D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05086a7bc448ad11259c6eeb63c9010c4f0c4e47","datavalue":{"value":{"entity-type":"item","numeric-id":19204,"id":"Q19204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$8C6CEE7C-0A5E-4171-8421-4A1A777EBD8E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$74F5C18A-714F-4950-8C81-2070202C4350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa14289badb209e66510adf84d32e757d73ed107","datavalue":{"value":"W1764453459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$BB3612CC-74C3-46A6-A3F3-343FAA5D3EB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cd9fab3a1191f74e59eeffc31def820784448a5","datavalue":{"value":{"entity-type":"item","numeric-id":4764307,"id":"Q4764307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$0E5F4959-8BC7-448E-B7DC-3B0DD6BDCA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45afa4e1799fc19d419eb9bdcec68f7a01c29679","datavalue":{"value":{"entity-type":"item","numeric-id":4210330,"id":"Q4210330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$021346FF-EC48-46E8-9B3C-B1A5FD0B00B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5f4133e04bfc3c5f5a968116ba461a1733fc52","datavalue":{"value":{"entity-type":"item","numeric-id":4504796,"id":"Q4504796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$09B9B497-DD23-40BB-BCC1-601D869EBA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$3BA56379-DEF0-4974-83C9-6FFB4B785F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb5c4b86439c99a6d41978ddd51751a0bae1bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4326600,"id":"Q4326600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$F04671C3-B373-4BB9-9170-C1DB9FFF7E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfde2fdeb5a42b95d4235268ba2512e2d5448e3b","datavalue":{"value":{"entity-type":"item","numeric-id":1290605,"id":"Q1290605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$31B61ABC-17A2-4207-BDB0-D8045805FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$3C0A013B-73C3-446D-80FC-DE7557CCB04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0a2eadb8a09e3e036e4c16fc4ed5fae4c2e2a","datavalue":{"value":{"entity-type":"item","numeric-id":399985,"id":"Q399985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$2689A553-001E-4940-A397-DB4BC0CF3280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$7D242648-A32E-4A2A-BB84-78DA15A00AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$5D386481-12C6-4BB4-AC28-8758AE2E91AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcf9c064cb648d4614449fb16a79f947219e245","datavalue":{"value":{"entity-type":"item","numeric-id":4305018,"id":"Q4305018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$80ADCEC3-84E2-43CA-9C1D-7327B6160A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$229FA3C7-D1F6-482B-9269-C6C1B6CCD33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb04bfd976a3c8b3ace02065763ba44f1a8a718","datavalue":{"value":{"entity-type":"item","numeric-id":4884041,"id":"Q4884041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$74B83B19-7DBF-432D-9AAE-2C7E1431E81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$BF60AEDD-361A-40C6-9EB8-410BE09E4A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1357631ca7acb09bc3df21cd07ca5e33b448f4","datavalue":{"value":{"entity-type":"item","numeric-id":3124038,"id":"Q3124038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$FE22ACC5-66AC-4DD7-90B9-B217ACCB3526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdc1869ff7a13988487a1f335f8fbd06ac20ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4377581,"id":"Q4377581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$924C78AE-693F-488B-A893-5A7DFFDD2CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d613771cba515337e44b0be1a29d00343d0e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3809587,"id":"Q3809587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$FED7CC99-A15A-4399-A37C-316889001D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fab3ebe8ea17e9d16b3333576de76fa131000e","datavalue":{"value":{"entity-type":"item","numeric-id":1575069,"id":"Q1575069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$8F2666CD-FE26-4D22-8545-8390892F34C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c0342476626a2966d5839a3d4733ee0bcf738c","datavalue":{"value":{"entity-type":"item","numeric-id":4324980,"id":"Q4324980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$6E4DFF9B-5A4D-45CD-BE6F-CE1DDAF66A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2d2eedaafe212e826ba4cc4aff3ae84dc4f2a5","datavalue":{"value":{"entity-type":"item","numeric-id":4389195,"id":"Q4389195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$298CAEC7-960E-46E8-A45F-D55F82971986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c2ed86ad1a88c7e3298f5820557af45af07c76","datavalue":{"value":{"entity-type":"item","numeric-id":2392808,"id":"Q2392808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$F8A55A41-6AB7-4F78-B535-A52D8AE9580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b17b8424fba5b6374a2c090ac13311642ae02f6","datavalue":{"value":{"entity-type":"item","numeric-id":2986757,"id":"Q2986757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$4903CD02-681A-456B-A72A-52D31C9DFD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ee58ad499fc1203e1b5cf68b208b41dc12db6a","datavalue":{"value":{"entity-type":"item","numeric-id":4504774,"id":"Q4504774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$E9FEC58D-CC21-44F1-86EE-6819E0E1FFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7eea56c47b69beac3793f63c4d5421fb66999d5","datavalue":{"value":{"entity-type":"item","numeric-id":3413756,"id":"Q3413756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$F5BA2C58-3DF6-44BD-A666-F0D2B13E0404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8036a48da8a77e0a4e22351306167a4ccbfb91","datavalue":{"value":{"entity-type":"item","numeric-id":4210331,"id":"Q4210331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$EFE9E5BF-AE3A-4A7C-BB70-5B115DA1B897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0abd2676b4a9cbd4e4af419b904f3aeef0e651","datavalue":{"value":{"entity-type":"item","numeric-id":4504792,"id":"Q4504792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$98CF7EA3-A3A4-4F38-BAF9-5FB0A98EBB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02edf3d090fd920360765a517f97bb5b5f600af","datavalue":{"value":{"entity-type":"item","numeric-id":2802543,"id":"Q2802543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358081$41E205FE-6E1E-47FA-A69B-08499846B03C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6f133179def733f692398381a88666acec837f0","datavalue":{"value":"10.1007/S11081-016-9320-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358081$E3EA0FF9-3E64-41C1-8C80-992B6BC18B76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1a600882b169c74b81280188989c314fec32b8","datavalue":{"value":{"entity-type":"item","numeric-id":5703955,"id":"Q5703955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1e8e10687848be804734603e1dc003371f3982","datavalue":{"value":{"amount":"+0.7586746215820312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2358081$181DBC9A-660C-4FAF-B067-23D7C8E87892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6adfdb6297020fb99f2120eeb3dc673fc3abe6","datavalue":{"value":{"entity-type":"item","numeric-id":5222962,"id":"Q5222962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af16410d30a07f96872a98f76184918e7b648119","datavalue":{"value":{"amount":"+0.7465062141418457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2358081$1C4B85F5-E376-40FA-BFE5-C6B502FD7D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9297bff4275ee9a310cdc44db66bca2988faf3","datavalue":{"value":{"entity-type":"item","numeric-id":399985,"id":"Q399985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fde440c80c4bce2ca8c1108bc1ea389ae3cd95a","datavalue":{"value":{"amount":"+0.7436970472335815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2358081$7DE8AFD8-481C-4742-8A99-C27AE23239AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cea081ad8b55454698d68a343d53f27f549b70","datavalue":{"value":{"entity-type":"item","numeric-id":3125564,"id":"Q3125564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dfafe8ed7803a96e74892871935f72d39a389af","datavalue":{"value":{"amount":"+0.7047732472419739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2358081$C5088361-59D2-444A-ABCF-291345B88B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0645a0a9a160c0ae823efc88fc17889a8497aa5","datavalue":{"value":{"entity-type":"item","numeric-id":5492525,"id":"Q5492525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8559a2eb20902cdc1fab828b133c3c5c919513f4","datavalue":{"value":{"amount":"+0.6877456307411194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2358081$CC2453CF-1B24-4460-9EEB-CBA223758558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Credible autocoding of convex optimization algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Credible_autocoding_of_convex_optimization_algorithms"}}}}}