{"entities":{"Q2892783":{"pageid":2903508,"ns":120,"title":"Item:Q2892783","lastrevid":44710287,"modified":"2025-11-25T10:45:43Z","type":"item","id":"Q2892783","labels":{"en":{"language":"en","value":"Deriving Bisimulation Congruences for Conditional Reactive Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049308"}},"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":"Q2892783$E6D24D62-6EFC-421B-98EA-8F6049A13324","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"957925e525c578bca27a69f3ef20172ff0c90704","datavalue":{"value":{"text":"Deriving Bisimulation Congruences for Conditional Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892783$1800B357-A617-4411-A484-9282B93AE27A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6196217cd601b2ffaf70cbfedc3c370b0b9a5a38","datavalue":{"value":"1352.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$814AA0D1-A62E-4EDD-B443-B192229EA343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7716271364e49adb90b10bd6df0d2b2f61e6ca4d","datavalue":{"value":"10.1007/978-3-642-28729-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$3CED7F85-DFED-4856-9604-80758D80865D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"575dad6f64e7157dbc308603e964d5d259060646","datavalue":{"value":{"entity-type":"item","numeric-id":2892758,"id":"Q2892758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892783$3C9FC8E3-FBD3-4CAF-9DE5-2AE2B889E1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892783$327288C2-97F9-4413-B49F-AC7C23D9A2E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892783$53DF0275-5065-464A-B1AC-B80541A770BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892783$7641E311-98E6-437B-A109-E3E3D06D90B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$969489C0-85AD-4DB8-B0D2-EBB768509C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$59A096CA-D209-4A3B-A6F7-8A0324793778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$E068EE74-CE5A-4C66-B0D5-3D6D6684677F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"493d5e9fdd0679dda38b353710750a3975fba12c","datavalue":{"value":"6049308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$A6816BC7-F8F9-439D-A04E-822E718321EE","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":"Q2892783$464FC8D0-0CD3-4D66-8297-B8BD3C184D26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d4578713406df7244f8ce5800deaeef2986e6d5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28729-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892783$1593760C-FEB4-4C5C-A24F-EA31D31FFD19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65313ef41ba1ae0d83dc50b4944b3a96ceef0316","datavalue":{"value":"W25522584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892783$81705549-ECAF-4F33-988B-69A1F8B47058","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93669e5d81f11047f46e6c5e573f3014b9b7238b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4463afaf46463ee68bd55df0a60cc3115e69733","datavalue":{"value":{"amount":"+0.9818317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$8133D6C9-F3EC-4BDC-BFC9-2A6103E972E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01ba9eee1ea01d28378a5a42bb8f33df2d0d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":5028460,"id":"Q5028460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5388b95a1dbdfd8e98e9746d86f2555ab9804e1a","datavalue":{"value":{"amount":"+0.9651154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$7ED4E0E1-C34E-4D5D-9051-5A0BEF1AE494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5f205f93b9e0fd967ce91bb1607df41d851ad","datavalue":{"value":{"entity-type":"item","numeric-id":5458376,"id":"Q5458376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8b71bb3a72e5cafc167da741e0f24cc1f49706","datavalue":{"value":{"amount":"+0.9055839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$FF44494B-A55F-4945-B7F9-056268A9EEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563362faca7ecb977ddf3d4d44c3d3ac88865357","datavalue":{"value":{"entity-type":"item","numeric-id":1731513,"id":"Q1731513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262426e3c6e825edff8c617d29b01e5c80474882","datavalue":{"value":{"amount":"+0.90457886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$295ED911-DA35-4B32-901A-6831E4BDC4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68cf7d2cf746a82c44af83e56b8b12d79064ac","datavalue":{"value":{"entity-type":"item","numeric-id":1708097,"id":"Q1708097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe11dcd3bd7655ea001636d5a567ac8a122ba33","datavalue":{"value":{"amount":"+0.9038791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$55A6F774-6AB5-47EC-9942-81DACE173398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa87973c80015342030889cb0458567e2dde269","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d86e28954a7ccf610902c819708d3f4912a3581","datavalue":{"value":{"amount":"+0.90267885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$FDC503D6-A0A4-4885-B23A-9B83ABA3E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6741a1fe901bd7d54a0a9cb83126e526be43fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5897490,"id":"Q5897490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2e7a1b18e5a6e99e62bf77f83eb5f2b57fa610","datavalue":{"value":{"amount":"+0.8943859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$A143B3D8-AAEF-4CE7-B9B1-E7FAE4C90644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896b3d5a44046b47d34b8496cd0f28eae31c4401","datavalue":{"value":{"entity-type":"item","numeric-id":3612482,"id":"Q3612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83bbeee6addde5c779d91c0f14df461fdaff9b6","datavalue":{"value":{"amount":"+0.8934151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$0DE4D5DC-C814-4CFF-A94D-3307D2B02FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693555ec2f10037bafb06586c7376c648e805370","datavalue":{"value":{"amount":"+0.8858197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$310DE2AE-E33C-4B90-83B1-AE4C313E35FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea2a635eb65b2dd7144cb8150a1b3657b79d026","datavalue":{"value":{"entity-type":"item","numeric-id":5697792,"id":"Q5697792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fcb515dbeb26b7944df335c1344f6e2c9dd6ed","datavalue":{"value":{"amount":"+0.88532424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892783$C84FC1DB-84AE-46F8-AA61-10EF31CA64A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892783"}}}}}