{"entities":{"Q3612496":{"pageid":5642402,"ns":120,"title":"Item:Q3612496","lastrevid":88530665,"modified":"2026-06-04T14:46:22Z","type":"item","id":"Q3612496","labels":{"en":{"language":"en","value":"Bisimulation for Neighbourhood Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527243"}},"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":"Q3612496$BE024911-63F2-4C8A-9C1B-B612E5515FE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f06220b24a977af67d4d2a7bd41e9e59c842ad7d","datavalue":{"value":{"text":"Bisimulation for Neighbourhood Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612496$CBDD3957-2154-4701-9DFC-78F555D2C3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9acb6e73b75598d675c3ac82be662ca6caa46689","datavalue":{"value":"1172.03314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$D2942B3C-9614-41D0-8DD0-9DF03DF3DB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ba295cf60df7af567a84dfad4df3475b58acfd","datavalue":{"value":"10.1007/978-3-540-73859-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$449AFED8-B4BB-4D8E-ADD6-5ED4A9C5E459","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":"Q3612496$AA51D3C9-BB16-4CA5-9EFA-920FA065BD19","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":"Q3612496$F555DC01-7775-43D9-8718-C95ADC832334","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":"Q3612496$6A3AC0B9-B2ED-4D16-A827-8537C53FF724","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612496$D9A9814A-879F-449D-B7C8-A7EC6B03B197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612496$0797B72D-58C9-4A0C-832B-66190ABD08E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$CD494422-7604-450E-8580-46CB9584CA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$FEE02070-CCAF-4942-AE90-D4DCD1AE41F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$AF46E2BF-FA5C-4076-8477-765C88AA9A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$DD6A8942-6273-46D1-A71B-925A09CD65E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$22DB1EAA-9861-4B63-9A58-32B98AD8AD20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae0c96538cec4dbd22c74a54494193a6f2297939","datavalue":{"value":"5527243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$63639B66-1B78-43D9-8A64-70CD24C80D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612496$BD106131-0C1E-429E-89BE-B7990510F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8237bd01aefc41171a36ebadaa5137e16b14312","datavalue":{"value":"non-normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612496$329F880A-0E98-4900-97ED-A2CF5CC7C2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612496$1E504322-1C95-4E8A-907D-F990038F110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612496$E1D553E2-8DB2-4FF9-B709-2BDD79087DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612496$52631D03-B43A-4DDD-B989-F8505346718B","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":"Q3612496$644BF7FC-32F5-478B-95B4-E559D516E3F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b40d7cc4423bca5e890d8826ee978c22ae09d55b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73859-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612496$140A0C37-837A-41A0-AD92-90AC9F32F292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bc6bcaab6a2f4f9e2e811049a77c335be3c5c53","datavalue":{"value":"W2113157988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612496$7811929F-7CB6-4C7D-92B8-0D61BDA3E807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030d7f99942caa9bd5aae2fcba08350ab0b9cc2a","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acf7bbe4358c88694ec05cc6073bcadf37d7d94","datavalue":{"value":{"amount":"+0.9049392342567444","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":"Q3612496$FE8EB243-CF92-4882-A8B7-7EF99D3BF723","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":"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":"Q3612496$6B47F477-41BC-4821-AFFA-9102831B9AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9969ad97f00fce387e4d4af6d7ed2c1fd48323c","datavalue":{"value":{"entity-type":"item","numeric-id":4580199,"id":"Q4580199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723eca13642fb86fa7b0d9b5e0c3a3f34d996d7c","datavalue":{"value":{"amount":"+0.7833572030067444","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":"Q3612496$E8C1797E-2D49-4ED7-BE45-551ABE8C88A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52030843b63719984a93c746c96a6ef49dadcef","datavalue":{"value":{"entity-type":"item","numeric-id":5224490,"id":"Q5224490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db6a3184a5bdc6ecc51167b4bfc615dd675aee3","datavalue":{"value":{"amount":"+0.7805511355400085","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":"Q3612496$EC2276D0-A434-4A31-84EE-67E5D6ADCD6F","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":"9b24aabf03ff13c221ffa854230c5f0a9887c965","datavalue":{"value":{"amount":"+0.7550927996635437","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":"Q3612496$5A3C8817-A6A2-4EE0-B923-9EBB3F993837","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation for Neighbourhood Structures","badges":[]}}}}}