{"entities":{"Q6061666":{"pageid":13195821,"ns":120,"title":"Item:Q6061666","lastrevid":98613104,"modified":"2026-06-05T18:04:22Z","type":"item","id":"Q6061666","labels":{"en":{"language":"en","value":"Pushdown automata and context-free grammars in bisimulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774234"}},"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":"Q6061666$A98BE953-183E-4261-86D8-9CE9E90B0259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061666$DF7C8493-8A32-451C-AD7A-4450FFD60EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70c262dbc6cce171cf4290aa0d2e2c75c9e03ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5883742,"id":"Q5883742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061666$1E88AA94-7AA3-48EB-A19C-96C47AA0BC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061666$E5275FF3-F748-401B-8AC2-704A6171BD78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6061666$A26FFF49-5D9B-486E-B917-E89F5B28E122","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061666$5D2966CF-C542-442C-8D05-F4759EB81EA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"042b8a57b3b2e636fb5917f1ece42b63421cc873","datavalue":{"value":"7774234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061666$7B11BAAB-411D-4C66-9034-A5DD7C9741BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84741d92afe8fc80c594aed6b861040ad27899a","datavalue":{"value":"pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061666$C5C4D0EC-468B-4CEA-89FC-0EB1D38D3319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061666$E3D68273-AC0E-47B7-9C51-7872CE42CF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061666$BED7FC10-77B6-4A5C-9B58-BD0E38ABF639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d4f17af3ab5542dac61b5818203da556dfc56b","datavalue":{"value":"intermediate acceptance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061666$7150546B-E114-4776-8849-B92FFDFD1570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e0a0e2e300dd5968a16685e8a9f7af376c9724","datavalue":{"value":"state awareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061666$2E3864E7-7C88-4DA6-9439-340583A39B02","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":"Q6061666$06F95420-82EB-41F6-B5AB-D7ED5546F1D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67da787d6a2ad8954528cf82d284338a71b71e22","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2021.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6061666$3DFCA89C-46D1-42EF-B0CB-AEDCF7284ABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1826273b81ffb79194f3ecae8f3e1b2c46311c2a","datavalue":{"value":"W3112938681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061666$E4C49707-258A-4BF7-9630-F36ADBA7D46B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"316a053bc142e79d0294f3caf5be71f88cd5f808","datavalue":{"value":{"text":"Pushdown automata and context-free grammars in bisimulation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6061666$3F45B17C-3EF9-4754-81BD-83E333FB9A19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c1a14b4b6b79b8d37bdc92a43483e1444bf2372","datavalue":{"value":"10.4230/LIPICS.CALCO.2021.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061666$8F421603-77E7-49F5-B3F2-D91877428C12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pushdown automata and context-free grammars in bisimulation semantics","badges":[]}}}}}