{"entities":{"Q4636622":{"pageid":6666203,"ns":120,"title":"Item:Q4636622","lastrevid":58308942,"modified":"2026-04-04T16:10:44Z","type":"item","id":"Q4636622","labels":{"en":{"language":"en","value":"Separability of reachability sets of vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862116"}},"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":"Q4636622$68685C4B-DAE1-44F4-B3AF-F91083727DDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a77df688172386fef97f1a19a07f1bd174eded","datavalue":{"value":"1402.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636622$A2FDEFEE-FFD6-4AE1-B022-C7A522ED1727","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636622$DE7625BC-2516-4829-8927-AD8A61E333B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636622$3DAB1C7D-35FB-4707-8CA3-C1258292A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636622$F72BD252-35DE-4E9A-9559-52FEF80628C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42c0b11a787070bfea41095356fb7d1ef272bb3","datavalue":{"value":{"entity-type":"item","numeric-id":1784948,"id":"Q1784948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636622$819648FD-8B8A-4255-A97E-E04A1FDEAA5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636622$1D99DB6A-B943-4FA3-8510-D95E95AC6640","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ac85f259fea1d8df48f4eeb9de1d86977c1eb9a","datavalue":{"value":"https://arxiv.org/abs/1609.00214","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636622$57F0C9A0-103E-47B0-A4B9-CDFABBC932F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636622$1613C245-7313-4169-BCD8-DEACE2AC1067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d12d40e2f17833349b78dcea431f08e500a4c52f","datavalue":{"value":"6862116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636622$44482200-39A2-4774-A3A9-24A600CDAF13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636622$773D1225-7FF2-4525-AD62-EB2489ADA12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636622$4EB5E883-8982-447D-B6ED-BD41AAAD980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a418c5320c7ad3fffd91abbfbb128f3b88ff5e4","datavalue":{"value":"modular sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636622$E8209853-340B-4C5D-A030-F6D5393A89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a50e97c65363ede6e60cb3a1e24418543b4867","datavalue":{"value":"unary sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636622$C98A8B05-BD36-4488-91EF-9C82EF6EAF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636622$D629248F-D15A-4AE4-8970-0EAA4EAFD797","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":"Q4636622$58B7468E-A631-4345-BAC9-57D9B7F08923","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"419673297c713002bb84a17c95392f170409e693","datavalue":{"value":"W2962811419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636622$79B97972-0A5B-4C4F-A542-EA916413E871","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9379a28da9e37fbf06f7b9e67ab0e0d5f8010132","datavalue":{"value":{"text":"Separability of Reachability Sets of Vector Addition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636622$9AF784CA-48DA-46EE-80C1-C62378B6FDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05da981cf723de0af60fd294f1e8303fc8d8c07f","datavalue":{"value":"10.4230/LIPICS.STACS.2017.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636622$006E0765-8B66-42D2-8CED-EC29060726FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395a1d7ace1ca3679f8f5f585055b6ee8729c937","datavalue":{"value":{"entity-type":"item","numeric-id":1823697,"id":"Q1823697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b03e0a906b08be76b19baa20d4ce27f624ea773","datavalue":{"value":{"amount":"+0.7643547654151917","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":"Q4636622$EADCFBFB-D29D-4F6E-8E3F-A9BA7CC3C68E","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":"5a4028218870ff8c2a242e320b056063aa348371","datavalue":{"value":{"amount":"+0.7576853036880493","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":"Q4636622$13D6AB42-54EF-4AAD-8166-DFC3E5341430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9326ebb6bee8c485d423eb4ea4ab1f43457686e","datavalue":{"value":{"entity-type":"item","numeric-id":3343444,"id":"Q3343444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32904d36a38053d896e0752a82c66d7aa2cd0d4","datavalue":{"value":{"amount":"+0.7506248354911804","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":"Q4636622$B41ACE9A-2005-489B-A3FC-5FDB0392F7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b97a0ffecde032f3cf497744f901e6271492bd","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecb12034bad3b9d1b0732a8c3a1c364303bff96","datavalue":{"value":{"amount":"+0.7455978989601135","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":"Q4636622$9F11BA0F-E7AD-4CEE-BEB8-632C624B84FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dee3884811a618ee12100c3501923ffca46f63c","datavalue":{"value":{"entity-type":"item","numeric-id":5271037,"id":"Q5271037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9da30c683f0207553b7bd818f7ffb36d5f63c06","datavalue":{"value":{"amount":"+0.7436971068382263","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":"Q4636622$F700792A-71A0-4E14-86BF-EF8826DD57AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636622"}}}}}