{"entities":{"Q4314681":{"pageid":6344282,"ns":120,"title":"Item:Q4314681","lastrevid":47282791,"modified":"2026-01-01T05:46:30Z","type":"item","id":"Q4314681","labels":{"en":{"language":"en","value":"Bisimulations and predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695452"}},"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":"Q4314681$C7F7221F-27DB-4CA2-A219-649F3BD5EB15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0529afafa7580e4b9941ae7e07cd9e8721db47e2","datavalue":{"value":{"text":"Bisimulations and predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314681$D554799B-88EC-423D-B1A9-A0F3ABC8DAD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cc5dcaf0554bac607af550dbe132e90366774f3","datavalue":{"value":"0809.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314681$ABF8F3BA-0DED-464E-A1AC-05390596980C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d84ecd238dbad125a253f954248c4434caee3c76","datavalue":{"value":"10.2307/2275918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314681$737A566B-6170-4761-8D4A-E8C56CA194B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f1320e6ec20cbf624a8436ab06f53df2bae10b6","datavalue":{"value":{"entity-type":"item","numeric-id":185570,"id":"Q185570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314681$4CEA454B-0899-40E0-A349-D1CF57E81563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314681$333C843A-A67F-4260-8676-C54B077F6891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8ee5701460a9020545fcfa09fa6bb7ebdcb65ca","datavalue":{"value":{"time":"+1995-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4314681$11938C4B-BB6D-4F99-9E1B-1A294D46A473","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1595f9584aaaea7088a4c040c41b5806945af082","datavalue":{"value":"https://ir.cwi.nl/pub/5280","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314681$512E9A5A-FEC2-4624-A881-0AC3B1A6F4DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314681$485AABE0-4E51-47AB-A954-10CA81B5FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314681$CF427F4C-4626-4BEC-A175-6BF927E3625B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13a5f73c0ad0cfac9de18f95eaa545c303ae420c","datavalue":{"value":"695452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314681$8B4E8E7E-6C67-4241-A064-A6F124EAFFE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$F9E0567F-55FE-4D06-B15B-CAB8B4F65D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$44C37B45-B688-4F76-959F-5D22F018CEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$028631A5-9C2C-48CA-A695-9244621AEAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$0D82DE11-9A02-4553-A3EA-4B27228FC3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f3802255cb704e65915417119365d1f1edb1eb","datavalue":{"value":"coinductive characterization of bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$E9B47A6E-C8AD-4B8C-A6CB-163503F1BB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$D95A7D4A-B6F5-4A7C-A5DC-5E24F3E42523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$F715C1D4-7DB8-4895-B83B-00149EF21F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54f5c84144897cdb09259700012c14c4edaa5a8","datavalue":{"value":"equivalence on programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$12748EDD-E197-49B6-AEB1-F69F443C7C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8582c9c9734eff214e5b5db65e867b5c228e500c","datavalue":{"value":"logical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$5AA34C0A-DDBD-47B4-A1DD-A6330DE5E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6e258ea4866d065acc844b4ff742bd13acb365","datavalue":{"value":"infinite branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314681$3D759DED-DCC3-4C34-8F51-F3D0357E3A17","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":"Q4314681$305EE24A-0154-4FA2-BB17-043C90993AC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fb30f21638989ac07c66bcf11468206e69dac26","datavalue":{"value":"W2126355236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314681$A727F1F9-5D17-46AC-8393-C822329160FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314681$B047A321-7037-4BF1-97FE-A4FF29C53903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314681$058B317A-3F03-4AAF-B9AC-6DB72C66CAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314681$CFA13174-6727-495F-A7FE-90743AA4DC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314681$0B7A8654-D687-46EC-AB51-E9E0D67BCDB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ba4a659fc13859eb8c16c3679cf033cef0b172","datavalue":{"value":{"entity-type":"item","numeric-id":5058364,"id":"Q5058364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c72675bdd7d06f3229a646381f3efd105e306b","datavalue":{"value":{"amount":"+0.7832762598991394","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":"Q4314681$E0D0BF3C-57D5-4C7A-92C4-DEB98F22B89A","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":"3682f89415a0dd5885020713dc5c289f425d977e","datavalue":{"value":{"amount":"+0.7779716849327087","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":"Q4314681$843EFED8-8876-42E4-9495-E16B5380DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497e89d3f907bd920ef245c3f449e961dfcb71d","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e15116a2fab2a3e8dab0d0b2515a1ae4cf941e","datavalue":{"value":{"amount":"+0.7616353034973145","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":"Q4314681$D2D92B69-E479-45B1-B726-C80BC7A9A1A6","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":"07f228b5ac85f5084484ea5b4fb5b56bc075f648","datavalue":{"value":{"amount":"+0.7609172463417053","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":"Q4314681$B5ED35CE-F715-4D08-8854-0056C4E2081C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43d794470b4a2f633b0501f6c3dc699900011da","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5008cc75f4ea90d607209369cf7a55a2d2fcffc0","datavalue":{"value":{"amount":"+0.7603582143783569","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":"Q4314681$00A48E49-94DA-4E2E-8D2E-3DA64B291D89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4314681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4314681"}}}}}