{"entities":{"Q4369871":{"pageid":6399470,"ns":120,"title":"Item:Q4369871","lastrevid":46983903,"modified":"2025-12-26T00:05:17Z","type":"item","id":"Q4369871","labels":{"en":{"language":"en","value":"Three logics for branching bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103536"}},"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":"Q4369871$BB3A291F-A3C2-42B2-B644-238D0AAB1470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e662f2df4de7c523a5fa4a3df0d6fa27b11015f","datavalue":{"value":{"text":"Three logics for branching bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369871$2B3BB9CB-213F-4F8D-86F8-DA541BD7F8AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84c92030b52ea0cf476f4675ab2e82d8c67837f4","datavalue":{"value":"0886.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369871$16C44235-E723-408A-801A-922718B20D9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfad0dc819e144f5ef0776caf6fd68ec9bb79b90","datavalue":{"value":"10.1145/201019.201032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369871$0F6A7576-64B0-4659-98D7-E914E0280E7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369871$75917FC3-F2C6-42AD-AFD4-E2F8347E5C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369871$67C0A157-A4A3-4CBF-941C-01CF081B5170","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":"Q4369871$27210931-6F80-4FD3-AF18-9F12247379F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369871$EB30B566-2320-40AE-8312-FE3813A43781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"911cbb0f2d5f73668be48a277964828eb93e1fdd","datavalue":{"value":"https://ir.cwi.nl/pub/1370","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369871$88578008-C300-4A39-A438-BFEACDE5F200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369871$AD1FF50E-DFDA-4A45-A809-3C1D1E4EC639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369871$93D7D6A0-FE41-44CF-9AAE-B696EF3A3A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75b1ada2ad86742399816bf11d335f1f4f38e09a","datavalue":{"value":"1103536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369871$27D85EF7-6FD1-483D-BB76-163A46B26BD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369871$6BCC584A-ED80-4AF7-868F-AD05B0386AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369871$07E0AB5F-9417-437C-91F1-7094F37DED61","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":"Q4369871$D4B3CCCB-16C4-4CC4-8319-F0B03C1D8659","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c70ad0f497e877ff652f006cb943550601bd0fcc","datavalue":{"value":"W2107144615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369871$A50E29E5-B003-4186-A409-1FB6D021FF11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a566f4c36436c33aadf147c8cd7aa0c941727a9","datavalue":{"value":{"amount":"+0.7967463731765747","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":"Q4369871$312D8D31-2B17-4BE5-8BB5-F225274EFAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7a54c0d42aa98c67e8d5e88724ed4b86d4affc","datavalue":{"value":{"entity-type":"item","numeric-id":1652984,"id":"Q1652984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68f9fc3593f96c5184b244bd14aaa77ff6b1212","datavalue":{"value":{"amount":"+0.7938353419303894","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":"Q4369871$0B139B0F-0D33-40A5-8A8A-B724FCB7D32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021034965ea021bc23427c81a189b380498714cf","datavalue":{"value":{"entity-type":"item","numeric-id":3210192,"id":"Q3210192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b55dc5a78c659be36ae869310c97384e02c6ec","datavalue":{"value":{"amount":"+0.7891396880149841","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":"Q4369871$BCD122D5-3D54-4694-88DA-0D69D6E56793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e025c7348c2723dc61202254a773385702e328","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03711a1c66dcc7e86c7e2953bd99ce004bb7f81","datavalue":{"value":{"amount":"+0.788724422454834","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":"Q4369871$62AC7A5D-0561-4352-8579-87BF03EA930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f38f0450d762063c907643015d674562fae310c","datavalue":{"value":{"amount":"+0.7872233390808105","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":"Q4369871$2CE85D56-D88B-425F-A087-374DE5F77CFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369871"}}}}}