{"entities":{"Q2847815":{"pageid":2858535,"ns":120,"title":"Item:Q2847815","lastrevid":51821663,"modified":"2026-01-20T05:27:07Z","type":"item","id":"Q2847815","labels":{"en":{"language":"en","value":"A coalgebraic approach to process equivalence and a coinduction principle for traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207615"}},"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":"Q2847815$AB25E755-9D8E-4C2F-834A-AEF2B9022285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dd80f02879a4c097c1ea7c58383576f062b3b43","datavalue":{"value":"1271.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847815$2A0082B1-43A3-4B63-A200-C74615C79FDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847815$0D140831-A5CC-4942-80BA-0744B07CF754","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fc63ddad5a8e5398cdc0fb5eaa54d5d147370a1","datavalue":{"value":{"time":"+2013-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847815$E4E39A57-09EE-4890-BB61-3AC7349C0854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"466b16b1c0db7fb0c5380cd886c9e17183b20988","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610405176X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847815$A9808956-DD41-4976-917C-1FC62DE91D87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847815$8BECA33F-F803-4069-A482-630654B81E0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3f94086f0e7055c569762d38f193fd24fc9070","datavalue":{"value":"6207615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847815$E189E580-A5FE-4A90-82A0-1D4E2B1BDDEA","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":"Q2847815$BFD465C8-F359-4941-8044-5E6E8FB1AF86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af0ecba0b7fdc7ce47e00bb7e60becdbda3ca3c5","datavalue":{"value":{"text":"A coalgebraic approach to process equivalence and a coinduction principle for traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847815$9D692EC9-35B2-43D7-9737-75CE67D236A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d78eb4c930ed2e69fd42f5e860ad0241ef9a50d","datavalue":{"value":{"entity-type":"item","numeric-id":5256339,"id":"Q5256339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa0828efb820e2c6353c62494c2fed863ae7de5","datavalue":{"value":{"amount":"+0.8354709148406982","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":"Q2847815$83DE05A1-849D-4AA3-8226-0E0C83F05DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9d843d45247397ee9bc14ea2b0f2182f3a09e","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ad4035ff972e38994853a33f55c11b42bcfe81","datavalue":{"value":{"amount":"+0.7986336350440979","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":"Q2847815$78FED73D-F077-4190-B4EE-8582690FBFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d20e84dbc175275f547b8e22c89772fad3faf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26934158d8200e512c6639d13043ea3154768687","datavalue":{"value":{"amount":"+0.790666401386261","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":"Q2847815$EAEF1711-A8D4-4A0E-856A-1E950BC379E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5b3e23a03d5b0bd4dfbf9b775f8814de1356f","datavalue":{"value":{"entity-type":"item","numeric-id":5158368,"id":"Q5158368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9df1eee013d256094d68f6e0c63a15fdc95d553","datavalue":{"value":{"amount":"+0.7862489819526672","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":"Q2847815$5FE3B05B-38C1-4A51-B1A9-8F7A83F9E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeb15e9dc756a948d33b5c79aec9efb329cf92a","datavalue":{"value":{"entity-type":"item","numeric-id":1798791,"id":"Q1798791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606385f2733c5b3bc43a5ea95f3fb1a7ef48666c","datavalue":{"value":{"amount":"+0.7797873616218567","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":"Q2847815$05A6CBFA-018C-463C-9865-41BF26674C94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847815"}}}}}