{"entities":{"Q4933327":{"pageid":6962909,"ns":120,"title":"Item:Q4933327","lastrevid":51101810,"modified":"2026-01-16T16:33:37Z","type":"item","id":"Q4933327","labels":{"en":{"language":"en","value":"Interpolating quantifier-free Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798917"}},"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":"Q4933327$0D6EC0CF-4060-4D7C-A7D0-C3096B6A9EED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33b198852b27386914362ba29e6d09ba579f60ad","datavalue":{"value":{"text":"Interpolating Quantifier-Free Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933327$15DD6D37-06A3-41FB-9A83-ECCCAA171192","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"342fed026382e778de8d7627afee72f4448d0ac3","datavalue":{"value":"1306.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$2EE34259-3825-45A5-B647-D0B59E070DE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee405330eb700232dba4ee7d5af293eab383eaa","datavalue":{"value":"10.1007/978-3-642-16242-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$9DF61EA8-7295-4A5F-AB3C-A617A1F0A3D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933327$03570991-7B05-49D4-9BAA-DB3DAD89E6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933327$3701D1FD-A123-4B45-96D4-B2A566448107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933327$0AA2D414-A5B7-4058-B773-B9AD05C91629","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933327$48217ECF-41C9-4B48-B865-A2F1F986D06C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933327$16E64D8D-B4E0-4E2A-A45D-0A464A4A77AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$CC99A2A7-C801-4333-AA6A-8358484F569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$3E92DD91-62DB-496E-BE0C-93148FD759D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$6A9646A1-5CC5-461E-AC12-B39E3A0CD8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$52F934EC-B3C5-445B-9DD4-EFB77CE73E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$BE047F41-631F-42D4-82B1-C50A3813DB80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b3856ae835c51937fe585ab493f3fbcb557a549","datavalue":{"value":"5798917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$BF9FB6AF-1AAD-4C5A-AA23-E2271486ED49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933327$5C7D96D3-7F0B-4656-8944-503F46E69029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84555c80f390a6027108910a1237246dadca1460","datavalue":{"value":{"entity-type":"item","numeric-id":23352,"id":"Q23352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933327$620F0124-4BC3-4316-8CB8-12EF468C6384","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":"Q4933327$E7F7A142-5CEC-43BE-B458-7D55CD1398DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4197ea2fa5a2c7d33d126ea3e769cf64651f253c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933327$3760370A-7F6E-4AA4-AA37-A3F50060D4CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de6f8d2f0c603b0f1ad89d9319cffd4cd41bd58b","datavalue":{"value":"W1541391869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933327$8500AE7E-1BDD-4FC4-B68A-8DA0B89398CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9431cbab61d866d4fa0af21733b3d4eefd8fc797","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535252035c6852e1bf3d062a16f8e1580cb59d61","datavalue":{"value":{"amount":"+0.8955855369567871","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":"Q4933327$7E417602-6333-4C83-93B9-AA41F0ACD84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa46dab62437fe26f20df1ec50a7a09af904958","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb766aea3a777575b3a90965366c6f81b8db0494","datavalue":{"value":{"amount":"+0.8884596228599548","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":"Q4933327$8C56635E-1082-41DE-9C54-A9D1D6F1CBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71603ccd1954a0efcfb58cfda946799b5f3dfc76","datavalue":{"value":{"entity-type":"item","numeric-id":5457276,"id":"Q5457276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f5e4825b5933b53a2af95ec5707d5202d36ac4","datavalue":{"value":{"amount":"+0.8829377889633179","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":"Q4933327$653BE453-D73D-4528-8A52-D7AFAC46A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2265ee5d891285a8dabef4192bba60e0ae380","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c84a87c8544cfb613e5af267bc22a4806b1188","datavalue":{"value":{"amount":"+0.8797780275344849","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":"Q4933327$9AA3CDD9-9B0D-4F33-92A9-43575565A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e412e6216b54f0d01b161d965adaae87ffed390b","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d926609d4119126bf5b2087c3a9d377f4e6e9de7","datavalue":{"value":{"amount":"+0.806562602519989","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":"Q4933327$B0854673-EE37-418A-ACED-CF204E396F51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933327"}}}}}