{"entities":{"Q3867162":{"pageid":5897067,"ns":120,"title":"Item:Q3867162","lastrevid":81210209,"modified":"2026-05-06T17:59:36Z","type":"item","id":"Q3867162","labels":{"en":{"language":"en","value":"Verification Decidability of Presburger Array Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3669836"}},"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":"Q3867162$AE429BA8-7187-49AD-86D5-5F30F5E0808C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1421256d91c2a1cf20723c4072813ca7a552e83","datavalue":{"value":{"text":"Verification Decidability of Presburger Array Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3867162$A92D8D25-857B-438A-9A71-9317FA7BB318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead76a41756fa6d51fb0ca1b506c69bc34f0ac78","datavalue":{"value":"0429.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867162$934A40AA-B677-4E49-AAC7-5CD44D36FC5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbee64546f9a8d81febd24c71542297ebf2dfa24","datavalue":{"value":"10.1145/322169.322185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867162$35944FB9-FB52-4CAE-9D92-58A8161A47D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86305d09d8636bbbb70a6e71e58eec30567b23e6","datavalue":{"value":{"entity-type":"item","numeric-id":1077921,"id":"Q1077921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867162$56DA7E53-FCFB-45A4-B027-56D805526D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0baa12020f77c50c652a395427c785368d68e911","datavalue":{"value":{"entity-type":"item","numeric-id":3867161,"id":"Q3867161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867162$4D4BBF55-1903-4FD4-95C0-5C7C7B9444FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867162$D739D3F4-CD3D-486C-998B-5AB47CE21775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3867162$2C8A800B-B768-476C-AF04-0C5C597551E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3654ccff3ca1c225403e76c6030f3a3f11504444","datavalue":{"value":"https://figshare.com/articles/journal_contribution/Verification_decidability_of_Presburger_array_programs/6612710","type":"string"},"datatype":"url"},"type":"statement","id":"Q3867162$0C743954-1942-499B-9B81-B4952609C875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867162$4D15511E-7C7D-43FB-AB5F-C2670986E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867162$28ADF8B1-345C-4EAE-8A29-33F1A268A71F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bbf3fcae59a8202f29f49ff779762f70d438833","datavalue":{"value":"3669836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867162$2CB1A33F-4CA7-48C8-A43B-70747C74C41D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867162$A296D57C-9A2C-4384-A5BE-1466BA6522A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b69167b0534a85aeae676226175cf2a47d89b6","datavalue":{"value":"dicision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867162$9C4A378D-0D5E-40A4-BFF0-29CF449D5D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdadc0a6d8efa66dc771d3e281710f689e7ed74f","datavalue":{"value":"Presburger array theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867162$C4018089-3679-4556-A5F6-89A1314BB8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867162$5611F175-ABB6-4D4E-AF6B-0D4088870B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867162$C5D2E8F1-FBDA-42D0-B36D-EE9D3408E74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867162$385E5DC6-3614-4DDE-910C-FEF6D83F48D8","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":"Q3867162$D72F334D-6376-4F59-B75E-19861531B41A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"897ab31ea22b9bced0b12bd8be51888002223ebe","datavalue":{"value":"W2092518806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867162$B08161EE-393B-4537-98D6-DBBD37F326CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification Decidability of Presburger Array Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_Decidability_of_Presburger_Array_Programs"}}}}}