{"entities":{"Q3474903":{"pageid":5462992,"ns":120,"title":"Item:Q3474903","lastrevid":49370755,"modified":"2026-01-07T01:22:50Z","type":"item","id":"Q3474903","labels":{"en":{"language":"en","value":"Distributed bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143470"}},"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":"Q3474903$C1B6B70B-F2E8-4CB8-9067-672FA560F760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69323ca4227fbd81fa52852d7b3a5db4f06e3579","datavalue":{"value":{"text":"Distributed bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474903$C0437DB9-4011-4C1C-BDEF-E78A1DEEFB3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8725128afa81a431748db67e578805bd317d476b","datavalue":{"value":"0697.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474903$03FDDFE1-AE9A-40AF-84B5-DA93076B530E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"997c27e3c3d17768cbc3cbef316c922e601d3cc1","datavalue":{"value":"10.1145/76359.76369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474903$0C2EAA48-94E0-4990-964E-DCEEA4269CBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474903$87601E3C-AE10-4D83-A2E7-AAC18DC3953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474903$6712CE87-327A-4AF7-B7D2-F96DF80C2BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474903$BF6F2222-3BB0-4A39-BFF3-43A7BEEBAD52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3474903$B8D93973-425D-4CC0-BEBF-378F4210D520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dd69466d63cf41caed5e9be7b50b17fb7f50f91","datavalue":{"value":"https://hal.inria.fr/inria-00075679/file/RR-0875.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474903$9A9A7E78-B0F6-4504-82D3-0AC61903F735","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474903$5841DC56-52B4-49A1-B8F7-F50E37C787C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474903$679040FB-C494-4898-814E-6FD77DD46C2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2c2ac4ddf815499c7524ebafb6c37fcebb1f0c4","datavalue":{"value":"4143470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474903$12F51171-D58C-4CF8-BACB-B241C7B9920B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474903$8B2D4EBB-AF72-4054-9CC7-E4CD615B65B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474903$94ADE404-3BE6-4C22-9FB8-3A59C3A04C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474903$C28BE709-0406-4DD1-835E-A61789886846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82e59a51b6e3fdd9a697bd37cb0204f2f775176","datavalue":{"value":"noninterleaving semantic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474903$7632CB3B-D351-4C1B-9554-E5BF325966EB","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":"Q3474903$8BD0F2C8-4639-4BF5-89D9-89781BFCB7CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb53dad1a2dbc6e2060f41337bfe34f20ecd246e","datavalue":{"value":"W2293557922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474903$B5D3EEF2-A20A-4F50-889E-13D69CD600FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c887dd986c3a1150ead5cca8180a3b0f2f95f4","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925755f0423a9cab23ad99586ce24f696dd6d62d","datavalue":{"value":{"amount":"+0.8228592276573181","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":"Q3474903$461D58DE-D631-4013-BE74-420430A607CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632fbe504ec85eaa9e75ae0db587d8251f0801af","datavalue":{"value":{"entity-type":"item","numeric-id":4632423,"id":"Q4632423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916658ac0e585a18e34cc6bc735cb3c9f881056c","datavalue":{"value":{"amount":"+0.805323600769043","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":"Q3474903$FA8D0624-4322-4DAB-A34D-75AA60F3C29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cdf34822a80a66de95d7f6b12f7f55284a88be","datavalue":{"value":{"amount":"+0.7994188666343689","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":"Q3474903$E6C4A2CA-3361-48C8-9019-3BC4D7FE3FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a882d98826ab607d7fd8022a4e917d98865c2148","datavalue":{"value":{"entity-type":"item","numeric-id":4733391,"id":"Q4733391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0e7e269262ed67a3dceb3cb681878d42633b7e","datavalue":{"value":{"amount":"+0.7993045449256897","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":"Q3474903$5782E954-B02B-4F31-9A0B-51AF24ECA667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f07703203e6c47e6a5690916aee9073d263daab","datavalue":{"value":{"amount":"+0.7923896908760071","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":"Q3474903$045CA337-D951-409B-8385-2052F929B0B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3474903"}}}}}