{"entities":{"Q3003316":{"pageid":3014040,"ns":120,"title":"Item:Q3003316","lastrevid":51254171,"modified":"2026-01-17T11:33:09Z","type":"item","id":"Q3003316","labels":{"en":{"language":"en","value":"Relating coalgebraic notions of bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900067"}},"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":"Q3003316$DEF04F14-4118-463B-8D2F-1703847C7818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"004252d0b2a4d1b972222f10de31b2bf29af38f3","datavalue":{"value":{"text":"Relating coalgebraic notions of bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003316$701F7E86-93FF-4AC9-A74A-F697C6F6D85C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f7baecbe2a62d7406d871df612bd43edb13d42f","datavalue":{"value":"1247.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003316$3B68F2E0-1ACC-42A5-A81A-34F60F5AB2C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d271f5f42ef7d906be09809943dae4e6983f7584","datavalue":{"value":"10.2168/LMCS-7(1:13)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003316$BBBF7CAF-2D50-4AD3-8563-9BB08BF88C18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003316$20FD2B7E-12FB-498D-8169-A5D7AE4E4247","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003316$934FA715-E323-4ADF-90D3-A9560B1E410C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003316$3616E3FE-471B-403D-89C7-8594E720A034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003316$93641B2E-E2A5-4239-BD36-AA491D99AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003316$A16305C5-009F-4BAA-84FB-00EC1D95C029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003316$5872A55D-E9C3-48D7-9196-411E59E5C461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f60e7582ddd57d3b102da3f05dd1e16eb724cf09","datavalue":{"value":"5900067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003316$DE630582-51C5-4C55-A155-97BE2DCFF19E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003316$A2D8B472-D0F0-4797-A568-849C2768D87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003316$EFAFFFC8-8B08-4802-A981-12CDEC816902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003316$14E8C725-7BFD-47B2-BE25-6BB623A07C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003316$818A9BD0-E249-478E-8659-432E53688E81","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":"Q3003316$88F7761E-A012-41A7-A2B7-108F12E3B89F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3df975cc953a06f3b0802a02307f01304a9d78f","datavalue":{"value":{"entity-type":"item","numeric-id":2888487,"id":"Q2888487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af47da4204e7324c97ead4cc1234ea6affd6cefe","datavalue":{"value":{"amount":"+0.8691575527191162","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":"Q3003316$4BAE68C9-761D-4EEE-AA03-82CCDEB563BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bee8456114c85850fe3f13cb7b008af49c5de9","datavalue":{"value":{"amount":"+0.8425467014312744","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":"Q3003316$774A2611-8C4E-43C5-BB0E-445AE5692928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c812b6f3243f2d611781467a17d62586ccf92f0","datavalue":{"value":{"entity-type":"item","numeric-id":5739448,"id":"Q5739448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d3d0be340578daa61c06550c8abeaaca928de7","datavalue":{"value":{"amount":"+0.8302562832832336","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":"Q3003316$FA00A2D1-FC42-46A3-AD97-8E54F276A2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e0b08ca2f0bd60dcdca64f45cec85009a144dd","datavalue":{"value":{"amount":"+0.8204882740974426","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":"Q3003316$95CD5972-A468-429C-9FF2-D6249302D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d3981212ea8c0ce30a052b030fd210ad6cceef","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4776f68007a2e1f6ac9b1ed18dcdc5559a21322","datavalue":{"value":{"amount":"+0.8191216588020325","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":"Q3003316$B4C0D446-15A9-48AA-9EA0-64BABF16197D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003316"}}}}}