{"entities":{"Q2863897":{"pageid":2874617,"ns":120,"title":"Item:Q2863897","lastrevid":51885089,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863897","labels":{"en":{"language":"en","value":"An effective coalgebraic bisimulation proof method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235760"}},"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":"Q2863897$2DA36E56-16BD-4E5E-84C8-B881840B7018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb16f19635292b4a913c407d82c4e4e1858e66f2","datavalue":{"value":"1276.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863897$8365A033-8D43-4FEE-B329-5B189F15F6AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca77734805de9af436116f282f4e04900c59ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2863896,"id":"Q2863896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863897$3889A2ED-5607-43A0-ADCB-5C0F74EDCF85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863897$CFA7B420-E983-4577-9443-39FFD9B5A360","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd2c120395f396b3f6721a37b1b4234efc722729","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004725?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863897$2339BA1D-19CA-4477-99D5-FA8038629ECD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863897$6878ECC0-9D32-4D96-8605-F56F37028A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863897$065A7537-ED7D-4E4C-B4AC-7CFA0AE900D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9183ab5b4f341f101f4cc4914601c49a6d5ef03f","datavalue":{"value":"6235760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863897$3A0C0F7B-CA86-4B36-AFFE-8F54B1B7209D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863897$83A57A00-561C-4408-A345-EA3893653D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863897$B4490CF8-353F-456C-B565-18C599439958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863897$B3F10B04-01FA-421C-8150-8910978C45E1","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":"Q2863897$7F68A539-EFB2-4FD8-8936-04E081346B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d0c1a9a9f745c70e92eff0648e536aec8aa54b","datavalue":{"value":{"text":"An effective coalgebraic bisimulation proof method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863897$3110C452-F1D1-4300-BB8B-4E80B41F32F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f1666cdb08328167e8910e500a06e90e1a30e4","datavalue":{"value":{"amount":"+0.8837903738021851","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":"Q2863897$71601EEE-0433-4190-A75F-6680AAA1E9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cce73bd6558c023c39f327a464be5f96317bf4","datavalue":{"value":{"amount":"+0.853462815284729","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":"Q2863897$A30325B0-EDC5-4BB9-9D09-432D15945622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d169855354198e5f38f44dc0964d34f5300478","datavalue":{"value":{"amount":"+0.8398398756980896","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":"Q2863897$FBDD237D-AA7E-4C22-A8CC-9053F1621BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6178797147d9e809f6a7528f794f2291d89f81","datavalue":{"value":{"entity-type":"item","numeric-id":3190111,"id":"Q3190111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b4fbcde6305572a991000054be71a62d4f2da8","datavalue":{"value":{"amount":"+0.8342099785804749","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":"Q2863897$5B95EB4B-C6E3-47D0-8487-75077872E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5af508f53d0599ac2c25d74917c10e869786980","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ff52df93e9b464327e9af88a6d49f6deae3c0c","datavalue":{"value":{"amount":"+0.8110811114311218","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":"Q2863897$FF9CCD64-3D8B-4231-B56E-5431A3372ED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863897"}}}}}