{"entities":{"Q5090970":{"pageid":7120546,"ns":120,"title":"Item:Q5090970","lastrevid":55416805,"modified":"2026-02-17T15:58:30Z","type":"item","id":"Q5090970","labels":{"en":{"language":"en","value":"Reachability for two-counter machines with one test and one reset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561336"}},"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":"Q5090970$5EC289B5-D1D6-4CB6-A8CB-A5014A31637F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$8C907800-6BA8-4192-933A-E8131A351C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$7D18230C-50CA-47E6-B4B9-EC9BDE742D51","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":"Q5090970$5A715257-5F97-4554-92A1-118B6AEE3FD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090970$B7F124A2-4910-4603-9DAD-A05E365A9F07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090970$C83760C2-BDC8-4419-9134-3825A876E128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090970$584F2F63-F0C0-4545-BE73-2CADF80ECF38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae656b89866e47bb6f9de21862d1dda41dabcd82","datavalue":{"value":"7561336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090970$5A7D0525-57BC-4F05-A69C-617A0E95EE18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd5810e09eb9d045d853e6d3a83c77489d2c8b0a","datavalue":{"value":"counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090970$E1D6FB6B-BC92-46A4-919E-B5244A5C1FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090970$C0AE8543-50D3-432C-8E6C-6C79CABC76F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090970$F24AABCF-6C66-4C0B-BC78-0770D5E13EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090970$5263394B-8476-4FAF-9A80-642458E25CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090970$E9F9E3B9-D1C5-4546-8061-EA34967BAC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0be45dcf28f014d73413c8c1b0a2751733f815","datavalue":{"value":"infinite-state system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090970$E0934A87-AF21-46EC-89BF-C146981F1B03","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":"Q5090970$804B630B-A881-4C9B-BF3B-9C6E10ADC42E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfa81ef0043b6191fb5feb48a00ca2374c09d8b","datavalue":{"value":{"entity-type":"item","numeric-id":5111656,"id":"Q5111656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$367C3C16-BB13-4B62-88CB-1D0CE3A6498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$51C4FF02-C624-4F5C-810F-14D5C5788038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b700b25c7efe122ffb832060352d677e3fd6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3088035,"id":"Q3088035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$870F682A-6898-45DA-825F-AA0554831B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee59f756acb656e1f28b1558bc8657277a6a8c18","datavalue":{"value":{"entity-type":"item","numeric-id":2908849,"id":"Q2908849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$AFCD19FE-BB28-42C3-9E5D-0C5FB318DAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$22A621CB-B192-4064-B2CF-FFEFB7406F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b535dfaa1c90eb455e7f79ab1884232d5aced7","datavalue":{"value":{"entity-type":"item","numeric-id":4938633,"id":"Q4938633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$273D4312-2245-4C77-AF8F-32E4ED2CB616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20606d83cecdb234bd184a0c25c9f7a0b87d6472","datavalue":{"value":{"entity-type":"item","numeric-id":5904054,"id":"Q5904054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$D3E8FB23-52D0-48B7-B23D-B9EA50153C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cc1981494dacca42406e45618b1594b674d52","datavalue":{"value":{"entity-type":"item","numeric-id":4635905,"id":"Q4635905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$F50C790C-42E1-4225-BF95-D38399B5834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322e16969b238b8660b960b569724df918e1816e","datavalue":{"value":{"entity-type":"item","numeric-id":3401106,"id":"Q3401106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$AA4D4CE0-7517-4B6A-969F-11041F955337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$045A145D-A79A-4EB4-A7CB-C0841FBA336C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7fc761bd6c2a3fd05d9c50e6e91d9f8a210cd1","datavalue":{"value":{"entity-type":"item","numeric-id":4536371,"id":"Q4536371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$65ADE940-E911-4144-9EB8-2FEC9C5397DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6facdbfd57f59bbf3890e7a6341ee0b6944e23fc","datavalue":{"value":{"entity-type":"item","numeric-id":4501546,"id":"Q4501546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$01A72C38-3A86-4875-9E2F-1DBA027E1F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$9029A6F1-CD56-428B-ADA0-898B2246B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$92B2974F-6C8E-4A9C-9BC5-E669EBF98B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4482eabab25d00cf3435e58a07e62415aad5eb07","datavalue":{"value":{"entity-type":"item","numeric-id":1708715,"id":"Q1708715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$E54C2315-9A73-4802-B704-04CDE14F5E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6939b53be21bf5a18add9c837c8e0773dc51966","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$B5D4DDFB-D6E2-4A31-9BA2-F35513593912","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":"Q5090970$9D5071C4-DE2D-4FCA-9FD4-1FB0A0B4E719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7d7dc538448798d6a394d1f6aa8ca50196bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090970$99A0E4D3-B36B-46DF-85B6-0447D6B63A38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43b176a2a80714a3a6e5a44640167f470ad768a0","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090970$62A6A97D-2819-4FB4-8644-0593382FF030","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded0b65e31206f203c16e107ce50f843566e0263","datavalue":{"value":{"entity-type":"item","numeric-id":4501546,"id":"Q4501546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7117817ef48431cbaa32ed5772eecb4a8007c8","datavalue":{"value":{"amount":"+0.796838104724884","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":"Q5090970$0715C5F4-CE4F-408A-A387-53D0C5B7A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ee0935c407b6eec3c7889c192f3f0348a3fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5891189,"id":"Q5891189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d6906c678209596976b572879cedf8249e7236","datavalue":{"value":{"amount":"+0.7624505758285522","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":"Q5090970$250B2186-494E-4945-B269-9913FDA3C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c92121520e08fb0e1bd8d57e3ccab6e8ed2d9c","datavalue":{"value":{"entity-type":"item","numeric-id":5891236,"id":"Q5891236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54793c1ff28c830eef271ebe56d7412ed3f10159","datavalue":{"value":{"amount":"+0.7535156011581421","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":"Q5090970$3A0D381B-FCA4-411B-A13B-735C4A6915F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76473f2d635e38cb527a421a361c57d2af27b6cb","datavalue":{"value":{"amount":"+0.7460587024688721","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":"Q5090970$2A407330-EA2C-4F10-B72E-195EFBEE5BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c05e9b330450b223d8d87db7e0e4fb8ab2c92a0","datavalue":{"value":{"entity-type":"item","numeric-id":1606993,"id":"Q1606993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0e2d8e2612eb636dbdec34fd0db37435fad858","datavalue":{"value":{"amount":"+0.7446858882904053","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":"Q5090970$1B845B67-6BE7-464A-9220-CF2551DC03C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090970"}}}}}