{"entities":{"Q2888485":{"pageid":2899210,"ns":120,"title":"Item:Q2888485","lastrevid":83994230,"modified":"2026-05-07T15:37:48Z","type":"item","id":"Q2888485","labels":{"en":{"language":"en","value":"Weak bisimilarity coalgebraically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040161"}},"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":"Q2888485$A94DD9CE-7EAB-46DC-BC8F-2B93620F259A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72919dd8fd81d2331012d121f1cad355cf8e0ad6","datavalue":{"value":{"text":"Weak Bisimilarity Coalgebraically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888485$BC0B5C7A-F6D7-421B-91A7-FE26EC8AFEB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"159ed5caa2ce3ad821b209b0b69c98e537ad5c13","datavalue":{"value":"1239.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$C6044FE4-B2F1-486E-9169-2F16C3C761C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30abb1525aefaa95aa99a835d362b295e5479c08","datavalue":{"value":"10.1007/978-3-642-03741-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$38E2DF90-4081-42B1-AFC3-9DA4C0C5E995","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$BAF1BEEB-E51E-432D-A3E6-1970E9D8A121","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$A1206CFA-55D6-4A5D-AE5D-AA7C5F41F9DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888485$0976C551-B3FD-4EAA-893B-20C33B67F67F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4abc3b53a22be203976b6023dbfb3e537415230","datavalue":{"value":"https://eprints.mdx.ac.uk/15381/1/CALCO2009.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888485$3E5BB0A2-05D2-4BE2-91B3-98B5EB57259A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$83EFEE21-1BA6-4628-8DA2-87A7A981BA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$EE057FB2-EBA2-4AC3-B55B-289286300C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$0F569C12-76D8-46C5-A034-1E80ECF5CCAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166f3969575d438fd0ba49c823e8159a39f75cab","datavalue":{"value":"6040161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$6175C07A-C7C7-4B9D-B365-DCB1D65B886B","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":"Q2888485$4F9ABDA6-CE1B-4D76-A24A-2E556AD22F91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"781e9646c6735693b26ac1f3752f951b7699a438","datavalue":{"value":"W1853270983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888485$FB433029-2C95-434C-91A3-24756407AD9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$59549856-E0AC-4B00-8D26-587B25E392C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ac13a6543352e6e6440fee8830a7c783412af5","datavalue":{"value":{"entity-type":"item","numeric-id":5716865,"id":"Q5716865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$DC09AFA3-FA6B-49D6-B70E-8F9FCBC9C1B0","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":"Q2888485$F4FBDA75-E714-437D-98DE-DFB5261DF0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f865fcdb6dd4ef47a3b079b150fdd7e271cf7c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5431314,"id":"Q5431314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$3CA4DB6B-DB8C-41F4-BB82-A0CD0E4CF908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36d97743a25630c342d09229de75d87ff0c3fde","datavalue":{"value":{"entity-type":"item","numeric-id":4484504,"id":"Q4484504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$6C6337F5-E333-4A0C-9A58-88D515AD43EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$BD4BB15E-F6E5-4EF0-8813-2EC444CB5ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$75B98400-2682-47ED-9C61-B9B670611323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f90dda0dc82c8935815274f4d55a931c785f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1605174,"id":"Q1605174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$29343131-EFB0-4DB9-B740-A83737165840","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":"Q2888485$264B0F6C-91ED-46C3-B36D-10B8978C3160","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":"Q2888485$23E171FC-234F-45FD-9437-5138E83D68D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72825169f3737b24ee3dc1aa79e01fa56c506c4","datavalue":{"value":{"entity-type":"item","numeric-id":2956688,"id":"Q2956688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$02D70460-045B-4A8D-89C7-1E7754EE75EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c231ff6ad64c1cc9923fbe8e8b62ec3c403ac00","datavalue":{"value":{"entity-type":"item","numeric-id":4279257,"id":"Q4279257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$62554E77-8357-4ABB-AEEE-A2E303E7FD13","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":"Q2888485$63BE8521-4BAD-4C8A-B54C-EDC16548D25E","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":"Q2888485$9A54C3B9-CF1A-4BE0-A9C0-D9F6960BE587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa12c45591d29a254e080a997006a10f44ba1807","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$B9422044-CD0A-4AE7-8C6F-C14685E1A8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9f988d0e8fee60fb9b3226c24217ba16f4e0db","datavalue":{"value":{"entity-type":"item","numeric-id":5395109,"id":"Q5395109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888485$77186E94-A928-4FF2-BDE1-F70E52F5FD37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3081ac765471a63258f0ed2e84423eec00a9615b","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4c8f596a42a4dcaf15696c9600b69129600a5e","datavalue":{"value":{"amount":"+0.8126717805862427","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":"Q2888485$70191599-ED8B-4B0F-A425-BA2036DFC3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb47aa92ce1eb82746313e6bc885c5e293840322","datavalue":{"value":{"amount":"+0.805086076259613","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":"Q2888485$C824B4D3-3A1D-4590-A72C-D9591C31179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc74ecc300e3a7ece0786330ba97a820880d18de","datavalue":{"value":{"entity-type":"item","numeric-id":2842561,"id":"Q2842561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30515fa3742a28c679cfc61787aa01aa7010d9a3","datavalue":{"value":{"amount":"+0.8020233511924744","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":"Q2888485$A4204B19-6024-4EBC-9C86-E13B347BA563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2f6b473e28655155528c8704a8ca172d99e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5167838,"id":"Q5167838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9891f8a5cb9ffe686d85b452a7c768006885d073","datavalue":{"value":{"amount":"+0.8015872836112976","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":"Q2888485$4715A61D-09F0-46DC-9E5B-99EA9BBD079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabdd59f83cad2b2fc44996b900c2670666d42d6","datavalue":{"value":{"amount":"+0.7980063557624817","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":"Q2888485$B2420783-DAB2-451A-8998-B14FBC820AC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak bisimilarity coalgebraically","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_bisimilarity_coalgebraically"}}}}}