{"entities":{"Q4209294":{"pageid":6238895,"ns":120,"title":"Item:Q4209294","lastrevid":46581411,"modified":"2025-12-25T01:59:06Z","type":"item","id":"Q4209294","labels":{"en":{"language":"en","value":"Actions speak louder than words: proving bisimilarity for context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1202876"}},"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":"Q4209294$1B7FFA26-F5A8-42D3-82E4-6C8F75D3835C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3acd9cd0a540a4ff3a5116af5babdf35e7b35039","datavalue":{"value":{"text":"Actions speak louder than words: proving bisimilarity for context-free processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4209294$90A6829A-7E2D-4CEB-B95B-0674145155EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68e1972f661ff285e3c69bb38931585283b4815e","datavalue":{"value":"0904.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$93C3A6E5-6127-4141-B357-1E2BF4BB0441","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4209294$DC185B68-BCD9-471C-A765-D3EE7863F28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4209294$7F3103DA-DDA9-449A-ADBE-935E67FAB45E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d449bd4d25c3d0098b5c9ccbe523577c99777de9","datavalue":{"value":{"time":"+1998-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4209294$544AF1A0-2762-4F69-827D-6191825C5E50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$98B48F76-A5E8-4FBD-92F2-7409943D24BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$A3BB5524-CABA-421F-B0A2-D2F2F5F7EE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$3E025A94-2543-452D-BC2B-0248C22BB442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$EDCE9DA5-6200-4C62-8930-F9FC90FEBE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$09113517-EEE8-47CF-BC72-22D7A241CEA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aebb1ea8aea6169bb99c750f361b908f1d53332b","datavalue":{"value":"1202876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$C93C3E20-C0EE-4BDD-A720-21F1851AA6D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209294$46004B3C-C5FF-4B41-B3C9-67A782C09331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd35d44b959126fdadfeddffd77e0b1c193426c0","datavalue":{"value":"irredundant context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209294$7B56782C-3BF7-41EE-80AE-9A8834FCD221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d35d31a9a841eb021e25a8991c81207b2a8eea62","datavalue":{"value":"tableau decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209294$1ED4FA1D-61CE-48B2-9B0A-97241169FAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16773245599b69096368da5d412f57b2be98c34a","datavalue":{"value":"goal-directed rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4209294$6672F94F-A454-442C-8B0A-BCF0BD27FF8B","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":"Q4209294$032E64CC-3777-46A1-A1EC-027C0267F303","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a485286565b13ff092cd5fd3b94e82889d3673d","datavalue":{"value":"https://doi.org/10.1093/logcom/8.4.485","type":"string"},"datatype":"url"},"type":"statement","id":"Q4209294$35B4BA33-F399-43FA-93C1-69ED0DA30C82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"030ae7b4f8234534395d2d8c82269bc2ac70b198","datavalue":{"value":"W2147830331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$0C175BF7-9A6F-4EB3-A957-99DC5C78D97A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9004b68c3dc2801109f26aaaa9299cad361e7b09","datavalue":{"value":"10.1093/LOGCOM/8.4.485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4209294$832757C7-D2A9-4C42-948A-01B7DD981533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4209294$DA4B56A9-B745-458A-8A8C-73EF4CBBA553","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338067d33cecb4d19919b7ddd0de081ed5858115","datavalue":{"value":{"amount":"+0.8986389636993408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4209294$61EDFCAB-E8C1-4E99-90EA-0FE98456230E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a614adc7f290cdfef8757123d5bd3afe39449feb","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0dfcc9812133dc3e3116cc48d484bac773303f","datavalue":{"value":{"amount":"+0.8767496347427368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4209294$D4BF5996-099E-4E56-9AC2-82F1C7561BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67419e87423ca3b09e38cf30c89d3b05c97a349b","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907a0c05b105f15418ca800da5ab697458d10421","datavalue":{"value":{"amount":"+0.874617874622345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4209294$EC6EA3BC-601B-4A0E-B91D-D4BF33B15F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59fc763dea8dfc392bf18363fc4fd231839b153a","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cbb490cab9a29027a5c8f038c5dc9a8394f0af","datavalue":{"value":{"amount":"+0.8617106676101685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4209294$5C90AAC4-CDBA-4977-8CA0-2ACE711CC517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4209294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4209294"}}}}}