{"entities":{"Q5262954":{"pageid":7292530,"ns":120,"title":"Item:Q5262954","lastrevid":52303850,"modified":"2026-01-21T09:46:22Z","type":"item","id":"Q5262954","labels":{"en":{"language":"en","value":"Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457574"}},"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":"Q5262954$D4E854A6-B846-4A67-AAB3-0D7C036877A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e731e6cdbd1cd3228c0525b81b59167875dc9752","datavalue":{"value":{"text":"Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262954$9B0B05FA-0707-40B5-AB0F-A8420F7B468D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82ace87c5aeb2cd42d9451ade496b334ff59bb71","datavalue":{"value":"1316.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$CA0CA182-A074-4CA3-ABF1-8054DEB375F7","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":"Q5262954$D8D6DECA-10F5-4EBE-ADE5-5891B90C925C","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":"Q5262954$E6DE555A-FFF1-4213-BD57-131820671335","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262954$58BDC6AA-22D2-4093-9FF4-C23E37CF6543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$269AE6E7-60A9-442D-9083-FDC322D19472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$1D9F96DC-3A77-4E06-9927-D2CEEFB13D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$562A8309-60B2-43B5-9669-AB8D28D7C764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7406e5b8e3290613f72636feb608c9df2eda4ce","datavalue":{"value":"6457574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$5544627F-D2D2-4703-B16C-A80E0F8E78AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262954$58130460-296D-4D05-B779-0CF22238AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c804f6927c5a243f7a1b0108afcb98902db16fbc","datavalue":{"value":"Markovian process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262954$EE4E5D4B-FFEF-4B0B-AAFD-2871A86A1DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262954$6B8AC50F-9867-49BD-A723-C9B702C75555","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":"Q5262954$F15776FF-3DE6-42A2-AD6A-AAB6A0F4807B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6642b71fef4b0aa23be9290f41a229f3ec22ac23","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.079","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262954$39FD4189-AA6A-4CF9-A503-5850CA738D75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72147b13110f27a209a892ff137b19d0241842cf","datavalue":{"value":"W2080988840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$0E5ABE03-152B-4246-9AF8-953EA9098E89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$54C09668-60F6-40F5-A9EC-97D5405AA8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e912d784107cb756cbaced0ffa1cee6559812360","datavalue":{"value":{"entity-type":"item","numeric-id":2373649,"id":"Q2373649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$91ACBB19-F0A5-42DF-8AED-49230FB2F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cac37f4c2e1368ce86e5603c98ab39d19c67116","datavalue":{"value":{"entity-type":"item","numeric-id":1853585,"id":"Q1853585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$4B695689-E627-4400-B431-BEBC1CB9BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6272202f7180f80c8ff70a3e5f46c3d6fcbeb16f","datavalue":{"value":{"entity-type":"item","numeric-id":4536610,"id":"Q4536610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$9073B8BA-C762-46E8-8FC6-AC3088435615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$F50BA264-45DB-4B99-8F1B-244EDC619D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$A12E6344-7285-4209-A9EE-2741A379073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$CB49507C-F00E-4D00-B7DB-763FD30BEBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$4A09EE83-F692-4FB4-813F-E12A1BD1DDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$05F2A4C2-0175-4987-993B-01E91110434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fe35590b793289d3b2ef7b945c516487a25583","datavalue":{"value":{"entity-type":"item","numeric-id":4936893,"id":"Q4936893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$A7580939-0EDD-497A-815D-83CA8CBFFD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$8D4D586F-256E-4C1F-B900-AD68A3A0FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$43E21E91-2E35-4E4A-9E68-2FA4694EF3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0193418f916e9f7f0c7d8969c6fc34654bb6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262954$7DFD3D1A-6291-4E4F-A77C-EEFB63498F42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee9271c74ed6dc1119086196b5a924981d637cc0","datavalue":{"value":"10.1016/J.ENTCS.2005.12.079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262954$AC10603A-10D7-445B-A93B-2C33CEDDC95C","rank":"normal"}],"P1643":[{"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":"178d5cddf98debc5b95f3a7677b333444b410224","datavalue":{"value":{"amount":"+0.94837486743927","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":"Q5262954$3C8E431D-EC68-4C7A-A91F-8662CA5ABD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b261bb5742359123c5b4de71ea20e7f2e4004ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3543307,"id":"Q3543307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a287871351ed0ac49e0edf24b064ce469743597a","datavalue":{"value":{"amount":"+0.8378949165344238","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":"Q5262954$C540D117-5820-48B2-83DF-43407AD41BDC","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":"daaa06161e9107586080c36b609deab587ccbcbc","datavalue":{"value":{"amount":"+0.8195346593856812","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":"Q5262954$BE6B3F3C-9072-44A9-AA4D-E243AFCD24DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125737e38fa5823ceb2ac181b462df9c6d826d5","datavalue":{"value":{"entity-type":"item","numeric-id":1753998,"id":"Q1753998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb6c6c21efabc606ba85d0377c7a91e72909f74","datavalue":{"value":{"amount":"+0.7975208163261414","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":"Q5262954$079E6277-5C80-47B3-B737-79C711A75316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410325629b48e9ff0354c0f84fe38561c46d9471","datavalue":{"value":{"entity-type":"item","numeric-id":2863904,"id":"Q2863904"},"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":"Q5262954$4E9C2900-8A59-4BBD-A9E2-7769D46B5364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262954"}}}}}