{"entities":{"Q4635789":{"pageid":6665370,"ns":120,"title":"Item:Q4635789","lastrevid":58308372,"modified":"2026-04-04T16:06:33Z","type":"item","id":"Q4635789","labels":{"en":{"language":"en","value":"Reachability in two-dimensional vector addition systems with states is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863375"}},"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":"Q4635789$88EADCE9-96B9-4BA1-AD33-FD26D04A7A3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0177d523db7161eef2b0bb55b3e0827d10bbd0f","datavalue":{"value":{"text":"Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635789$13C4C975-4A4F-4FC5-BAAC-CF7F7B688376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3858dbeb3223cb5324ff7715ea4cd7d37f5e01d","datavalue":{"value":"1401.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$E1A9BF42-D1F2-4257-9BC5-9EFB4A5BD7CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a361985399b9a980053f027d443a9bef7083297","datavalue":{"value":"10.1109/LICS.2015.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$7DA1EB40-C2F7-4A75-B318-F1D9EEAB38E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635789$6E4E5054-07B9-4EFE-B038-FFA77178BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635789$CF7E1D15-0CC4-41AD-A073-0FE40A22C078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635789$F5C895BC-D4D6-4041-87DC-2B4F47A24633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4068ada97919eaff29760aff5ebf2f7939a1ba7a","datavalue":{"value":{"entity-type":"item","numeric-id":208763,"id":"Q208763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635789$97301381-A292-4EA9-A755-7F9053CB6493","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":"Q4635789$E03708D2-FC50-49CE-BC58-7FD2E0327E7F","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":"Q4635789$23E3DC72-E57C-416E-B428-52EE27D4EFE0","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":"Q4635789$A60247DE-653D-418A-AE1B-F1915D572BDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40aaac5af149459d92ccf412c4fc859d590886d8","datavalue":{"value":"https://arxiv.org/abs/1412.4259","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635789$B79E084C-2EA6-40F7-B1B6-4A1B46BCECAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$8E0816DC-9715-45B0-AB21-1CAEB0A75DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$E80DE13A-6DF9-4E23-9078-A884AF7048BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$8358536C-5DDD-410B-8AD4-910AE306952F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad051acf8861848a4466c56b86ea55ef366fc13e","datavalue":{"value":"6863375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$B7AFD641-E9F2-4C3E-84DC-22892661AF2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635789$1F7A5316-D902-466E-816D-E3EAC141145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635789$E55F1344-4401-47E4-8EA7-20D7C989B1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635789$303309FF-61A8-406F-8FAF-2425BECEA452","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":"Q4635789$D05FFE46-2F69-458B-869E-77E9535F6266","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8a3ea978805fc85d0930017953e6d2ad1f95296d","datavalue":{"value":"Q130979485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635789$3298696E-030B-41D6-BB3F-923A19CBC124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7ce4f5b5f890eca5877540d64fd26980c5c43","datavalue":{"value":{"entity-type":"item","numeric-id":5056423,"id":"Q5056423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabdbd80dc66db8709c28b8099d28e8d8ee69069","datavalue":{"value":{"amount":"+0.9057899117469788","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":"Q4635789$3A18BEC2-9E46-4F1C-B9B5-940CC56ACD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f71b2cad74e7ef3fee18e717b4b067c1b46ac10","datavalue":{"value":{"entity-type":"item","numeric-id":4635905,"id":"Q4635905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa346bcd4c2d939847d6468dfaeef3f07452486d","datavalue":{"value":{"amount":"+0.8612607717514038","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":"Q4635789$C9E75782-F89D-4AF8-B7B1-416F7BA608A2","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":"53d3824a2081d8d000eb8402403cd6d4a024dc3a","datavalue":{"value":{"amount":"+0.8500683903694153","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":"Q4635789$9E12F43D-33A2-4104-AAFC-DB651E566A0C","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":"d24333ced09c736dab058be1277b8340611b2685","datavalue":{"value":{"amount":"+0.8471534252166748","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":"Q4635789$78E730A2-D3B9-44AB-964F-0F9F896B389E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a57b53e932a78760997a5995e4cbfe663a4915d","datavalue":{"value":{"entity-type":"item","numeric-id":3584964,"id":"Q3584964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d01b2ed660044712bac7db91ba18ea73000ecc","datavalue":{"value":{"amount":"+0.8420729041099548","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":"Q4635789$9D484AFA-A843-44AF-A639-2BBD9B3FF792","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635789"}}}}}