{"entities":{"Q5224490":{"pageid":7254059,"ns":120,"title":"Item:Q5224490","lastrevid":41654685,"modified":"2025-05-06T20:29:33Z","type":"item","id":"Q5224490","labels":{"en":{"language":"en","value":"Neighbourhood Contingency Bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084729"}},"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":"Q5224490$568E764F-D16F-46DA-A5B9-72E4FC8259EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf5e492452905886d235a9f4c59a1d04c844f32d","datavalue":{"value":{"text":"Neighbourhood Contingency Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224490$2496749F-FAE6-4915-AB61-2BBF92C527BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45d6de9eb6604cd44056de909c835ee049f738d1","datavalue":{"value":"1485.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224490$F30EEEC9-B30F-44F3-9BFF-EE973C589D24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0f497768c2c51b35aeb18dbff381e62d5e12242","datavalue":{"value":"10.1007/978-3-662-54069-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224490$A7155388-4248-4EC0-ACCF-2E1BFDA1BB9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6008baa3d73b5bdebee0d733a7f41f187eecda0","datavalue":{"value":{"entity-type":"item","numeric-id":1987214,"id":"Q1987214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$6FA034B6-4617-4EE2-98A5-2281BB661851","rank":"normal"},{"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":"Q5224490$D7B27E1A-0B62-459F-8538-E9DDA76DB14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$BEDAEF3B-0252-45EE-80B0-51D7FC1391EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$E0958A19-32CC-4F55-B3CC-AE879BE3E4BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224490$6A6F1505-A3ED-4195-BB6C-F439DF06A9AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cc273863348037a84e24b6d2327b2b549bf8a43","datavalue":{"value":"https://ir.cwi.nl/pub/25476","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224490$4EB31D39-80E5-46B7-A32E-A885F78826A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224490$1D66801B-77C2-4F71-BD41-F8FDDCBFED56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224490$DACDDAAC-978C-4690-B80F-734BDA1FF414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"173885e21ab4682113fb2eef3c15ec5e12ab3bae","datavalue":{"value":"7084729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224490$FF20B534-7EF4-4C59-954E-E375CBF53D16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224490$A0F616B1-B7DC-4F18-871F-6160F866CD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309fff9575521b7ca8fc996e01f8ba0c6bf09e1d","datavalue":{"value":"closure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224490$E8ECB585-3FA3-473F-9A8F-F837D40A6C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224490$7DCBE111-F26F-4683-88FB-4A093E1ADCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224490$2DC62333-912C-47D3-9359-31B5C3D346DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760c262661861c960d82090ffb8b9921edae9bb3","datavalue":{"value":"neighbourhood model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224490$17E55A53-671D-46B7-8CC9-B6172D0D6B12","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":"Q5224490$A9907F4D-5FB0-4613-BAA7-6CE693A06195","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"528c82e2f731e4a04f66263e1f2ee99231d7c4c4","datavalue":{"value":"W2558767234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224490$863BB01D-9BFC-43EB-9154-D8E5670AB9B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$B1E43E6F-490D-411B-BE1D-38E044129E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9dbfe8bcbc869ebddb9f1884bf75883ba5d3db9","datavalue":{"value":{"entity-type":"item","numeric-id":2937393,"id":"Q2937393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$4F5570A5-3EA3-46AE-967A-835A234005F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13aa1cab592636766210610573b27d70a50e66e8","datavalue":{"value":{"entity-type":"item","numeric-id":4636292,"id":"Q4636292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$850D8372-4DC3-49FC-BDD5-4365ACDB68D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6c3e768d723269817353e3508c57edda0b831e","datavalue":{"value":{"entity-type":"item","numeric-id":5247344,"id":"Q5247344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$02B0088E-6593-49CB-B7AE-F49E537470F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$85FC5C99-9627-4022-A8E8-4DBE69A0BF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10380cdad11b41259a744f16f3afd9d759f6ea51","datavalue":{"value":{"entity-type":"item","numeric-id":2844045,"id":"Q2844045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$00B16EA8-FC61-4A74-A51E-86119D8C3620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2560c1400316876536000ae649526df181843b","datavalue":{"value":{"entity-type":"item","numeric-id":1903586,"id":"Q1903586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$39D163FB-CFDB-4499-91C5-AAB3C4C82DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750c7da3421bbef7c72dfdb3976c9b409fc427be","datavalue":{"value":{"entity-type":"item","numeric-id":1903587,"id":"Q1903587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$75AED205-5040-4F55-A0BF-C754D83D2F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$A53410DA-8E2E-49E6-AE23-4D549092A3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f66f40f3868935220ef17ed92f50138a5dd6e5","datavalue":{"value":{"entity-type":"item","numeric-id":4046026,"id":"Q4046026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$C356FB9D-E5E6-44D9-A46A-ED3AB2D30DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$CAD0ABF6-A600-461B-9EDB-7D77FF9243DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa123dd4e0009abece1c57564c902269c90112c","datavalue":{"value":{"entity-type":"item","numeric-id":2537095,"id":"Q2537095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$3E32AFC4-6A2E-4A5D-AA46-7DCF99ABF1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584396dfa1237e71cec2023adf5fcb88e8621d88","datavalue":{"value":{"entity-type":"item","numeric-id":1049740,"id":"Q1049740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$D79ECD3F-B3A8-4A8B-BA0B-D1FAC9E7376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829bb2d1abde2fff7b449329f9e6cc131c8e8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1347608,"id":"Q1347608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224490$C5EF7055-17BB-4516-B4B8-DBF82AC5C524","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":"aa7fbe7eb4f91423984372e3f49e704e81c80602","datavalue":{"value":{"amount":"+0.94480675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$4ABBA484-C74D-4A3D-8D6C-55217A0D98CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d195d171abd6da2ce6985297908a4399dffc85f","datavalue":{"value":{"entity-type":"item","numeric-id":2871848,"id":"Q2871848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bb32b608e55264fab6d3441b526ca463830a49","datavalue":{"value":{"amount":"+0.85058534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$5C4B26A2-0A41-4879-A76A-C5D88A32F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68cf7d2cf746a82c44af83e56b8b12d79064ac","datavalue":{"value":{"entity-type":"item","numeric-id":1708097,"id":"Q1708097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfa789b9326e07d715b7036f0a56078002bb7bf","datavalue":{"value":{"amount":"+0.84629524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$D3D7898B-4B2C-415C-85A5-C982B788E95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991de32d84d4da0e6d943b8b848a3e26a74505cd","datavalue":{"value":{"entity-type":"item","numeric-id":5103921,"id":"Q5103921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417d53c2b68efe1a5d9975516dd2fde33f65b99e","datavalue":{"value":{"amount":"+0.83622336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$4A12AF3E-109F-4C67-8742-487846CD1F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a726cfe2b75d6205f8651954b7c7dac02df421e1","datavalue":{"value":{"entity-type":"item","numeric-id":5412012,"id":"Q5412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140e520073c706a5238eff2febdc5d72d1d91e65","datavalue":{"value":{"amount":"+0.8359889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$A65E0955-6844-44F8-BD10-E9A66F9B518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08079c22a014c6b3b1ebca8787d987680b8fbd70","datavalue":{"value":{"entity-type":"item","numeric-id":2355689,"id":"Q2355689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64363cb43b65ee45c796bb6056fd4c836b7434db","datavalue":{"value":{"amount":"+0.83574766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$9504C3DC-5610-4DF7-AAC1-09659279F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564eca937914e5a242596acad7b5934c3b2b9fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9850bf00855695833544aabd817dde21d3ae21dc","datavalue":{"value":{"amount":"+0.8355243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$55661336-9569-41DE-A1C4-809CE283DEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6ee58d0b384b8a04a046bea37b43d2c6970035","datavalue":{"value":{"entity-type":"item","numeric-id":3493241,"id":"Q3493241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2329d8201a4729d5161d9ed69ba9f3d9d3daec","datavalue":{"value":{"amount":"+0.83214927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$80561472-D87A-4126-B35D-2BA07D0EABD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cba559925e3b7d64b2f0d517fb93792c2f1133a","datavalue":{"value":{"entity-type":"item","numeric-id":4602534,"id":"Q4602534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50e370f7f302bf0f7a1691c08c0d8da2368c41d","datavalue":{"value":{"amount":"+0.8312394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$1FC9E8BF-D3EE-4E3E-B1CC-B8834AB0351E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5235a56f94c68e804e84532c25b521756813627","datavalue":{"value":{"entity-type":"item","numeric-id":2937393,"id":"Q2937393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9ee2c4c69e20a631434342618a3263a3461156","datavalue":{"value":{"amount":"+0.8310565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224490$5836AA62-A487-4013-9BF5-2C14ED60E2EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224490"}}}}}