{"entities":{"Q4636305":{"pageid":6665886,"ns":120,"title":"Item:Q4636305","lastrevid":53071646,"modified":"2026-01-24T04:11:47Z","type":"item","id":"Q4636305","labels":{"en":{"language":"en","value":"A Hennessy-Milner property for many-valued modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863871"}},"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":"Q4636305$B450DD01-3004-4A1A-B45A-D631FB893B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d1472d7423f0aec31a34c664dd41d5e62e020f0","datavalue":{"value":"1385.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636305$8E6B6D4F-445A-4648-8DAE-EC128DA34790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e87a878d84b1111dd655e2f93c1effbdfc993f","datavalue":{"value":{"entity-type":"item","numeric-id":334159,"id":"Q334159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636305$72B04CA4-EE49-49F1-AF7E-BCF99CBD7579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636305$D7DD74F6-AA37-4E28-918C-308DF19CA222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636305$2E7C6701-2FAD-4B3D-BA04-5D1D8139FDD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636305$D5BD636D-98FC-48F0-B2DC-D32131F24486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636305$B5D682B6-D0C7-4B97-95A2-03AB652744FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf2d21aa25a264e9464a9d17f6ce3d7088ec914","datavalue":{"value":"6863871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636305$D03E3894-5A7D-4B01-9DDE-82E095636F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636305$97C15A61-DF41-404E-8B64-28E5DA1BBC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636305$12B8D8D3-E26A-4107-B114-839C08B7082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636305$5CF0D14E-B143-4EC1-B9BE-91D65FB0EB36","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":"Q4636305$8BA2BF11-E5D5-45F9-B142-4AD4939EACD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3adbd202cfeb46e618634cdd86432fa842b8b8d","datavalue":{"value":{"entity-type":"item","numeric-id":5134275,"id":"Q5134275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40486ecf96ac430867d9c5c01fc4a8724bcd6894","datavalue":{"value":{"amount":"+0.9365240931510924","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":"Q4636305$F572E14A-57C1-42E6-97B4-6CDF3F649ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba01afc19ce5da620820aa587ccd8e05afe2d2a2","datavalue":{"value":{"entity-type":"item","numeric-id":1745356,"id":"Q1745356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9214a3ad16288a1cb31bf96e21186fd0cb8d704","datavalue":{"value":{"amount":"+0.8340787887573242","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":"Q4636305$7053475A-74BD-4748-BCDE-A362B64BB594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2409a040f80dc645b66ae6ce44b3058410ac7c","datavalue":{"value":{"entity-type":"item","numeric-id":2219166,"id":"Q2219166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669c1adbac83c1691e6898f603adff7dc1b45716","datavalue":{"value":{"amount":"+0.7781151533126831","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":"Q4636305$4D745BC9-C9F4-4903-A701-A6F446CF5C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d252b6fe29e7d56420b3696c6f2aefd1accfc11b","datavalue":{"value":{"entity-type":"item","numeric-id":2820688,"id":"Q2820688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96393c7c17a081738fe87dc1bbc5aad6231578d","datavalue":{"value":{"amount":"+0.7703487873077393","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":"Q4636305$CC04E7E6-013A-4C36-A7A4-0CB39096444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bcbf5ab1b4ee1d90196c628857cae1fe2f0da","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00093e7fc4012e0b24498197b13a779335a5056c","datavalue":{"value":{"amount":"+0.7501911520957947","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":"Q4636305$FAF2B674-2F56-48C7-AA74-380E15CC4AFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636305"}}}}}