{"entities":{"Q2229232":{"pageid":2239975,"ns":120,"title":"Item:Q2229232","lastrevid":78503906,"modified":"2026-05-06T11:45:06Z","type":"item","id":"Q2229232","labels":{"en":{"language":"en","value":"Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314152"}},"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":"Q2229232$969BE8D3-5561-4900-B6EC-93A95ACC0323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a9551b7b5a7e577772973437895df7595df9db","datavalue":{"value":{"text":"Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229232$AED489EA-8489-4D01-8AA0-3389AE8CF73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86cf79a08e3aa33c676aebd49bb0f92890dc3a6d","datavalue":{"value":"10.1007/978-3-030-57201-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229232$EC7AB2DD-E705-4731-8ED6-B4024770A88D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229232$0C6A4918-2629-4C3B-9638-4C0FD63F89BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b74e3abb8584a6b8ccad5d66cbe5f965fbaf20","datavalue":{"value":{"entity-type":"item","numeric-id":2104472,"id":"Q2104472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229232$A471A573-9510-4ED5-B5FC-7343B86F9C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229232$F79486B7-5E03-4EB4-9CFC-1091C305EF2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229232$0F536375-68B3-4EC3-BA72-7286EC896BA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43d620399af1eadb6fbb5a12ef0707de4f55efd9","datavalue":{"value":"https://arxiv.org/abs/2002.11459","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229232$7D1DDF77-627B-426B-80DA-034E3E54651E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229232$34504A75-1A3A-4469-B06C-09AB918D03FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce3c83266d3a4e52f1ea2ce47e33af13cbc589b6","datavalue":{"value":"7314152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229232$C9BA8EC6-D6BA-40D2-B51C-33105C9864F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229232$172325AC-1578-4FCA-84A5-3E12193492B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c71491e5ec4134e84f50c35e083dfc45078b5ca","datavalue":{"value":"bisimulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229232$51C36793-1CE7-4457-83A7-CC4C91EC92AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61785b21213bbdb22dfdd0e943564cc9cbcc38b8","datavalue":{"value":"distinguishing formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229232$9CFD4474-BEDC-44E2-8AD9-1D56D2FA1167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79709410447923b1354f23ad4f5a80babc9d45b0","datavalue":{"value":"generic partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229232$DB9673EB-1963-48C7-BB51-33F899494CFB","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":"Q2229232$AC42AB70-724C-48B9-8B8C-01D6BE555C1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"928161c31a6470e19ebd647a393577ce677be9d1","datavalue":{"value":"W3082953669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229232$EB99D9B5-21CD-459B-B0D9-1BFF39F375E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9761e5d13352ca7d43704066e2f57d7e81583e08","datavalue":{"value":{"entity-type":"item","numeric-id":5009455,"id":"Q5009455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dac7e760f5910025a51e92b0ae78f647f03568d","datavalue":{"value":{"amount":"+0.8060539960861206","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":"Q2229232$7DDCC573-355C-4D07-A318-7D805861696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f289fa5b2022bd8e4906eef5d660beb0038aa369","datavalue":{"value":{"entity-type":"item","numeric-id":5101352,"id":"Q5101352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b0998a8402c8c9ee7f1f8f2310b572330d26c1","datavalue":{"value":{"amount":"+0.7440413236618042","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":"Q2229232$F0467505-72C4-4795-AC14-1E0B597AF5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c093809c854241a076c9caf6a9dd2d931d106b4","datavalue":{"value":{"entity-type":"item","numeric-id":5060192,"id":"Q5060192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0071ddc8fa4de730eba4f543a8d73f3bf655c445","datavalue":{"value":{"amount":"+0.742837131023407","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":"Q2229232$B70CDBE0-45B6-4835-9849-B45926551958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d48f520fbf8364263093c588137a60c57412aa","datavalue":{"value":{"entity-type":"item","numeric-id":2044187,"id":"Q2044187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1cefc52165636551170a49ac6e3eba77901bd3","datavalue":{"value":{"amount":"+0.730650007724762","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":"Q2229232$ED732EF9-84AF-4135-9611-34039AD77005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c729fdd26285569f1437684d3c8ca19da21000b3","datavalue":{"value":{"amount":"+0.7199760675430298","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":"Q2229232$CF87858D-AE27-4B88-9627-1D5FC3EB496B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas","badges":[]}}}}}