{"entities":{"Q5505417":{"pageid":7534977,"ns":120,"title":"Item:Q5505417","lastrevid":96492599,"modified":"2026-06-05T11:25:43Z","type":"item","id":"Q5505417","labels":{"en":{"language":"en","value":"Calculating Invariants as Coreflexive Bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498131"}},"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":"Q5505417$5E90C81B-62B1-4557-9F20-0AD0D32F89D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355bfb9ae9e9b5c5a6b05d29b86e5d667ebf53ea","datavalue":{"value":{"text":"Calculating Invariants as Coreflexive Bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505417$E5F086C5-9458-48A7-8216-23A3D6252D38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"096206df31effb1846d446edc4663d0ecbde5bbc","datavalue":{"value":"1170.68426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505417$4C461C80-A2E2-4AB9-8502-97242B698EFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66ba879e0e7c30ebd3770b5375253ead0ed9a31b","datavalue":{"value":"10.1007/978-3-540-79980-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505417$E6C936C5-D839-44E6-A81F-40053D272BD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505417$18C6EFF1-2B75-4DE3-871E-A694D41457E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505417$A4D0681A-DC83-4146-A815-1E5899F3A36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505417$653442F1-E3A5-4E1B-BE70-AF1882F07319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505417$BBD4354C-560F-4F54-A565-5783DD7DDB32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505417$EC62F558-E139-4068-B055-7B58DCF999DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4b3271c1dc7519664256e8decd9aaefcf548678","datavalue":{"value":"http://hdl.handle.net/1822/20217","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505417$53278024-B8F8-483A-82F8-9230520190E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505417$EE39C79C-E7DA-4505-83FF-B62D72961AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505417$BB715BE8-01F4-464D-859E-55897AA1CC42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7afda20ac7c02142b86300580478fc75432f981d","datavalue":{"value":"5498131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505417$97494064-0335-41BB-82E5-44EDC4818868","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2498677f6bad272d352cea51d338fb4d21ee489","datavalue":{"value":"coalgebraic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505417$A96C90BD-47BD-41B3-B9AA-CDF07FA54D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d822c15764a4af6dd4d1c01a8c2f134d11450b6","datavalue":{"value":"proof obligations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505417$DC5D0BF7-6801-4ACE-9D31-2B60A007C1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2411c3d764867f3e0f3ee247d18256ca670c794","datavalue":{"value":"pointfree transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505417$CFB6C395-474C-455B-9C6C-F71C320240AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7ebf2fb8348b7d9defee8efa658bf41bb542db","datavalue":{"value":"program calculation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505417$34E1AB0E-299D-45C6-8DF2-C17E383ED68C","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":"Q5505417$7A4581D8-9071-4B55-BDC6-1BC1CF566A6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aa56e28c13a34a1641441c6969ceffc0bf8fa0d","datavalue":{"value":"W2158258981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505417$0C206AF2-80C9-4A5C-9639-3F32F4AC9030","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4f7445ebc7a6db1c52d379c45b7da863ef4caf","datavalue":{"value":{"entity-type":"item","numeric-id":2747943,"id":"Q2747943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b7a63ae79d7fa0b1941a8eca0291bdc110cb28","datavalue":{"value":{"amount":"+0.8969486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$E3D7D7CE-ACEB-4C6B-9176-AD5549877CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4709cfd176129a3c1d66896cd09bcfa903cea1af","datavalue":{"value":{"entity-type":"item","numeric-id":3178257,"id":"Q3178257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27b4fe2afc807ab505c86720e596f8b4f0f85f0","datavalue":{"value":{"amount":"+0.892254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$B570BF2A-C766-4BFC-AC37-21277403C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95f761b348c1e4b311b398ebdbe974216e16d34","datavalue":{"value":{"entity-type":"item","numeric-id":1398380,"id":"Q1398380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0adf20a68b9b8c50c1df6038683763c8c9e933","datavalue":{"value":{"amount":"+0.88473076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$93009168-F0CD-49B6-B902-A1804336D6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d19ad361c038d47378b683bff9d5d2cd916abe0","datavalue":{"value":{"amount":"+0.88369215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$973BA924-15CE-4608-991A-50020558C8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7071681d5c5876e9aa161b6483872cc2f100914","datavalue":{"value":{"amount":"+0.87482095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$8E60F992-0116-41DF-8339-B561D01D9329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa8b977abb5f06fdf164563ca088eb57a859940","datavalue":{"value":{"amount":"+0.8744928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$EE01E1BA-56B7-4006-A670-F496D74EFF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeccf65ec7f49d6286f34a1ca7e5b0cebd5fa14b","datavalue":{"value":{"entity-type":"item","numeric-id":5958770,"id":"Q5958770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd64cc52f2d34e511451a8bc408e43add898b07","datavalue":{"value":{"amount":"+0.87290466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$43CB346B-DF2E-4D50-B97E-C6490DA58E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaaeafbce8024ba0c26e6e04aa10050368efe37b","datavalue":{"value":{"entity-type":"item","numeric-id":3687686,"id":"Q3687686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3178b5c67c54d3f1865b9a1582186b64ba143ac","datavalue":{"value":{"amount":"+0.87276316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$8742CE90-6E25-488A-81DF-0E2DCEEF4E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd54115b9af5d7039126eb6bafa4aee024d7e19","datavalue":{"value":{"amount":"+0.8724891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$3B69865C-092F-4CDB-81DA-7D4649FE2F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0a89eef2aa26b376dce94b948f91a4d3f56ece","datavalue":{"value":{"entity-type":"item","numeric-id":3525142,"id":"Q3525142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce3c06e9361ff0b2f22d85cecd3fb7d8964a2ce","datavalue":{"value":{"amount":"+0.8718841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505417$03C3D7B9-3BC1-43BC-86FC-302EC9048191","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculating Invariants as Coreflexive Bisimulations","badges":[]}}}}}