{"entities":{"Q523132":{"pageid":524899,"ns":120,"title":"Item:Q523132","lastrevid":62477820,"modified":"2026-04-11T06:21:37Z","type":"item","id":"Q523132","labels":{"en":{"language":"en","value":"A general account of coinduction up-to"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706473"}},"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":"Q523132$70D3B667-3A97-4E90-9E33-970BCCDC2756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e68507fa1da56298339e416dfa9f56c8315812af","datavalue":{"value":{"text":"A general account of coinduction up-to","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q523132$163D02EA-2BFF-48A1-9E4A-AA1C241F4503","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bd3ef870a90bb4c07b8f0caf3a506d0f40adc23","datavalue":{"value":"1371.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523132$BADA6F93-7BAD-4AC8-A621-CAD4C7F96A39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$2E308140-32DF-4D71-AF89-E51B5E5E8C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$A87DB698-61BE-4F51-818A-585F7F3189B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$5B262E78-3680-48C9-B9D3-56C8EF693696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$347DBB60-B723-4B15-8D09-8183C4A421A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$D019CCF0-3967-4D32-B986-B9EBED8E1C1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q523132$DBEF4C49-5DA1-4A48-88F3-CDFB462EE52A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df2bd18aceb42b1a6fabd311b55953c3599639b5","datavalue":{"value":"Up-to techniques were introduced in [\\textit{R. Milner}, Communication and concurrency. New York etc.: Prentice Hall (1989; Zbl 0683.68008)]. The authors of the paper under review prove the soundness of such techniques in a fibrational setting, building on the work [\\textit{C. Hermida} and \\textit{B. Jacobs}, Inf. Comput. 145, No. 2, 107--152 (1998; Zbl 0941.18006)]. This allows them to systematically obtain up-to techniques not only for bisimilarity but for a large class of coinductive predicates modeled as coalgebras. For instance, the fact that bisimulations up to context can be safely used in any language specified by GSOS rules can also be proved in the proposed framework by exploiting the well-known observation by Turi and Plotkin that such languages form bialgebras [\\textit{D. Turi} and \\textit{G. D. Plotkin}, ``Towards a mathematical operational semantics'', in: Proceedings of the twelfth annual IEEE symposium on logic in computer science, LICS '97. Los Alamitos: IEEE Computer Society Press. 280--291 (1997)].  In the second part of the paper, the soundness of up-to contextual closure for weak bisimulations of systems is specified by cool rule formats, as defined by Bloom to ensure congruence of weak bisimilarity. However, the weak transition systems obtained from such cool rules give rise to lax bialgebras, rather than to bialgebras. Thus, the categorical framework developed in the first part is extended to an ordered setting.  This paper is an extended version of [the authors, ``Coinduction up-to in a fibrational setting'', in: Proceedings of the joint meeting of the 23rd EACSL annual conference on computer science logic (CSL) and the 29th annual ACM/IEEE symposium on logic in computer science, CSL-LICS'14. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 9 p. (2014; \\url{doi:10.1145/2603088.2603149}); LIPICS -- Leibniz Int. Proc. Inform. 42, 240--253 (2015; Zbl 1371.68187)].  Section 2 contains motivating examples. Coinduction and up-to techniques are introduced in Section 3, before recalling the basic definitions of fibrations (Section 4) and coinductive predicates (Section 5). The main results are developed in Section 6, where up-to techniques in a fibrational setting are obtained. Section 7 is devoted to technical results allowing to import tools from abstract GSOS specifications. At this point, several examples of the developed theory are given at work (Section 8). Then, in Section 9, the difficulties are explained that arise with weak bisimulation, which motivates an extension of proposed framework to an ordered setting (Section 10). In Section 11, the authors come back to abstract GSOS specifications in the ordered setting, before dealing with weak bisimulation in Section 12, and simulation in Section 13. They conclude with directions for future work in Section 14. For the sake of clarity, the authors postponed many proofs to the appendices, whose structure follows that of the main text.","type":"string"},"datatype":"string"},"type":"statement","id":"Q523132$F16A3F5C-7F50-49E2-A89D-407BA673FA20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16c26e4ac190a2cc8301d13290ef2f97e240c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":590338,"id":"Q590338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$6EF07BA9-C23D-4CF3-8B06-1B73DAF9423A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523132$FCF5C2B5-BB93-4C6D-8E75-BE0A4BD835BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"331f58585f45e8c7178c16c9d4cb5d5092969a20","datavalue":{"value":"6706473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523132$6001B9F9-54A6-4B6D-8225-ACE099BBB61F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae00cb1ee09f704c0e378b06e9279059c6ab571c","datavalue":{"value":"up-to techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q523132$721946DC-9DDE-4195-B0B8-0904E43F6A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q523132$91BB4C9D-F88E-414D-80C2-3CA6CE078603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4427d774493d971c4a708b3a2e1332aa0857c96","datavalue":{"value":"lax bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q523132$D9CB3BD1-6D9C-46AF-9A5A-D146EC76749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e071dbb0c1e2b86d87646b5aa3185d3467d1111","datavalue":{"value":"coinductive predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q523132$0181B267-D210-46F4-B545-197CF9D353FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q523132$16D6B90E-DE59-4DC0-96B7-0FA9B6839C9D","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":"Q523132$971123D7-A09F-4CA0-94FD-3F2D8187D857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c99010db3908e8fd09ff454c73e88cf3eee617c","datavalue":{"value":"https://doi.org/10.1007/s00236-016-0271-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q523132$0D175C0E-12C7-4296-8BD0-11A49A5BF67E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c747fdfdd555046f19d0cb877d32372790ab8e49","datavalue":{"value":"W2468444917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523132$28D6FEAA-273E-4FD8-92B4-55CC6F814EF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$ED68B89E-99DC-4E20-A9B0-852FEE3A77CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb6d6d5a1dc5614019136abacf0c0f9f73314b7","datavalue":{"value":{"entity-type":"item","numeric-id":3090863,"id":"Q3090863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$0BC14204-0A6A-465F-BC19-26FEB96685FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9c0e29421d6669655f0af85221fca04b96cbb6","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$0EAE1AC3-6DA3-4B34-B06C-C8B6FF6DC010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$214D04B8-18AB-418E-A6DF-C68322C2C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$844D61B1-015C-478E-BAD4-ABB1EFDF7311","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":"Q523132$43BC4192-B852-4F98-B304-71658CEFBF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345a99195b275288f37e0bc7794c047e3991529a","datavalue":{"value":{"entity-type":"item","numeric-id":5271055,"id":"Q5271055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$5631BEFC-28D4-445D-AA5D-592994394454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10043574401804d8bdd7c3653c3ff3d4446380","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$1DC6544F-721B-4725-8EC0-E987BC0DA5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8f096e8bdd951b14d48b7b92532eb34a11b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$EA289ADC-6243-46E5-98AA-0AD56AB0EBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e92b2b51d1282dd713e5d1a6b7c651f33020df","datavalue":{"value":{"entity-type":"item","numeric-id":5357707,"id":"Q5357707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$6958F57F-CC53-4896-AB96-83F058AC49C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$230BF2AC-5232-45FF-8458-4D55EA30FA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce4bae12e9ae11dcf15ab7a4c4770ec16d01235","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$47ACBEEB-6E28-4C16-918D-75CAE5B206F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0f7f73f6d9dc767a83384ac84831a61bd07750","datavalue":{"value":{"entity-type":"item","numeric-id":890618,"id":"Q890618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$C554A964-9206-4B20-BC74-346300040A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$6F80379E-2188-4652-84F9-B14DF849993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$7053C233-8B29-470E-AEED-B7B94DAD9256","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":"Q523132$AB06DAEA-6230-4D98-B44F-7D3CFE7E3F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9853ebd672b3d807cdf988b6f20dc6e1babdc46","datavalue":{"value":{"entity-type":"item","numeric-id":1012125,"id":"Q1012125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$10966657-1B00-4D12-9AE9-5833FD64D2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006f528210e850bdd5dbcf0e2a7f6892b9bcd9cc","datavalue":{"value":{"entity-type":"item","numeric-id":5167838,"id":"Q5167838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$A75F8FAD-9B92-48FD-A895-FC11DF18D119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9fd495674a30a6494f560f87b92fd51112725f","datavalue":{"value":{"entity-type":"item","numeric-id":265811,"id":"Q265811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$A8D96D61-37D6-4CB8-A38F-97B3D18EB96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$3D022780-2A3F-4E6C-B055-8394D56D7C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$EEE1C938-895A-47B1-9981-C451DA0CC162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$F98CCBBB-CB7F-4AB4-B7DD-6BD64532AE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec4a2646b3ec82a4decb329cac1845b9ac4656e","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$5F7CC043-803A-41C3-9EA1-99D821EAED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce10e2b1fb07550fba97d8e7cbd91e0c4a573e","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$AF5861C5-E807-4AB5-A5D7-E442D796456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afd5d01d325e6477a6401ded12b1a584ba549d","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$CB46EC76-87FE-43E7-B645-F8A061F4BA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$0D399D7D-7E2C-4E96-9E0C-C635DD513014","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":"Q523132$034FEAB5-0EAE-47E3-B11C-C8C1482C0904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$91730D1F-BFAF-4838-B922-2F34FEDF6D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4608ad1f82faac3c656df9d9bbeb7002eeb5d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4035257,"id":"Q4035257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$EC6716CD-7002-45FE-AAAA-F3591EE26527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$6343D6F9-86B6-45AC-9D1C-963B60928EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$C4788FDB-074F-4298-A0EE-98635D93BAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$8D506029-C261-4CFE-943E-380680F0D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4832637b64a934bed98845bfbdbd644efeebd591","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$AC2280E0-B1DC-43F7-AF84-26C02DA5BB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$B128683E-234C-4F76-A1B6-BFAE076E1018","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":"Q523132$44947A91-3AAC-4082-9208-2F019A7B4CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$DC798593-BE4A-4563-A51F-0AEB89DAC58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$7960C31D-5977-4C5F-81C2-FD06EC4DEDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb700a804f495f74faa9557fbe427450b58c650d","datavalue":{"value":{"entity-type":"item","numeric-id":1878715,"id":"Q1878715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$37A43DDF-EB2D-4C77-9509-9105CF692C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$80A9AACD-C078-4835-B406-48E14F7547D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f443c24cd152cc9085d6b797e73b4b80c7b51f83","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$B615F338-E561-4D46-ABBF-3C9DB43F8FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$0B56C36F-50CB-4F0D-B343-B32BBB0EBE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95fe6b711716f8b9810844eff2ba2b9a1ed7141","datavalue":{"value":{"entity-type":"item","numeric-id":4092156,"id":"Q4092156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$7347BAA0-7BE7-4C77-9F12-B5E8B9AF7B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$D315E31C-BA46-4B1B-A9C1-2CE5A1626EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b9663f98ebea6a0f02394d36a1fc6b5806948","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523132$AAFA1B8D-2CC3-41D9-A7DE-C9BB99482CC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50a42c77a561f98de219b89887d4d211bf2b9a2","datavalue":{"value":"10.1007/S00236-016-0271-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523132$A86F9314-7332-4704-9640-E504D38CD24C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a2c69a2ef12c76a4abd1b71822c03c31c1b6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33757e58148fa36876e29f03b2d10785a1ef3cca","datavalue":{"value":{"amount":"+0.9142035841941832","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":"Q523132$670F1B33-6212-425B-AC1D-F7F9BC9FBB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05645a6aba77279e66dd00cc8f3bf4574a5e89f","datavalue":{"value":{"entity-type":"item","numeric-id":5357707,"id":"Q5357707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd079a2a2277565682cdcb1d3b4e3591c732c63d","datavalue":{"value":{"amount":"+0.8648023009300232","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":"Q523132$112503C2-6088-411E-91AB-A8D497DB99D1","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":"c0ddbc7d7bd72a782ed01c025b76382082361d88","datavalue":{"value":{"amount":"+0.8124147057533264","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":"Q523132$D4C5ACE7-4065-4460-ACA7-E7836FC9071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a317bc729f6189008545abc165920245f50d629","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc7e533061c9c8a6221490d9cd1eac728aaa6c8","datavalue":{"value":{"amount":"+0.8071612119674683","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":"Q523132$52E3D414-D304-41AC-A165-5FECFC0DAF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b990ebf3525412b81bbb9713b51413a53233390a","datavalue":{"value":{"amount":"+0.806377112865448","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":"Q523132$30396376-0786-45F8-ABC9-AA2778402716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general account of coinduction up-to","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_account_of_coinduction_up-to"}}}}}