{"entities":{"Q2579574":{"pageid":2590317,"ns":120,"title":"Item:Q2579574","lastrevid":44399793,"modified":"2025-11-22T16:37:57Z","type":"item","id":"Q2579574","labels":{"en":{"language":"en","value":"Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502120"}},"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":"Q2579574$5D453B35-36AD-473D-BADE-7233CF6FD066","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87a84b5c65b40e7f3f97a8976f4b6b66fad530da","datavalue":{"value":{"text":"Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579574$B7F3B817-5F35-4D8A-854D-E7CC86CBE4DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb4783607011e96ef1dea70a0fa0876451646d6","datavalue":{"value":"67.0037.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579574$D7B091F4-5322-49EC-B36D-106E7F3DFF8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae60a4ef1761ab9a2c91187277eb65def923cc2","datavalue":{"value":{"entity-type":"item","numeric-id":563080,"id":"Q563080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579574$EDDE5B60-88E8-4E00-B838-CD41278CA269","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579574$3A287A58-6E6F-46ED-9FD8-E90BC976AC29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6dc57b292260d7c7e2b677e1764faf676f79d55","datavalue":{"value":"Voraussetzung f\u00fcr exakte Widerspruchsfreiheitsbeweise (WF Beweise) ist die formale Axiomatik. Es gibt relative WF Beweise (z. B. das euklidische Modell der B\u00f3lyaischen Geometrie, das G\u00f6delsche Modell der Mengentheorie mit Auswahlund Kontinuumsaxiom in der Mengenlehre ohne diese Axiome) und ``absolute'' WF Beweise. Hier lieferten die Wertungsmethode (J. K\u00f6nig; Herbrand, Presburger) und die Teilwertungsmethode (v. Neumann; Hilbert, Ackermann, Herbrand) die WF der Arithmetik bei eingeschr\u00e4nkter vollst\u00e4ndiger Induktion. Erst Gentzen gelang unter zus\u00e4tzlicher Verwendung von Beweistransformationen der WF Beweis f\u00fcr die Arithmetik; dieser Beweis wurde neuerdings auch von Ackermann mit Hilfe der Teilwertungsmethode geliefert. (Nach dem deutschen Auszug referiert.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579574$B4791F1F-A992-45D8-8418-7B142556225B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8445cfb269f6939e5617cd85aa0dbd013e2478c5","datavalue":{"value":"2502120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579574$6AC5AFAF-1B0E-43DA-A655-C447332213D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"295925f173150a9d627e4cb0a9939fc4fa3feb64","datavalue":{"value":{"entity-type":"item","numeric-id":562906,"id":"Q562906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579574$45048375-F712-4241-8E7B-81D19413C2C9","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":"Q2579574$A77BF4EF-4597-4A66-A6A3-AA5CE508E42E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579574"}}}}}