{"entities":{"Q6163888":{"pageid":13298769,"ns":120,"title":"Item:Q6163888","lastrevid":98745701,"modified":"2026-06-05T18:23:10Z","type":"item","id":"Q6163888","labels":{"en":{"language":"en","value":"Apartness and distinguishing formulas in Hennessy-Milner logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719267"}},"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":"Q6163888$D6A79745-266C-451F-8B3B-DD073231A1A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdf15a95ee225ede52c5c057daf2c6000d171014","datavalue":{"value":{"text":"Apartness and distinguishing formulas in Hennessy-Milner logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163888$D43360A5-8335-487E-8510-51B6F8F64326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35abcb9a5d6cc2bac55d5f892bdfae2484c4db0d","datavalue":{"value":"1524.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163888$6B4B6200-7BF0-4ABA-9AEA-6A4EAFF15391","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3e6ac39fe7317616236b499ae6eef7e142f6043","datavalue":{"value":"10.1007/978-3-031-15629-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163888$EBF31CB6-3642-4C6B-9F47-34F9CF82E57E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$2D130DAF-E6FD-4BAA-9C9A-EFDA7B6C51ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$86CEA08F-74FA-4DDA-8FFC-3EE9A4573157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6163888$CF033FB1-7622-4DD4-84CE-E71A2F5F81E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163888$588E65A1-7192-4A96-A577-F3C3BE39224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163888$07042A8C-8752-420F-9214-8B9757911EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6763744d5fb3e7a7e3392fc6ffed3af78188419","datavalue":{"value":"7719267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163888$97DA0AA6-C865-4237-9D98-E8948CA20239","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":"Q6163888$F06C0699-C367-4401-A590-BC5CF6D8216A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$84D0F917-F559-4940-BFF9-68F08991EDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$057B34A8-EB4D-4A23-A065-03C71F73A705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9a25692012865a764e7bfe7f3b2decb8d9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5155676,"id":"Q5155676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$131A0DC7-9182-43F3-A64F-B5ED36DFCAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$627302B2-7523-4E87-86E3-41FD61302AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$F410B858-D215-4693-824E-C74D5D1A9138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$6510A039-C024-47BC-8C06-823FE446DA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47739ad8e05407804fcc23bb0b920702448c0c24","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$2A21952B-C6DE-4C16-9A62-54DD74EC1B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca64073a590b1b5dbc5030bd92fb520243deb0a8","datavalue":{"value":{"entity-type":"item","numeric-id":2798719,"id":"Q2798719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$71E6C2E1-8F38-4518-A7AF-B2B15324B191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$93DE43C9-9908-474D-B3D6-48DBB8B5C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3f929ddca742261f0d8c6be55b993cb0b97e67","datavalue":{"value":{"entity-type":"item","numeric-id":6493514,"id":"Q6493514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163888$88CA245B-CACB-4B6F-B5D3-A54DBF307C01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8a6b897758cb1d7590c5b95e6e72b5fa98a4ed","datavalue":{"value":{"entity-type":"item","numeric-id":2182678,"id":"Q2182678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822ffe6210228b7ee91a66c33060e11bc44e64c4","datavalue":{"value":{"amount":"+0.86831653","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":"Q6163888$AE7A0003-2361-408F-AB56-A2C05708FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c263e3669c582b53556cf5aa6abb32e713e5fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2303586,"id":"Q2303586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fa3bd54ab00e78064ede91e6daa8e879758286","datavalue":{"value":{"amount":"+0.86500883","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":"Q6163888$E8A574CE-DBB1-40A3-9687-959089E4741B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9308f3c689416424294fa856abb2ffa7895fc69","datavalue":{"value":{"entity-type":"item","numeric-id":3592800,"id":"Q3592800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71f87bc921bea3178eba9f7511f397fbbff5fc6","datavalue":{"value":{"amount":"+0.864222","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":"Q6163888$EA4CF15A-5FD2-41D5-93D5-98E52B73A59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f838d99a742f645894986d01de6e36ea2eee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2144186,"id":"Q2144186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29788a31aa9377c0158b7162de115bfb5b79dd2","datavalue":{"value":{"amount":"+0.8628373","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":"Q6163888$282297AB-5DE5-47D7-B74B-66CBC6417A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78d3d273bdba9421c754506a615d186110c97c7","datavalue":{"value":{"entity-type":"item","numeric-id":1047799,"id":"Q1047799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d755407e71e856b5d7fa7653e203565f07ff238","datavalue":{"value":{"amount":"+0.8611739","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":"Q6163888$261CE242-9BBA-48A7-8061-ADA7936E0585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecb80659977aec99804b30d76ea5cdbb50cdf15","datavalue":{"value":{"entity-type":"item","numeric-id":4636305,"id":"Q4636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0631ab1c7c1b91da0668b9d0e0c24f97178c35","datavalue":{"value":{"amount":"+0.8602356","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":"Q6163888$16E54F82-F7B8-47E8-9F97-5F91C95A4465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5e70aa5b401bbb89354d3efef93f834cda1666","datavalue":{"value":{"entity-type":"item","numeric-id":2843328,"id":"Q2843328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a81278e48d9c665478246ac116936afc66005b","datavalue":{"value":{"amount":"+0.8593314","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":"Q6163888$DF759C9A-4234-45A8-9081-0B6B094DF50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0183aa09aa67896853fc50f5ba5ebaad48075a","datavalue":{"value":{"entity-type":"item","numeric-id":3613068,"id":"Q3613068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9539e18bbf88313a1a6fe254e265b8065a68a4","datavalue":{"value":{"amount":"+0.8581478","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":"Q6163888$1D1931B2-09FE-4BA3-8AEB-24B65E5E9C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed686970d656cb6aff924aac8634634b9b4b0b80","datavalue":{"value":{"entity-type":"item","numeric-id":4644492,"id":"Q4644492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6843f233d310405436ffcfe6485a56b66676a85","datavalue":{"value":{"amount":"+0.85454446","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":"Q6163888$000A39E0-5CD5-49A4-A60E-E2AFC8349304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2e551067478759c84760521eaefea77b4cd158","datavalue":{"value":{"entity-type":"item","numeric-id":3435248,"id":"Q3435248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5ea972aaf08bf4736e35dae5cfcb17471ae549","datavalue":{"value":{"amount":"+0.8524923","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":"Q6163888$18452661-EB6E-479B-AB00-33DE88B29F60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Apartness and distinguishing formulas in Hennessy-Milner logic","badges":[]}}}}}