{"entities":{"Q2942857":{"pageid":2953577,"ns":120,"title":"Item:Q2942857","lastrevid":85122521,"modified":"2026-06-03T05:57:34Z","type":"item","id":"Q2942857","labels":{"en":{"language":"en","value":"The marriage of bisimulations and Kripke logical relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481237"}},"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":"Q2942857$9A409BFC-6CB7-4562-A9AB-D9995DE2F446","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29bb3666ff0b69590bf0458391fcce723d02069b","datavalue":{"value":{"text":"The marriage of bisimulations and Kripke logical relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942857$278DBB5D-8D39-41EA-BD7B-0D47AE7CA38F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95a937bb34ad36c01300337cca2b5a4c677f852d","datavalue":{"value":"1321.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$F431023C-3BFD-4E9E-98F8-05AD1D5C9828","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f167416bc3f47d3a2cdd0af37cdbd9dcaf9803c","datavalue":{"value":"10.1145/2103656.2103666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$4FB46D0C-B336-4F20-ABCD-92B7D97C87D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942857$8CC55E3F-0F9A-4544-BE0B-6B36F440D57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942857$738BBEEF-F3E2-4521-8797-4D25C9F9D429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b6946bad33c4ad6049a109a67ed0035e8c2a34","datavalue":{"value":{"entity-type":"item","numeric-id":2931795,"id":"Q2931795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942857$226A3E04-B268-4A6A-B9B3-DDAED388F8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942857$6BB15CA3-315A-4E59-BBB1-23D6E20564F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942857$051FE11F-6EC3-4A4A-8861-2F34B8BDCFED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2942857$5515BF83-3938-4A11-8871-8807FFEB85D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$D421C3F5-A837-41CB-B62A-39CCCF6D8B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$139A59CA-5887-46C4-B6B3-A5F11403864C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$8627F8A7-F8CC-4C79-B9A4-CF0C0D91CA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$3E4A5AD6-C417-4A5E-A0C0-CDA15685C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$FA646B73-17C2-43B0-98F5-9029E3F6BB70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af3e088d854f70418157900ae11fe20e2b98179f","datavalue":{"value":"6481237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$CA80E509-D8FA-465A-84AE-703FB01489A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb8bb414005f2b26adc63ec7daa96119fe3754d","datavalue":{"value":"Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$73602265-EC57-4CC3-94C8-4BC379667F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27328578f10002b1fa01da1e78f9e379ddfaa8b3","datavalue":{"value":"abstract types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$316DF8A5-E6A4-42E2-BAD4-C48C93BB74F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$3926A7F6-457E-4A81-AA0F-EB52501D1488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$86B63D8F-99C5-4CCD-92F8-085AFB0E56EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b20c1c383f93c142253f157f2f6b055cba4e8d","datavalue":{"value":"global vs. local knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$915D3E5C-A642-4E59-AC2A-C15258E01FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49521e1491b66a48fba4b74aadd65829adab8610","datavalue":{"value":"higher-order state","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$7C388344-F2C4-4914-BBEF-64A0B275E44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$8379FA21-FFCE-4EA5-AF02-E58B7BE39D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fb2783a1346e559f6fa1d7cdcb7542df0391b7","datavalue":{"value":"relation transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$1121041D-22C6-4BCF-B958-FC20A01DC583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942857$01AEBEC6-41E5-4A34-8B9E-BCA281537D85","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":"Q2942857$8C2CC225-0445-415D-B0DB-B30A333C5AD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d71adff21ce519608cd6048ed0e4a6f77c7cd18","datavalue":{"value":"https://doi.org/10.1145/2103656.2103666","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942857$405C0D6B-AA6B-48EF-8D59-FF5669C1BECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"974a9a14be6caf217c07cda19e32caee0050f7f9","datavalue":{"value":"W4239690658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942857$883CC36E-67EB-4CE9-B5A2-36DC118C6A3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcb28e414112255b3a7240f3489e919013d3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541f3d57be2457f468cca278b6ee34e5cc1c55f8","datavalue":{"value":{"amount":"+0.7618749141693115","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":"Q2942857$D27F43D6-D73A-4D56-9DEC-F26C706A996C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5d18f51b320b5bcb3b1d6cd05f6270335072e","datavalue":{"value":{"entity-type":"item","numeric-id":3460912,"id":"Q3460912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e3b42d7d2aac86ff49e38f68c5dbf1f63ee649","datavalue":{"value":{"amount":"+0.7615606784820557","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":"Q2942857$C80672A7-3720-4B12-9EA7-A1E2FBAFDEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467476586a2a65a633f7f3f113ce6f99a9d440a9","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce92a54551e1cc4596405cb4a883d8fdd382362","datavalue":{"value":{"amount":"+0.7608316540718079","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":"Q2942857$C7D17CDD-6F80-4DE1-B78E-F772CF95939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3ad0f1ecb1ddd3c0cfbeb76073648fefbd8395","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20fd6a226e3a6143c641076b772b886940aa834","datavalue":{"value":{"amount":"+0.7259159088134766","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":"Q2942857$403D6A47-F048-4E27-A31B-BCA4B90B9026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d781ebd667996ff8fd8e7b634b7ff841beaaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2594a6df710b0ee1b3c0119c7e8e1318da2e9460","datavalue":{"value":{"amount":"+0.7248794436454773","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":"Q2942857$4EA0158D-FE5C-4F38-8E76-4EBBE825BC57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The marriage of bisimulations and Kripke logical relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_marriage_of_bisimulations_and_Kripke_logical_relations"}}}}}