{"entities":{"Q5224560":{"pageid":7254129,"ns":120,"title":"Item:Q5224560","lastrevid":53486087,"modified":"2026-01-25T01:04:48Z","type":"item","id":"Q5224560","labels":{"en":{"language":"en","value":"Here and there modal logic with dual implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084826"}},"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":"Q5224560$4D8DBBD7-E1B6-41A2-86DD-A45868414C1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60051ba955eff649f3d1d02cc8fab69582274d41","datavalue":{"value":"1418.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224560$7D39E2BD-6CF2-49A4-9098-5783F136A027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224560$1C610BF9-3C45-4F48-8AD7-7C5394C3D863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a879a735f8c4c2dc810ae3411a4de0b38daaa8","datavalue":{"value":{"entity-type":"item","numeric-id":2296758,"id":"Q2296758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224560$2A2429B7-292C-49E1-A1F4-1B41DB18C7FC","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":"Q5224560$B01B987A-667E-427C-A7C3-F3831D461DFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224560$1B0E85DB-42AC-411F-818B-02A987C73C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224560$25FC6E46-1FBD-4C23-8407-90D01376850B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ed52623bcda52d28ee6b60b58aa761ce5593029","datavalue":{"value":"7084826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224560$35EFAF34-1C10-457D-8E6B-ADDBEA5CEF1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224560$AFE0DB27-FE42-4D4D-8DB0-03762078B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60525d90c57bfe48ae2c48e970965c9e193b72bf","datavalue":{"value":"here and there logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224560$43F143C2-00EC-43D4-A14D-E5656F2FE936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb9bc9feab0540eef168b612b15427e7e027967","datavalue":{"value":"dual implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224560$CB658C37-E3F4-473B-9EE5-459D70D09414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216359f5dedc39242b069592c84ac24253db5a7c","datavalue":{"value":"axiomatization and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224560$2390BF4F-8AAE-4627-9B1D-3948E1A95B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224560$2523D7BE-D46A-4AD4-B914-992BB4B09285","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":"Q5224560$C13B5BD0-BBE8-4A48-A02A-74355A954547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d7786513875334ac327ca9907172fa8b15208","datavalue":{"value":{"entity-type":"item","numeric-id":5869667,"id":"Q5869667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4379276badcf119dc7ab4a280624123c14ede400","datavalue":{"value":{"amount":"+0.8861855864524841","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":"Q5224560$D1C8441F-664A-465A-98DA-EC9AF2358F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb02edbecd2d1d5698b223358051b61bc3e96d67","datavalue":{"value":{"entity-type":"item","numeric-id":2835864,"id":"Q2835864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c77dbb672b2f31572622e66ecb1d9929b7f3be","datavalue":{"value":{"amount":"+0.7336786985397339","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":"Q5224560$59D25216-7369-47CA-A3FE-1F5EFEE819ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1df9520c6b4ecfbf0e1c3c3da8e59ac92e202f","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8aa04f18f4f37627c0b8a0d5ac471cc411390c","datavalue":{"value":{"amount":"+0.7236273288726807","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":"Q5224560$9C8D40EF-AA46-4C8A-955E-9D8A72679E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03bf379e3da208bcf7769b7c1feab59bf0e009f","datavalue":{"value":{"entity-type":"item","numeric-id":454385,"id":"Q454385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1414c3854574728fdd6ddb43c4043adc79cfe8d","datavalue":{"value":{"amount":"+0.7199899554252625","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":"Q5224560$0DA100AC-5B3A-47A2-9C20-928E9E8CCFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4267156eba0f17a72667cae9dc858b3cefb46486","datavalue":{"value":{"entity-type":"item","numeric-id":2851264,"id":"Q2851264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c075a75e2a485a25a7c913f2139c09a0241f7fd","datavalue":{"value":{"amount":"+0.7191799879074097","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":"Q5224560$A4F56A57-4C22-4026-8E09-426F3954B091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224560"}}}}}