{"entities":{"Q4683862":{"pageid":6713443,"ns":120,"title":"Item:Q4683862","lastrevid":89959829,"modified":"2026-06-04T18:43:34Z","type":"item","id":"Q4683862","labels":{"en":{"language":"en","value":"Coalgebraic behavioral metrics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6943961"}},"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":"Q4683862$C7355618-02D3-4E0D-B228-6BCC4FE745CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be20f8e1276dd2007de2ab06331644322997905","datavalue":{"value":"10.23638/LMCS-14(3:20)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683862$BC55E8AC-5D69-447C-B666-E4C78615D9FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683862$996DE7B0-C365-4E21-88AA-F25B09982B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683862$10E5E486-217B-490C-98D4-807573B766F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f72cf59af971b375a9b656f4b46ece9a1f8b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2871467,"id":"Q2871467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683862$FE97C3B5-21BD-424D-B0A3-7085EE405ACC","rank":"normal"},{"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":"Q4683862$1F07AB97-3CD3-457E-99E3-ADE8733670B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17910f431f36c918edeee4dc0184510e28acac74","datavalue":{"value":{"time":"+2018-09-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":"Q4683862$666CCF8F-4101-4D98-B963-55BEEE9691D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b87b2ce7da54065dacc99e58017ae530dc55ef25","datavalue":{"value":"https://arxiv.org/abs/1712.07511","type":"string"},"datatype":"url"},"type":"statement","id":"Q4683862$4B7B1A45-B882-4996-B97C-9527925DDDBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683862$198C63E4-8B16-4F37-B762-E0B4402E8E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683862$C6B5D14F-81F1-4490-9E36-E55318B305D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2116977e5eefb31351ab4dd6e6bd12ac2867bbcb","datavalue":{"value":"6943961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683862$14AF11D1-4569-4032-9D43-40EF88F197A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af0856c56fe818ddb30a8a30719a1b9e250ad6b","datavalue":{"value":"behavioral metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$DB61593D-BC1E-4F16-8E3E-1E6F85936695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e055faa12e6795dc98a9ec0a4a61f901e40c208","datavalue":{"value":"bisimilarity metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$FFC4CE9E-A44F-42A7-88DE-FA381327526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc8ce1da87fd97b664a84b14078567641176f3f","datavalue":{"value":"trace metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$A52B9BBB-5304-4D6E-89E5-438DB10896B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05022233b722d732485c6de7348cd34d76beabfa","datavalue":{"value":"functor lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$8CC74346-A9F2-47F4-8EA9-1F01907B2529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906c5c6df9abb3456fb90db54a5c9d8b3f795230","datavalue":{"value":"monad lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$3C487FBB-F305-4BEE-92DB-D2EC36EBD4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e20b56f758de65f1b5e2b6017592594730f4f67","datavalue":{"value":"pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$C757C4C2-5AA5-40E7-801B-E9D514EBA02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683862$BA1B9A11-C488-49F9-AB61-E9F3B28633C7","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":"Q4683862$4D19A984-F28D-4823-943C-CDF84091DA8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517a6d3fc9d0bbeeda8039c42171ca78433196a2","datavalue":{"value":{"entity-type":"item","numeric-id":2978531,"id":"Q2978531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f042aca6609e0d2b7d043708064a887021cc935","datavalue":{"value":{"amount":"+0.9546872973442078","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":"Q4683862$057077F7-2D57-4971-A6AD-42AB4E6AEC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c371953f0e719cd03b32b7ceb4a6af178b3c953a","datavalue":{"value":{"entity-type":"item","numeric-id":5275342,"id":"Q5275342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68a7e502822c9ce0137a808886209b3990fe4d4","datavalue":{"value":{"amount":"+0.8464477062225342","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":"Q4683862$E9811F11-8021-4687-B32B-072545415D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f09914e8edc5ca5924783e65b26485e87bc4616","datavalue":{"value":{"entity-type":"item","numeric-id":5716849,"id":"Q5716849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1dcd530ae97995942849ba5a6026563ce2acea","datavalue":{"value":{"amount":"+0.7936429977416992","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":"Q4683862$BE81F2CC-12CB-4CE8-938B-D4FA3CF4F842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc64d3a8556ab232ad15971be3a27771b43648b","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf3d601ee93bc3b54ac28b01484789a411ea64f","datavalue":{"value":{"amount":"+0.7846733331680298","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":"Q4683862$5D718BB4-4C43-47EE-A7BD-B7C0B0AA8838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88abe4e9f2dec3bb95c40d440fd0262d6131e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2485a63a128b820bae40f840781c9d85cd5a3b75","datavalue":{"value":{"amount":"+0.7809168100357056","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":"Q4683862$F2443B7C-28CA-4090-9F95-65E0D1320CAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic behavioral metrics","badges":[]}}}}}