{"entities":{"Q5056423":{"pageid":7086000,"ns":120,"title":"Item:Q5056423","lastrevid":100271576,"modified":"2026-06-05T21:44:12Z","type":"item","id":"Q5056423","labels":{"en":{"language":"en","value":"The Reachability Problem for Two-Dimensional Vector Addition Systems with States"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629038"}},"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":"Q5056423$F32F3F4C-672B-40CA-9C09-C3B2072B8EFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dedad78bfb4b3f0613d73e39889b5d9995fe61f1","datavalue":{"value":{"text":"The Reachability Problem for Two-Dimensional Vector Addition Systems with States","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056423$A8981EC4-675C-484E-A4FE-D520A72E9629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6464f1d3ed17fabeeff57736fd6d299499bbef44","datavalue":{"value":"1499.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056423$44F98D75-4E9B-436A-B2C9-65C80F9A9FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44ea6bdff8a755ca22d1ce0f17aabf6fa84b6740","datavalue":{"value":"10.1145/3464794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056423$2A35FBC9-B0BF-4F79-8358-BA7A9EB452F9","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":"Q5056423$E98B00AA-9F33-4983-A3B6-2E56FD83AAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eaa4b7ef4c72bf6f65a1faa9a6acd0370180ed9","datavalue":{"value":{"entity-type":"item","numeric-id":987395,"id":"Q987395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056423$72AF8147-B745-476B-8871-F84AF8ECB878","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":"Q5056423$6B3EC9FE-D0F3-4045-B0A3-8DB0A4854960","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":"Q5056423$DEDC889C-0470-4861-AD54-FD4791AB65E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056423$5C15803B-4A28-4BBC-AFC0-5E253F6D0565","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":"Q5056423$EAD01644-FDA4-4B6E-A89E-636C697E1C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056423$709FC92F-7DF4-4480-A8B4-A7C709C626C0","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":"Q5056423$E999721E-4E6A-4BD3-A45F-5E55270C0279","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056423$74F85FED-7FC8-4F01-A074-8DB6D69DB11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056423$2279713D-058D-4AD8-BCF2-D40B623758C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056423$A77217FC-DE98-4468-B70E-FB8464FD9C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056423$1C92EA84-36F7-4BBC-9EBE-50CAC869A3F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d3460a07c7366f53c9c0e57811090c2e22d93d4","datavalue":{"value":"7629038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056423$6295F309-1859-48AF-87D3-44EE2A85A070","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4526724ec8ba56aff2be3768c01e689f8bd217e5","datavalue":{"value":"vector addition systems with states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056423$B0400D42-BE1B-4409-98B0-5687762D561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056423$4D2465E8-72CA-43DF-9BA9-877E325B6255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056423$A7D02302-4532-4B02-A10A-D85A9C587A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b3cd64f5dba7b8b5fe9ef2f4278ead66ab9270","datavalue":{"value":"linear path schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056423$8C6A93B9-1B41-4F43-B923-00CEEC50BC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056423$35BEE0B7-86EE-44E6-9883-D2DBD3F52C3A","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":"Q5056423$22800D9B-38CA-4B7F-A848-E3B14A447BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f21292acf59092b3e0e4532eed76f1c03eb542f0","datavalue":{"value":"https://doi.org/10.1145/3464794","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056423$8A0DA7C8-ACFE-4AFF-B547-E64B327D5A40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71612522766e9bd61e768f93d11a88a393dba795","datavalue":{"value":"W3193574081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056423$83450713-BB85-471E-BE44-ADF397CA40D6","rank":"normal"}],"P1643":[{"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":"0c2eac554da9293ccea1e3a037bc284e5d818b01","datavalue":{"value":{"amount":"+0.9493515","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":"Q5056423$A03F1F56-51DE-462B-AE8D-68ACF43C0BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6acd113c7e31482af4f7f49ae4011455b25355","datavalue":{"value":{"entity-type":"item","numeric-id":5089304,"id":"Q5089304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b85dce16bd5be355556a8aca248abc4bd58168d","datavalue":{"value":{"amount":"+0.94309974","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":"Q5056423$6777AC49-8112-49DD-B94C-D8E01CE28CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0849a59a8948bb202b1874f6a0e091d81b40b","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2984afac3e12958c2dca7dabfb9921c848d92d","datavalue":{"value":{"amount":"+0.9412715","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":"Q5056423$76B3A5E0-487C-4A03-AEB9-7C2DD5473FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7800c78e1e747f1d45711eeefcb62a2fca213dd","datavalue":{"value":{"entity-type":"item","numeric-id":3774963,"id":"Q3774963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ac30427134782a73ddcd7b6fd9f687c84eeb43","datavalue":{"value":{"amount":"+0.9364545","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":"Q5056423$C1E46596-0600-4E93-ACA3-50E164986F7F","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":"907e1594d8df6b0080f60d6da3ac4951557281a5","datavalue":{"value":{"amount":"+0.9307088","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":"Q5056423$16260A11-A53D-4C54-83F5-077C9286BCA9","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":"4bf19c6b35502663d38fcb780460f6cbefd59563","datavalue":{"value":{"amount":"+0.9269494","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":"Q5056423$0D5EA13F-5BD0-417D-BDB8-C1C2D933C77E","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":"4bf19c6b35502663d38fcb780460f6cbefd59563","datavalue":{"value":{"amount":"+0.9269494","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":"Q5056423$16E8AF22-8557-497D-98A5-A95BBC790990","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":"9b09cdead788eadf70c449247f6f6c1701c89261","datavalue":{"value":{"amount":"+0.91998816","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":"Q5056423$CB7A5C20-BA38-491E-BA1D-8A30AAA2ACAC","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":"a3b814e17e1080ed998488ac9f45b9c40b189b67","datavalue":{"value":{"amount":"+0.913527","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":"Q5056423$7E4A70AE-3B1E-404B-AF6F-A8A0A5621C99","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":"25ce0453e705fe12fb8f005b1316f5592287c358","datavalue":{"value":{"amount":"+0.90800107","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":"Q5056423$E1FB1015-B056-498A-9C22-9A17C1134FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Reachability Problem for Two-Dimensional Vector Addition Systems with States","badges":[]}}}}}