{"entities":{"Q5187823":{"pageid":7217395,"ns":120,"title":"Item:Q5187823","lastrevid":100436591,"modified":"2026-06-05T22:08:00Z","type":"item","id":"Q5187823","labels":{"en":{"language":"en","value":"Synchronous message passing: on the relation between bisimulation and refusal equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679032"}},"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":"Q5187823$6D977D11-2382-4929-9E47-0B413BE8A6C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce03403ef09d8d776d88d5ff51ca300215399c68","datavalue":{"value":{"text":"Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187823$034AE940-8208-4717-908E-E90E06338389","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bb793ed085d996ec12d9829617bd4ca36e69a46","datavalue":{"value":"1274.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187823$1F913EE8-78F8-4D90-88E9-D3EB12696A4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2385b25644c0f83be1ca51a237a84a80c18471d4","datavalue":{"value":"10.1007/978-3-642-11512-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187823$AEFA2466-0B52-408A-AAEF-F43FF28F5422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$102C9D4A-CB80-4577-80BF-B3AF3C1782BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e5b4d5402b3754a6053a15bbac33af0e505e060","datavalue":{"value":{"entity-type":"item","numeric-id":5187815,"id":"Q5187815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$D7A9B5C9-60DE-45C7-AD3D-62241419762B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187823$9F0E6FF7-8C91-42C5-94D0-B8DFD6DBA5A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187823$6F0560E8-78D5-4FE7-8BBF-DBD50DC39EB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37304b259ffdc0c969b082cd2ffc46d4d90c46c9","datavalue":{"value":"5679032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187823$C1E1761A-3D47-440E-BF67-70ED3737D446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d642683cc142923c4f1768e52a5475a5ab2ce2e","datavalue":{"value":"synchronous message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187823$11C83650-0218-4507-A76A-497AF9663957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187823$7576EC72-4E58-4558-A2CB-2E3B56D817D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187823$D5EF20AC-BD2C-4F50-BB57-2F6B866FA3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7e8ebe83ea2eb9689a8b9c19b7a5e96daa4c56","datavalue":{"value":"refusal equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187823$8A5B1EE3-E718-460A-A6C5-5B17B29ED685","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":"Q5187823$3AB991C6-6285-4756-9727-0E98A026A560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a157971fed1a167e1d616b4aed2d1ac0bc68672a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11512-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187823$C68EC461-06CA-4114-9767-28E7E416446F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6354b711e119fb3be9d8ba8b98e978cd6e025185","datavalue":{"value":"W1480657292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187823$659D59FB-F30D-49BE-933A-A3169CEC4849","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0cdec0b112eb4162ef9b1139031b2409d137e9","datavalue":{"value":{"entity-type":"item","numeric-id":1884900,"id":"Q1884900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$AB4183D4-BF9B-455C-9FDB-E50F55345153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$6BFF1FC1-8BC5-45D9-8BBA-FBB02F1564F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$9F596CA7-CD05-494C-8907-F27A84E94D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$18F3A4AE-EA33-4BBB-AEB5-CF1A071E7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$C4BB04B0-B8C1-4FAF-A500-B9A2F5E6D8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$80C4EF7C-A300-4B16-9732-641E26640A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$9B24157C-0EFD-40B3-A4C8-8D0C74A9D909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187823$969144CF-86D5-486C-867D-A0371A925904","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617b0df833638df303b4654b02af8d21ecd46a38","datavalue":{"value":{"entity-type":"item","numeric-id":5709380,"id":"Q5709380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a9bd752f0787eac037be7f6366663a35cebc07","datavalue":{"value":{"amount":"+0.7598608732223511","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":"Q5187823$42487CC8-2645-4B00-B515-B41239D1057E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c83cd37235ed39f4f4bde2119fddf147082822","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0702664a0fffe52191b1300589fd94f8d3ed83","datavalue":{"value":{"amount":"+0.7460925579071045","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":"Q5187823$F7EEC581-A741-4020-9B9C-139D9BDBEDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39cd534440fe24d9c83980f8e37d822a3ddedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1275822,"id":"Q1275822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79207a175563d923be1ee12eeab0ec61fe887c4","datavalue":{"value":{"amount":"+0.7363765835762024","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":"Q5187823$E1F9A1FA-19C8-4ADA-82D3-2729A0F6B717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ad121243449a27012fb5095c971ef1db78325f","datavalue":{"value":{"entity-type":"item","numeric-id":2182664,"id":"Q2182664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07575485fc71d2fa01656d4a4e1ebf7c094f930e","datavalue":{"value":{"amount":"+0.7363621592521667","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":"Q5187823$5F4B72B2-30E1-4CA0-ACFD-589C867DBBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fb670341eec387190db86572e6609f071e0654","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cfceb52f821e2beff78fbaf8922c7631c8a616","datavalue":{"value":{"amount":"+0.7362525463104248","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":"Q5187823$1FC56278-A88B-4DD1-97A8-2E7CECAA45DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synchronous message passing: on the relation between bisimulation and refusal equivalence","badges":[]}}}}}