{"entities":{"Q4635791":{"pageid":6665372,"ns":120,"title":"Item:Q4635791","lastrevid":58308429,"modified":"2026-04-04T16:07:10Z","type":"item","id":"Q4635791","labels":{"en":{"language":"en","value":"Demystifying Reachability in Vector Addition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863377"}},"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":"Q4635791$9D7221B4-CBF1-4097-9811-24971389617F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da28dda3055bb839dd1ab76d20faa75d1e8678c0","datavalue":{"value":{"text":"Demystifying Reachability in Vector Addition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635791$C78DA746-F1CE-42CE-B802-9888F0FF849F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d4422febf84c347a13b91088ee6f7f7dec7ffd","datavalue":{"value":"1392.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635791$1D9F4E7A-634F-4B8B-872B-C5030B9D4CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e51e29c5e8e2cafab744041e3459a36f9c0225f8","datavalue":{"value":"10.1109/LICS.2015.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635791$9A86BC9D-F0F4-470C-91B6-AE98129252A8","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":"Q4635791$21789666-108F-423F-AF7C-4DFC1D1AE891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635791$EA3E0FB0-250C-4B54-AD3A-AAC0089BD9B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635791$05B07C82-57B5-42E4-9377-FA74BB7A94CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635791$FFE14491-A012-4137-ACAC-AFA0311E1EF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"240e44c2a54870d5b8c4913e94fd981ddf5b958d","datavalue":{"value":"https://arxiv.org/abs/1503.00745","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635791$B610624F-A865-4D40-A2D4-6366FE091C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635791$C8618D3C-578D-4956-AFA0-AF9AE90CFFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635791$3098615C-264C-4585-8EB3-23A3FA189554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635791$50A2E506-BBDC-4FB7-92CE-2B65A08D0954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e23f3072ceaf328ca8fc2e2c316269040bf355fd","datavalue":{"value":"6863377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635791$EB6DB066-9F71-41BC-B8E9-819DEC903010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635791$FC7438F3-BC10-4B4E-9800-9E761DC65DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635791$F9F4D35A-3D95-4868-9691-5F5BF1BEEB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635791$28077DF2-5291-4ABB-B574-A74A843B14FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635791$F5B3081E-8EA9-468F-930F-1A7F6549BF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635791$AC8AA37D-AB08-4C73-BC11-B6C126BA952C","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":"Q4635791$25B94E20-D912-4349-B416-64283EEBC64C","rank":"normal"}],"P1643":[{"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":"ed8da21d66922f76799e91d80189340e1ea6b3c0","datavalue":{"value":{"amount":"+0.9534647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$EA5FFF45-BBE3-4C1D-9BB5-EBFEFF3C4830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c315bce74e8399ceadc368b7528cc44b0d829c0","datavalue":{"value":{"entity-type":"item","numeric-id":3820015,"id":"Q3820015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a5ca5e89c1f8f6a679f2c4df11780686b5dd25","datavalue":{"value":{"amount":"+0.9518973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$236991E6-0575-42BC-BF20-01EDB09AA155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d70d5141e5c50384d4ec98bc917806ca96d97a4","datavalue":{"value":{"entity-type":"item","numeric-id":3004566,"id":"Q3004566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e60a06d6b90739409f16e64497ecee4e803170","datavalue":{"value":{"amount":"+0.9414551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$5B70656C-526E-4637-9EAE-2B7A157822F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3c53d024bffed3ca7fcbf7db02e840d752d797","datavalue":{"value":{"entity-type":"item","numeric-id":5408552,"id":"Q5408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5676a0598db2aebca623bea79cd8d1b2f823cffb","datavalue":{"value":{"amount":"+0.9364868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$5C028916-BE14-4FCA-AB37-4079D31CD225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ad4de7ee2001072cabe4dfaea2dcba16d9d384","datavalue":{"value":{"entity-type":"item","numeric-id":5089315,"id":"Q5089315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcae45c44c45dbc37124b398fde8e0367cbb337d","datavalue":{"value":{"amount":"+0.93196714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$48C45703-E6F2-4B33-91E4-8ABDB2BBE6E7","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":"b07786ff16ba90267490339319cd262a716089c7","datavalue":{"value":{"amount":"+0.92850465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$AD90D7AD-A57C-471C-A175-E1BEB9E81E3D","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":"b07786ff16ba90267490339319cd262a716089c7","datavalue":{"value":{"amount":"+0.92850465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$78EB1F3E-C12E-4805-89B9-D6CC17352619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad62d570f6d34758b57fa330e5628622919330bd","datavalue":{"value":{"entity-type":"item","numeric-id":4636622,"id":"Q4636622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c243ab0e1671515f6c48724e9f5b86cf11e8aa39","datavalue":{"value":{"amount":"+0.923457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$8B47E3EC-5AA9-42E2-BEB8-5DFE8DA919E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75385c1f7c077c790d0c86d64272001d3e5e65b8","datavalue":{"value":{"entity-type":"item","numeric-id":5145633,"id":"Q5145633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1062c5481a8a05a7cdab3e622f15ec987c89032","datavalue":{"value":{"amount":"+0.9128949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$EA7DD520-38E9-4B53-82D8-2E8AB42DFE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c78ddb5691ae73958d9379c1ded84befd701856","datavalue":{"value":{"entity-type":"item","numeric-id":5155664,"id":"Q5155664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1062c5481a8a05a7cdab3e622f15ec987c89032","datavalue":{"value":{"amount":"+0.9128949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635791$CA74A645-6F93-4A04-AA9A-C5301B1AC10B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635791"}}}}}