{"entities":{"Q2842564":{"pageid":2853284,"ns":120,"title":"Item:Q2842564","lastrevid":51800879,"modified":"2026-01-20T02:49:58Z","type":"item","id":"Q2842564","labels":{"en":{"language":"en","value":"Greatest bisimulations for binary methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198613"}},"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":"Q2842564$722B64DA-EB2C-4B07-B181-19AB47CD1B0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b4e514c3e595fe7ac8b452cec2fbf9ab6968948","datavalue":{"value":"1270.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842564$80C1169D-D42E-4434-9DB0-5CF3634C602E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c437b28e3ac9c510bd6687c24268f5bbcc6608a","datavalue":{"value":"10.1016/S1571-0661(04)80371-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842564$297370B5-1AB7-457F-962B-2DBE170BF60A","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":"Q2842564$4248E9D0-016A-41C2-9AE5-E9F14B458188","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842564$8D0470F7-77F8-4136-BB10-6D80D41164FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842564$ED1C52B3-18AE-4725-BFC4-A7203B2151EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842564$CF1BB98C-0690-4C48-9F14-EDD16544D52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842564$87825516-1DB0-4E0A-A644-A16B2B06DC8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd0312f63cd6ee2046f9d4350bd2c865bc303ecf","datavalue":{"value":"6198613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842564$09F9D869-E6E8-4352-9854-8383A71E9660","rank":"normal"}],"P1463":[{"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":"Q2842564$4EA29B35-1FD9-42AF-9636-1EBF7A3A3591","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":"Q2842564$5091CAA3-BE71-4E62-9713-E7BB47117C74","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":"Q2842564$4425BDB5-FB84-465E-AA13-D46118CEB0A2","rank":"normal"}],"P223":[{"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":"Q2842564$DC60976D-6141-4AAD-93FD-24EDF1863D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df4abbb2f7ec26b31b59980098d4028c1779085","datavalue":{"value":{"entity-type":"item","numeric-id":4362971,"id":"Q4362971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842564$C09A8FFB-727B-4658-A5BF-93EB1BF2F36B","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":"Q2842564$7BCF8C0F-60A7-4EB4-A26C-5FB834F112F0","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":"Q2842564$30D86C92-67A7-4768-A5F3-043D78500248","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":"Q2842564$055E2383-330E-4867-86F4-9EDC6D4D24F1","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":"Q2842564$06D0FA7F-76DC-4B16-9EFE-964EEB358CF9","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":"Q2842564$EE395335-5C0D-4C78-BA83-06C6B7B26123","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":"Q2842564$C9AB8F1C-5B38-4043-8290-0EDA38E010AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17912ab9eb3c56964cfa01b6d1af3faac76a732","datavalue":{"value":{"entity-type":"item","numeric-id":2747943,"id":"Q2747943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842564$BF55B041-B17B-4781-BC9C-D9621C666884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a21d5b4e91ff76c52ac20cd59e6cc31d367474b2","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80371-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842564$80505173-3134-4438-80DE-41253C3EC5AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"644cef3d9b11c95e26ce6ec2b2deaee0e1f351cb","datavalue":{"value":"W2128729570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842564$8AAEE972-438F-4704-A04D-99B4C1C394C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94344bc43ce82cb15817817cc9f243e51ea2bfcc","datavalue":{"value":{"text":"Greatest bisimulations for binary methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842564$ED0E0F15-C9B1-4351-9143-569E046784E0","rank":"normal"}],"P1643":[{"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":"5afee6945150eb70c3a196fa378f61de8181c101","datavalue":{"value":{"amount":"+0.8265812993049622","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":"Q2842564$12D43360-C77D-4311-9357-EB153E2BFAED","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":"f9e7f2c83e373010afba04507026330e0ee36e7f","datavalue":{"value":{"amount":"+0.8145276308059692","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":"Q2842564$2D13C1A2-8AE5-4C7A-8656-50D26773201B","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":"0272a80992b16409261d67bdaba81b61742d329d","datavalue":{"value":{"amount":"+0.7705555558204651","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":"Q2842564$2E4980B3-D0B8-44C5-A3AF-807B44492A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b59811d553bba8973888d834ade07d29c06b24","datavalue":{"value":{"entity-type":"item","numeric-id":2843725,"id":"Q2843725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effffb341151421358bd27592ec1a7fd7269158f","datavalue":{"value":{"amount":"+0.7422761917114258","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":"Q2842564$E1E49007-02B9-47B4-B32F-9225678FF5F4","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":"d59f268ee1fd5faed4847cc38788113bd30479b2","datavalue":{"value":{"amount":"+0.7381461262702942","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":"Q2842564$BE509806-639D-44AC-99BA-D0F7452888E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842564"}}}}}