{"entities":{"Q2988377":{"pageid":2999101,"ns":120,"title":"Item:Q2988377","lastrevid":85487825,"modified":"2026-06-03T08:55:02Z","type":"item","id":"Q2988377","labels":{"en":{"language":"en","value":"On the relationship between bisimulation and trace equivalence in an approximate probabilistic context"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720998"}},"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":"Q2988377$1F5936F1-8FD7-458D-9AFE-0A42185CDDFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17435f9ad52e4b7da2c51e58b1a0da33ffdbaa63","datavalue":{"value":{"text":"On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988377$CAE6EF81-B2A6-4993-A967-09B0FDA31E3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bead2f0d30cba42bc1ffa52f7826fefe2a8932c9","datavalue":{"value":"1486.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$D8CFD5A2-61AD-466A-97D8-19EA439318AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9db64cbeee4fff6a01031c234e45668be0b3e08","datavalue":{"value":"10.1007/978-3-662-54458-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$6F064800-8143-423F-97C4-A36856D4B2DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c8cccf80a877327737116ca420de36787d11485","datavalue":{"value":{"entity-type":"item","numeric-id":2988376,"id":"Q2988376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$14D627C5-7197-4B5E-9656-601C2E1C6973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$A52B6D83-2199-4AAF-A7C0-3D0DD8B8C4F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$DC70F345-9D5C-49B6-96DC-D6F0E1F12C12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988377$3C3B8216-A0CE-4B1D-9FD7-48E3184B1419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75544fdde321aaf2bc4dbcabec468c1f73bfe9c3","datavalue":{"value":"https://arxiv.org/abs/1701.04547","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988377$C3FCCBC8-27CA-4BC1-BB5A-12E5324D1C40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$15022B4E-5665-4170-9531-EEDAD1BE11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$632AFFF4-4410-48CF-9024-B7F6B2AFA841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$358457E2-0B68-4EA3-BE3B-E8A73AF02DFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4596b3d44a1c6c01c6d7779921c493982ad1769b","datavalue":{"value":"6720998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$5542BB73-1F37-480C-B884-4CC196621CC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$5B894CAB-E75E-4E67-9F10-50C062006ECD","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":"Q2988377$6101B273-A677-4829-BCC3-6EA1D2618EC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf650cdc71552d8bb4a6f6760a07590646270932","datavalue":{"value":"W2573722361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988377$242FBF08-7A87-4EBC-87A6-07F96FABF13C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c056c3183d3a634065893b5d44f30cefa1eb542f","datavalue":{"value":{"entity-type":"item","numeric-id":271706,"id":"Q271706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$C1643126-2E8A-41B2-9507-8FBBF7EAF082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4909f9c57bf236ef39d69086f7cd14a22e9b31dc","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$8D668DA1-90DC-49DA-A029-3160E675F366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52047670e58385e93b11d204ea04c946398d271b","datavalue":{"value":{"entity-type":"item","numeric-id":5418954,"id":"Q5418954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$C23ACCBD-38BF-4360-8E94-346CCC3B7CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d931c036b686ac115f8b0a182ec578d8d4d262b5","datavalue":{"value":{"entity-type":"item","numeric-id":2988377,"id":"Q2988377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$DC38E6E6-5107-41C5-8E95-B4ADFA6868F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574439b61af459ee8306fabc50b6dc83158d176","datavalue":{"value":{"entity-type":"item","numeric-id":4059690,"id":"Q4059690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$235280C6-A93B-4951-918E-2AF656533F20","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":"Q2988377$526603B8-8281-4CD3-B227-0B259121168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$2EF35F32-CFB8-4ADC-8B96-DB0E9236A086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d0172b29586786a75738d1cffdfc2a0666bf9e","datavalue":{"value":{"entity-type":"item","numeric-id":4635617,"id":"Q4635617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$B3CCAB00-9318-4E13-A359-B321A79649B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3039cf3ee90fa7e8ecf058486639300c4ba6b308","datavalue":{"value":{"entity-type":"item","numeric-id":4608672,"id":"Q4608672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$77379D9B-0709-444F-9973-F2DF801EF8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$20CA3EC7-D4CF-4C15-AB02-3B1C126B73E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af8254ee87f2ae41b421ffad0dda95b98544ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2986774,"id":"Q2986774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$A3FE09A6-CE3F-4AD7-9EE2-2996F828B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd57f91fe20bf4d982dff9821d0f13411ee1f40","datavalue":{"value":{"entity-type":"item","numeric-id":5893957,"id":"Q5893957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$4A403DE4-4B88-4BD5-808C-900A503D4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93349199195e492cdd6311f447f3ebef17ca42","datavalue":{"value":{"entity-type":"item","numeric-id":2871352,"id":"Q2871352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$D0A67533-D68C-4600-9E8E-186E3F1C5CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf726ba27a648f56dffebd26f0d41fb12b61b81","datavalue":{"value":{"entity-type":"item","numeric-id":4832030,"id":"Q4832030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$D6E8B85D-1199-4A8B-B3B2-DB775C54DCD9","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":"Q2988377$C92D13CF-D829-4766-97CB-A228AACAAEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$FB7CBD2B-1B15-49A7-B1D8-04D3B8E0FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e475d06a95d4792fa60eafc5bb4458fb219f2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4243493,"id":"Q4243493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$ACDEC5DE-1632-4014-9BFD-744CAAA5323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa7ab7d7288cf8b7707887b2bef0e09c74d70d9","datavalue":{"value":{"entity-type":"item","numeric-id":4608674,"id":"Q4608674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$6989FF0C-F252-4BCF-8E3C-37DDFA3E3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352dba5ae221d49af5d928388f7d0bcbc63009b","datavalue":{"value":{"entity-type":"item","numeric-id":2986933,"id":"Q2986933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$14A63FDE-62AA-44D1-9520-F8CCF8501B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64028f50664709686705285b18afb62b282600d6","datavalue":{"value":{"entity-type":"item","numeric-id":3083593,"id":"Q3083593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988377$70BA03CF-7708-45FA-881F-37CB379D25CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78aea85f9de0327caa6a7bf5d5d225395efc5176","datavalue":{"value":{"entity-type":"item","numeric-id":5418954,"id":"Q5418954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d5b129d12483435966484d7e5051f9d746fb21","datavalue":{"value":{"amount":"+0.7897284030914307","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":"Q2988377$962B160F-65DF-4ACB-ADB5-6930F3344A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eceaf5ca8d4610616a6c6947618f515b3249714","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae49d821b095266896a196f69ec9cf85d3d91951","datavalue":{"value":{"amount":"+0.7876906991004944","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":"Q2988377$E0AC1F1B-492D-426A-9B8A-1564D54DCC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f0d22544dbe3d7895f2e7e8daa69317a89139d","datavalue":{"value":{"entity-type":"item","numeric-id":2986774,"id":"Q2986774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f01be2bdfb31537536a915b4f498bc1a6257763","datavalue":{"value":{"amount":"+0.7870630025863647","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":"Q2988377$B01B75EF-9CB0-4FCF-80C6-2B1B2C6215CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a4717edb2c0b89de3d3bc980a6a1740976e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17aa2c92903aded88398704348febae2303e1360","datavalue":{"value":{"amount":"+0.7833870053291321","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":"Q2988377$FCB1517D-1AFB-446C-AEB9-3965A23C4223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98f4f5601711e9682e4b03355c64db8a06e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1798789,"id":"Q1798789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3189d67e6f51fcce6af5db59567a7abad1a13f","datavalue":{"value":{"amount":"+0.7778170704841614","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":"Q2988377$DE65822B-1F95-4AC9-9638-9FB9DD5F5F2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationship between bisimulation and trace equivalence in an approximate probabilistic context","badges":[]}}}}}