{"entities":{"Q5249664":{"pageid":7279232,"ns":120,"title":"Item:Q5249664","lastrevid":52258370,"modified":"2026-01-21T07:09:55Z","type":"item","id":"Q5249664","labels":{"en":{"language":"en","value":"The freedoms of (guarded) bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6435073"}},"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":"Q5249664$52DFBFDF-5C29-4E95-9E16-76CD303515D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"007b41ca11aa0e0e45c234155cc63de8da8f8df8","datavalue":{"value":{"text":"The Freedoms of (Guarded) Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249664$424FBBB6-D91C-44C1-8026-7276889A8BE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33d7affeca2e7ee1ed37c40bd94f9cc9295715be","datavalue":{"value":"1344.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249664$16530467-F776-43CA-BD6A-97275D8C5E75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c2f25d57817550899c0e4305866d5f184ccea5d","datavalue":{"value":"10.1007/978-3-319-06025-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249664$CF6E9AE1-4D5A-45E7-A68A-CB019EFB25F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249664$40654502-45A0-44C5-9E54-C469213AFB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249664$3CDE21B5-DADF-433E-A7EC-349938C0B787","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249664$93674781-738E-479A-B830-E6A338F58A25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ac7323fc0100575064f6dedc6c09265e3fc78be","datavalue":{"value":{"time":"+2015-05-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":"Q5249664$A214D1D6-7DAD-4A1E-B72B-D9063D291CC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08e62c61dba0185d028e013070663ec832ef1f55","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2011/3216/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249664$940E607B-C128-4BC4-BC08-D37B0A109CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249664$1D5C0442-5DE2-479C-A6F1-7E9A1646032F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4b62b690856ff4d2f9b37f21f52e0411ff391dc","datavalue":{"value":"6435073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249664$01EA2D23-2D19-40BD-AB87-CA4F7423107F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249664$E292E08A-F7C1-44E9-99C6-DE74DDE3D462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249664$11998660-FC68-4AA6-B955-59478640AECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43be50f23ff6a71e021ed127766f1b0a9104f3e","datavalue":{"value":"guarded logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249664$EA673240-D062-44A5-8ECA-CDCBA6F65255","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":"Q5249664$8335819D-89CF-4CF8-97A6-1C5D838F68DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4b37e6c7da1ccc2dfa19e66c7ac7e3de996bb08","datavalue":{"value":"W1929404437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249664$4750DA15-0BA6-4F1D-AEA5-4F2CD360EB21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3724db0e4811ae85421c22b677b482507c7438","datavalue":{"value":{"entity-type":"item","numeric-id":5738962,"id":"Q5738962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa60d022b4be84d50ba4377a7ab9f5c221efe25","datavalue":{"value":{"amount":"+0.782633900642395","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":"Q5249664$BAA91330-0CC9-43D1-B4EF-79E31ADF852C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60bdfb1d24a61ff6a4cde85147b64b891f2386","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38a8825287b5471c0ef2e29792f75fd0293068a","datavalue":{"value":{"amount":"+0.7813299298286438","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":"Q5249664$9A9E52AE-0247-4AAC-80B2-A019D30EE1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad313d9c3fcdf90edf09b9efb9664a63f3875f15","datavalue":{"value":{"amount":"+0.7720661163330078","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":"Q5249664$1B3A43CC-EAB5-4739-A04C-6EAA2D718D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0caf9741c2c86786ee7114a044a574165fb84beb","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea500b5d12bb9e4f6722cebf05c7abcb19c2fa1","datavalue":{"value":{"amount":"+0.7675334811210632","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":"Q5249664$A11AA902-ED2E-416F-8D88-89F46B5BB68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f54cb18e4020d77135267b262453765219c30e5","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e730bf59b651315a462893ef97904dec644625","datavalue":{"value":{"amount":"+0.7663961052894592","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":"Q5249664$2E0948E0-6982-48B8-BF62-74226FD7CA3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249664"}}}}}