{"entities":{"Q562832":{"pageid":564599,"ns":120,"title":"Item:Q562832","lastrevid":62806875,"modified":"2026-04-11T08:33:33Z","type":"item","id":"Q562832","labels":{"en":{"language":"en","value":"\u00dcber Axiomensysteme des Aussagenkalk\u00fcls."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549012"}},"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":"Q562832$456F69FB-B929-4BB9-A184-683E4616FCDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4aaaa2278e9adf365e9816b4ffcb149c041fa46","datavalue":{"value":{"text":"\u00dcber Axiomensysteme des Aussagenkalk\u00fcls.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q562832$2DB911CC-4F64-45E5-B8E5-B83C54B9FF1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af432699d188d497363639e69faa0b8055fa7033","datavalue":{"value":"58.0063.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562832$724E7585-5B0D-4FF1-8CCF-4FE163B7B57A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d9a0d265080cbd424115074ecd170d0ef359ec","datavalue":{"value":"10.1007/BF01699060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562832$A6DA4C4E-406F-439A-AD1E-5D2F954B9F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9850660eb7aedd101104d662fb549813a2cf6c37","datavalue":{"value":{"entity-type":"item","numeric-id":562831,"id":"Q562831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562832$82AA310C-FBD2-407E-859E-F6537B8665EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3e1e052244c3cb6b51d49593de436d0f9034f1","datavalue":{"value":{"entity-type":"item","numeric-id":559539,"id":"Q559539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562832$707E5D51-7D9F-433F-9A0E-3D27E5094E15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q562832$E7BE7F0F-717F-4AC2-AD6F-697A5637B3F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b3466b7974f29838a1ca1b736ec2b69b90d72be","datavalue":{"value":"Im Anschlu\u00df an Arbeiten von \\textit{Tarski} und \\textit{Lukasiewicz} (\\textit{A. Tarski}, \u00dcber einige fundamentale Begriffe der Mathematik, C. R. Soc. Sc. Varsovie 23 (1930), 22-29; \\textit{J. Lukasiewicz}, \\textit{A. Tarsski}, Untersuchungen \u00fcber den Aussagenkalk\u00fcl, C. R. Soc. Sc. Varsovie 23 (1930), 30-50; F. d. M. \\(57_{\\text{II}}\\)) besch\u00e4ftigt sich Verf. mit der Frage, welche Aussagen, zu einem Axiomensystem des beschr\u00e4nkten Aussagenkalk\u00fcls (in dem nur die Implikation vorkommt) hinzugef\u00fcgt, gen\u00fcgen, um zu einem Axiomensystem des vollst\u00e4ndigen gew\u00f6hnlichen Aussagenkalk\u00fcls zu gelangen. Er gibt eine notwendige und hinreichende Bedingung an, der ein System \\(X\\) von Aussagen, welche die Negation nur in erster Ordnung enth\u00e4lt, gen\u00fcgen mu\u00df, damit \\(X\\) zusammen mit einem Axiomensystem f\u00fcr die Implikation allein ein vollst\u00e4ndiges Axiomensystem des Aussagenkalk\u00fcls liefert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q562832$639C1A43-84DB-42DA-8A22-34BAF5538DDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e870dca13c1e7c9c83f329336b1fadbd2354607","datavalue":{"value":"2549012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562832$C6A86AC7-A7B4-4BD6-B5A8-8F0310DA9FC8","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":"Q562832$6EE622AA-0F75-4AA3-ABC1-82D2FEC030D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber Axiomensysteme des Aussagenkalk\u00fcls.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_Axiomensysteme_des_Aussagenkalk%C3%BCls."}}}}}