{"entities":{"Q6654522":{"pageid":14265679,"ns":120,"title":"Item:Q6654522","lastrevid":40230267,"modified":"2025-02-13T19:04:41Z","type":"item","id":"Q6654522","labels":{"en":{"language":"en","value":"Bisimulation equivalence of first-order grammars is ACKERMANN-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959729"}},"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":"Q6654522$7C93EADA-145B-4C1B-9584-ECEECA06ECCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3c926fe4fcf574c090a6ecad800ef4f377476f1","datavalue":{"value":{"text":"Bisimulation equivalence of first-order grammars is ACKERMANN-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654522$402453FD-FA67-4262-A0E1-C3B42210C806","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dd1c290f6de83cb2c30cbd00122b026345f3321","datavalue":{"value":"10.5555/3470152.3470209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654522$2EDE6ABD-A266-4476-A55B-F274A596DED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654522$DAFE12E9-9AD5-499A-BB9B-D9D364A28918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654522$15C106BA-E32D-4DED-BDEF-37DE233E78E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654522$203B66D9-B28D-49D1-B2E8-2FD40C11D66F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654522$E1DCA89C-32A5-4FDB-844C-DE5ADD7D148B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f67141d75eb56fba7b70bb7a0c7d2024af9c4a32","datavalue":{"value":"7959729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654522$9EA966A1-2033-4D6A-B90F-284C2A13E92D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654522$A0903FE8-F749-4C3F-8251-11CDE7E46166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26985abc07bdfe39c813bdf55389b3b00d243683","datavalue":{"value":"fast-growing complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654522$6A091154-0DE8-46FB-98CB-9B8DCEE2EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d14fd5768f34c1e3d4315e03c2f9c3257f3eef","datavalue":{"value":"first-order grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654522$6C86EB87-544D-49A6-8CF7-C74C430F8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0472569160d89698056e160debeeb3d577e82c6","datavalue":{"value":"pushdown system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654522$AF83C6F5-3A14-4608-9E5C-CC79372775E6","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":"Q6654522$1702D222-756F-4EDF-B1FF-39FCDA40B44E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6654522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6654522"}}}}}