{"entities":{"Q2709804":{"pageid":2720543,"ns":120,"title":"Item:Q2709804","lastrevid":47597908,"modified":"2026-01-02T04:33:40Z","type":"item","id":"Q2709804","labels":{"en":{"language":"en","value":"A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587158"}},"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":"Q2709804$0C0D135C-84BB-44C2-A00A-CBB98548380D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f83d230dc39cca0205dedde1c4ed0261b38653d2","datavalue":{"value":"0970.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709804$46B841F6-735C-47C7-9946-D58EF50D667E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709804$0F911105-29D9-4BC2-928F-21E4A4C3A253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709804$017937F3-AC9B-4765-87B1-E5763CA3BF78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0314b5a051dfeeb73cb27a5aea010a13792ac7cc","datavalue":{"value":{"time":"+2001-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709804$8FBD6E84-E6C5-4A75-851D-9033D73D9688","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709804$82EE13FA-7642-4192-AA65-7DBDF971BBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709804$CADDC057-FADD-400D-91EE-2693A8CEC78C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f037ec211111e266041535c674a274f6261523f0","datavalue":{"value":"1587158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709804$751B8C61-66D4-4E67-B9FA-5A86FF9FBB6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709804$18BC7253-9B9C-472D-B89A-FBFE16CBD112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e6746d0f7c5a0ed7d354464ddef3d744a36387","datavalue":{"value":"lemma speculation mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709804$83EE96BC-DD1B-4FA1-8A70-CDEBF8C81723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548f2a0c8cb0d7ed5102da751139308480121184","datavalue":{"value":"Presburger Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709804$264A3415-C6F6-45AB-B2E5-9FE63BB5F8C5","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":"Q2709804$53F4DCB5-AEDF-4ACB-8BBC-DE24CAD21FF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3188f5f52457038d86b420e9d095ece1bfed4f7","datavalue":{"value":{"text":"A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709804$31550338-1C0E-49EF-B56C-8D02FB9B386F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709804$373EA55A-CDAA-4A88-9D94-97AF53311BE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97bab009359a69f6aba70a8416f3d9c2262960","datavalue":{"value":{"entity-type":"item","numeric-id":2738486,"id":"Q2738486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3117adb006ea96c3c09a551501bf4a8ee4c211","datavalue":{"value":{"amount":"+0.7714672684669495","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":"Q2709804$11D8B666-2DA3-46EA-BC19-1CAE74B12FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5333c900d359772d6b5aecd422238f1cecf5c","datavalue":{"value":{"entity-type":"item","numeric-id":3533130,"id":"Q3533130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3117adb006ea96c3c09a551501bf4a8ee4c211","datavalue":{"value":{"amount":"+0.7714672684669495","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":"Q2709804$C0C6C3AA-6796-4156-A2DC-72D73A462694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0ff884d4790cbbdbf5a3dd6f4113725c2a73d8","datavalue":{"value":{"amount":"+0.7536180019378662","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":"Q2709804$5EC442F5-2296-4EC0-B29D-2DAD60725489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786bc49782152e86f8b4d584ce79d4cdf315744f","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3a52d13da0ac8e4d071f47aa2ae6617ad1092c","datavalue":{"value":{"amount":"+0.7513865232467651","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":"Q2709804$5A58624A-C098-47DC-A48C-3DB66BBB9367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c83d06f502aa0ec7275e55aad7398af4dbb019a","datavalue":{"value":{"entity-type":"item","numeric-id":3559760,"id":"Q3559760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd76c7eb36f7502bd081953639d5e800d226b5a0","datavalue":{"value":{"amount":"+0.744756281375885","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":"Q2709804$B10D91DB-E66F-4668-BCC5-6E457CF4AF9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2709804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2709804"}}}}}