{"entities":{"Q5208771":{"pageid":7238342,"ns":120,"title":"Item:Q5208771","lastrevid":100562024,"modified":"2026-06-05T22:26:59Z","type":"item","id":"Q5208771","labels":{"en":{"language":"en","value":"Reducing weak to strong bisimilarity in CCP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7149812"}},"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":"Q5208771$F7864E29-A3C2-421E-A81B-387C4A699C97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71beb6d39b9be8f425bcb2491767eb3351333479","datavalue":{"value":"1433.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208771$55865E19-DF69-432E-B549-3B64B6E6E530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d9426842c2b6102fc563ed36dacb1e41d357931","datavalue":{"value":{"entity-type":"item","numeric-id":3000604,"id":"Q3000604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208771$5C3B1DA6-CC7E-4DE8-A053-A0B641F13CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208771$31D9544F-383D-4692-B57E-56DBFED5F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"800c51bdfe97d8da4069c75360dbf4ba01fbe8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2403818,"id":"Q2403818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208771$EFE45BC0-41AD-4832-A230-46354C847B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208771$32BF3CE0-AF0A-45F7-BC7D-6C5D3E22F725","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"466980687c2b2bca27f0466003ebdbe2d456ae3e","datavalue":{"value":{"time":"+2020-01-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":"Q5208771$B24FB8C0-868F-4CC4-BA41-A18FAF00134A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd360ad54f5b97ee4b49523f61ce910265ae6733","datavalue":{"value":"https://arxiv.org/abs/1212.3874","type":"string"},"datatype":"url"},"type":"statement","id":"Q5208771$9F0DFCCC-A85D-4E7F-8920-BEF0E984C689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4980cb78742c1b53a8533d5bc631d52ad46fd584","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2012.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5208771$FB61E7AC-F131-4307-BCC1-CCB629184728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208771$8EBD27D4-9B4A-40E2-A819-1956D8D113BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d267267b5c5225e7647d5aa10b705c36b09cc3d","datavalue":{"value":"7149812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208771$D590778E-F91D-4EFC-909C-D74E26E3FD0D","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":"Q5208771$FE26E69B-547C-417D-896D-15C9AB31DBA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12a5be26f32a119aa6304db73d92ddb73000884","datavalue":{"value":{"entity-type":"item","numeric-id":2938173,"id":"Q2938173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5225c83bf03856c5cd991a5ec5046e50a1f646d4","datavalue":{"value":{"amount":"+0.8394582867622375","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":"Q5208771$0EBABFBD-2C8F-4030-BF90-081D55EEA682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2163ab4a933b71c87343422da3c7d64470c87115","datavalue":{"value":{"entity-type":"item","numeric-id":3000605,"id":"Q3000605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9cddf0cb9b83bafee629b0d5bab2d7b331aac7","datavalue":{"value":{"amount":"+0.8290531635284424","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":"Q5208771$80977BA6-B6FD-4C40-BF7D-D74E1149695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f478f512b3240e7811192328a672b04c1ee9bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2883099,"id":"Q2883099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa46dcbc552e57db5b81e33f497cfd46373da92","datavalue":{"value":{"amount":"+0.7925068140029907","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":"Q5208771$4ED7382A-624A-45AD-B846-B5E5C0F519D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e194b7e5f49e6c717a4cd5a62c6f2cbed78b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5458401,"id":"Q5458401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995e18bee7971fae79e70544ce38c0dae5a113ba","datavalue":{"value":{"amount":"+0.7578420639038086","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":"Q5208771$D722692A-41AB-4797-8BB2-9C8F28F1AB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756aba7b10aa65cd20302422ec8d25d498018411","datavalue":{"value":{"amount":"+0.7534635066986084","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":"Q5208771$F340519F-8F5A-4F6E-A974-EAE60263FD3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing weak to strong bisimilarity in CCP","badges":[]}}}}}