{"entities":{"Q3447697":{"pageid":5185584,"ns":120,"title":"Item:Q3447697","lastrevid":52376066,"modified":"2026-01-22T12:24:03Z","type":"item","id":"Q3447697","labels":{"en":{"language":"en","value":"Equivalence between model-checking flat counter systems and Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499384"}},"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":"Q3447697$8AFD1314-E4E6-42D0-8CD8-FA6D81A2AC05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"767d3dee927cd7388c33212b3c772ddd243d8938","datavalue":{"value":{"text":"Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447697$E7B3EA19-A25A-41E8-AD71-3A56A6B94EA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a022620067388407be93ac1449cb07f8568663c7","datavalue":{"value":"1393.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$3D6C6105-8218-4C72-87EE-B3B55E6ABC3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15566c1ee330966a9ef0907825761152c46ed1e1","datavalue":{"value":"10.1007/978-3-319-11439-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$CAB9919D-A599-41EA-A5D1-0B8402A6E423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$800B8A84-D8DE-4539-BE16-4A1265B780E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1c823f5d5fd5b0c407dc7510efaf74dcd5c92d0","datavalue":{"value":{"entity-type":"item","numeric-id":780265,"id":"Q780265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$F95A44DF-87FB-46CA-A616-68F9331A2ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$E486B28F-E8B1-4F4D-B5A3-0FB505B23F58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$09BC4091-F275-415C-9ED4-4A5A0E22043C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447697$817B84FB-8F7E-4A59-8B06-C8C1A96FB0D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$2D9B69F5-F900-43F9-9375-7FCA1B5160EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$E3D68FB1-9035-41D6-AE41-8CF2DF30EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$900243E2-DB20-4E7F-9069-83C7404917A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$6A5182BC-B5E7-45D7-8D6C-795CFF1ED171","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaf7b6c38f8c29a4559d9aab4331860d4c965e0f","datavalue":{"value":"6499384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$5E6F5502-7F18-4E1E-A6D0-39777E5D1907","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":"Q3447697$900DA129-7142-431B-9A3D-D27B7BC8661E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59c5887bca4af27433a41c334747cb22bbc6a614","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11439-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447697$5C91D49C-9193-4DAD-9908-A52B2AEA0379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1289fe55d8448b7a25012fdb01297232bf53497c","datavalue":{"value":"W148785827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447697$A04AC121-C9D2-4535-81AC-4B14978003C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$88AA9D7C-D60D-46D9-9F3E-011649B85371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc9bfb11b1d511cd45fd080c66ab1b5b1bc418f","datavalue":{"value":{"entity-type":"item","numeric-id":3172883,"id":"Q3172883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$CC4D562A-A80B-4590-8FD8-FAC4ABE9CC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abcff6cd19fe8b80835781dc513a44f3b9342311","datavalue":{"value":{"entity-type":"item","numeric-id":2938069,"id":"Q2938069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$B2CE2CF3-5FDD-4DFA-BA55-BA1D691E47D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271962d85602043f4192c764dbe7df02ec403d76","datavalue":{"value":{"entity-type":"item","numeric-id":4418693,"id":"Q4418693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$5BBEC68C-2C25-48EE-9CE1-2A322C059346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd3a1bc30a732576ffd3e14b8a69138fdfcf491","datavalue":{"value":{"entity-type":"item","numeric-id":2908489,"id":"Q2908489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$922740D6-E90C-48ED-AC35-1FD8FF9F38A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929af19db05d0ac71649bb087b8f378178cc8090","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$E50B2AD4-1198-4397-86A1-025212AD6E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8c68f6ccbf13c46f9f52bbeb1df847a2fc02ca","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$2B8DE7B2-43C0-45B9-84B5-4CAF3DE60B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$594022D7-A568-47A6-A8E8-6AFC60BF7AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$C828C028-5E11-4CBF-B987-62F63FB4F020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$92030390-3667-42B9-90B8-B182B1150287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0f72372efe1eb598fd4bd21cc20b8872f096f","datavalue":{"value":{"entity-type":"item","numeric-id":2892786,"id":"Q2892786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$B92C6BD8-3C83-4608-9764-C2C258FA49FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383e561ba133ae6ce11804c4d67fd1c4dc389c29","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$CD1E366F-846F-473A-A286-D65851887AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20c77cca311b366cff19997c4533db649f8e26d","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$1E03ABED-76C0-4679-8E3D-42C123EB2EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bf8c9558bca3e0f8fae1fbf6604d3b0e30b3b1","datavalue":{"value":{"entity-type":"item","numeric-id":3617759,"id":"Q3617759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$07E408D2-C116-4C41-8429-A3FADF562101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f317985b3380a3c2e7c5ee71bf31263870b10a","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$3281F7A5-60FA-49BC-907E-447D0065D93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$3810D0BA-44EB-459C-9EB1-1162FD7B7E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$96F53F86-665C-4087-985F-773A122684E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32d77f4f8589e445a34178d486a16c0f1a8fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":6487371,"id":"Q6487371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447697$6996C741-99F0-4843-BDDD-234D90FC4DCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522fe27fae911b9860320ffbea44e0f7e7a22dca","datavalue":{"value":{"entity-type":"item","numeric-id":2636509,"id":"Q2636509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208d57e26bf51aefc84bec2f2d28417a9bc8601b","datavalue":{"value":{"amount":"+0.9910897612571716","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":"Q3447697$861338A0-B343-4367-A6C3-0A7102B10E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29f104c062d810eb205c185094771add2f78107","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c69f4be2f21bdabe26eba46c783941a10cdfbd","datavalue":{"value":{"amount":"+0.8856533765792847","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":"Q3447697$8A2B1BC1-FFB7-4AA4-87AF-0E714E0733BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f98120be9e6a59c6dfc61fe30e86f9fc9f0e40","datavalue":{"value":{"entity-type":"item","numeric-id":3522931,"id":"Q3522931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506d42c36bf14a1762e7b4cf4bab8b0d7636075c","datavalue":{"value":{"amount":"+0.853654146194458","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":"Q3447697$A2F6655D-B4DB-4067-BA66-3469391A5517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9f39e9d5496f447a769dd204b070745a41e50f","datavalue":{"value":{"entity-type":"item","numeric-id":2287113,"id":"Q2287113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35806ec4c5dd4f6941972badd69d3bf5c18127e5","datavalue":{"value":{"amount":"+0.8302483558654785","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":"Q3447697$197FBC33-ECA1-4B75-A695-1423E04D279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2300ef07600f880942ad86fdfe4cb07feac06953","datavalue":{"value":{"entity-type":"item","numeric-id":2908489,"id":"Q2908489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2497640f53162df2015289e5e7fcabb8da96bd79","datavalue":{"value":{"amount":"+0.8242316842079163","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":"Q3447697$76258767-A560-41E0-A899-49380E9E0AD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447697"}}}}}