{"entities":{"Q814932":{"pageid":816780,"ns":120,"title":"Item:Q814932","lastrevid":64543554,"modified":"2026-04-11T20:36:33Z","type":"item","id":"Q814932","labels":{"en":{"language":"en","value":"Tractable fragments of Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004507"}},"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":"Q814932$CFEB582C-DBF6-48CE-A8A5-2FAE300B65FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58aca52aa4ad39b1851965622f7ad15785b5d995","datavalue":{"value":{"text":"Tractable fragments of Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814932$FE832D28-88C1-408E-8AA4-16928E3641A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34d0205f6f250e57d87c1008efba91cfe7d21b68","datavalue":{"value":"1090.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$E8D618DC-44E0-4E13-970F-D49B91D927F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814932$25784A97-2CE9-488F-90E4-53CA898DFC43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814932$E8899244-09F6-4B03-A74C-5E711AAEDA58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$0BE4E5CC-1E4F-41D1-957A-45E77431283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$15654151-DABA-4644-9717-2BD49E8AF1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$71DF5877-D0BC-4D5B-AFEC-31B0A45294A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$8F12117F-C0E1-4638-93FA-3FEBE1AFDF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$8633F4F6-66D1-4A33-A594-A2B98B234835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$E946E236-EC87-4EF0-B732-2992DA7DED0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18de190e3b7636a5e06b8dd583f88c686bc707cf","datavalue":{"value":"5004507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$1B2D7041-BF80-49B1-939E-A3598A1AF3E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814932$F0F8D9BB-441D-4361-8C7B-7DAA59322788","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":"Q814932$7191829A-83CD-42A4-9EDA-D0CE912EB51A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"248174a70f5c026166f670e0e94ca71db822d91e","datavalue":{"value":"https://doi.org/10.1007/s00224-004-1220-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q814932$E52BF8DE-77B7-4AEF-B47F-7463681BEA9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fcd2dd33adf8ab733a29d521273746716700746","datavalue":{"value":"W2004986771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$2927D317-C4D7-4F96-81A9-EED9D454E4EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c20618cbafe6ec7bce81704f61a8b4b800b95c07","datavalue":{"value":"10.1007/S00224-004-1220-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814932$07FBEE3E-9A4A-474D-BF9F-A9A2D3B19A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8732e26f8d15ae4cae8412877dd84cfa77075d38","datavalue":{"value":{"entity-type":"item","numeric-id":1406364,"id":"Q1406364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc06cb244fbbf3a956d523e85aca39493d6366e","datavalue":{"value":{"amount":"+0.905013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$B6C5301E-02DC-4C14-B397-701D68AD3A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9766df94d85e726aef2d7d44105014162c6a07","datavalue":{"value":{"amount":"+0.89707345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$9A804687-1F72-4701-B617-32CA9C6C4AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a4becb10e26532e7027b9cd185843738385eab","datavalue":{"value":{"entity-type":"item","numeric-id":4508549,"id":"Q4508549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7b5fc859a08414aaf313af731d17f0f9fcca4f","datavalue":{"value":{"amount":"+0.8929869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$0BF71645-C37D-4035-AC69-F8E46F960896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4b4295caf884c112dbad7abad8d95641060e87","datavalue":{"value":{"entity-type":"item","numeric-id":3772178,"id":"Q3772178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7b5fc859a08414aaf313af731d17f0f9fcca4f","datavalue":{"value":{"amount":"+0.8929869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$D7DA3933-5807-4164-B98C-E846A8AB4423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49ad2b8116e6902ded335362a6bf17f00df7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390846578515d0c7214f2ff5a85b5554de651b46","datavalue":{"value":{"amount":"+0.88962674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$33E1DC20-68FC-4D47-97E6-9F730A040636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3932d866120a09013e5abd64bc9f660cc2f4cb9","datavalue":{"value":{"amount":"+0.8788271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$29E41BD1-6CBE-42E1-863E-D1A5EFC382F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fef675336c16911523bbc6017aad17c385efd46","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29459b629e75ed9a9ce106f37763a4bab92c8f70","datavalue":{"value":{"amount":"+0.8767746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$5E019274-C34D-4177-8D26-2BFD22040ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc188e67486c3bba51656ae7c1009a78c2a0abb4","datavalue":{"value":{"entity-type":"item","numeric-id":5108850,"id":"Q5108850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9beb55134b4fef87869f4663aacfc61fbd19e917","datavalue":{"value":{"amount":"+0.8751501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$4D40B190-0004-44B1-9B59-125A7CD7FEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef264c81ad4e40ab22074417652c61dbd792d58","datavalue":{"value":{"entity-type":"item","numeric-id":5722258,"id":"Q5722258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e478d55a20d6f38b93f6982f0059da317d3027c8","datavalue":{"value":{"amount":"+0.8739447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$B3CCC991-E1F5-48D9-85B2-10C8E2C5F625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8af720e80fa579b8633b1a88550edd6f36b9ab","datavalue":{"value":{"amount":"+0.8736881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q814932$FBC54C41-2D81-40AB-A5D4-C7841D269D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractable fragments of Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tractable_fragments_of_Presburger_arithmetic"}}}}}