{"entities":{"Q2942772":{"pageid":2953492,"ns":120,"title":"Item:Q2942772","lastrevid":79583132,"modified":"2026-05-06T14:15:33Z","type":"item","id":"Q2942772","labels":{"en":{"language":"en","value":"Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481066"}},"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":"Q2942772$1AA7328C-D221-461F-B422-4BC6BB3F87D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6388a6dc1cffd04f223dc775a77211de9082e74d","datavalue":{"value":{"text":"Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942772$BD19CDA1-18EA-46DD-8BE1-FF2C75E9C60A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb4e70e71a176c20e3edf74efd63ffeab58e0edc","datavalue":{"value":"1445.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$1FBBFC1B-40CF-4AD0-9E4B-EFD81D6CB837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74cbd32b6dd9dc4cb14d9c995ba0133b7d33dd90","datavalue":{"value":"10.1007/978-3-662-44124-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$F4C1CBCD-4BA0-47A8-B030-A76ACBC7F12E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942772$3FAE0753-F5D3-4F53-80E6-15FD8792A023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942772$C24A69E0-287E-4181-B6E5-E2F06512282B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942772$680573FD-E49B-4FA7-B59B-B10AA1B804E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$8DB40583-AAC7-4E7D-87FD-F969ED96C64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$736EDC8F-29D0-4627-9D9B-408F14188F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$E8C98EA2-3E7C-49B0-8C44-07CCF1A12E22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b9b2b3de92625c3cda161b2bf951e971b749563","datavalue":{"value":"6481066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$7447A784-34A3-4860-805B-DF56227053D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85abfddd32bad4b2678f5ebdaaec764a410b76c8","datavalue":{"value":{"entity-type":"item","numeric-id":20941,"id":"Q20941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942772$647D83C7-E2FD-45D9-B729-659F666AD908","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":"Q2942772$03C8A034-CA67-4A9A-82FE-79A1CD5510D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b8610dd95e9016f0043e44a682e05aa74f88968","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44124-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942772$CEEF2487-0C89-4D66-BE85-598C737F5073","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03fb7a34329a1aabafe550a6b656cbd213c55375","datavalue":{"value":"W181923181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942772$71DAD0A9-5341-4FED-A081-8EEFE8373FBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0b1f210983604ced7c3ce85344be25c90353bf","datavalue":{"value":{"amount":"+0.91321695","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":"Q2942772$24C9CC5B-1BFD-4BDC-9F31-A5F7F1B87523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43d794470b4a2f633b0501f6c3dc699900011da","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bee614f993361e480d7fb6a656623d7cdcfa6a","datavalue":{"value":{"amount":"+0.9104908","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":"Q2942772$3BAD12E7-28F4-4039-AC83-534F094BF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e14833b8adab1ad062b7d8ad77ec20a3b9d80c","datavalue":{"value":{"amount":"+0.8993504","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":"Q2942772$98AF82DF-D2D0-4B8E-8408-C956496791BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18058cdc97f17728411a631c14c4a288d35d8928","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd50eace3a63bfe9f3876d93c08d9f4874912b43","datavalue":{"value":{"amount":"+0.89781296","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":"Q2942772$25DC67B5-9D82-40B3-85C1-47BE360F2801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7115eee2139aad5f2c5cff04a2f3ea6a0ae73fe","datavalue":{"value":{"entity-type":"item","numeric-id":5043601,"id":"Q5043601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9cf188b0fea5422975ea31ce1ce10aa44973c93","datavalue":{"value":{"amount":"+0.8896397","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":"Q2942772$587B19E8-BE98-4D9B-9C27-130FFA3222D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3ad0f1ecb1ddd3c0cfbeb76073648fefbd8395","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6998714d262b594b8868c4146158e906efa3547","datavalue":{"value":{"amount":"+0.8870875","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":"Q2942772$C01EA2C6-66D3-496D-A8CE-1F8BBD9E6971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614872894ff3feaa35db7566d946b74376376a07","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d42b50ec24a9e9accd27669e1e4cb9bbc35ea2e","datavalue":{"value":{"amount":"+0.8840141","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":"Q2942772$D81E45B9-23BE-48C6-BCD5-4A6098538441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eeba84584a21c6dba36415497ab6955ca19c0b3","datavalue":{"value":{"amount":"+0.884014","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":"Q2942772$E122C018-6A34-42E7-BA48-11AF48782983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb2913a66fe79a5c7aa38bd216ec8eb689c1985","datavalue":{"value":{"amount":"+0.8836567","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":"Q2942772$96B7B1EB-9CBE-4058-8738-75ED8BD1567D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0041265b30330555ea416b4f65d7526eb233d647","datavalue":{"value":{"entity-type":"item","numeric-id":3638258,"id":"Q3638258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4922807fffed5d17458bb44943d2df51093ae1d6","datavalue":{"value":{"amount":"+0.88274884","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":"Q2942772$ACDDAA0E-6EEA-4CFA-9B95-CE529A1BF78B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)","badges":[]}}}}}