{"entities":{"Q3172867":{"pageid":3183577,"ns":120,"title":"Item:Q3172867","lastrevid":51341849,"modified":"2026-01-17T20:25:27Z","type":"item","id":"Q3172867","labels":{"en":{"language":"en","value":"Decidability of LTL for vector addition systems with one zero-test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954745"}},"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":"Q3172867$E8BEA078-1C06-496A-9AB5-E65235A75E68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e631350f443ed268fafce796a94c6dfb19c4e836","datavalue":{"value":{"text":"Decidability of LTL for Vector Addition Systems with One Zero-Test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172867$0CAC0E36-B3FC-43BA-A61A-0CE927CBA548","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dff8df5736c46584f1e6ff71be00a4c05e594c2f","datavalue":{"value":"1348.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$2BD20B45-BDBA-4229-8DAB-25BB178596F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09c09d67c08c4bc2ecff94323ffafb90500d35cd","datavalue":{"value":"10.1007/978-3-642-24288-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$004F6113-DA39-4916-A547-69AC4C2B8DEA","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":"Q3172867$DBE51A14-D138-470A-889E-C78970AFA3B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172867$221E3AF6-2B45-4CAE-BBFF-F2C1749A2655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172867$21C8B1C3-30E6-44E3-B86C-962DB152FE2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$5C812DD9-75D5-4C15-8FF9-35DF7C345EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$017B7CC8-9883-49D3-A9AA-135D9A8764FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$06D97FA3-3CE9-462A-8295-4A0D57337271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$9C8DF8B4-7811-4979-80A3-366278C49A9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74b77aaa60818c4497838d32dd8f8f5dce0d71f8","datavalue":{"value":"5954745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$BA75397F-2ABC-41E3-A0A8-CC22937928BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172867$E23FACFB-4A1F-4DF6-9A08-50A31E9C3BEE","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":"Q3172867$A19C080D-27B8-4FF9-B93E-3AAF8B16E01B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c0e6274b8988e12314ac01e2d5131ebf66bc30e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172867$1D0BCDBF-A477-4EA6-B418-A42E82B009AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"300b3346627bc7386d37fa01a1a60dff903eeaf3","datavalue":{"value":"W32620562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172867$7547E528-4F0F-446F-82E3-F80393BA8F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b427a8a618230de4e5e5c345219753783ecf0e","datavalue":{"value":{"entity-type":"item","numeric-id":2895472,"id":"Q2895472"},"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":"Q3172867$047BFADF-26EA-44AE-AF0A-EA63C817BB6B","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":"bb8201262604d3ac8804aca1a6121085163103a8","datavalue":{"value":{"amount":"+0.8040793538093567","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":"Q3172867$1194CCD9-47D9-438D-8808-6127E29E5E9E","rank":"normal"},{"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":"0935d62d4d2db3b68edadda3c020406ea60caac1","datavalue":{"value":{"amount":"+0.7658552527427673","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":"Q3172867$181FF8C6-7E60-4C86-AA46-F4839007C8AA","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":"8d4e0f7ee02359033f5b813ffc6f55306f3dd813","datavalue":{"value":{"amount":"+0.7641362547874451","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":"Q3172867$A4A202C5-A67C-40D0-A154-E3EB7024588D","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":"b784e88990f486c38690fc24e76c891415d7a59b","datavalue":{"value":{"amount":"+0.7543665170669556","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":"Q3172867$DE45E118-B476-45E2-873C-FB1A0FA9ADFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172867"}}}}}