{"entities":{"Q6490992":{"pageid":14069762,"ns":120,"title":"Item:Q6490992","lastrevid":39785171,"modified":"2024-12-30T18:49:04Z","type":"item","id":"Q6490992","labels":{"en":{"language":"en","value":"Improved Ackermannian lower bound for the Petri nets reachability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7836613"}},"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":"Q6490992$5BFAAD8B-6C01-4874-8FB3-9CBBD412A21F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bb51b375cdd1f2808b6d827e5c29f8861949716","datavalue":{"value":{"text":"Improved Ackermannian lower bound for the Petri nets reachability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6490992$ACCE4AE6-C7BA-4AAD-AF93-47CEDE0F4C82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6490992$C52689E0-0701-4869-A5B3-0F25CBD87B87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"032f9a20c202a9b1863ae3bd37fdc8353d28eb47","datavalue":{"value":{"time":"+2024-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6490992$A6BAA129-F20E-491C-95B0-3B30684761F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490992$D4432CC0-164A-49EA-BC36-95547B17BCFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f295bf41270c3b6a71b9bae5a2bbd92ced2cb982","datavalue":{"value":"7836613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490992$AE6FBB1C-A9DA-4C08-98A5-271500C54674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490992$6B3DB249-DFE8-4F85-A7D5-578C36A9F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490992$66AA040C-B4FC-4A96-B475-07FD0ACBB299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490992$8602AB30-919A-45CA-9F49-60F8F3ACE9E5","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":"Q6490992$4B1E25B2-8B05-45CD-88D0-775C3DE8A0E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2e41ae8b02f46cb1d2965290433af3ee7e91497","datavalue":{"value":"10.4230/LIPICS.STACS.2022.46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490992$FF7971B5-DAC4-4585-92C7-90606ECC75C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6490992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6490992"}}}}}