{"entities":{"Q2624155":{"pageid":2634898,"ns":120,"title":"Item:Q2624155","lastrevid":44513466,"modified":"2025-11-23T11:11:21Z","type":"item","id":"Q2624155","labels":{"en":{"language":"en","value":"\u00dcber einen Teilbereich des Aussagenkalk\u00fcls."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2545686"}},"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":"Q2624155$C30603E4-80CE-416B-A47A-DFE63E625950","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2abf838878e47a8f11347ee7542bcb452eac090","datavalue":{"value":{"text":"\u00dcber einen Teilbereich des Aussagenkalk\u00fcls.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624155$68096DBF-13C1-4AF2-A884-5076E48AAC59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a946b38be02c982b5fbbde578d6008a41022552b","datavalue":{"value":"59.0863.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624155$D5ADD57B-0E68-4E77-9C1E-42810272E784","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5fef2cb58ba7e72630b708054b000e89de9ad0","datavalue":{"value":{"entity-type":"item","numeric-id":766353,"id":"Q766353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624155$8C5626CE-AED8-43BE-9FEB-E665A80483DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6e3b81ec4d5475a2bfffbbdd018403195b8d13c","datavalue":{"value":{"entity-type":"item","numeric-id":559529,"id":"Q559529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624155$70030F9F-AC70-43F3-87E0-3E4C9DE9917B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624155$405C614F-9E2C-4AEA-881F-898FDF95D308","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2deddb90b8c1668eee135707fa34c03785f28521","datavalue":{"value":"Verf. stellt im Bereiche des Aussagenkalk\u00fcls ein System von drei Axiomen auf, die sich mit der \\textit{Hilbert}schen Symbolik (anstatt der vom Verf. ben\u00fctzten Symbolik der polnischen logistischen Schule) folgenderma\u00dfen schreiben: \\((1)\\;p\\rightarrow (q\\rightarrow p)\\), \\((2)\\^^M(p\\rightarrow q) \\rightarrow [(q\\rightarrow r) \\rightarrow (q\\rightarrow r)]\\), \\((3)\\;[(p\\rightarrow q) \\rightarrow p] \\rightarrow p\\). Dieses System ist, wie bewiesen wird, ausreichend, um alle richtigen Aussageformeln abzuleiten, in denen die Implikation als einzige Grundverkn\u00fcpfung auftritt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624155$C30425B1-0186-4D51-A860-98F1509F0FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc33e217f440f3b67bb45bfda8e7b707e11d12a9","datavalue":{"value":"2545686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624155$E8B62FC1-0DCF-46DE-A355-FD95B184FFDE","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":"Q2624155$C9903280-DB26-4164-B101-9A6EBDA1F296","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2624155"}}}}}