{"entities":{"Q4636306":{"pageid":6665887,"ns":120,"title":"Item:Q4636306","lastrevid":97906262,"modified":"2026-06-05T15:46:17Z","type":"item","id":"Q4636306","labels":{"en":{"language":"en","value":"A duality for distributive unimodal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863873"}},"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":"Q4636306$891B1C92-559A-40D0-8364-3FF9C078FE01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d051c7821660440b0eadbb753e4955d87fc9ff2","datavalue":{"value":"1385.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636306$53AB3B15-5766-48CF-998A-71E8EBE86086","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":"Q4636306$3362DE02-BA1A-47E0-9EAF-F9C00EB8E39A","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":"Q4636306$364D390C-CDE4-4E80-ADCB-A65C3A1E21AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636306$060B6C92-632E-4C32-AB7D-28FCFD286D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636306$3397C690-67C7-4B7A-85B2-8C41F03249CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"975a1193cb35154013bca628a2a0bcf27995fdcc","datavalue":{"value":"6863873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636306$E468EBFD-8D67-4E47-BA35-309E2DC5A705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636306$1A467570-DAAA-4C9D-A638-5979928FA074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c86d22bdb7f9968660c98cc572af8b01e10dbb","datavalue":{"value":"distributive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636306$1BD68DAD-8AAC-4334-AA96-658201204255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636306$052CCF74-1964-4BE7-AE05-CFC771D7411A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636306$DCE87318-70CD-4E48-BC44-02A898E13336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9021fd7cba4420236a7b1eca391cad228a8e344","datavalue":{"value":"bi-intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636306$6FE9C11F-D514-498E-8B0F-635BD5215235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636306$5EE068FA-EB84-421C-B6B0-8741135C2735","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":"Q4636306$4A90AB61-395E-45B9-9D06-6E1D8636671F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2a2f5c505164bd6836dfd7e2d113fbbaa28ace","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033dfb682c076818f79fc6ff19158386d23b228f","datavalue":{"value":{"amount":"+0.7868741750717163","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":"Q4636306$68FA506F-DB9B-4B76-888D-46E371D3314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6aee020929d6d7f07a1a5fa907731f1093d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3638290,"id":"Q3638290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7835310e33a68706295b7beea409af41b15c84b6","datavalue":{"value":{"amount":"+0.7863425612449646","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":"Q4636306$ADC0A3AC-8A51-4E38-B281-93311FD145F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342f9e90edfcba4d3c9da3c67797f54d8d2943a4","datavalue":{"value":{"entity-type":"item","numeric-id":5145647,"id":"Q5145647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dc0af04bd9b905869d255b22949d58aaa6dfeb","datavalue":{"value":{"amount":"+0.7773509621620178","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":"Q4636306$A2DABBA1-B401-4CC4-B71B-5616C174FDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439677f00f781921d290930e2d4c0caeba6ce743","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3424facc19337433587518f2f0d7b427c0caa4d7","datavalue":{"value":{"amount":"+0.766202449798584","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":"Q4636306$BE42BBE4-C7ED-436A-8A34-2CBCD281B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb69908545b9338ea357fd1cc14c26830226e279","datavalue":{"value":{"entity-type":"item","numeric-id":1977898,"id":"Q1977898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8a953c7a39fa8a09c5911073ed6b9eb5c78e91","datavalue":{"value":{"amount":"+0.7526904940605164","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":"Q4636306$7E1847B3-B55C-4155-8C89-380EED90F9A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A duality for distributive unimodal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_duality_for_distributive_unimodal_logic"}}}}}