{"entities":{"Q2280213":{"pageid":2290956,"ns":120,"title":"Item:Q2280213","lastrevid":73028625,"modified":"2026-04-14T09:30:30Z","type":"item","id":"Q2280213","labels":{"en":{"language":"en","value":"Bisimulation and coinduction enhancements: a historical perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144308"}},"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":"Q2280213$A965376F-8A1E-4B61-89A5-127D3C3A7E53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e449796d2547478d878a57d50a8eac15932da3f4","datavalue":{"value":{"text":"Bisimulation and coinduction enhancements: a historical perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280213$BA25A4EF-93FF-4FBD-AF3D-DF257F403ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"776ae730a5010ff8627f402c20e1d92e3ae66daf","datavalue":{"value":"1427.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$744BA760-1193-41DF-85DD-C72C9E970BA8","rank":"normal"}],"P16":[{"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":"Q2280213$F2413E89-601A-43AC-B583-71DAD7703E64","rank":"normal"},{"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":"Q2280213$E7BE0895-6C98-46BD-B2A6-53C463C1D714","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$00D867B6-571D-46B2-979F-DED6910ED3AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-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":"Q2280213$9DC38C45-4925-4112-BBAA-E37E8E39D718","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc7a4453eddfeda6eff0dafe4bb805216882d70","datavalue":{"value":"http://hdl.handle.net/11585/707512","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280213$0B4A81A4-D724-41FB-AB80-CA4D493386EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$484AAC78-F3E7-4719-A620-89EA8617C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$D84B85EF-6C55-4450-A7A6-F24708AE4B89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7be15ed3e28d8eda97cd625c0a9c9af0dbf81f02","datavalue":{"value":"7144308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$5B70EDB7-5F6B-4A42-AF8A-F16FFA5AF313","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$E5A556E8-496C-4F64-9EA3-F6B38E8371C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c16bcc2a523bb7e68436e2f13725598b97d9a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$45341201-E6FF-47CF-8198-AFEB1732F748","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":"Q2280213$0BBA3F16-CE88-4E5F-B55F-930B75A91452","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7ce4447e3209350c35f3c8b8eacfc733956e545","datavalue":{"value":"W2984861660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$CE301F5B-CB11-4907-B0AC-E6EAECD02956","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"617c6ae73164a9951cea85105150374dd8db35ec","datavalue":{"value":{"entity-type":"item","numeric-id":5367066,"id":"Q5367066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$17B76C06-A6A0-477B-B24F-C4A1D52579DE","rank":"normal"},{"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":"Q2280213$4E12A08D-6DC6-4A2F-A2BE-3BDCF22F8BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea7db2a2ce44c53d3bf119c17505305ddcade3c","datavalue":{"value":{"entity-type":"item","numeric-id":5096216,"id":"Q5096216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$6F5D976F-2EC2-45DD-8E73-728AD9290F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$07FA9ECF-F6C8-4C4E-BD9A-225FFF5F49CB","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":"Q2280213$DC9046A9-028D-4F74-9710-FD8923360150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db61eae6405ea4040df4fc3178f4852033f053c3","datavalue":{"value":{"entity-type":"item","numeric-id":1687535,"id":"Q1687535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$DCB52FB1-F8C2-43DE-A88F-81C61B77640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af564deade6f382327dd892208b67d4051da26","datavalue":{"value":{"entity-type":"item","numeric-id":2988636,"id":"Q2988636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$B5B88338-0994-4E15-AEC7-9A33004740A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f506be801a258d09cfdf15c71d74a514018293","datavalue":{"value":{"entity-type":"item","numeric-id":1286368,"id":"Q1286368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$A6778C03-7A23-47B3-9248-BCD966591B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09bb74c2259b7aaf2745747a6b846691662fc99c","datavalue":{"value":{"entity-type":"item","numeric-id":3303913,"id":"Q3303913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$3E6EF7DF-1689-43A6-946D-DF3D4A120BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$8BFF20BA-5206-475B-A244-44E1AD894A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5f6065d4b2ed03da17fc0ec89b6e65d3a8aea8","datavalue":{"value":{"entity-type":"item","numeric-id":1271472,"id":"Q1271472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$09843C9A-9C21-40B4-B42E-628295C6CA3A","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":"Q2280213$BF5DC7BF-788B-4A09-A1CB-3F245B5D4FA7","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":"Q2280213$8ED28119-4B40-4536-A1C2-48743C258386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1a885fddd1b71c007856eb4a638b57e1df2970","datavalue":{"value":{"entity-type":"item","numeric-id":4580200,"id":"Q4580200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$92240C4B-5357-463D-8988-523D1D973FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ec34bc45b3dd9208c19ebd43163fb16d3d98f5","datavalue":{"value":{"entity-type":"item","numeric-id":2981955,"id":"Q2981955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$4BCAABCE-3130-4F0F-8CE9-1D4CED250A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b74851938f00bb5c8ae552b2eab3f17bbfc147","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$1B8DE276-0BA2-45F2-8AEA-24FA3CF3AF70","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":"Q2280213$67130503-318C-46B6-AE88-BCE1A6F2ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3973c2231f0917d19dba3b044d1c9b6231c892b9","datavalue":{"value":{"entity-type":"item","numeric-id":2906944,"id":"Q2906944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$F836FE6B-442F-4891-A7C7-6446C0982BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$5D58C4B5-26CE-4FDB-90E0-A3824828989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2efcb468b3592c55085df0af0592920b8d8d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":4608688,"id":"Q4608688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$49781264-EA8E-44EB-A38B-80FF164B09A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edf2fd4ff29a00b42d2a7298fedc819880a2094","datavalue":{"value":{"entity-type":"item","numeric-id":5228882,"id":"Q5228882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$8DEF9170-99DA-42BA-A592-C13C69C9CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dba7a15b0608fd7a2003e436be0af2bf95ea618","datavalue":{"value":{"entity-type":"item","numeric-id":1772314,"id":"Q1772314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$423B2E6F-68FD-4FF9-A506-C4A1617B4F27","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":"Q2280213$8B8131E1-4339-48E8-A928-341635F62DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$E022C506-5506-410A-8A9B-A5F56ACD63B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$C3FB37CC-967A-47C0-A032-868CE4EDBDB6","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":"Q2280213$087603CD-B05B-42F7-B977-449CDCA21C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$9B13EDD3-700C-4D17-A379-1B871CB39D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936c7c4a052989c715e3bebcddd81b4a8fd16339","datavalue":{"value":{"entity-type":"item","numeric-id":2495644,"id":"Q2495644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$8AFBCCB4-D8D0-43E1-BD6C-BD92066DCD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb7d511f8aba8436e91765e2ab29c0ba2c0f389","datavalue":{"value":{"entity-type":"item","numeric-id":3636798,"id":"Q3636798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$A14A2C43-8605-48F9-AA7F-F47579E06D8A","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":"Q2280213$00537803-A868-4D78-BD8D-67A2AFE912C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$AB8B40AA-31BA-48B6-A5B8-8E4A6AE5E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$4ECDCB98-9C37-4DA2-87DE-36E6437BAA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$6726F7AF-7AAD-4A9B-9267-F857D7F963B1","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":"Q2280213$85587053-7B38-4277-A048-C9F2FD84DD7F","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":"Q2280213$06FE4A52-7047-4E0C-A4D2-9C8A53521C3F","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":"Q2280213$FCA61D37-EB0F-4B7E-8944-473524921F33","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":"Q2280213$DEEC9A9C-AB66-44A0-AABB-4FCC2191FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$AE37748B-3D90-41BA-A859-0F8906F46955","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":"Q2280213$CCEADCE4-BD0A-4756-AB4D-C7196AC8118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bd49baa9ffa9aa2d88d399d90530dbf157096","datavalue":{"value":{"entity-type":"item","numeric-id":2850841,"id":"Q2850841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$D8E54F34-5AC4-4085-BE4B-3E57D36D026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d27dea8a5b32fb27f65cc37b9c19fbd34d8825","datavalue":{"value":{"entity-type":"item","numeric-id":3455211,"id":"Q3455211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$E00EA3BE-88EB-47AF-973A-21300AFACCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$06D31347-4C08-462D-985F-1FEB3AF2CED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$BAE86EE1-E9EC-466A-A786-A052BB65A89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$2694F0B2-A824-4A5A-AA52-4B2B8ED05B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aea540be411ec2203890df76a7b157d135f65ce","datavalue":{"value":{"entity-type":"item","numeric-id":1929334,"id":"Q1929334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$2FC031B5-94D8-4BB3-9723-2FF4A5CA9ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$995C46DB-453C-4141-9E25-8DCFB693034C","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":"Q2280213$4EEF4F40-E7F3-4D5F-8DFE-C3F907D7AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f7d697c553cca5167f24089905babc27f46c11","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$31FEECD3-42BE-4C71-BABB-793893928E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e010c4ea079b9aad48aa967871b2e9777a74f284","datavalue":{"value":{"entity-type":"item","numeric-id":5756594,"id":"Q5756594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$AF562633-7B9F-4D1A-ADD8-6680BFDF9355","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":"Q2280213$9AD388B2-29D5-4BD1-907F-4388997D7D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f94ff8757f5d21aba1ad444aa28e9cc7bc24572","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$2B87461F-2ABA-4C20-B919-75E2A0C127AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f6fc3ab2054522310d96ecefde76dcb87dd4e5","datavalue":{"value":{"entity-type":"item","numeric-id":935472,"id":"Q935472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$00D052E8-2271-4A9F-B904-95E4EB578B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$E4E6378A-AE17-4C97-98C9-0D67F8B7BEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a359332bc8cbd27a6b4d63fac3ebe9b0581cec4a","datavalue":{"value":{"entity-type":"item","numeric-id":2988363,"id":"Q2988363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$3E34760C-8B2E-4B7A-831A-DC552C2C6C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef718ed05d1cac656de52bc69376ec7eed12c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$8C381F08-9BDD-43C2-8C22-1B6B44434EC2","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":"Q2280213$F6C2DF4E-80A4-4528-A60E-F1344CE19432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f101e8616f930409d8e944ae3903ca4e677e434","datavalue":{"value":{"entity-type":"item","numeric-id":5739896,"id":"Q5739896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$03E88A62-E81E-48BC-98DC-8F0951EF6078","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":"Q2280213$44B82798-A8C6-4B4A-B0A8-DCB8E665B17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$93265034-1D1F-41F8-8E72-5F90B78C7F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de49b251a9ce134f8bdce114f55c4b9f29d9b98c","datavalue":{"value":{"entity-type":"item","numeric-id":4490739,"id":"Q4490739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$CADC0F08-8489-42A4-B016-4A9B7563A6EA","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":"Q2280213$D8D912A7-6747-4C26-8C7B-8E9C47899694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5650e4bd28e0420e3f80b676b212d1e4b47104c5","datavalue":{"value":{"entity-type":"item","numeric-id":2704329,"id":"Q2704329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$C49B9682-CEDA-4130-8734-24B4EC43333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$0D2111FB-BFC8-41BE-AAED-872EB5D05735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$9E12D8F6-FE77-4D0E-8844-0F2910C5A942","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":"Q2280213$BBB1FDE6-B69D-4AA3-8D18-6FE5EFF17613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f62b3b29af52f15a349568ffee2fa94b3dd458","datavalue":{"value":{"entity-type":"item","numeric-id":2819828,"id":"Q2819828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$1FD79B1C-E66B-49AC-8FB7-E8C2909515F0","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":"Q2280213$7C199215-7981-4D16-995D-B5D2BEAADFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25d503739dfb5bef7232e5c56d10b9c20660a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5899513,"id":"Q5899513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$B3C2ECF2-10E9-4917-AB36-8E10A093D1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2c941835a5c82b5329ed38a363d3717f39c681","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$EF52AB40-35F7-43DA-9696-B62A2F01558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298c345c5fd5e9751c3c32a918b118916c5b64f5","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$448A9B27-A456-47F9-94B4-2F581144A2DB","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":"Q2280213$2929EC3D-5055-4499-820F-ED0B77823110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e290f57a1e4e293ccc3fdfa33b0b64a4f73d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2828300,"id":"Q2828300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$701F9784-2D97-4ED4-8AAF-BC7246554606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$2FCD0170-2371-4C91-AE14-E20A6D0E9FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$2F6547B0-081C-4320-89C5-B2B4DB38D48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bdd0b4b798b242af3249cf23f716a72946cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280213$482F214F-5CC3-42A3-8DDF-3D591FC5A612","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04e2d4aa2b6f6b8bd22d0112f4905590ac52c2d5","datavalue":{"value":"Q126836697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$9E9784BD-EAAB-4091-B5DC-E56318EA79B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c571c3c69694238177d534c4dcbb9b8f55a59bed","datavalue":{"value":"10.1007/S00165-019-00497-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280213$9E6D43A3-FF44-4F90-A3AA-705E3DD46C30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cde9f4b027573ff449239da0f9b107f282a9274","datavalue":{"value":{"entity-type":"item","numeric-id":5262977,"id":"Q5262977"},"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":"Q2280213$0CAFE5F1-E8B7-462A-A82D-34F115FD4669","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":"085db0278e08219d5c0f52f7ad5a639e20ef044f","datavalue":{"value":{"amount":"+0.827663242816925","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":"Q2280213$0391D302-A8B2-44C9-BA6C-F72146ADD42E","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":"175a19a24a0f84c85a614becfd0ea7648adb9bb6","datavalue":{"value":{"amount":"+0.8270189762115479","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":"Q2280213$C48BD1E2-2000-41F1-B179-848A2CDAFB03","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":"7731961c7aa966676c347c049079a26f0d7d419b","datavalue":{"value":{"amount":"+0.8156105279922485","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":"Q2280213$51B75CE4-59C5-4315-BFA1-03060F9F24B1","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":"39b245e24ee3e6a24d4450524aad602befafd135","datavalue":{"value":{"amount":"+0.7825441956520081","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":"Q2280213$98AB7C13-144E-4167-8DCF-223A6DA50AAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation and coinduction enhancements: a historical perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_and_coinduction_enhancements:_a_historical_perspective"}}}}}