{"entities":{"Q520386":{"pageid":522153,"ns":120,"title":"Item:Q520386","lastrevid":62508732,"modified":"2026-04-11T06:34:25Z","type":"item","id":"Q520386","labels":{"en":{"language":"en","value":"The axiomatization of propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699645"}},"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":"Q520386$4D81D342-8739-43A4-95F1-3794A7875E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c72387181afb8733b45d7db65f900e8591ef2279","datavalue":{"value":{"text":"The axiomatization of propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q520386$99E3B278-CE94-41F5-BE92-0A66B9EAC2FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7861c34612cd1d38814eb80e952a1d7920a2619","datavalue":{"value":"1357.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520386$785DCF42-5F89-4997-9A00-0B5F645CD1B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa6807e5a8e911fd31fe1caa2d52f2de8962f35","datavalue":{"value":{"entity-type":"item","numeric-id":271907,"id":"Q271907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520386$33B5AE09-33FD-4611-96E7-D43F0EC9B679","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520386$5D4A5520-8E2C-4231-8625-02C6B76CEAEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q520386$37BB555B-0423-4B6D-A8D6-9948F6A0F053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520386$363C0433-3957-4750-982F-02040E57A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520386$1271FA30-EC1A-4207-AC55-527BBF62ED52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f111aa08530193615b95f8326dfad4fc1f57053f","datavalue":{"value":"6699645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520386$6A776D84-5B88-4FC9-B6C2-8F776B9E266A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q520386$C5130990-C3E9-4E4D-BC6F-B5B552EBB724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q520386$B028DB7A-D9F8-453B-95E5-710BA3C76243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6daecd766cb01921eb96de86e5e3942297cf6bb","datavalue":{"value":"Lindenbaum's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q520386$DA7646FF-F298-4991-A72C-82E08E17FF14","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":"Q520386$00AA05B6-6F28-44CC-A21A-103BA2A2A812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2b9d5e399d49fe4442c806b53eef320df493576","datavalue":{"value":"https://doi.org/10.1515/forma-2016-0024","type":"string"},"datatype":"url"},"type":"statement","id":"Q520386$5203BADD-43A1-4E03-BBC5-E203505FF1D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"708e9801a082076b8cb62352931abb9ec50997e3","datavalue":{"value":"W2592067303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520386$B71E4C47-CCA9-445E-B52C-D71B5F348903","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520386$F51A13B1-4C3C-4E40-AD0E-57E852953F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2d1c07a0f3a91c019fdd572f6272df560e446a","datavalue":{"value":{"entity-type":"item","numeric-id":271908,"id":"Q271908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520386$85A02830-75EE-4055-8E45-B7F58D037DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520386$C61B92EC-231D-4D13-94C3-5FAB82BE773E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a313ba33b1a4ccaf0986dc886404c2ede4dad78","datavalue":{"value":"10.1515/FORMA-2016-0024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520386$70F0282A-62E8-498A-9DC5-9CF2CD00F651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54631695681c24a4e762ed3a7c64e2085a775fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2394308,"id":"Q2394308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a9791c8e284f7ca0fbc026cb42aee8d1857385","datavalue":{"value":{"amount":"+0.7764918208122253","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":"Q520386$9E66B329-EC51-4175-83C3-64AD80D11344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19d22db4242c1b49e8729ef13785669f30b2b7b","datavalue":{"value":{"entity-type":"item","numeric-id":4699334,"id":"Q4699334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95f1bcc782993cda16647ec8a0e2b494d3b547e","datavalue":{"value":{"amount":"+0.742448091506958","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":"Q520386$B3229A8A-C267-4DB5-B9D1-C742F7E7B562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ef537a323d8a9f9e77ad80c94e131313a75161","datavalue":{"value":{"entity-type":"item","numeric-id":3325691,"id":"Q3325691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d309928d281023e4a17818288f950a54b97412fe","datavalue":{"value":{"amount":"+0.7342052459716797","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":"Q520386$68BAEDE5-4E5B-4432-9C46-0E4A4CCA2E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743a529a25208ba326f4843e074a1e50bcd7efd","datavalue":{"value":{"entity-type":"item","numeric-id":3778718,"id":"Q3778718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352a5e078d80d2f8a725b6ca539610ed5050ffe9","datavalue":{"value":{"amount":"+0.7323381304740906","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":"Q520386$0C7E9893-4010-49FB-922F-BE5F45D88440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d6c99227f2254081478eb4c017db095696b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":3718688,"id":"Q3718688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef894ace70f3176c68f7a554f2197a41088c391d","datavalue":{"value":{"amount":"+0.7316097021102905","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":"Q520386$C0515E07-366E-46BC-B874-4C5F75FA5201","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"f2084050eadadc911e1935c85cd34c25c682b82c","datavalue":{"value":{"entity-type":"item","numeric-id":57029,"id":"Q57029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520386$4F905221-C083-42D4-AE71-B653DF8E0522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiomatization of propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiomatization_of_propositional_logic"}}}}}