{"entities":{"Q1208111":{"pageid":1218860,"ns":120,"title":"Item:Q1208111","lastrevid":66349788,"modified":"2026-04-12T09:30:42Z","type":"item","id":"Q1208111","labels":{"en":{"language":"en","value":"A study of intermediate propositional logics on the third slice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165910"}},"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":"Q1208111$936055E8-0FAF-4AB4-A2A6-C39011269C6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc9db45dc6a94bfe5a4e8375a3778458cce8ef8f","datavalue":{"value":{"text":"A study of intermediate propositional logics on the third slice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208111$02295EDE-DC17-46CC-B759-5E08CAB79DC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b152fb4e688aae682f13d51124e00dc48352b5f","datavalue":{"value":"0764.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208111$0DF789CB-61A0-499D-9F0A-1C983560A540","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e67e74818aef5011df328cc1a790b5ee7d6f765","datavalue":{"value":"10.1007/BF01053061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208111$47041A4D-4D88-4F6A-952D-E2BA651A02AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc3e203df6e895f1b19fa6da5db164451c06cad","datavalue":{"value":{"entity-type":"item","numeric-id":1208110,"id":"Q1208110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$3DDB5195-BA00-4C42-941F-6111BB7CC01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4597744f225d71e666abfe477379201f378152aa","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$D63629F2-3EEE-47D7-B42F-169F43017FF9","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":"Q1208111$2DE9A56E-0A16-4279-96F6-F6318542D615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208111$F0FF0D1D-653C-4BF7-A8B3-7DB7DF13F9D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36112882553d7b6e6363b44452b78b372ea8b9e1","datavalue":{"value":"The intermediate logics have been classified into slices by the first author in 1967 [Zbl 0188.31602], but the detailed structure of slices has been studied only for the first two slices by the first author and H. Ono [Zbl 0216.00502]. In order to study the structure of slices, the authors give a method of a finer classification of slices. In the paper, they treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that each subslice contains a continuum of logics. A characterization of logics in each subslice is given in terms of the form of models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208111$896423B8-B5A8-4145-A1B7-DDDCDDEDC5E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208111$CCFE14A6-B68E-49C6-9163-7EDA6392F0A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b512c7081ca9177d687958140be6c49ef1c48c6c","datavalue":{"value":"165910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208111$24891DC6-2125-4155-B5C9-79651927A567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e7a2f922499995d963a5a3270506ee9c6e4e89","datavalue":{"value":"pos model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208111$A17118D7-C1E7-4E64-AB56-FA1348ED19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208111$4CE2583F-4CCB-42F3-85D6-CA9087D0A062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208111$AE350159-BDE7-44A5-8610-9B6151D067BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"449c3075e5324ebde5e67e4e5ae10398902b0c8c","datavalue":{"value":"slices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208111$CEAC31F5-0BF4-4FCC-940B-EF8AD9E7A7BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$E22DD521-BBCF-4E0F-91DA-516033ACADE6","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":"Q1208111$6BCA400C-21E8-403F-8E48-05B60C6B6AD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$288B38DC-C7D4-4652-B9AD-8B5FE25F307F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8b14ebf7b1633a83dec41ff63f00cdc2d1d62c","datavalue":{"value":{"entity-type":"item","numeric-id":5619070,"id":"Q5619070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$992245D8-13AC-42EF-AF73-C6F194ED500A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$5AE89CCE-C50D-47B8-B08B-A8C28FFF613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2ef5a078921372deaf6e1cf63b0fafd59b7028","datavalue":{"value":{"entity-type":"item","numeric-id":4077985,"id":"Q4077985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$99F0C8FA-07C8-4A84-AB8C-05B52AFFEDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7cb09f637070aede8e9289020b0227488b411a","datavalue":{"value":{"entity-type":"item","numeric-id":5532530,"id":"Q5532530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$5E46F9A0-E668-4880-A273-D6DA02F5BCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$44B8AE06-8CA4-4F66-860A-42F382ADBD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e499941af6912796a2f52db08665ebe850f7f91e","datavalue":{"value":{"entity-type":"item","numeric-id":2557689,"id":"Q2557689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208111$AE426A69-1482-4029-AA8D-98FD60A01A90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33a8da08654b5a6868efd724827b806db4be1d1","datavalue":{"value":{"amount":"+0.8044849038124084","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":"Q1208111$D4015106-865E-484B-A1EF-CD2A254EB606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11efebd477c43998ea4774fb3b06fe05bbbf7a5","datavalue":{"value":{"entity-type":"item","numeric-id":511341,"id":"Q511341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f7e6aa2dec5de94403b6272902ca3d211ce581","datavalue":{"value":{"amount":"+0.7761644721031189","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":"Q1208111$EFF1A66B-961F-4E74-8F04-554D2F8823A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b053e5a8e21ea5a0b7e860fdedfebafea004bf53","datavalue":{"value":{"entity-type":"item","numeric-id":3346288,"id":"Q3346288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80336b85a3e3ac888e0b567f74539e152150eb1","datavalue":{"value":{"amount":"+0.7754296064376831","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":"Q1208111$E039EFA3-98A3-46BF-BDA7-B8E73749E474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7fd6b1ead90fd13c04d8cd6a72a48e3377d968","datavalue":{"value":{"amount":"+0.7439756393432617","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":"Q1208111$1F9E8380-BEBB-4A9B-B3F5-06C37988744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8e164145591c13c2fe7fd184b7af4b9891b7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1975164,"id":"Q1975164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0db0f8fe0a4029a9471959c20a6c49e9d4aaaa3","datavalue":{"value":{"amount":"+0.7397129535675049","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":"Q1208111$A806DA20-D2B9-4375-A9B1-977063B28C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A study of intermediate propositional logics on the third slice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_study_of_intermediate_propositional_logics_on_the_third_slice"}}}}}