{"entities":{"Q5002821":{"pageid":7032398,"ns":120,"title":"Item:Q5002821","lastrevid":98269367,"modified":"2026-06-05T17:05:38Z","type":"item","id":"Q5002821","labels":{"en":{"language":"en","value":"Polynomial vector addition systems with states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7376061"}},"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":"Q5002821$B6C7B7E1-BBF5-4898-8E21-0561B6BF467C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8252af3d163cd476dc2c141581ecc5e1382261a9","datavalue":{"value":"1499.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002821$814CEFAC-3B5F-4A40-A470-F53C5985CB4C","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":"Q5002821$C57BE7FD-CC0A-491A-B59B-891E05FC32A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4211c9afbc08aaacbac7309503449b759a8aef6c","datavalue":{"value":{"time":"+2021-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5002821$A6017919-863F-4196-929E-B9DED5968569","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002821$0805E2CF-6B10-4F69-83DB-7798929D899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002821$C6B62D66-EB3A-4E21-B638-3793C2B0E4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002821$2CBC5799-76E5-434E-8088-02A40867008A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4fdeef8d49da3e4980fd64e92fc0f623b32439c","datavalue":{"value":"7376061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002821$19974082-8F2A-4B56-94CC-8A9D77FC707A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28794ab21fcbd056a587b40f464df9698fa6b44e","datavalue":{"value":"vector additions system with states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002821$0C42EFAF-9711-4409-925A-1C69EFF9586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002821$B1C92204-E30D-4EAF-A09E-EFC46DFA115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002821$14D957E7-4668-4283-9A69-9A66AB8370A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0be45dcf28f014d73413c8c1b0a2751733f815","datavalue":{"value":"infinite-state system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002821$D63614B0-3B09-4A93-97E0-0964FDB7D78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002821$16B9F68F-E93D-41BD-A07B-6CBE4D49634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a204f57b40dadf44f1feb78ac046c6860c9d8465","datavalue":{"value":"Kosaraju-Sullivan algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002821$F3257F38-32F5-46ED-A9A9-3D1015E7CA34","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":"Q5002821$691B1A8B-A98A-49AF-BA93-DFD32F2A2B0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$7FB81DEC-7520-4AF9-A350-C92BC8032373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$82AF578F-6532-492D-A5AD-3280B65A1FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$AE91965A-ACC9-4BF3-A5DE-6FCA48472CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$F61503A5-44E3-4D42-803D-4A0C8FEDB56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$DB41345F-6B11-48D3-83D9-861A136CE649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$C206FCFE-2F6B-45BE-A809-3762B218EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$63707D94-A182-42EE-8720-DCA83404E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$853BD30A-BA35-4C5D-A9EF-9CB26B61A66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$0BE2363D-AF4E-4228-9B90-58205F2F7B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05c6a36c53540c2374fb3233b5b0688b81b81dc","datavalue":{"value":{"entity-type":"item","numeric-id":4982096,"id":"Q4982096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$93C80EC5-2769-4C18-97E3-0BF2F4C7C358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002821$BB8A9097-710E-44CC-800F-0F964A0F2DC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27fc65bdca77dc46f918e4ea193b8da1e906d708","datavalue":{"value":"10.4230/LIPICS.ICALP.2018.134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002821$39D6A6B1-00A1-41C2-90ED-434D542B8E39","rank":"normal"}],"P1643":[{"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":"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":"Q5002821$7D9019E7-D021-469A-9606-D2034376ABD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601f15ff30906f1e05fc5f946e83231333863e77","datavalue":{"value":{"entity-type":"item","numeric-id":5145613,"id":"Q5145613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71932c367c97104e79e4c60abf7617ee9586214d","datavalue":{"value":{"amount":"+0.8376153707504272","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":"Q5002821$CB9859CE-EB6B-4A0B-A5AC-8323FD50A9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11513a2e50a63be7eb2438a7a4b21bba27ebc7c","datavalue":{"value":{"entity-type":"item","numeric-id":2200853,"id":"Q2200853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ff85f5c5c4b5f23e74347fb362d3feb0354542","datavalue":{"value":{"amount":"+0.8351120948791504","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":"Q5002821$60E2D502-5677-443D-8181-0D6A7CE5408C","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":"5b1a4230683405e1396df719969e90a5f0662970","datavalue":{"value":{"amount":"+0.8306231498718262","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":"Q5002821$663A04C4-FD43-48E4-A2B6-C642831D0DBA","rank":"normal"},{"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":"61bba15b647fc2da51feebe83b264e382edf9c14","datavalue":{"value":{"amount":"+0.8284406661987305","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":"Q5002821$CC4C2E56-7DD8-4C7C-8EE1-480E5CF89751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial vector addition systems with states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_vector_addition_systems_with_states"}}}}}