{"entities":{"Q2747943":{"pageid":2758682,"ns":120,"title":"Item:Q2747943","lastrevid":83080898,"modified":"2026-05-07T05:56:17Z","type":"item","id":"Q2747943","labels":{"en":{"language":"en","value":"Coalgebras for binary methods: Properties of bisimulations and invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658586"}},"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":"Q2747943$711884FA-CF01-4100-9C35-9C39F62A6B71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ad6d4308e51b99329bdaed6ec533cbeb7f53c73","datavalue":{"value":"0983.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$17C38A44-6A81-4918-A4B8-FC7D96269E90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6997ab07e7932b481a649bf1d5271ce569949f23","datavalue":{"value":{"entity-type":"item","numeric-id":835771,"id":"Q835771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$0D081749-D9EF-41F9-AB6B-EB86CE8FFDC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e50aedfef1e85fc4665e8a822897c0b5cc3f690","datavalue":{"value":{"time":"+2002-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747943$10F36854-1E8A-4B22-9732-4FAD2024F05D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf10fa8221c4022b9b1d66fee1aabf3e46d80785","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2001__35_1_83_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747943$4052CAC8-B501-48BA-B548-9712223C95A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"679b958afa11140f1689b7cd15303aed500d741c","datavalue":{"value":"https://eudml.org/doc/222043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747943$E789AD0E-3E65-4400-BF4B-C9A6CEE60E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"093a0d0c963807c3534a5e3d8fa17b68c1cafc34","datavalue":{"value":"https://semanticscholar.org/paper/5520836f1bb29fd5a020ca5d738afbc0830e62f0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747943$9614E656-1040-450F-B863-AD46FA9CA094","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$B5C2E1B6-3B0D-48F2-BF78-B68001444EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$88F6CD69-056B-4BD0-894F-50AA36B7EF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$834C256A-B40B-4AFE-A857-227E1F149D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$54A9777B-19DD-42FD-B703-8EA7DE945624","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"532eaa5dbbf5b47a5eaba116f9bdac8639b2c553","datavalue":{"value":"1658586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$8DF762BE-058C-468C-AEE6-15FCA7C627E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccacb1afc9de121aa1d88f2fe2241283eebb680","datavalue":{"value":"coalgebras for endofunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747943$E47A7FC0-3304-4D6D-976C-E542A02C0F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53fabbfd42418de9bca1278253ead9a3d35c73","datavalue":{"value":"object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747943$1875B96D-5297-4608-8F42-62AEDABAA853","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$DF19716C-B7DC-4437-9AE9-9354E82DBA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf62e8a70e4a3cf002b062d3c3bed8846887366","datavalue":{"value":{"entity-type":"item","numeric-id":15889,"id":"Q15889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$DDAC03E8-359E-474C-9326-BC227F9B6237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$0E4EC1AD-3408-48D4-A08C-6D9BD38E928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$44829ADB-C130-417C-B855-944F631C7091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$76F31E74-39B8-4EB4-839D-140FB4F606FD","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":"Q2747943$8DC9BA31-1F21-4D16-ACEF-56979C42A8D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759d097611aea88a94726ac076dc1867c6555999","datavalue":{"value":"W2098594919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$D7904243-1417-4003-B1D9-36130A4660C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5dbd0a44cf6279e9ff3f581490a95895f96b71","datavalue":{"value":{"entity-type":"item","numeric-id":1603815,"id":"Q1603815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$DAD94175-93D7-4814-8F35-C22437F7A918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$59A74148-9A4F-4BB4-BB67-EEBF45D730F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$DE718C14-75D8-4789-ADFD-18F9B112FD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c957803eba7191e573515f889a1a65beeb5544d4","datavalue":{"value":{"entity-type":"item","numeric-id":4256317,"id":"Q4256317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$CA38AD9A-853F-4E55-8CD7-5398A13CDFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$39387F8F-3328-4FEC-9C32-37A6AA40BE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$39235134-0B6B-40B8-8EC3-64D322F3445D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$CB522E7B-45A5-4CB8-9E66-65754441939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f82f429bca46514bd67bcf27e4ca0eaf245fc57","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$61F152C7-E216-4CCA-9FDD-8992BC0D6EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$D8EE7484-0285-4342-A55A-ACCE7FEE03FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$96C01836-E4C1-4DD7-8BD1-050C98FF97E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e9e27b87dd090b70bb940fa2805a3428b0682f","datavalue":{"value":{"entity-type":"item","numeric-id":4917045,"id":"Q4917045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$58CF1EB4-EF63-4C5E-98B7-35A60274EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd76867e6232156b14ed3debfc96b2605d9c09e","datavalue":{"value":{"entity-type":"item","numeric-id":4725725,"id":"Q4725725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$1333A688-1D43-41E8-9876-E3D32AE94794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$F44B70C3-FA75-4177-A83A-B6F6ACFEE29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a6c9bfea2753836640bc505c6bd2092f7b8928","datavalue":{"value":{"entity-type":"item","numeric-id":2709810,"id":"Q2709810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$749F6B79-9C7C-4221-84EB-33650A4C3150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$D005B4FB-94C7-472C-A920-ABBEBCB975A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51203819ed1614e3b2865dff5f44859bd6c482a","datavalue":{"value":{"entity-type":"item","numeric-id":3750106,"id":"Q3750106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$4577B274-11C2-427F-9CC8-37D970AF7F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fb370cb3a94db7054e708060aa6e754b9fcf53","datavalue":{"value":{"entity-type":"item","numeric-id":4499302,"id":"Q4499302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$2E1E01CC-5735-4707-B9DA-937AB70D58DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b841a28eff46ecc3b03df4cac2075f2b63795499","datavalue":{"value":"10.1051/ITA:2001110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747943$D2D36FEC-1E6F-481C-BA09-4B718E9FD184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bfe896597da3d888aa0ee95875dfe48cb09e795","datavalue":{"value":{"text":"Coalgebras for binary methods: Properties of bisimulations and invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747943$011D6DA3-3655-4492-A0B2-F13ADD6027CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747943$7DD4A69B-790A-46F7-BA6C-01CA5B65E88B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59dc3dbbc3fd72c4e61d5d3ef9279cfcb01b4ad","datavalue":{"value":{"entity-type":"item","numeric-id":4499302,"id":"Q4499302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c770d7074b5c2b50b2058c530b44535d244aee0c","datavalue":{"value":{"amount":"+0.9754484295845032","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":"Q2747943$20EC0645-3743-41B9-9E36-00775AAF1C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd4b69cc7bd8f7ac48005a77284420bdc3514de","datavalue":{"value":{"entity-type":"item","numeric-id":5756977,"id":"Q5756977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278b68ca3fc7763bf44acf1c9d872bbd9dea5410","datavalue":{"value":{"amount":"+0.7270387411117554","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":"Q2747943$6DEF4F3C-6F20-4C53-B72D-8D077680BE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0aaf77d4a4a91e8290e5e78137da5b7daf08fd","datavalue":{"value":{"entity-type":"item","numeric-id":2851707,"id":"Q2851707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964a5ba720c27eb53a9aa5e685c45cf4295b55c5","datavalue":{"value":{"amount":"+0.719809353351593","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":"Q2747943$47961593-DF50-4B1F-8EE5-449ABE002B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1750cf619f2658beb138f04da8c0ae60005f4a","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0037256e87354d67ece30ff8993ae282a2a7e4","datavalue":{"value":{"amount":"+0.7007948756217957","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":"Q2747943$847B7EA7-F218-45B5-BB6F-632C59FE7A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2ab9e6a46f25136d008cea93c1e00f54ab2b17","datavalue":{"value":{"entity-type":"item","numeric-id":456862,"id":"Q456862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694e4c8188d4d13d559248898d47cf08044955aa","datavalue":{"value":{"amount":"+0.6956108808517456","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":"Q2747943$E32D839B-D09E-4448-BE9B-7A848D351914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebras for binary methods: Properties of bisimulations and invariants","badges":[]}}}}}