{"entities":{"Q6587122":{"pageid":14198278,"ns":120,"title":"Item:Q6587122","lastrevid":103907117,"modified":"2026-06-06T08:26:52Z","type":"item","id":"Q6587122","labels":{"en":{"language":"en","value":"Language inclusion for boundedly-ambiguous vector addition systems is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896549"}},"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":"Q6587122$57431D41-B5C7-4C4E-A154-71CF5E5A7B56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d1ba09feebb3ba3a61c20c9f88000dcabd799b2","datavalue":{"value":{"text":"Language inclusion for boundedly-ambiguous vector addition systems is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587122$15B7854F-F219-4B38-9C6F-F96B13BC2436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587122$43E62349-1EC7-4D40-8241-82E1B4C24FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587122$FEA9A277-A0A1-4A16-BFA6-E5230B844A7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587122$317546E5-CC9F-442A-BA0F-AD780F076AF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587122$1679A755-876B-40BB-BF21-58026E91B85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cf9a11bd93a629688250adfdcdf7c591f2371a7","datavalue":{"value":"7896549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587122$27F678C3-84A8-49AD-BFA6-E55546E3A00E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$2C03784A-593A-4E12-859D-C6038E8FE772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0ef2eb18ae52c04453b5fc69c151b22b7f881","datavalue":{"value":"language inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$D48BD1E1-E75B-4FE1-976D-FDD19B582FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$D8841BB6-893E-48EE-A45F-32C1A38B7060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$A93BF138-D8A9-40DC-AF7E-2FFA11052CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43c2b5402f1eb67fc2be77f01afa1873faef8bc","datavalue":{"value":"unambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$7FDA583D-6AE7-4439-A6CF-750E392EE5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9257622098ab5483dab33d4ca21abfecc272183d","datavalue":{"value":"bounded ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$1F0AE22F-3551-4BFF-98E4-6DFB2B10333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$4725FE6A-C3B5-4972-BBE1-0D4D4E659AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587122$F4A7F37C-F3E5-4651-BC2C-F6A81A005DB6","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":"Q6587122$23C4B7A6-47D0-43DB-8F59-B7DF51B96BD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c11d58250c18d86ee06281911e6a051aaaf6ef","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587122$BBC13116-D315-4701-8E5C-E6B22A0CBBDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language inclusion for boundedly-ambiguous vector addition systems is decidable (scientific article; zbMATH DE number 7896549)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Language_inclusion_for_boundedly-ambiguous_vector_addition_systems_is_decidable_(scientific_article;_zbMATH_DE_number_7896549)"}}}}}