{"entities":{"Q1595914":{"pageid":1606654,"ns":120,"title":"Item:Q1595914","lastrevid":43232046,"modified":"2025-07-22T15:20:51Z","type":"item","id":"Q1595914","labels":{"en":{"language":"en","value":"The classification of propositional calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565443"}},"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":"Q1595914$B7C098AA-5340-4EE6-BCC9-5F55C900DE9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a442a6f028214d88dc99e8185b775fd9b6bfc254","datavalue":{"value":{"text":"The classification of propositional calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595914$6703B6CE-832A-4AF4-B09F-E849F82709BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1744941718aa5fa43e4fc4176ab0109802c485e1","datavalue":{"value":"0965.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595914$9F1C3317-08EA-4ABF-A725-BA949558C4D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df18bc2352353467191cd8fd42f19aa9053403b4","datavalue":{"value":"10.1023/A:1005292130553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595914$274DE00E-AC59-42C3-B5B2-78FE1E84DF60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595914$A1B5F53D-7A9A-4C4D-8B72-C2C361FF78F4","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":"Q1595914$68E62BE8-488F-4A28-A68A-DACF5320BF6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1595914$F095A167-FCD9-46A0-BB5D-CF280DA6D73E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d53fd4d3fe84f5ccc90b45e8e01e8771e71a363","datavalue":{"value":"Several independent axiomatizations \\(A_i\\) of intuitionistic propositional calculus \\(H\\) are considered. For each of them the result of deleting some of the axioms determines a known subsystem of \\(H\\). Adding one more axiom to each of \\(A_i\\) provides an independent axiomatization of classical propositional calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$C96AB6C7-380C-4EA7-8D1F-83A392CE8411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595914$1D04002B-D557-465B-9EFF-59A631D7BD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595914$FD8BE2A1-4C39-490E-A5F8-84441B52CF93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e5bd77ce6bbb9088ce77d66f9b4dcc7ed64ee79","datavalue":{"value":"1565443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595914$CC422ACE-E3B3-4777-BA35-054BC7F2FF64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e59f8a84535f4d9a69838a497c704812a57b9ca","datavalue":{"value":"implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$464AEDB2-8763-483C-A9C9-2F003C91DFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$55CE2DBD-2BD1-4AEE-8A19-695BF34E0895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$CCAB0B6C-73FD-4F6A-A85D-2C2792B6E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2149b6357cfcfe85d0acc9b0aa1c32536cbd951d","datavalue":{"value":"finite Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$6BA8F34F-139C-4912-B367-21912D08C38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8672f7a477c7317e65adb4371e9ee1add1e73904","datavalue":{"value":"maximal lattice of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$7C51012F-C36C-4155-87F9-7D1307D71191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768e233605180b4b87cbffe5ef00d9c740744457","datavalue":{"value":"full logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$785B805E-E73B-4623-980E-8BE9250A36DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$EAB1903F-2BA0-4D23-80FD-E9833FCD9B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324e96030f3965dfa1ef44b44071fe76236caa6c","datavalue":{"value":"independent axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595914$1CA8FC89-5567-4A6A-8720-6C7293BE8392","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595914$6FE5AADD-FBD1-441F-A752-F2D1547A84FA","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":"Q1595914$00F61EB8-52E2-43DA-B621-D915B13EF965","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6be2e8a9a8d2e7578a52fe252b6165b7750f3914","datavalue":{"value":"https://doi.org/10.1023/a:1005292130553","type":"string"},"datatype":"url"},"type":"statement","id":"Q1595914$5D3D86E0-39C2-41F4-B762-A47499329DE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0867a279938b2ec2039d1cc01c90396293450fe4","datavalue":{"value":"W1608648242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595914$AA71FFE4-3FDC-44AF-8AF5-480C251584EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c275c9dfd5dea3602bc1ed14a968d93bfd0af38","datavalue":{"value":{"entity-type":"item","numeric-id":4263489,"id":"Q4263489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984bffa8e6eccc7eac6cc08893cf63ee7f206d10","datavalue":{"value":{"amount":"+0.9548985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$75052BB6-BF12-4124-A86C-23D54E691E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cbaf160dce188091b9565653f83acc7952af15","datavalue":{"value":{"amount":"+0.9498986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$495AF0B7-7095-453E-8BDE-F529654D84CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afb18c19e2604371629586dce07fbe405314f33","datavalue":{"value":{"entity-type":"item","numeric-id":5582301,"id":"Q5582301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0925c2b8516cc478780ed2c75d1ba2a1ffc25e","datavalue":{"value":{"amount":"+0.92540735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$1981DE56-CE39-49D4-91E6-E64D42604820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53e2daa1c6fe9ad5bfd3aa5679442475ce321fd","datavalue":{"value":{"entity-type":"item","numeric-id":3320367,"id":"Q3320367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325ac1ddf2fe9a90a4fa8be638009f014ea69c28","datavalue":{"value":{"amount":"+0.92410153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$992C74C5-E806-4D04-984C-1BB25CD77E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00f6b774170a9989e7745f39d5e49c0da6727e1","datavalue":{"value":{"entity-type":"item","numeric-id":860833,"id":"Q860833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9b66e15d9e2c8644144d58e66038bd598f58d2","datavalue":{"value":{"amount":"+0.92396843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$50C521D0-8DAC-41D1-8320-5293C6F40061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052cee0778262a36500115ee5837331a157194d3","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfef5f6eda7f46ebba8a39a2320b5cbd3ddd30a3","datavalue":{"value":{"amount":"+0.9164766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$523F47BE-E4E7-4A28-B95F-47530425CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31f8bb4c45da7ca3e3c4e3ffdbf9c5c4ee6d1c7","datavalue":{"value":{"entity-type":"item","numeric-id":3491010,"id":"Q3491010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ff56f68fca3980c3f710820738b3b7e83c55fc","datavalue":{"value":{"amount":"+0.9142539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$BE132446-6461-4498-99B9-11CAB4682F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c99ece5caa5617d10e71db9b34806d56c9a9d0d","datavalue":{"value":{"amount":"+0.91070324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$436110E7-B6D4-4439-91E3-FF87EB134297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c597fb349c60f18d6bffbec1797a69192d1c9358","datavalue":{"value":{"entity-type":"item","numeric-id":4763911,"id":"Q4763911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64a2b7a6f544db8ecaad7e9fa425ed70bb2ae76","datavalue":{"value":{"amount":"+0.9095202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$DC8E131B-5CD5-435D-8F1C-AFFE78A6F176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71098b958d41f9b53cd4f52e6366e4650b387aa","datavalue":{"value":{"amount":"+0.9078999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595914$63294B9D-87E9-478C-AC1E-F2BAA3C4CC6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1595914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1595914"}}}}}