{"entities":{"Q2895472":{"pageid":2906197,"ns":120,"title":"Item:Q2895472","lastrevid":58054116,"modified":"2026-04-03T15:12:51Z","type":"item","id":"Q2895472","labels":{"en":{"language":"en","value":"Model checking vector addition systems with one zero-test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052248"}},"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":"Q2895472$DDABA34C-D15E-41FD-A409-A99980C9B160","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3f1bde4c6404bb911e2718043392ed2fbef1de","datavalue":{"value":"1242.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895472$B89B26BA-0CAC-44A0-BAB0-C87C54CB5F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cef6c83ca010ddb52ef183a68558e33691b48bc1","datavalue":{"value":"10.2168/LMCS-8(2:11)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895472$F180A33B-E3DD-4537-B8B6-113DC851AD56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d52787a6fbafe429e2741b67d1805390ad9b06","datavalue":{"value":{"entity-type":"item","numeric-id":1951596,"id":"Q1951596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895472$363D0F95-B6C8-46D5-8A7E-D91BB8252CB7","rank":"normal"},{"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":"Q2895472$646E5DA1-DC58-4AD0-B9F3-04D0087AFC29","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":"Q2895472$E18058F7-A85A-4084-9982-E4FC17578B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895472$7ACF7BEB-CA3D-407B-8159-C61518E12787","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895472$A1669A8D-897A-466E-B625-165D39216D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895472$8B83B817-ECCC-4B68-8816-16EB08288271","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"874e683ad020800443327e2b55abbc57303b541d","datavalue":{"value":"https://arxiv.org/abs/1205.4458","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895472$873E4CAC-7E6E-460D-AA5F-DC0B3F01BA94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895472$C70D2023-9EAC-43A4-8A7D-7C4EC6FC5E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895472$C59FC1B7-0BCE-4E8F-8A3D-A9BA160ED83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895472$09E21E55-8564-4B3C-8193-DA202F42B4A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1b34e32d8c820debd0b501fbe7a062c37ae5a4b","datavalue":{"value":"6052248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895472$9CC874E3-E5E2-4309-8E7D-F4B76A52C88C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$BCE9C295-E10A-49E4-8022-8A07E50951E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878c7cdaffc15005db0891616cc365c376a7389e","datavalue":{"value":"zero-test","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$8B1C848E-B657-4A4B-A952-A702F9C552C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$E8AA85A4-F76E-4944-BBE7-FE728A4C9F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"858bc6c9ffd3d43992821f213099fd845d055b95","datavalue":{"value":"cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$E8C447A3-271D-4617-A60A-F93779FDF0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$29486C89-519D-4BEC-A57C-80C279B88811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13d4b1cc32d19014ef5c213052580e705d26bbf","datavalue":{"value":"place boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$412B49C2-D9B6-4492-9555-48E2C1CC0A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"381580e08233ef3822ded2588c6b62c5f8c582ca","datavalue":{"value":"Karp-Miller algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$4F7F8CBB-0BF7-4C4C-8DDA-B9821EF31FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf3a368f08142b8c50ebbdd01de529daebbe71f","datavalue":{"value":"LTL model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895472$1F1BC4FB-01AB-403C-9126-A97B841928EF","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":"Q2895472$7D5677A6-EB6C-455C-836B-A6029BFD3387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb2f466ef292ced0e1fdd962998c3f2ac73d9a96","datavalue":{"value":{"text":"Model checking vector addition systems with one zero-test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895472$2399084D-79A8-439C-A8C8-2326F4D4DE00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4080b0370885e4c571b32036e23063b2ea4eef0","datavalue":{"value":{"entity-type":"item","numeric-id":2908849,"id":"Q2908849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da050557350214086626b7150dd6b1029a80002","datavalue":{"value":{"amount":"+0.8887013792991638","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":"Q2895472$3139FC75-6E98-461B-9A82-356025C6DBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743c8479a320914327c9615f9fabb6e92ef56bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3172867,"id":"Q3172867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98c5249bc91e6a614504807ddf14da679250d03","datavalue":{"value":{"amount":"+0.8653319478034973","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":"Q2895472$1C9A7649-417F-4C59-97DC-D3F9C1EFE760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ac22645b5b7b65792777245a8d97f15954f69e","datavalue":{"value":{"entity-type":"item","numeric-id":3088033,"id":"Q3088033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d4268b40fe28e02d52b4a08996e9b46128dbd5","datavalue":{"value":{"amount":"+0.8435704112052917","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":"Q2895472$07BF61F4-AC31-4BCA-A44F-042C0D875E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9bfda27d7ff4487166f411e6d877ff0ab3d4753","datavalue":{"value":{"entity-type":"item","numeric-id":3088035,"id":"Q3088035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f671a00d0f318d48048299f258486fe70a11a48c","datavalue":{"value":{"amount":"+0.8372254371643066","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":"Q2895472$63801650-865D-4BF5-ACA4-D733E2F9F553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76ad89a766cb997a26e58c9262ab8b7b9eb4491","datavalue":{"value":{"entity-type":"item","numeric-id":3401106,"id":"Q3401106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7693866b9c148f7bb51a54712cea1dbe8cf622ef","datavalue":{"value":{"amount":"+0.8235342502593994","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":"Q2895472$2E470A5F-8C62-4253-8DF5-4D6DE3F4D5F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2895472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2895472"}}}}}