{"entities":{"Q5262977":{"pageid":7292553,"ns":120,"title":"Item:Q5262977","lastrevid":52303907,"modified":"2026-01-21T09:46:26Z","type":"item","id":"Q5262977","labels":{"en":{"language":"en","value":"Bisimulation and co-induction: some problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457611"}},"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":"Q5262977$AFBFE63C-A342-4B79-A94D-6FE1210611AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f99a34a136d2c5975cab0160f0b33391b6b21c5","datavalue":{"value":{"text":"Bisimulation and Co-induction: Some Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262977$9FA0A4FD-B4BB-4796-87FD-89B16A410E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbf9a31c1591177d154bc97ae02788c0be9fa952","datavalue":{"value":"1316.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262977$0AE28E85-B476-4544-92E5-193FCA2FB3C3","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":"Q5262977$9DD2B00F-7B7A-499A-B51C-0AA693C42BA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$B732DEAB-A677-4AE2-B8FE-09B1AD0B18FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262977$9DD13243-CDC8-44EE-8F68-64AAC904B2C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262977$F8C7F732-3A9D-40E4-BED6-54CA31FD842D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b7560ba0cef481f8f0491e4a79d9bd38e23f7b","datavalue":{"value":"6457611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262977$935B7DD1-6DD6-446C-AD47-FC8BEC685AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262977$CD6EB81E-A2B0-4FBA-A461-5CDE6E42E66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f56d350b5b90fc1fddf0b43b4d5ff923c1661bb","datavalue":{"value":"higher-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262977$D9FA52A9-67DB-4ACF-9575-2303CDA647C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262977$1249982D-9507-40A4-9381-D5EB7A3E07F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262977$B34E59D9-1136-47E5-B41A-C894BEC52303","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":"Q5262977$9FA9430F-8F58-4B5B-BCBF-79016789BCFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d13166e23976af054cfc1b5537e7b0002e8d061","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.099","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262977$38938509-6972-445C-8580-E7A9019478F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57ecd477fc2ae9c0d94bd25f34c59835bf293269","datavalue":{"value":"W1969657822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262977$98C02058-7C0B-4189-8FDF-AB3EA9FBA357","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$37913431-EBA5-44CD-AD59-6263E503AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$4C2447CB-EDE7-4D05-A521-F66E10AE4DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d937c8107c03a4cbda18f8e83f04d436d46ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3829081,"id":"Q3829081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$189BF51D-DC88-4D13-BFD6-A20C6B09D63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$9D71B21A-F3A4-42B6-AE1E-54F52602C8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$11205A29-E19B-44E8-8B27-54F08F5F6A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db463b72293699aa12f14595958b9718ab07d50","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$F94D09AC-65DB-474B-8E37-28187E9AD733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5f93e880f26a351dd01f246d08f28f874f70c","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$0461930B-8D0F-46DC-872B-906570E3DDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$F2CB6398-2292-4DFC-90DC-3ACF3B39AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$6D861BF4-C0E4-47F0-B0BE-42BD62CC4292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$E62ECEB7-76DB-44E6-8C82-96B72E50BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$6282DA87-6C60-425E-B8B1-3C9DC1B6C6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd7a451b47e8f1a3592e5ad136aaeb22af8ce40","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$0597FB68-37B7-43A5-9B72-55F8B6035B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262977$3E8E08A7-CB90-4477-8520-5D5CA2195CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d65908d50c91f8448b8efee21b615ead1c64e81","datavalue":{"value":"10.1016/J.ENTCS.2005.12.099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262977$34EB2713-7907-4573-9A13-21E40F5E63DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203b5622731250926e249e14d57baa573ec3054b","datavalue":{"value":{"entity-type":"item","numeric-id":2280213,"id":"Q2280213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d6be3612e85fefb839117764f458663e895407","datavalue":{"value":{"amount":"+0.831930935382843","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":"Q5262977$CA9D17CB-9AC6-460A-A4BB-1F5367A67D5A","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":"e7f1975d6946a36fe430f42e952269c94376eac7","datavalue":{"value":{"amount":"+0.8237271904945374","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":"Q5262977$7B049890-B036-4D6C-8D06-66F40C98C1B1","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":"c143edc8334bea395f36d3da843a5bb9c4affcbe","datavalue":{"value":{"amount":"+0.8226541876792908","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":"Q5262977$1C0D0E8D-6C5F-4EFE-ACCD-2F67AE29B488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa663970f5bc93526dd2c4ba247ae9dac9c4cb5","datavalue":{"value":{"amount":"+0.7742904424667358","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":"Q5262977$5A5D64A0-E7CB-407E-B559-4BFAEB93B199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1873dcc86201417d0fe1d5f5cf7836f1e6f22d","datavalue":{"value":{"entity-type":"item","numeric-id":4314681,"id":"Q4314681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f517b221e29c41b3dcf73386b0186dd345dcdcd1","datavalue":{"value":{"amount":"+0.7643606662750244","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":"Q5262977$D7C246F7-0CD8-486B-B8B8-A9A11876A239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262977"}}}}}