{"entities":{"Q4910414":{"pageid":6939993,"ns":120,"title":"Item:Q4910414","lastrevid":91596965,"modified":"2026-06-04T23:34:50Z","type":"item","id":"Q4910414","labels":{"en":{"language":"en","value":"Modular bisimulation theory for computations and values"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145828"}},"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":"Q4910414$B7E41D41-28F4-4E75-B5FF-805FC92D8376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2def9bbba2ee112d28af484fdeb7a6debc5605b0","datavalue":{"value":{"text":"Modular Bisimulation Theory for Computations and Values","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910414$A1DA8247-9383-4AE8-8D82-FD72E01915F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40e7045617d8ad451603865673e9bbcb7150d3b2","datavalue":{"value":"1260.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$77AD827D-F2DA-42EE-9E18-998DBEE59261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c72b0fa6f2ab10c7e73827eaeaa9c644a3486f55","datavalue":{"value":"10.1007/978-3-642-37075-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$C98BCD8D-8391-4B6E-A562-8DDA932FB7AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db927feaafe5bc875445304e04b561e8a58d8f93","datavalue":{"value":{"entity-type":"item","numeric-id":388202,"id":"Q388202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910414$40B0C694-F7B3-418D-BFED-561704E47F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910414$D95700C8-FDF7-4265-96B0-1ED1FF7E78A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910414$685F92E9-533B-4A79-BE32-D34BD1548F10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910414$8338261E-965F-466F-AD14-55A33A7890F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$EE6D6ED5-BD38-4251-B841-FF28BC568458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$028BF7B9-52ED-4733-86F3-A67DD2D53E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$72C79D55-300A-4929-B9AA-351348FF0A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc45001d4c3a92f95cd29b3df26124bb8ee856aa","datavalue":{"value":"6145828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$259CF339-FC41-48F8-893F-37A8047B5077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910414$FFFB78F1-747E-44A9-82FC-7BF3E943CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910414$7C9E1A45-A00B-4491-AB7F-92A2A0FACE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e981b1e4581137abb3c811fe3ceb9459163ce433","datavalue":{"value":"congruence formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910414$828F5D9D-4065-4C80-8CFB-1D90AE04DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf04286060612dd596abd3e159e4c57ce11a537","datavalue":{"value":"modular SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910414$97B3C32F-71FE-4321-8B6F-3950BFEB4F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09edaacc6e77bae614a52fb00e69c7ca8ca1aa5f","datavalue":{"value":"higher-order bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910414$AA3620F7-B95D-4A90-A7D1-D26D0380DB6E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bee2f68adf08ced7db2d60cc1082d657a67d1708","datavalue":{"value":"Q57783394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$C5D6AAB7-DC52-4A1C-82E7-5CA8CEFAD72B","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":"Q4910414$AFE32FE9-B93B-4757-AB24-ABB547EF48F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ecae32c68925992f6a30bbf6a13880a5e5d56c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37075-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910414$F177ABF3-B1B9-408C-A854-AF82FFA4B3F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92002072ffcc7c81dd27ac98b4719c6ca07f3319","datavalue":{"value":"W152792930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910414$A08313E5-B5E6-4F08-8D9B-3984A0F751F6","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":"5dd86cf4f522dd1ab9ada153c652754bf9a9d5a4","datavalue":{"value":{"amount":"+0.7868537306785583","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":"Q4910414$4F6A20BF-D25A-4888-9CA0-89B30ECDA72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00953a372addde9410ab958c65d103bd1923c831","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a46afd2622223b8561ba80059077264016c771","datavalue":{"value":{"amount":"+0.7861637473106384","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":"Q4910414$5FFB78C9-29A6-4038-8C75-20F1838AD2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29becb5bd10583c5f6229ac851c6c7d86cae46da","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6481e8405cf12c873d7e8b5e0cced69ba4993981","datavalue":{"value":{"amount":"+0.7814815640449524","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":"Q4910414$FBEABCCF-7899-42B8-9B18-C2049792BA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12d09ae2c097e1e6d7c6ef7c5e1e6051928727b","datavalue":{"value":{"entity-type":"item","numeric-id":2486401,"id":"Q2486401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61db13bc1d2a454364d1d2f40733fa5ee767410","datavalue":{"value":{"amount":"+0.7754101753234863","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":"Q4910414$2B80DF49-0AAA-45EF-B4C3-52543A2CE7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7cb7b2052e3ea7e556ceee518dcffffbdbb659","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae35947d1fb38b92761e487488ae623bbb363912","datavalue":{"value":{"amount":"+0.7718510627746582","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":"Q4910414$EAB81C14-0B2E-428C-A5D7-0814A57F4C6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular bisimulation theory for computations and values","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_bisimulation_theory_for_computations_and_values"}}}}}