{"entities":{"Q2863904":{"pageid":2874624,"ns":120,"title":"Item:Q2863904","lastrevid":51885107,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863904","labels":{"en":{"language":"en","value":"Modal logic characterization of Markovian testing and trace equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235767"}},"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":"Q2863904$EBDE64D6-399A-4186-9017-41A5B3BD5507","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc0956f960317e98b93fa8107e269381482ca1b","datavalue":{"value":"1276.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863904$0A68E09C-20DF-400A-8621-64160EF28C33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863904$262D056A-7462-4854-B745-B89141E972AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1092c041374b2a53529d421064998dd9a7106db","datavalue":{"value":{"entity-type":"item","numeric-id":2863903,"id":"Q2863903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863904$EDB716B7-9F9D-410D-B16A-02BF3A93FC71","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":"Q2863904$D3B92DC1-C4DA-40D7-AC37-E8617520B89A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62e4927ab2e825416c723183dce2fabe45e00cbd","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107000424?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863904$10895131-B914-487D-977D-C02A098366CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863904$9A31CFC9-61A8-4A6B-A55A-0CF090C82ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863904$E980EA41-8FCD-4078-B1E0-CB4DD5F78EA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75d2d82fd40d00823908a6eaf528a423458f095f","datavalue":{"value":"6235767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863904$C3273D99-27FD-4688-9B08-FA912F164556","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":"Q2863904$C246590A-F447-4782-9F21-F88BB1114F95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8446b3eacf91f18252dad0679768f5df479fd61d","datavalue":{"value":{"text":"Modal logic characterization of Markovian testing and trace equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863904$403E0AB7-0EF9-43C1-AED9-C3B6E901B897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4aa548965ff710a90df2485e320fe8598e4aeff","datavalue":{"value":{"entity-type":"item","numeric-id":5458058,"id":"Q5458058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8b29e58f2bf925853656dd4a2c07565c868ece","datavalue":{"value":{"amount":"+0.8466787934303284","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":"Q2863904$E2141894-261D-4904-BFE0-B54C0DB0811E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f610574d14bec823de2866cd0db7f286ab6a2424","datavalue":{"value":{"entity-type":"item","numeric-id":2373649,"id":"Q2373649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fc02435cd06a2da85ebbac64f815e3f077af46","datavalue":{"value":{"amount":"+0.7974615693092346","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":"Q2863904$6DD58BC6-AC50-4C90-BA25-8F87E0B3D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4c08841acf789af0d234460922d1b46847a259","datavalue":{"value":{"entity-type":"item","numeric-id":3084590,"id":"Q3084590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cd9e0aeaa5ca3b24f715b65307ecb8458e1710","datavalue":{"value":{"amount":"+0.7947252988815308","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":"Q2863904$9F1F263F-1192-4BC5-925A-ECDB5CFDC066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305886efe3ca3c79311d968af48d42a86d0842d0","datavalue":{"value":{"entity-type":"item","numeric-id":5262954,"id":"Q5262954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb6d366bd93ff70066bf73d3de0cb282316c1db","datavalue":{"value":{"amount":"+0.7943863272666931","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":"Q2863904$5BD5E439-E6AB-4D1C-9CCD-E5604AA9AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73103beed89d28cbb6db95c3c0e7e29bccaf5ba2","datavalue":{"value":{"entity-type":"item","numeric-id":764291,"id":"Q764291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65eb5435dc47c5cb5c5276805f8c9ed9ad1b7ec","datavalue":{"value":{"amount":"+0.7530696392059326","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":"Q2863904$1BD1985A-94D2-419B-858E-4A2BAAEBFF80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863904"}}}}}