{"entities":{"Q4964728":{"pageid":6994307,"ns":120,"title":"Item:Q4964728","lastrevid":58379715,"modified":"2026-04-04T23:24:23Z","type":"item","id":"Q4964728","labels":{"en":{"language":"en","value":"An optimal decision procedure for MPNL over the integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317261"}},"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":"Q4964728$1356C513-3423-44FA-9F4C-439BEBEDD2FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"487ff7d7abe06dda1dcbff10db19cf9aefff359b","datavalue":{"value":"1457.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964728$B0A04F77-F957-4310-8542-E1C72D67F645","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964728$9A32F797-7FBF-46D9-9903-733A748A4F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964728$B00BCD36-D2A3-40A6-88FA-492FC288F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964728$4CE68E49-A990-4469-B722-1EF890BAD462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964728$65E88194-C36B-4FB3-BCFF-8C6668E62723","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964728$EFBC940A-5588-4290-9196-6F10A3630F7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a22fea6b57711870b4416be3a87423d4697021e9","datavalue":{"value":"https://arxiv.org/abs/1106.1241","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964728$C1442D7F-BD54-47F4-A83C-82E2ACF17AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"32dfb114dc5271180839649e5d5e1af959fd48e1","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964728$CF47D89A-D335-4141-851E-A6F3A89975E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964728$1AE2419D-E1AB-449F-995E-ADE53E8CBFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964728$21B15FB7-89FD-482B-B4E2-210CA90313FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964728$60B7CB45-41A7-44FC-A9B6-C59667F341BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"752afee7fc543a6b622f7205abf4174b51523485","datavalue":{"value":"7317261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964728$857A19EA-B3C3-4A1D-8545-7A70178E5785","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":"Q4964728$A98A9C1E-38FB-407D-A8FD-1FD4355BC840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fd21b5c067f7c4f20b7325bf62fd2eb12c8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":391115,"id":"Q391115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8c2635553fa820306f2870f82317aa0addeec2","datavalue":{"value":{"amount":"+0.9784976840019226","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":"Q4964728$D5DF38E1-214F-4CFE-A828-5016CB89BBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aedf9e076449ba4784ac01d163fcfd7509becb5","datavalue":{"value":{"entity-type":"item","numeric-id":2999204,"id":"Q2999204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58c41c6ba748eff65dd1d657a3e457a9bfafae0","datavalue":{"value":{"amount":"+0.8840505480766296","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":"Q4964728$CA3957C8-603D-4378-AAA0-7C407B26AE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b2b0efec64b0781a2bd4cf7fb518bd2cb3cc05","datavalue":{"value":{"entity-type":"item","numeric-id":877892,"id":"Q877892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62be3956de715112d8a00d73f3a4642433075788","datavalue":{"value":{"amount":"+0.8485347628593445","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":"Q4964728$EDD9156B-F517-4E81-A549-9E822D2C4210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43889391dd4cea5135e0e90aaede9409cd021968","datavalue":{"value":{"entity-type":"item","numeric-id":329414,"id":"Q329414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86783365fc0dbdd1a38594591fa2c1856fad52d9","datavalue":{"value":{"amount":"+0.8312616944313049","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":"Q4964728$30584AD4-0FDB-4419-9953-B931731C839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0261ab9417961fd735dc8c4d11e7cf58fde1932c","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0507289a589e0acfa09d5da61567f7e41fe34eea","datavalue":{"value":{"amount":"+0.8297199606895447","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":"Q4964728$33B689C2-B1A8-41CB-9EE3-5C6D3BD296E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964728"}}}}}