{"entities":{"Q6943428":{"pageid":21164154,"ns":120,"title":"Item:Q6943428","lastrevid":75942705,"modified":"2026-04-21T15:21:01Z","type":"item","id":"Q6943428","labels":{"en":{"language":"en","value":"The reachability problem for Petri nets is not primitive recursive"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079566"}},"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":"Q6943428$21EE1923-897D-400C-944B-CCFABD56F5F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1478f8e216f59ec9adacba681e5561af50a2bd3f","datavalue":{"value":{"text":"The reachability problem for Petri nets is not primitive recursive","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943428$D1E1210B-1AD8-403F-8729-A5DFDBB624C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d0998f72ca9ba7cea5b78938bee459e10209d49","datavalue":{"value":"10.1109/FOCS52979.2021.00121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943428$944AE7A6-8A7C-4213-8680-FA38697D96D2","rank":"normal"}],"P16":[{"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":"Q6943428$58328891-A762-4BC3-9968-95EADF759C2A","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":"Q6943428$629D8EE9-2DA7-4605-83C1-EE6C649AA7C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943428$AE83BBC2-628C-403D-B0A6-6AE05A883DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dc5d8f03fcaaa9e07fb2b90c65b675a74eb1ab2","datavalue":{"value":"94-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943428$DD794D9C-7A93-4880-878C-98B62FAA129A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40223e97a3e13bd39cc5533d5c97be99b8c6273d","datavalue":{"value":"8079566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943428$30896F96-D531-4E32-9AF6-DC31AAF086BF","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":"Q6943428$B9647625-CE80-488E-9016-415D39ECCA88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The reachability problem for Petri nets is not primitive recursive","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_reachability_problem_for_Petri_nets_is_not_primitive_recursive"}}}}}