{"entities":{"Q4580219":{"pageid":6609805,"ns":120,"title":"Item:Q4580219","lastrevid":82374554,"modified":"2026-05-06T20:45:17Z","type":"item","id":"Q4580219","labels":{"en":{"language":"en","value":"Precongruences and parametrized coinduction for logics for behavioral equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917184"}},"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":"Q4580219$6C7B0571-1CC5-46F0-8163-1E3A4042EDDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f66580f3e42aa7160c67f67bc561771e5133471d","datavalue":{"value":"1433.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$66DEBAB2-0903-4207-961A-6FCA2E729882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb598de9cf12a426377538ba6dcc4ce7ae83be18","datavalue":{"value":{"entity-type":"item","numeric-id":265827,"id":"Q265827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580219$CC895DF8-DCF1-4C0D-B457-8DA2DA90FE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580219$8DC2164D-9CD2-46A2-BF57-8F0EFFC95988","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580219$266C1AB5-D460-447A-88B7-A586E3F991D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$8A1CCF59-DB3E-4155-9B1C-D8473D5ABFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$31AAF517-EB57-466F-8322-2F1DE14ACE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$9EBE0B31-4F08-4453-8EE1-DA9D9ABBC08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$968662AD-2212-4541-AC2D-36AFD0C3BA63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf3e3fa9ba42817679bd8196411a549265bea6e","datavalue":{"value":"6917184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$1E1FC3B2-42D0-43C7-AECE-DDAF074F7F43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ab69f91f0366c6020ad457880565de4e363868","datavalue":{"value":"precongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580219$25027BF4-5503-4A81-8D80-0D5F80607CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6ada09713ed51463279cbe0a47d466260e8751","datavalue":{"value":"kernel bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580219$1C1085BF-45F5-4CFB-AFAF-76CF4165EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2bf237feecae8165947c47bf8435f1b145d94f","datavalue":{"value":"finitary functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580219$AF9A22C9-CEB8-45B0-B8C3-AD76DB1EBFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580219$13949A93-7DF4-4CBD-8896-9F6BD898AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580219$C86C9AE0-144A-410B-8E1E-FE38EFAC76D3","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":"Q4580219$DAB578B0-1C8E-45FB-9EEF-3D191EC70ADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f78dfe9c3869c3d9247cd6b531d684629f0e7f9","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580219$8EF5B02D-C7CB-49A7-9189-1972AAEF8DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616755011f98ef2d1910815149a6ce09da979638","datavalue":{"value":{"entity-type":"item","numeric-id":5739455,"id":"Q5739455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47bfa5e09d73bd9ea30a45af040d75451da6a8c8","datavalue":{"value":{"amount":"+0.7887869477272034","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":"Q4580219$7B645DC3-536D-439C-AA33-1145993CBE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ddf3be7b6082d628b27882dc39cddd5dafdcec6","datavalue":{"value":{"entity-type":"item","numeric-id":1683709,"id":"Q1683709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d28877e2c7731442c38a8ead0c384d60cc3a3fe","datavalue":{"value":{"amount":"+0.788786768913269","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":"Q4580219$45B5B127-CEFB-4AC5-B3E9-753C9661BDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96d201556d4c14c86c4fdd07156aea1fd1c5983","datavalue":{"value":{"entity-type":"item","numeric-id":2873671,"id":"Q2873671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d38a7691850061cf610190a803391da1649a9d1","datavalue":{"value":{"amount":"+0.7735874056816101","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":"Q4580219$6B4D1662-C85A-4773-B536-3A0595805748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa1382323b8a5f7268f5f18db871e3eda4cbb37","datavalue":{"value":{"entity-type":"item","numeric-id":2888480,"id":"Q2888480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b746085e4b4ae8db3c71dbfa307107b18eb519f0","datavalue":{"value":{"amount":"+0.7464020252227783","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":"Q4580219$FE97F687-9EC6-4686-B331-4B0987224F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56bc1b3b56fa0420dbf4ce3c809e8bb0c4a01c","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb69dbed296623f161825683ade6e2636b26dbc9","datavalue":{"value":{"amount":"+0.7406909465789795","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":"Q4580219$CBC17FFB-BB6F-45DF-A351-55E3F836A9DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precongruences and parametrized coinduction for logics for behavioral equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Precongruences_and_parametrized_coinduction_for_logics_for_behavioral_equivalence"}}}}}