{"entities":{"Q1155045":{"pageid":1165794,"ns":120,"title":"Item:Q1155045","lastrevid":66268050,"modified":"2026-04-12T08:38:39Z","type":"item","id":"Q1155045","labels":{"en":{"language":"en","value":"A note on the axiomatisation of Brouwersche modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3730112"}},"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":"Q1155045$A84240DF-D441-4FD4-AAF1-66020E7CC594","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cd2a7f55b4b6431746cbde50ca05e49c205c287","datavalue":{"value":{"text":"A note on the axiomatisation of Brouwersche modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1155045$F1B80001-BBC5-4B3A-B6BF-DA6F1AADF1AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4b755e50246a8204f72ddbe3a3af888a55b0dea","datavalue":{"value":"0466.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155045$4F850B63-3B2D-4D24-8790-E82B515A266D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"354f5b6800622cfd1efa629c3c2f5db240f46e44","datavalue":{"value":"10.1007/BF00293424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155045$695A87FE-DD6E-41D0-8768-D54136D81E3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155045$C574CA7C-7CB5-4A0A-B4EB-CF4B4BCA85B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155045$06251BB1-67A9-4095-BFC2-B65BDD47D202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1155045$35502745-DA3B-4030-9D2D-D3CA5985720F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155045$80153E7F-B1D3-4F07-8FC9-3A9FA7BF4E21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"623fb8b3e69223a369ce8a0386dd1de1de7e1d73","datavalue":{"value":"3730112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155045$E34DF8A3-CE8A-485E-B073-61B67960873A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb407253502cebf7c5ed0cea29074f9880f04fb3","datavalue":{"value":"model-theoretic argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155045$69E0A40F-080D-4CB1-A735-D9A5CF75C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec16f980c671bc0980b3d6cd260b82fedc9271bb","datavalue":{"value":"Brouwer modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155045$76D205BF-351E-437A-A16D-78018F733E52","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":"Q1155045$B1AC4205-4043-452E-A935-9A6BC9B38D32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c8c217e3baa986f996fd0137cbc0433acae086","datavalue":{"value":"https://doi.org/10.1007/bf00293424","type":"string"},"datatype":"url"},"type":"statement","id":"Q1155045$AEC9F3B4-082A-44E8-89FF-D08F33D1D6DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"252bd80d61b278a5021cb61bfeab5c049807c77b","datavalue":{"value":"W2056702263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155045$4DFB7340-B30A-4711-A923-A3B787FBE811","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the axiomatisation of Brouwersche modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_axiomatisation_of_Brouwersche_modal_logic"}}}}}