{"entities":{"Q5875677":{"pageid":7905228,"ns":120,"title":"Item:Q5875677","lastrevid":97549919,"modified":"2026-06-05T14:59:38Z","type":"item","id":"Q5875677","labels":{"en":{"language":"en","value":"The Well Structured Problem for Presburger Counter Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650338"}},"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":"Q5875677$27BD4B6C-AD80-4BF2-85B3-9DFE479E1A64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e3e64ea26d6fd909ffe396f4d352d326bd5681","datavalue":{"value":{"entity-type":"item","numeric-id":5875676,"id":"Q5875676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875677$4E17848D-97E2-4F57-BB29-09B969F699CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875677$A4716ABA-A25A-4EC9-A739-3A18BA1546A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-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":"Q5875677$A7B0FF70-3EEF-45D1-B013-D51BD2F0EF84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7624f9837b1da2ff6928d63fc83139141ddf9b24","datavalue":{"value":"https://arxiv.org/abs/1910.02736","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875677$C628DEB1-CD34-4E94-B8F7-D1CF5F8FCA24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875677$6D785FA9-4C74-41F5-B95C-558731F68BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875677$3CAD92B9-89A1-4420-AD77-B06AE23A0F0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f91cbd36f3e8cb0260c916138c54fe91dcc639b","datavalue":{"value":"7650338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875677$658F19D8-2038-4014-B6C4-4E37138F4CA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead3eb7ef3920b5d95f80be94c89bb441800ba04","datavalue":{"value":"well structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875677$049EB6C5-7675-4E82-96F7-9ABE9586BDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ca41c6bd39bc481c6e6cae3f26fd519783289a","datavalue":{"value":"infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875677$6E604496-9371-4270-A470-9D449E63B127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ae675cd5f0056d74849a971c78233355b6407f7","datavalue":{"value":"Presburger counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875677$81A8AC24-5879-4E07-9F6F-8D3895E169F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875677$801E46D3-92C7-4930-A15D-134C08B9F19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875677$9AF802CB-DF63-46DF-B956-C035F641E204","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":"Q5875677$2B3610BA-6934-4005-BDD4-A57ACD8C95F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0b4f918310d89c1691a73578c1c256c70f46364","datavalue":{"value":"W4393108178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875677$51523833-7B25-4282-8195-34062F59E5A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fad35e85d7e5250fddb77449387b024cefe57ac1","datavalue":{"value":{"text":"The Well Structured Problem for Presburger Counter Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875677$67C08E15-9ED7-47B9-8CC1-8DAF67189A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee66b58361e4a1aac7e9a94f61f4a1ae66bdae15","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2019.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875677$F0D522FB-C59C-41E9-BB74-28D60A56A470","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Well Structured Problem for Presburger Counter Machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Well_Structured_Problem_for_Presburger_Counter_Machines"}}}}}