{"entities":{"Q3636801":{"pageid":5666707,"ns":120,"title":"Item:Q3636801","lastrevid":50694407,"modified":"2026-01-14T20:15:05Z","type":"item","id":"Q3636801","labels":{"en":{"language":"en","value":"Neighbourhood Structures: Bisimilarity and Basic Model Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571815"}},"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":"Q3636801$B84E39FD-A02B-4738-AE6D-6F568F306C33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5161d1d3046275c63f161ec7383463b85866fe4a","datavalue":{"value":{"text":"Neighbourhood Structures: Bisimilarity and Basic Model Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636801$FD860D0A-AB9F-49C4-AA2C-9EBCBD19F0E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c53e92ae8194ee5737f2088573297d2d2c0704e4","datavalue":{"value":"1172.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$561CC14E-C3FF-4B00-8D20-106A77E3B679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54daabffb149814a5c07a07167259ccec3c89ea5","datavalue":{"value":"10.2168/LMCS-5(2:2)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$1BD8EC72-DCB4-42E3-8B30-C1A92F44BA8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf07cf23f23c4637da7244b309b4bbc43d128e9","datavalue":{"value":{"entity-type":"item","numeric-id":618166,"id":"Q618166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636801$EA33016F-D690-4827-9BAA-3F8B458DE0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636801$25888B79-4235-405A-B457-56E6A9A10CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a07388624fd094e4111988cfb74e07319aacce9f","datavalue":{"value":{"entity-type":"item","numeric-id":266654,"id":"Q266654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636801$42D642A5-6708-4EB7-A63F-3E23901743CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636801$DDD1D514-9A45-40A7-95D0-7E8AC180A9DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636801$62C2A5D3-0BDD-4059-B606-46443DF38B10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$45B799B8-5760-4306-951F-EE0A10A25BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$E2B69ABA-A1B7-4DD5-B772-168BA3D43458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$AE9E4135-32C0-455E-AF04-282BD822B780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$124C6913-0B51-4908-9194-29EE3D9A5020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$D49C516E-DE10-4232-A34B-948B010B0725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cebc662a72da35037b9fd48f57301a2a788ab7f","datavalue":{"value":"5571815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$829B81C1-D682-4A99-899B-02AE2524E6FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$48F6CBA9-0A96-4C9E-9F27-879C48704DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$B9B66889-15AE-44E0-8C94-3E42C30589B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$AD054CA0-EE92-42D6-9CE9-16C0E5127F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$5616EE36-1781-4C51-B512-3A26190ED74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8237bd01aefc41171a36ebadaa5137e16b14312","datavalue":{"value":"non-normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$5A98D721-00C1-4716-BEB4-B99602B6B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$E6820B41-F9D2-41D8-AE17-C2774676841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae81f9b7c85c07a7a5bb8c44af3c577b792f37e","datavalue":{"value":"Hennessy-Milner theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$F754BCA6-056D-41A6-9600-77E6FDDFBB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb61f9ff42efd62f0f5017e2c138a31bd6059c87","datavalue":{"value":"van Benthem's characterization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$A696999E-6CFD-467A-B390-AAA15EB8C7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2bb4cb2bf08906d22a2bc1f32a4e70e1d900f0","datavalue":{"value":"Craig interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636801$62DB3326-0CE2-4599-BB64-030D834A2D3A","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":"Q3636801$4EF1B832-D06B-4E14-A4B9-ACB299395146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44b56c0f772744990c9873d4e1d206ad52bcd8fd","datavalue":{"value":"https://doi.org/10.2168/lmcs-5(2:2)2009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636801$C9B41945-3FB8-4C0B-A21B-62ACE55E08DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49fa0e905a12e884f8f2735c12e6642adb17bcf5","datavalue":{"value":"W3104252790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636801$A3D59A69-BFEB-4B58-84C3-5CEDF2A9C822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8587408567adb6ef5b81d8ae761c1a41ab09bd39","datavalue":{"value":{"entity-type":"item","numeric-id":3612496,"id":"Q3612496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a726b6f6791e4192a877d22990c1a3251815af","datavalue":{"value":{"amount":"+0.8743923902511597","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":"Q3636801$615BC07F-B26C-40FF-8DFD-55BE4165FC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cbd1351bbbbdf16fd85eb930f01856edcbce5b","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e183fef44a316abe98272448f38e9fc8118d16","datavalue":{"value":{"amount":"+0.8029075264930725","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":"Q3636801$78A2FDA3-3E1F-47FF-9BDA-9BCBAEA92056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62d6a14472ad155cfe2ba9742eae908fbd22a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4612432,"id":"Q4612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec461dbfc4d87a4d676872fc254d046dfe1bc40","datavalue":{"value":{"amount":"+0.7951080799102783","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":"Q3636801$CCC4A725-B390-470F-82C2-00A6044BC09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881d6e5a876f36d4bd07e1b907eeec98e69fd350","datavalue":{"value":{"entity-type":"item","numeric-id":3056296,"id":"Q3056296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57de3c2c082e5253d82fe36de3cc9b8bb238fb0f","datavalue":{"value":{"amount":"+0.779851496219635","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":"Q3636801$7406492D-84FD-48E4-9AB7-9E6D8AC4EA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df1699eb3d3e8426ff9e1a4dffcdaf233ee71f1","datavalue":{"value":{"amount":"+0.7792823314666748","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":"Q3636801$B360D8AA-4887-431A-A71A-C0EE6D7DEE02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636801"}}}}}