{"entities":{"Q5402572":{"pageid":7432146,"ns":120,"title":"Item:Q5402572","lastrevid":51949472,"modified":"2026-01-20T14:56:28Z","type":"item","id":"Q5402572","labels":{"en":{"language":"en","value":"Presburger arithmetic with bounded quantifier alternation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6270131"}},"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":"Q5402572$4D0370F9-9C11-4A75-8A9B-F258FF8AF900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"761d2336a86310a7d37429f54244e7943e46e679","datavalue":{"value":{"text":"Presburger arithmetic with bounded quantifier alternation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5402572$D1CC21C1-B2EB-40B0-AA56-4952FB4FB941","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fd6cdd8e89b78c3c43d45e6266ec492c4f1f1c9","datavalue":{"value":"1282.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$2CE00780-DE57-4B8E-A261-0DECEEA0C36D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d7ac1356be9fa3957f1b51e6148d5006dc6445a","datavalue":{"value":"10.1145/800133.804361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$F1C67D58-6993-4AE3-B092-88933496F85D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2829c1a1386220ab006ee0a1468db55a2e8980dd","datavalue":{"value":{"entity-type":"item","numeric-id":5402534,"id":"Q5402534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402572$89463706-9272-4171-A3C5-E0A10444FDD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b43a2c2b6eb630f564616ba070a6751b081d8977","datavalue":{"value":{"time":"+2014-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5402572$20561AB4-0688-453E-8664-739BCB8CD8A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$EB0A40E0-9171-48B4-B555-925A4CFE5649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$7183A360-EEE5-426E-B73F-B413B4FCFC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$33E52095-70FB-453A-889C-61059CECA972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$11FB48D1-3A17-4594-A75E-6DF000E9CF00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d354dabf751f3a9c52df1444871f1fc58a86635f","datavalue":{"value":"6270131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$4AB18707-96F5-4E9B-9A91-36A8BE760011","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"004c43b8f6a94912a582d8dcb9996affff2402f2","datavalue":{"value":"Q61013008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$BC2DEACA-4AE2-47A9-87E2-03C8E9BCC6D4","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":"Q5402572$77651F3A-7D15-427E-9D49-7EDD47746816","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40ffec3070733e8a597f6c3ffff32d19c6eeed49","datavalue":{"value":"https://doi.org/10.1145/800133.804361","type":"string"},"datatype":"url"},"type":"statement","id":"Q5402572$8000A5AB-CA36-49DA-BB42-A67BD0EBB073","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05920e068f5296f12e15368b7c22fe1757212c42","datavalue":{"value":"W1969335410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402572$B1EE07EF-2432-4AEF-9531-BDEF3F28D53F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159994b2b5ed65bbd2e7dbaaf340a96380f2dce2","datavalue":{"value":{"entity-type":"item","numeric-id":4226937,"id":"Q4226937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66d7834973a596e00fd1714f1e27e70648baf7e","datavalue":{"value":{"amount":"+0.8112547397613525","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":"Q5402572$13FED96D-E7A9-470B-81A8-677A6D87BDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a617aaf7ed4596b6f5018c727531b146cb7a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1115858,"id":"Q1115858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccbce6a650b3644275683397ba08e35d6f643c4","datavalue":{"value":{"amount":"+0.8048206567764282","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":"Q5402572$D8409813-9A5B-4C68-9953-96E7339F3479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3862a28893d39da92d9fb6a089884e0c6abe3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ade337ffc489d4f972dd4e94ff5c8aed7ab39f8","datavalue":{"value":{"amount":"+0.8021725416183472","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":"Q5402572$FFCBE0C4-3CA9-4900-AF80-DD9FD6637023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc321aed07ee18fb680ff28bfab963ac2b663b56","datavalue":{"value":{"entity-type":"item","numeric-id":3644100,"id":"Q3644100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e48326c0b30482bc60608c59ba868184d96e503","datavalue":{"value":{"amount":"+0.7740292549133301","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":"Q5402572$430C5621-ACD1-480F-8650-C6807826B718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7b8bb72e0c80f6e372a8a89999c6bac81cba3","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc22343a196ecae60ada7cbc77c304d10df1a89","datavalue":{"value":{"amount":"+0.7713882327079773","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":"Q5402572$316118E5-67CC-4257-8292-3B7994D4155E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5402572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5402572"}}}}}