{"entities":{"Q673123":{"pageid":674972,"ns":120,"title":"Item:Q673123","lastrevid":63466389,"modified":"2026-04-11T13:21:09Z","type":"item","id":"Q673123","labels":{"en":{"language":"en","value":"Structural operational semantics for weak bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985386"}},"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":"Q673123$960947E8-28E3-4E63-8346-1414D141A12B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2da942db59efa1fb9cc690f8f4468c1415b355e","datavalue":{"value":{"text":"Structural operational semantics for weak bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673123$BEFB29D7-7D74-43CE-A8B2-C8208B83D0DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e6c8a56b3c7d294585e1864fe2d6f2eca3fc311","datavalue":{"value":"0873.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673123$B946CD98-7B4A-4CD2-B2BB-B5F0E8831856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b511220641cf6ced8055b5e1f7cd5a12ea5736c2","datavalue":{"value":"10.1016/0304-3975(94)00152-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673123$03338F1C-922E-44FC-8CB3-93D11AFCCF70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4980e1debf1992f0f9eac75eba29af68208bded3","datavalue":{"value":{"entity-type":"item","numeric-id":673122,"id":"Q673122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$B437FA5D-20E7-4693-A1FC-815DE61AC6E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$524B9811-8237-4EC9-8677-8130A93736A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673123$9255ACA4-9A4C-456A-8607-AB90D91216DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c2596a96938d7d13643e18aa112ce58521e4577","datavalue":{"value":"https://hdl.handle.net/1813/6147","type":"string"},"datatype":"url"},"type":"statement","id":"Q673123$777E9C48-7445-48C1-9982-2EBDEBBAFF2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673123$3720CEB6-A228-42C2-900E-934150AD68C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa8126feeb6b9721b3c98fb362633c5ed05d5c54","datavalue":{"value":"985386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673123$25E0ED29-CD6F-48C8-997D-74B27C4F9DC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628d492457d23c91507a121ca7d120c032609919","datavalue":{"value":"rooted weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q673123$4B61614C-3B02-4AAF-853D-9244DC0330A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb40f7878b4527d4c53767e09032ea1fd163e77c","datavalue":{"value":"observational congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q673123$F3003034-6356-47A7-8FB4-7F70C4C29744","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":"Q673123$7BABDB38-4D04-4238-B18B-7ADE44FB01AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3adc6770102bb73fa4903c1757f0db0556ebacc5","datavalue":{"value":"W2041561080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673123$7F210508-5C94-498A-9ABA-E9F4C22A7B51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$B70ED7F2-FA10-46C8-B27C-06CD20C819CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$3538C677-D0D5-4D36-829C-5C1374C22D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$4FC75E05-2EFA-4E9C-8F8A-75B7496123F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$5D2CC238-C26D-4A8B-8D98-6E3A951DFB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$A6B51503-BC87-4EE3-8FBA-59FC110A0298","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":"Q673123$374A6946-5574-4B39-8E02-2F361A2D0E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$D3AAC09D-67F8-407E-BFC1-7A455A6DF8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$26187DA2-3311-4C11-BECF-5EAB6E670660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62f4104c4109f0558ad94aa0a1ad28b798274cd","datavalue":{"value":{"entity-type":"item","numeric-id":1902297,"id":"Q1902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$7458B67E-C382-461F-969E-8A740AFC536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$00FD9279-7F7C-48F0-B650-A11934F6D379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$837C6DE9-57B9-4A8A-A7AD-FE066C82604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$B744E6A8-FA64-4FC4-9CF3-59466D0E029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$FE6F48B1-1E4B-4903-8261-16D42DC56CBA","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":"Q673123$F3EFCD1F-0E72-4691-8710-6F42C65C9E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$2D1B0173-D549-46CE-AF11-CD00DF75A85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$4287C9AA-DBBA-4976-96C4-67201202F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$DDDFF4BC-A256-441A-BB6F-C8D5879CD218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$63BB4AC5-E7E1-4D51-93E3-EFD2004A2E45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdf40822e50548f9a1905b7b34afe4688e83633","datavalue":{"value":{"amount":"+0.939155","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":"Q673123$9618487C-828E-437B-A185-B9525254F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df09ed15c4d792152d8181ed7fc89a97e7c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1424357,"id":"Q1424357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0df20007faf2e4fbbf5c28022108bbd8b10d883","datavalue":{"value":{"amount":"+0.90994525","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":"Q673123$E8B054F8-23D3-4658-B946-B58C56AF6FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ef178d2e5ff5721088d140512ce06e0451a75","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6bdf34f190898b6c3e4d0904abc92a2c98459","datavalue":{"value":{"amount":"+0.9059002","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":"Q673123$B31DE86B-9B34-4AFC-84D3-BEAEDEB7CEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4cdc30fc0ab5a03dc9212495053882877b34ac","datavalue":{"value":{"entity-type":"item","numeric-id":5492991,"id":"Q5492991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7413006d38d3488ff3b30603a48edb6d2f72f2","datavalue":{"value":{"amount":"+0.904212","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":"Q673123$0EFE5F30-3593-4520-8088-A8E7A52625DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e436d1017ac1089354b170f809060d95ccd0548","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355772e253cade4e8b1be6ddb41bae52d03577fe","datavalue":{"value":{"amount":"+0.90101326","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":"Q673123$D9B88FD9-9A41-4929-8828-D87D1CFB5E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4fe22d1556e7ca2eff76b184c70e7109dd4cdbd","datavalue":{"value":{"entity-type":"item","numeric-id":1330453,"id":"Q1330453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7557654ccd787a7785044afe9efb4586528ac6","datavalue":{"value":{"amount":"+0.89998734","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":"Q673123$B96DA98D-27F8-4FEC-9702-5047A56EF752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e1fa5197949c4246bf5c91ee28e36c70013f74","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26ba8b282a9549a59a8df717bc358a3a92a57bc","datavalue":{"value":{"amount":"+0.89556664","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":"Q673123$A241E7FD-7753-488C-A7DC-3701A1721973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1848dc5ab1f1b17d273ceef24531ddf34be88b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2864160,"id":"Q2864160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e71fd631ed328e353ae52906de43abc1596269","datavalue":{"value":{"amount":"+0.89294267","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":"Q673123$7CE45677-E013-457A-8957-9FDCA1C678E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e83fbb2ee5fa43a80e55ef7b6bcc731c51bd192","datavalue":{"value":{"entity-type":"item","numeric-id":3613350,"id":"Q3613350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343669107c4834fc148b215caa3b9d5b727a3d76","datavalue":{"value":{"amount":"+0.8920809","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":"Q673123$A7E4FC95-414A-4BA3-BE19-084C06F670B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549372e7fbfd55e33ace45060d6fb94ffba18122","datavalue":{"value":{"amount":"+0.89080775","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":"Q673123$027875FB-36F6-4E24-9A7E-5C3646276BE3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673123$F545C5AD-3A64-4DA7-88DB-1FDE577D1E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural operational semantics for weak bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_operational_semantics_for_weak_bisimulations"}}}}}