{"entities":{"Q6893213":{"pageid":20855806,"ns":120,"title":"Item:Q6893213","lastrevid":84191807,"modified":"2026-05-13T10:09:20Z","type":"item","id":"Q6893213","labels":{"en":{"language":"en","value":"Compatibility between modal operators in distributive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8128489"}},"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":"Q6893213$2C473324-8BD7-4F34-A49B-D98B34A591AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"067102a0e8966f621ba55d26f6afb603aa2bfad2","datavalue":{"value":{"text":"Compatibility between modal operators in distributive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6893213$EF7D1C74-C8F4-425C-B020-480E70FB5BA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de7341d3c3a23009f8951e209cc56cb02979635f","datavalue":{"value":"10.1016/J.APAL.2025.103677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893213$5B2ACAF3-F53C-4CB9-9122-EF3AEEB2DBD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0579531bdb02a66b041694d6de10dba6a4f9707","datavalue":{"value":{"entity-type":"item","numeric-id":295912,"id":"Q295912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$E788BC95-47F9-4440-9B12-4519D4CBBE70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$C6CE9F28-EDFC-4B09-B64A-49E7734F98E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46b64429f4db778a47f40be8c6fa42e140125f60","datavalue":{"value":{"time":"+2025-11-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":"Q6893213$BA27A276-B8DC-4513-BD84-ED2925E6E11A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893213$F88F7206-41C9-407F-BDFE-9F3FCF5B03B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893213$32F48A19-7095-49E3-B2C0-401D95686BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893213$74392C8B-B3CB-4C12-86F2-8705E82FE7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893213$E943AD5E-4030-4AA9-A569-7162FE6B7FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7fe7ed2f426b0fd56ad1f644a4bfabcda9e2c10","datavalue":{"value":"8128489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893213$24A65483-DD18-4DAB-ACCF-D5C35F9E8971","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa30a68f4d7d982bc3f8813492aa2a7804bc8f0","datavalue":{"value":"non-classical modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893213$42241547-EE3E-4CC8-985E-2561CD0E0164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c86d22bdb7f9968660c98cc572af8b01e10dbb","datavalue":{"value":"distributive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893213$D3F23C29-3257-4D7F-8768-FCE176711309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893213$242D0ACE-C55C-47EA-9E36-680F3B2F98C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893213$A58AD124-59D4-4BCD-9237-79BE60D21727","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":"Q6893213$CF2D1755-9CF8-4E57-85A1-FB1490A370EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$34AF270B-ACC0-4D67-A982-9FBB1E9E69F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$8D47FCC7-5A54-453A-9292-90E47E45046C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5627b5d6dd11232b46313e0c1f24553c61be06","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$ABAC8BBB-A766-48D5-AAAB-F7C9550BE9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89108f8d5e7b8a9a6c10b9a1b4f1677c89806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$9F5965B3-DD55-4EC3-B63F-4B432C6A3846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$3AF3C967-C7E8-4A86-9DE3-E54ABC084227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71acda7b46934b077afa9f3dbb4b93fbb81bad3d","datavalue":{"value":{"entity-type":"item","numeric-id":2672663,"id":"Q2672663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$E4D37F3D-E113-4B7F-8FD9-873734957B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$6530DDAD-47CB-491E-BA17-E64F2BBF0EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399cf50f0b6927d1300f21de6c2505b3606df379","datavalue":{"value":{"entity-type":"item","numeric-id":3061277,"id":"Q3061277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$187C37CA-607B-4686-A8BC-A43D50CBF728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$F647F7F3-1DD6-4A28-A3D6-0CE669CD1E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$5AB3339B-674C-4CAC-A9B9-C19F8081AC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$8C7FE113-C5F9-4922-9F5E-8F382CC9B9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$30D27022-267A-4219-8378-A3F5D0335CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01fd08d6c2ab8a20a1a4011fa840593057d1e139","datavalue":{"value":{"entity-type":"item","numeric-id":4636306,"id":"Q4636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$1CE5E8AB-D5D4-42F4-9B88-D71322FEFA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb27badd2b9ddde6322c866be082cf1be88a565","datavalue":{"value":{"entity-type":"item","numeric-id":299186,"id":"Q299186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$F25EAF2E-E10C-46F7-8F13-F10B6E77A46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893213$07A694CE-47C4-4030-B957-A78CE31A2A68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compatibility between modal operators in distributive modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compatibility_between_modal_operators_in_distributive_modal_logic"}}}}}