{"entities":{"Q2863168":{"pageid":2873888,"ns":120,"title":"Item:Q2863168","lastrevid":79620977,"modified":"2026-05-06T14:20:32Z","type":"item","id":"Q2863168","labels":{"en":{"language":"en","value":"Polynomial time certifying algorithms for the planar quantified integer programming problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6231635"}},"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":"Q2863168$8D604041-5D74-4377-A438-3D54C84C0CAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00819efbad66a595268b1f51a3a7cced89e3a494","datavalue":{"value":{"text":"Polynomial time certifying algorithms for the planar quantified integer programming problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863168$7BA7B270-41E9-41A4-9ABD-BC5372C709BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bec87478d1367c0c48ef1efc6b718da2dcd65627","datavalue":{"value":"1275.90041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863168$18DB542D-087D-49E0-8226-62659C44CC9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdd4a751ba4fdcf728e9ea46a31d246e59bdb21f","datavalue":{"value":{"time":"+2013-11-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":"Q2863168$ACD03C23-FB72-4660-B780-49A64821D8E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863168$8D74F951-D308-4EDB-BD49-86819533B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863168$6A39107E-12F9-447F-8891-4665694E0A3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54da5d3c0e4acd0dd38545a52da8855c1d396aa9","datavalue":{"value":"6231635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863168$9D6713A3-BBF0-4B0E-B509-0560BFA221BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46dc9e5ce8a3e8c2ddfc0b27f61fe6f6d98a0f3d","datavalue":{"value":"certifying algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863168$CB7E9B15-686E-467D-81AC-57ED4DB6BEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863168$C57A47F1-0328-4594-9D24-4FD35F6AE863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f974d2f262a55bade55cb060b866e1820807dfd6","datavalue":{"value":"quantified integer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863168$B96EC165-E6AF-4483-A71B-FE5DC9D0CEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863168$9EA263B3-ADC2-4C7A-813F-CA384272A640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02fd21e2652775d60624658cb6c4e5cc261bd7f7","datavalue":{"value":"lattice points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863168$5FD3E588-9B75-46A5-BDD9-10227CA4B8AD","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":"Q2863168$6636CCE5-3258-4CB3-BD9F-76202D98BD2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa71b66c4ec76305c4c018bcc0379a7dc1193d20","datavalue":{"value":"https://doi.org/10.1093/logcom/exs034","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863168$BD4E1ECC-93B5-41A5-9E5C-2639AED568CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d721230d6e7f9dbe5ab64db9f32477900034955","datavalue":{"value":"W2073611300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863168$238CCFE2-F05D-4B83-9ADA-4E1BC53A7535","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ae30e2f1e15ccacde57f2a7d953f1a2f1ad758","datavalue":{"value":"10.1093/LOGCOM/EXS034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863168$8D2B984C-24EA-4946-8D8A-B054E2078763","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863168$67C94134-C7FA-4775-A08F-15A15E983D3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"983928b7656c60453534a904a1745ac5d00facc5","datavalue":{"value":{"entity-type":"item","numeric-id":6773349,"id":"Q6773349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863168$F4BD23CE-6C93-495E-9508-385FAEC8202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9e7edf86a1b780ed66eebcc96aceea63a47512c","datavalue":{"value":{"entity-type":"item","numeric-id":5402703,"id":"Q5402703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863168$1C7FD178-1F18-4FB1-8CA5-6F8B0E6D0DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8910726455793299703107bf10730f18627a1980","datavalue":{"value":{"entity-type":"item","numeric-id":408528,"id":"Q408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863168$A2236C02-33FA-4C44-9267-C13B9F13A0A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20144824755ce67035036226fb663b727c819291","datavalue":{"value":{"entity-type":"item","numeric-id":5111426,"id":"Q5111426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ec1fbf28ccccbb1c8f8359bdcdbeaf08f33cb7","datavalue":{"value":{"amount":"+0.7710585594177246","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":"Q2863168$AF07EA66-9D69-4F06-AC5C-9877C8CDC287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830885bef6ce9923a8b3fe7c5acb7d5497235590","datavalue":{"value":{"entity-type":"item","numeric-id":5307072,"id":"Q5307072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad90cbbe891424af98fa5414b3559a9825c0e753","datavalue":{"value":{"amount":"+0.7518717646598816","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":"Q2863168$2659715D-2B81-4FE1-8E73-133A64F1E5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6782f0bd49a18e9b1fcf9d83bb6796c630301c00","datavalue":{"value":{"entity-type":"item","numeric-id":5384023,"id":"Q5384023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a99bc130a198e2d18678296f609069e94467f94","datavalue":{"value":{"amount":"+0.7401795983314514","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":"Q2863168$96B14AA5-95B9-4473-876E-4ADCC71C80F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5955708cc37919f0288331673aeb52686d7edfe5","datavalue":{"value":{"entity-type":"item","numeric-id":1771307,"id":"Q1771307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2250678c01a747ba757b12adff8b592d8870b4","datavalue":{"value":{"amount":"+0.7326840758323669","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":"Q2863168$214D3AE4-0791-46EC-8337-67B9EDE36732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca8011dee68a10a91d30117035492b59a8da225","datavalue":{"value":{"entity-type":"item","numeric-id":3586489,"id":"Q3586489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60f2eba8306d10d009662c342f401a997df2419","datavalue":{"value":{"amount":"+0.7302709221839905","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":"Q2863168$F85B34D1-D88E-4063-AC7D-D0C067BBB581","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial time certifying algorithms for the planar quantified integer programming problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_time_certifying_algorithms_for_the_planar_quantified_integer_programming_problem"}}}}}