{"entities":{"Q6943429":{"pageid":21164160,"ns":120,"title":"Item:Q6943429","lastrevid":75942714,"modified":"2026-04-21T15:21:03Z","type":"item","id":"Q6943429","labels":{"en":{"language":"en","value":"Reachability in vector addition systems is Ackermann-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079565"}},"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":"Q6943429$CBEEA623-1631-4C29-9F55-6EE5E26FF647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fb574889abc058fa33eec3408b73b57a3982ca1","datavalue":{"value":{"text":"Reachability in vector addition systems is Ackermann-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943429$6F14B043-09B7-45F8-88FF-9FE202486F30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39ff1d98aacccf8b659f5cd863d0f56f7603e5cb","datavalue":{"value":"10.1109/FOCS52979.2021.00120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943429$077CA8E7-1F83-4A8D-A0C5-DCC87D866580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57e3c3fad9339c1c401d0eaacd439e892e308121","datavalue":{"value":{"entity-type":"item","numeric-id":6649472,"id":"Q6649472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943429$028FC617-49D5-4B57-ABD8-11A04B96877A","rank":"normal"},{"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":"Q6943429$572691BF-A4BE-4115-96CF-5FD587FDAB3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa9a3404048ba5ab60c02125ac90886eb8d57c31","datavalue":{"value":{"time":"+2025-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":"Q6943429$A0E469F5-C780-4269-B92A-4E4A61FE46DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943429$F3A1C5E0-4FAB-424B-8604-542D03D908F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dc5d8f03fcaaa9e07fb2b90c65b675a74eb1ab2","datavalue":{"value":"94-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943429$AE7FCF29-A6FA-4F9B-89D2-33762177C338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f33d93a7a5dd96c7237be296c02352ba5be77f8","datavalue":{"value":"8079565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943429$AE4E706F-B0D1-4322-A7DE-85A252F95EFE","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":"Q6943429$2C9956C8-1C75-4250-AE40-3D35595CD21E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability in vector addition systems is Ackermann-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_in_vector_addition_systems_is_Ackermann-complete"}}}}}