{"entities":{"Q4371679":{"pageid":6401278,"ns":120,"title":"Item:Q4371679","lastrevid":46984116,"modified":"2025-12-26T00:05:27Z","type":"item","id":"Q4371679","labels":{"en":{"language":"en","value":"Branching time and abstraction in bisimulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106114"}},"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":"Q4371679$271C01CC-3A6D-4CB1-8B57-A08A772D1323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0292f63a12059d6e5e03bc44692a8bc032e2ffe","datavalue":{"value":{"text":"Branching time and abstraction in bisimulation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371679$10AC967B-5649-4F9C-82D8-BEE6837A6431","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b0eda66108eac5440f8ea24b48ef59707fc47a","datavalue":{"value":"0882.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371679$682B4999-2CEC-4CC9-932D-F46CAE57EAA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26bb7663551aab0391a4bf1653eb777ba736f399","datavalue":{"value":"10.1145/233551.233556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371679$E639EB68-9CDA-43C7-A66C-52C2E20D690F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e69d6ee1f10b0c5a1746cf73e091ca500f0079","datavalue":{"value":{"entity-type":"item","numeric-id":913531,"id":"Q913531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371679$14BF8AD5-4411-4204-B997-614934F412D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371679$A1825D22-A51B-4FA1-8CF4-08CA2150DDA8","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":"Q4371679$3671686E-3EF2-4641-AA9A-92319B39305B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb264ae0a359bf25e724aaa6ec1d5efb013c8860","datavalue":{"value":{"time":"+1998-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4371679$232BF7F0-57EF-4E31-BC8F-635E7F1F91EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"716fb76dd0b6dd8b24c1ce5a60504e3e598afa11","datavalue":{"value":"https://ir.cwi.nl/pub/5564","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371679$9B6F3992-E16D-413A-97A2-19CB4413FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a86c28032fa1c6d2fe2332380507de41c2e669","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1996-43/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371679$EDDEB6BB-08A6-45DA-8A9A-77EDF8E35E3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371679$51CFD2C8-BED3-4D9B-9986-6CF30F68DEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371679$A18EA221-29AF-4E8B-9074-219117966546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a19d50ef3f64a675d271a87238cf0e946378eb91","datavalue":{"value":"1106114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371679$676574ED-D78D-45DE-B324-768B56AD26FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71872bcdf64e4f70f85890aa4cb929bf44469acc","datavalue":{"value":"comparative concurrency semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371679$66C94213-D2E4-4703-9809-AEC9583473C9","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":"Q4371679$DC3B4E5B-350D-4662-9528-DC46442AB6A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab3df345f8b23a3f5b4d880bda30daa4d22ae597","datavalue":{"value":"W1985161650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371679$0A4CAA1E-312A-46DD-9A59-965F64EEB178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5863e5d22c26cc7fce774f7507e09366e1f984","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ea8db6f5a0f75fd4830fcd97f2f360f9dd7dae","datavalue":{"value":{"amount":"+0.8572521805763245","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":"Q4371679$CCAABE01-25C5-40DD-88FC-CD3BA10804F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba213052ef9e175f0f661107db20078216007d96","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24479ed3a7de6ac1507488cc2e64d3d23c8cd45f","datavalue":{"value":{"amount":"+0.8285151720046997","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":"Q4371679$99744FBE-BAC2-4DCB-86E3-51DD68276691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a4ed90bc9a04f0ad37cba545b1373b583ced04","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c134b9e242fc57ef90e6fd586c40f8366dc304","datavalue":{"value":{"amount":"+0.8077356815338135","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":"Q4371679$6CF28A15-D0AD-4439-9DA5-526C6264E0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f592d8a3deb7988874324567b58a4cb7787d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3601869,"id":"Q3601869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc3c9621ebfe014b24c829749a3985e07b0f898","datavalue":{"value":{"amount":"+0.8042789697647095","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":"Q4371679$D95571E1-47D4-471F-97CC-16275DAC5DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35382cc3114928c742c53a8067acc3f3b06fab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3510781,"id":"Q3510781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350def94c89111ee158e626b0f89e681f391d34a","datavalue":{"value":{"amount":"+0.800897479057312","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":"Q4371679$D590F86B-F11C-4C83-A631-0E822E05FC0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371679"}}}}}