{"entities":{"Q2200853":{"pageid":2211596,"ns":120,"title":"Item:Q2200853","lastrevid":73580583,"modified":"2026-04-14T16:31:58Z","type":"item","id":"Q2200853","labels":{"en":{"language":"en","value":"The polynomial complexity of vector addition systems with states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250960"}},"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":"Q2200853$BA88BBA8-B44E-445D-BCA3-FDA8A2A13C0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071211ff2cbc3aa49fc4086da0165913b3a0764c","datavalue":{"value":{"text":"The polynomial complexity of vector addition systems with states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200853$1753AD6E-9620-42F5-992A-2B3EFC227ABD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a88f6f2fdaacabb244ace3173fdf5f200024c258","datavalue":{"value":"1442.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200853$B966356D-28EF-4A7F-8BF6-F72AB45345E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"836e89847ff3e5cfa41618b07153269603b90a76","datavalue":{"value":"10.1007/978-3-030-45231-5_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200853$60BCA2DE-EE41-4AE4-A3AE-2C8BBC0EC1E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$E7C44ADB-ED94-4B1B-A732-FA35B05DD630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-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":"Q2200853$12987238-0F50-401A-B2AC-358E6B951621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f4ab5281e7e978dd43767a4650e7ed6e2e87e99","datavalue":{"value":"https://arxiv.org/abs/1907.01076","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200853$5B53ADA0-4D90-41ED-939D-1DEED045B2E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200853$CF947DBC-F870-45A8-A75B-4EED4A84CA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200853$C2A51A7B-2866-48A3-B075-44E77CE6E71E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65cd2b854ab47cf940bd8426ab68a265293930b6","datavalue":{"value":"7250960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200853$5C0C1E2B-4562-4697-8D13-62A39A00D4FF","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":"Q2200853$FFC27DED-4A66-4708-B9A3-850D63C8D8C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ae585720cd85a8b980004803d15483e84acbac1","datavalue":{"value":"W3022740807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200853$6DEF8859-D8EC-40BA-BF6D-11553943F277","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25d9f2856ebb9e4b74b59815ea51555f4b48503","datavalue":{"value":{"entity-type":"item","numeric-id":3618568,"id":"Q3618568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$E47C48F9-15BF-4734-9CA9-E92CBA996A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd52f0bdf51c4026c5646e2b31e83cf14521bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3460063,"id":"Q3460063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$B3DC99F3-0295-480E-A5A8-5D17531C112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e2df2560abb1b0a937ec4034acc585fd958ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3449490,"id":"Q3449490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$5D130E39-53E8-4BE7-B949-BF95EB3ED7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$E9F4A576-60EA-4221-B590-BDCAE75F8A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8b7a01a9f9b1dca48ee60f6117fc480950f0d1","datavalue":{"value":{"entity-type":"item","numeric-id":5145291,"id":"Q5145291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$8FBD9A3D-AF29-4028-B348-DB662E9FADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f911c4d17eb514630e7689684ba45d7003ae8275","datavalue":{"value":{"entity-type":"item","numeric-id":4858945,"id":"Q4858945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$8CF19F12-9282-4649-AC68-B3F50D8C9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0afb571040fdba0fb9ad1a1698aede064d2266e","datavalue":{"value":{"entity-type":"item","numeric-id":2491637,"id":"Q2491637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$CC37709E-73C7-44AC-84CE-5C563926F541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$A8F70940-81CD-4C23-B9FE-4A482218BA34","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":"Q2200853$C9BC5260-6727-465E-9394-ED26C7BFBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4fbcae0244c17c3425a316935e472f56365713","datavalue":{"value":{"entity-type":"item","numeric-id":5175774,"id":"Q5175774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$E7AF455C-F0E7-4CBC-AEFC-8B2FF682E202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$89B7B0ED-C451-4250-A996-6F7D9E58141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb93f64cd02632ea8046e4157d13fd79658a77c","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$73A292C8-BAF7-402D-8385-2855CE7056A5","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":"Q2200853$7D0E8C22-D689-43A0-8A14-2AE12797AE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e0eaabae954c5ce023ec02943f7bbcdd3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$3CD3FB4E-BD96-4575-9180-CD92582D73E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa0a261f3c1b991c952b7b71872079d97cc41c8","datavalue":{"value":{"entity-type":"item","numeric-id":2200853,"id":"Q2200853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$2D0D8872-EE85-42EC-AB97-E166BCBBE4CF","rank":"normal"}],"P1643":[{"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":"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":"Q2200853$755FC2B0-68FD-4DA0-9A5D-E139A0A72597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8145abe1141bd015735da3451e85ed62046f8c","datavalue":{"value":{"entity-type":"item","numeric-id":5145291,"id":"Q5145291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947e22045ce26e3de52bc0b4fa246498369d8dbb","datavalue":{"value":{"amount":"+0.7879984974861145","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":"Q2200853$11A88E12-310A-4DC4-8E69-CECCE8258789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3ac7f8e47a33fbc1855fe7f9e764cc79b640d","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb41429c4c5849304c23209c56d35f6620f1d55","datavalue":{"value":{"amount":"+0.781126081943512","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":"Q2200853$52C73E60-0922-46BE-9ECD-571657994719","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":"5c94551fb171b32b110d8aa4a26dd0102475e509","datavalue":{"value":{"amount":"+0.7756773829460144","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":"Q2200853$17B7431E-8655-43B4-B5FE-073E7DB393A4","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":"448c5453ffde37059309d96aca3b20e0a2c33500","datavalue":{"value":{"amount":"+0.7580105066299438","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":"Q2200853$5CEB5E4D-AAB6-45D1-995E-7B0D327BCD38","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200853$83E5FE56-D127-4557-9D40-06DC90BA77FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The polynomial complexity of vector addition systems with states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_polynomial_complexity_of_vector_addition_systems_with_states"}}}}}