{"entities":{"Q2847785":{"pageid":2858505,"ns":120,"title":"Item:Q2847785","lastrevid":51821594,"modified":"2026-01-20T05:27:04Z","type":"item","id":"Q2847785","labels":{"en":{"language":"en","value":"Coalgebraic semantics and observational equivalences of an imperative class-based OO-language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207587"}},"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":"Q2847785$493EDCF8-02C8-46EB-A351-BBB22D00D109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d65b27fe10360ade48e3fb2eb444d7cad16760","datavalue":{"value":"1271.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847785$79D928DD-311F-40BD-91B2-75A4B712F54B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847785$A4619EC1-C7F9-457F-8BB6-6006B52E6634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847785$49D8834D-C566-4DDD-AE97-578746E15EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a238bb9fe4901fca985b89470a375ad88f821a0a","datavalue":{"value":{"entity-type":"item","numeric-id":2847784,"id":"Q2847784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847785$CB775103-3912-46C2-9952-3546DF3D77DC","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":"Q2847785$7BFF9B08-9201-44B6-AF3D-E9F453D97315","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8fa4bbda701816103208ba5916b5dd76ff6306","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104051497","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847785$C804003D-306E-4DC1-B009-9B2E7B19E21D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847785$E782A18C-0895-4116-9247-3DC64BBE5E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847785$E000F1A6-13DF-4E94-8F42-0572A69A60EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847785$EA9454E3-EF09-494D-AE0D-0F356BBE664A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bf27c34d40be534fa1f6c26cbaeb74566fdf3f5","datavalue":{"value":"6207587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847785$6367330E-AA45-4875-A66E-85D085E9D39F","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":"Q2847785$111A6272-156A-47B2-9565-60556162AC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eccaa46290a29ba2fa5299c262aa7deabff0ca02","datavalue":{"value":{"text":"Coalgebraic semantics and observational equivalences of an imperative class-based OO-language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847785$EBC984AD-5851-437D-997E-4C4C90D3CC91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258363bfa426409773c1f62c31a9a907860217b0","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a302048afc1a8f292c02f5f61759bc131b3bc4","datavalue":{"value":{"amount":"+0.7373321056365967","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":"Q2847785$4EF01D6A-844D-4388-9320-A68D8A2910C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0580c3e92656291b2b623d4dd1fefc3c024e797","datavalue":{"value":{"entity-type":"item","numeric-id":2747942,"id":"Q2747942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abaa73a11af5e79aeda9fb9b6ddff014f7a6042","datavalue":{"value":{"amount":"+0.731955885887146","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":"Q2847785$8E93EB2C-C7D9-48C2-B7DE-B559B0D13CEC","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":"1ba972ceb264855576d187ccd50a0bdf167a55be","datavalue":{"value":{"amount":"+0.7316238284111023","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":"Q2847785$1B188144-0809-4E82-8986-65BD8068BC28","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":"660d4eedb426382e67b5d5b60572719e889eefa1","datavalue":{"value":{"amount":"+0.7230017185211182","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":"Q2847785$04A64E85-F0A1-4D14-ACD8-F292037503E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7e023712e043930d846a27b23e585155ef44a6","datavalue":{"value":{"entity-type":"item","numeric-id":6487698,"id":"Q6487698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a58df21c7e9c1d388439d1e50bad1a037006504","datavalue":{"value":{"amount":"+0.7127643823623657","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":"Q2847785$4F45FD9F-93B9-4352-8EE4-251821A7074F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847785"}}}}}