{"entities":{"Q6536123":{"pageid":14147266,"ns":120,"title":"Item:Q6536123","lastrevid":103506191,"modified":"2026-06-06T07:30:33Z","type":"item","id":"Q6536123","labels":{"en":{"language":"en","value":"Verified reductions for optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827800"}},"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":"Q6536123$F8B8F25D-052E-4F49-B94E-DED2C9AE223B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57883fda78bcc59937bdc36e17910492c869c5d5","datavalue":{"value":{"text":"Verified reductions for optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536123$55AB76AD-131E-41F0-8C11-6B31E5B75635","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc3e3e2cbfbea817a6b9f580e7b9a31707096b3c","datavalue":{"value":"1547.68802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536123$223BBFBE-113E-4EAC-9FBC-4BC9F143FE2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"059f8da136295eb1b1ff930f8c6a07b447e56637","datavalue":{"value":"10.1007/978-3-031-30820-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536123$64C4ABB6-AF65-43BD-B123-BD857EE2F113","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15de60d15cad4f16d9ed61faf6018fbe1d338db4","datavalue":{"value":{"entity-type":"item","numeric-id":1687713,"id":"Q1687713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$5DC1786A-938B-4FF2-9F1B-466EDB0623E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7ecb067658e7c3fd12da21c0701295e873dfc92","datavalue":{"value":{"entity-type":"item","numeric-id":6536122,"id":"Q6536122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$7CBA233A-12AF-451E-ACDF-EEC7D63BF805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$8DC84243-EFD4-4845-AEA8-5421D7990A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536123$FACA8E6E-FB95-452E-81DB-81108444197D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536123$C8AE3D3D-C119-41A2-ADEE-26C9628E12C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536123$22DA3D22-CE7A-463E-917F-D26A3C496CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536123$2EA047A4-2035-4988-88A9-242E51022D92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bf8de6f619f3e5bada627fe448bdea5c415e688","datavalue":{"value":"7827800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536123$E2293A62-CBEC-41A0-9FBF-5115A0B0D115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa9082850ef5aaf62ad9291428eef26530da341","datavalue":{"value":"convex optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536123$D5C35569-78B7-4DE7-B4E4-C7AAD45D7A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536123$92460039-59B6-4179-A2CC-688C5B9980C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536123$9234DD71-EF9B-4FF0-AF23-180264CEF6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e540ca58d1a9e42c0629b103315795436942397","datavalue":{"value":"disciplined convex programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536123$2285B2E9-7650-47AC-B631-C96A185BAECB","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":"Q6536123$34A419DC-9C45-4A60-B012-9C4B6AC15968","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066227740a05ac9876c29d9de52af7dfb287e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3577299,"id":"Q3577299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$E3A22B8A-6CB0-4ABC-AA1D-609AA0E0E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$663C34D3-4A04-4658-A463-39BF8300F76D","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":"Q6536123$5CF15124-381D-46CF-B752-C7DF3516A5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32df54dd4f40d89dfafa93388ae440235a4e65c5","datavalue":{"value":{"entity-type":"item","numeric-id":6099601,"id":"Q6099601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$3A634E39-4968-4794-A33A-01181ED9DC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca2cb695ccee87b37905ebfd04f155e8df7f201","datavalue":{"value":{"entity-type":"item","numeric-id":2810900,"id":"Q2810900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$A157059E-38B5-471E-BFF8-F9125DBEF5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$56A7246A-BC3D-4C2B-B795-4D7A2C7921B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e33f415b292b1f9feeec7aefd60bf439d08b92","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$7475E494-BB23-44D5-86AF-4F15D1E5BB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712a32954a311addc7a19196093b29f13389ecc8","datavalue":{"value":{"entity-type":"item","numeric-id":5492525,"id":"Q5492525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$C1E8E117-0A4B-40FD-9D66-6CED9C2AE9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb026c7f4679de1f9e698ead828cb6959dff56","datavalue":{"value":{"entity-type":"item","numeric-id":3523169,"id":"Q3523169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$E9B5EF85-6E71-4B76-B311-58A9839C3BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd7258a5420cbf7afd8553324e9ca4af833e4ce","datavalue":{"value":{"entity-type":"item","numeric-id":6039404,"id":"Q6039404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$E92202C3-368C-441C-A9F9-DD1571590C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b953e3a38cb9987d56770768dcde6df4c409e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195260,"id":"Q5195260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$F858B6A0-B97A-461E-8B89-F036C1ED61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$DDFE0CD8-1BED-4BF0-BDE4-368B596A89AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$C9A16815-1FE4-41C0-8775-3C3778F44BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a39c07a78d18939c196193b8de4bb59f0b6a3d","datavalue":{"value":{"entity-type":"item","numeric-id":5195289,"id":"Q5195289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$6C354519-C178-47BB-BE46-0A6A5ECBE7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2bd05d0fea4d9097820c33105ce6ed2776cdf3","datavalue":{"value":{"entity-type":"item","numeric-id":723525,"id":"Q723525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$41DFEF09-BF75-4CD6-88E7-ADC09D96B2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$CC657946-8BC9-4DE9-BC21-0C84484A3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$093B2814-AC8D-4ED1-A339-2C7718BF2EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$372915A2-3C03-43E1-90CA-7643F489DDC2","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":"Q6536123$8C78CBF3-3F1F-4E53-906A-C0F31F45F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5207ee9c58d8f03a0722f13a961abc274ee25d26","datavalue":{"value":{"entity-type":"item","numeric-id":4997179,"id":"Q4997179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$B7F690B5-240E-466F-884F-99AB005E1AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f8aa0cd6445d5e7b23aeb54b852f7e85ec1bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3575753,"id":"Q3575753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea812fabb7d3fd41caded2177f44953db978ac2","datavalue":{"value":{"amount":"+0.7114585638046265","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":"Q6536123$DA079CE6-2A79-4C2C-ADA7-615161617333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b960e703bc230c6b47eae1ea55701393834829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5195260,"id":"Q5195260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a229918aad04b5e58041a78871ada2f5b90b3a06","datavalue":{"value":{"amount":"+0.6972407102584839","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":"Q6536123$17FE971F-B790-499B-9582-F039F43096A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfb46b1c60bcb104edba7d01e22549d17480659","datavalue":{"value":{"entity-type":"item","numeric-id":4874513,"id":"Q4874513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50c97cba6be6d67ce6f581fd74cdf99323c4dac","datavalue":{"value":{"amount":"+0.6819342374801636","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":"Q6536123$80D69C62-0632-42F4-BD52-FC1EC1F9673A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaf5d295452acd4bf9474f2d2b914ba436b4b9f","datavalue":{"value":{"entity-type":"item","numeric-id":849186,"id":"Q849186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b025aefaaaf1711dbeebce216f0ac49e2af83d","datavalue":{"value":{"amount":"+0.6779962182044983","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":"Q6536123$B50020A5-D829-4452-B71F-BBC3908790EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6840980edfc1ce07407a60811bb14db44f32e6","datavalue":{"value":{"entity-type":"item","numeric-id":3320119,"id":"Q3320119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051beb322fa4e894b656edc8b570918c8a51fdb9","datavalue":{"value":{"amount":"+0.6684750914573669","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":"Q6536123$491CAEC5-30BC-4D8F-B943-78EC8A35B41F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536123$FB564B65-D840-4EF0-956C-F32A7A0859B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified reductions for optimization (scientific article; zbMATH DE number 7827800)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_reductions_for_optimization_(scientific_article;_zbMATH_DE_number_7827800)"}}}}}