{"entities":{"Q1896757":{"pageid":1907499,"ns":120,"title":"Item:Q1896757","lastrevid":69223242,"modified":"2026-04-13T05:34:49Z","type":"item","id":"Q1896757","labels":{"en":{"language":"en","value":"On variable separation in modal and superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 795268"}},"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":"Q1896757$F97CEA36-DF13-4017-ABC9-D599C6BB3460","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b1a11de561b28ce9be99bd87dbe102929a35ec3","datavalue":{"value":{"text":"On variable separation in modal and superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896757$B6DBD85C-7DFA-45A1-8C6D-C82385C241D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c7e7ba3f2b938e6860733efa8367520da26eb90","datavalue":{"value":"0840.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896757$BD9ED922-C1E1-45F0-AFE1-C986246DE531","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77a6e9f8d1a9da257ea6eaacfe72617a43ba9236","datavalue":{"value":"10.1007/BF01053034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896757$58A5C962-00B0-43E4-A9BC-30A727A42B33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$0645F093-7687-4CBC-8E89-E6A58731BE49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a1529ffb26db2b22f3624b5eae79e54a7bbf813","datavalue":{"value":{"time":"+1995-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896757$A48B823B-028B-4C43-912D-0951F22D1215","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1bdc3689e1b320956cc791537dc7402ca5b75f0","datavalue":{"value":"A logic \\(L\\) is said to be Halld\u00e9n-complete if, for all formulas \\(A\\) and \\(B\\) without common variables, \\(A \\vee B \\in L\\) implies \\(A \\in L\\) or \\(B \\in L\\). The paper proves algebraic equivalents for this and some other related properties of modal and superintuitionistic logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896757$A5F1AFF9-37BD-4307-A4DA-F38BAF802CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896757$064531D4-486E-4922-80FD-7A1F12409825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896757$780970EA-AC24-4032-BF29-CD99A37B05E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4694b4bd49df2c511e82db823dd1fdfe64a334d7","datavalue":{"value":"795268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896757$A0D4A055-851F-4BDE-9769-78AB8AD95C1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896757$4F4E8378-DEC5-44C0-9DF1-2AABC5E5E3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896757$C577E9F3-A2E1-4A83-B275-617DB33095D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b296cbd3b6615dbf492620efa90e96db5f5a11","datavalue":{"value":"Halld\u00e9n-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896757$0B603B89-C6A5-4630-A79A-913C483C8776","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$4757E664-5B79-445E-B233-351BFCD22CB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"603f9ee8942cd3c164aaecde91e2743415201170","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$97C99643-6BC9-4E78-B432-3A78B2F47123","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":"Q1896757$0EBAF929-3073-4DCE-AF32-9184360519DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaf31c8fd9a9de33cf5bc0327064e140d51b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1150599,"id":"Q1150599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$323CFFF5-9746-4BC2-8583-35595FFC07CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f3b899aaf802e75d09cb6e9d44c6c7a4e056cc","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$74F90413-977A-4BB9-AE3F-66E9AA942B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$FEAD4916-736F-424F-ACCA-68715D4CC2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff965acdd2cb9318c4f32f3ac1878c840267c17","datavalue":{"value":{"entity-type":"item","numeric-id":5809944,"id":"Q5809944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$12527882-AD39-44FF-BF38-F490704A8C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c90fe74dea1043284bbeb1287b2c360dd91803e","datavalue":{"value":{"entity-type":"item","numeric-id":4124817,"id":"Q4124817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$04217057-C0F9-45DF-BB10-CBEDB83E9E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$6C35E6D5-C947-4434-9C23-AE8D35A9EC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$2CC4AE13-EB6B-4361-8453-6A958EC462DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$92D06D6F-8061-46ED-AA9D-EB3A33A8A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79efa96f2dc0e5efe9ba97a3178bda7a223ee0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3834035,"id":"Q3834035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896757$31DCC24C-BE7B-486A-B3BD-3165D5B0FC73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad4eba5130982629b82000421758356bdd81e43","datavalue":{"value":{"entity-type":"item","numeric-id":4834481,"id":"Q4834481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243218c083eb18f68e7cc975b58d911d295060ff","datavalue":{"value":{"amount":"+0.8458016514778137","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":"Q1896757$70B2866A-3F00-4FC7-BC8F-D440B26976C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8768990d4b923390bd062bbc2d7212dad9300327","datavalue":{"value":{"entity-type":"item","numeric-id":4661992,"id":"Q4661992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243218c083eb18f68e7cc975b58d911d295060ff","datavalue":{"value":{"amount":"+0.8458016514778137","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":"Q1896757$43F39DEA-2885-44BD-95E1-12184D1438CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acda239b811a124f439ba83a96c057d72b3f8a23","datavalue":{"value":{"entity-type":"item","numeric-id":4869967,"id":"Q4869967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9549f43f257b7dfdab0cf4b8485681597e7ef0","datavalue":{"value":{"amount":"+0.8254212141036987","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":"Q1896757$F3B008F7-EA3F-4B52-AA12-A98B193845C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eaa78e536be4000c65c1db65df52ca78a6c5252","datavalue":{"value":{"entity-type":"item","numeric-id":4249225,"id":"Q4249225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403dfad40cf72a2492684e42cf1dad15c665e07b","datavalue":{"value":{"amount":"+0.8221806287765503","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":"Q1896757$541CBCC8-2808-4F56-AF60-6EB89C77B33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7aefdcb06ad083081752f9bcbfb22b241c80ef7","datavalue":{"value":{"entity-type":"item","numeric-id":4277695,"id":"Q4277695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081a5a15f6415642fcdf670d9f65b429a114b7c3","datavalue":{"value":{"amount":"+0.8181048035621643","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":"Q1896757$2E5C11F2-9CF5-4FA1-8534-8FAED89DA63E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On variable separation in modal and superintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_variable_separation_in_modal_and_superintuitionistic_logics"}}}}}