{"entities":{"Q6638146":{"pageid":14249298,"ns":120,"title":"Item:Q6638146","lastrevid":42396618,"modified":"2025-06-14T19:26:07Z","type":"item","id":"Q6638146","labels":{"en":{"language":"en","value":"Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7944174"}},"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":"Q6638146$6C6630E7-44F4-44A3-B8A8-46DE2667F7B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86f376348224eb2fe4f079531b04cf7e6a10b72d","datavalue":{"value":{"text":"Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6638146$6DE405A9-336F-4461-BAC1-3066CF630D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c017d9508e988988482f8a07fd579c1632dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":6560934,"id":"Q6560934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638146$47E17725-D17F-4470-A2A7-30E443ACF949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90265da4fe31807d3d924225a855a6075e73c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1734518,"id":"Q1734518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638146$532C26B0-3B5E-4663-AA2C-777533EE80FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638146$090CE2AA-DB21-406B-A906-D91F0D41ABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0476faeb64751105d9f364c79c5e032f7e992296","datavalue":{"value":{"entity-type":"item","numeric-id":6061672,"id":"Q6061672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638146$D7C89BCF-7BD3-4311-9D60-3DBF8BD8DFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638146$D920080F-0AA1-4C7A-A30F-9FAE812AFA07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb9cdf9730b26db5897216e4448861f44aafb525","datavalue":{"value":{"time":"+2024-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6638146$2F1C8798-0DF4-41A1-A71B-EC9B97B7A6D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638146$B16FEB92-4DB0-44A2-9608-1F5FC4D53BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638146$A7026EA0-2275-4847-9DF6-4CCA7BB19DB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25559ca683d582c03735cda9303781bded948d58","datavalue":{"value":"7944174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638146$F3F09DA5-F55A-4FC4-98BC-883EA8EE31DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638146$5F8693C3-26C0-4430-8032-65FB9A67F0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638146$8FB7423D-AE35-46FC-9524-75E46697003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638146$D9B68C0D-3F6E-4A10-84B8-35E05D8A78E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638146$2573CBCC-831F-4071-96F2-921AF3909698","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":"Q6638146$F302CED2-48C4-42C6-BA55-BF76B7210868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8d7ff4ebbd0053f0d58ebe972cc217fa58389e7","datavalue":{"value":"10.4230/LIPICS.ICALP.2023.136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638146$2DC30CA2-0E43-4969-A030-94C9076A6579","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6638146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6638146"}}}}}