{"entities":{"Q7007744":{"pageid":21549426,"ns":120,"title":"Item:Q7007744","lastrevid":82704227,"modified":"2026-05-06T21:42:58Z","type":"item","id":"Q7007744","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 8016204"}},"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":"Q7007744$2DFB2E59-FD35-4C93-932B-1013F6C31ADC","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":"Q7007744$D7D5091C-D2BE-4130-B3E3-D2E68DF0FF5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716a538b3b323da6e515406f54c0a4f71f32f0af","datavalue":{"value":"1571.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007744$F868F986-D5A5-477E-A2C0-1866FEC3485B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e96fb133f857c783e20523fe3750f3c47c8d6ad1","datavalue":{"value":"10.46298/LMCS-21(1:27)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007744$C87D741A-BC8F-427C-A137-6A12611EA40D","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":"Q7007744$0F02F893-C498-4F57-9585-96105D6E59E7","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":"Q7007744$ACBCAE4C-CA10-48D6-B50F-47E650FA47B4","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":"Q7007744$0BADCACA-823B-4F17-B935-3F07CD02CD5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007744$D22CE220-7CDC-43C3-9F1D-4732AB3FB399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007744$0A0EBA77-F778-49A5-9296-24AC7205AF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007744$18293DBD-9067-4DED-BB6E-7F29B4E5AFED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d8890cdbfcbc7403055adbb06d6a933bb5d16e7","datavalue":{"value":"8016204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007744$04F22EEC-96BC-4931-B495-9E3F6DF4020C","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":"Q7007744$BF3CE63B-AF90-4764-B150-FB2C063C8A10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$42D8F70F-25A4-40DD-9F48-7926DAA2D2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0ef2eb18ae52c04453b5fc69c151b22b7f881","datavalue":{"value":"language inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$4CC4A512-B88C-4F04-A515-1725BAC2262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$EAF4A107-EFD9-49B6-8613-8D0C6073D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$C52B50F7-A51E-42E3-8934-806044A21FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43c2b5402f1eb67fc2be77f01afa1873faef8bc","datavalue":{"value":"unambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$09F7FE5F-F35D-449B-B724-DE026A60CD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9257622098ab5483dab33d4ca21abfecc272183d","datavalue":{"value":"bounded ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$89D82297-FE23-4B48-97E6-5358A42DEADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$FE0F8EA7-2B67-4800-93E3-3F4044EC0C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007744$C8D43D1F-7996-4C2D-AD39-07C731F88325","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":"Q7007744$3DFC066B-AE90-43DC-9780-8BD0E77DFD86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9607fa2e8936896b847c2dc05d86aec0f2ce39","datavalue":{"value":{"entity-type":"item","numeric-id":1235983,"id":"Q1235983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$6260F56F-B20D-4BDC-9B27-B7C141279046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b700b25c7efe122ffb832060352d677e3fd6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3088035,"id":"Q3088035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$7A06B2CE-646E-4C23-B96E-40633079DAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579da784502bab0a4ca109236a607d84b4186421","datavalue":{"value":{"entity-type":"item","numeric-id":5089303,"id":"Q5089303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$4DBE90AD-A76D-4C17-BCF9-203BB41F3A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb16488f2d36bd124fee8a6fff0f6c3caaeb043","datavalue":{"value":{"entity-type":"item","numeric-id":5495422,"id":"Q5495422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$670370F6-7BCE-4D56-AFAC-64932B2B1A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8754aa53e3ad18d526f5376fecb2e7445d3ec9b6","datavalue":{"value":{"entity-type":"item","numeric-id":6587122,"id":"Q6587122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$E5BF5828-7E54-4DFE-9C65-AE56C785F253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f525e4c279ed1c59a7967087d92701ef26b0157","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$8D5C63FA-977F-4F1E-BDF9-642C2B988122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$D61B93F1-8180-41A3-B020-974EBC1368E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$E7BE639F-FDE7-4688-902A-CC4E9B414EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6eb49b0ffb8a786d850ff2a869eeee9d554ad66","datavalue":{"value":{"entity-type":"item","numeric-id":1476349,"id":"Q1476349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$B92BA151-D177-45DC-B2D8-C3CAEFA74501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$E8F29E77-7E85-446A-9F87-9046E4F02BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$56ECC8BE-8D34-443B-B7C2-2DA9FC20A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$1F6A140E-9D19-407B-810F-8F22E2719C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a86c29b136599d32b3de1bd52ada8bfa8bf392","datavalue":{"value":{"entity-type":"item","numeric-id":5271057,"id":"Q5271057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$A1838FB7-18E7-4CE3-A537-56BFDA15EDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71201bdd8355843fc4084260142cbe201a2f83c1","datavalue":{"value":{"entity-type":"item","numeric-id":3447702,"id":"Q3447702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$E453F1E5-9644-4472-A453-21404052DEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$6EE3C454-37BE-45A9-835F-BC4C820145EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743fd39ce9995b871bab5538adec0bef30e1c379","datavalue":{"value":{"entity-type":"item","numeric-id":5941099,"id":"Q5941099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$85FEE7AF-635A-4A77-9065-1FF5F3D709C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5539667ca8955659dd4cdb8ffabee6a9947192","datavalue":{"value":{"entity-type":"item","numeric-id":7007744,"id":"Q7007744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$FDC4DF70-23B3-4854-9DCA-6DD84E292552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dd948681470753b01cd89b23adf0d42caf1306","datavalue":{"value":{"entity-type":"item","numeric-id":4020513,"id":"Q4020513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$17C18BE4-A2F3-4127-ACA2-2EA5A2E50EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$BF197593-55C1-4030-A7BF-6701697F29CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$32BC5EB7-B9AB-4E78-9BAC-87F1C8FA7947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9072211d3b7d41a3426448820aa67a4d6644920","datavalue":{"value":{"entity-type":"item","numeric-id":5925512,"id":"Q5925512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$3535CD43-420E-4BC1-9D73-1B60537B479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19acb96ef1ad0ba9c8292d27d46a972e7c2cb112","datavalue":{"value":{"entity-type":"item","numeric-id":5090504,"id":"Q5090504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$CB9766A5-19DF-4F85-81BB-3862CBEC7C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$CD5B6B58-89B8-4A87-A5C0-C6A4A522A0AD","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":"Q7007744$0125345B-2EE4-4D1D-B02B-DEA199D18889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7d7dc538448798d6a394d1f6aa8ca50196bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$DFAD2A18-7D5D-496C-814F-2A54DE6A7D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$E6AB9F67-7434-4040-84B8-FE666F7DDA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adeb3ab2fa0a8f5e1199c627d68aa001ae9b1be","datavalue":{"value":{"entity-type":"item","numeric-id":1351166,"id":"Q1351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007744$DCCCCD6A-1977-4D4F-A9C7-8F9E6C0A80CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language inclusion for boundedly-ambiguous vector addition systems is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Language_inclusion_for_boundedly-ambiguous_vector_addition_systems_is_decidable"}}}}}