{"entities":{"Q2280187":{"pageid":2290930,"ns":120,"title":"Item:Q2280187","lastrevid":73028400,"modified":"2026-04-14T09:30:22Z","type":"item","id":"Q2280187","labels":{"en":{"language":"en","value":"Co-finiteness and co-emptiness of reachability sets in vector addition systems with states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144259"}},"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":"Q2280187$ED476CB8-233E-484F-A5FA-CE1C58B6ED1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d2f8c6d55a5f2c6ff14a1ccc7174537e53822a0","datavalue":{"value":{"text":"Co-finiteness and co-emptiness of reachability sets in vector addition systems with states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280187$D6F333D5-E225-4BD7-81D7-CA2B351073F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bb56a1c827c03f318ac2583f04400e2a3050e30","datavalue":{"value":"1427.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280187$54B1A18F-5485-4C66-9E85-C52A71355F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"678f697fb2b9cb4525a0ebbb07b513483f5ca73b","datavalue":{"value":"10.1007/978-3-319-91268-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280187$EEB97DAE-4837-4899-8030-19F25CC02A36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280187$522850F2-B28C-45B3-92A9-D4D08AC741DF","rank":"normal"},{"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":"Q2280187$B55D4ADB-800E-42FF-9ACF-9241AD573BA7","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":"Q2280187$9BDC3089-33D1-4D6A-90C7-4E67A112163F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280187$9DEF9DC3-B167-4397-A59B-2AE331986FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280187$E4BC94BB-9D9F-4D26-A1A3-97670DC5833B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e371dcbad8032ec66004cd98ec627c6eacd5292","datavalue":{"value":"7144259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280187$072CB5EC-5D0E-46F1-AC90-63BE807CBB4C","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":"Q2280187$1D1873F2-10B9-4A40-ABEC-787F9BAB744F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"251bcf8054e08ed7af443f784cc141067d0b5a71","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91268-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280187$ADA90C40-3CD9-48DF-B094-49D3084CC640","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1377227aa8c09e96ed3492841de76795b33b5db","datavalue":{"value":"W2802885047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280187$1C36C875-0ED4-4285-BFDA-A6D40D5128FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bd52d5af1e96a97733291109b10990211cb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5212023,"id":"Q5212023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e968a721ee0967681840d96c638ce97a1d51f52","datavalue":{"value":{"amount":"+0.9895724654197692","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":"Q2280187$CFFECB23-5FB4-400E-B6F5-8D435DDE61EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee6bc36eb8240d0762a30665c49e403a3cebfe0","datavalue":{"value":{"entity-type":"item","numeric-id":1096388,"id":"Q1096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa54e25c0c511bb6d10a4fea3b9fec30da78394","datavalue":{"value":{"amount":"+0.7802545428276062","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":"Q2280187$CCC4D775-3EB9-4730-98CD-F9A803F4D1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bebfb55df70a67a39b39483e90948de59f74ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75011c884673eaadb5927f9edd0e301f0f5d805","datavalue":{"value":{"amount":"+0.7647550106048584","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":"Q2280187$7814A0A3-AC44-45D9-ACB7-9A63099934B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6972c9af15409fa0cbb86117818aeb57e819a8cc","datavalue":{"value":{"entity-type":"item","numeric-id":3090839,"id":"Q3090839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d795c71195cda20138a8f825f622861d59e48b","datavalue":{"value":{"amount":"+0.7625290751457214","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":"Q2280187$3119C442-73C8-4157-97F0-124DA409958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d153a80ed2cf60efdfe27a6579acf5d6bbfb2049","datavalue":{"value":{"entity-type":"item","numeric-id":4913768,"id":"Q4913768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b606487244989efc30fd58bda58d7be176c9d5b0","datavalue":{"value":{"amount":"+0.7618793845176697","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":"Q2280187$969B2BC2-372C-42FA-9DF9-5F0FC211F235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Co-finiteness and co-emptiness of reachability sets in vector addition systems with states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Co-finiteness_and_co-emptiness_of_reachability_sets_in_vector_addition_systems_with_states"}}}}}