About: Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

doctoral dissertation by Wilhelm Ackermann

Attributes	Values
rdf:type	Item
description	wetenschappelijk artikel (nl) наукова стаття, опублікована в грудні 1925 (uk) im Dezember 1925 veröffentlichter wissenschaftlicher Artikel (de) أطروحة أكاديمية بواسطة فيلهلم أكرمان (ar) Tesi doctoral de Wilhelm Ackermann (ca) doctoral dissertation by Wilhelm Ackermann (en)
publication date	wds:Q57074389-6557219A-073A-4A44-933D-CDDD3DB94B5A wds:Q57074389-7A4687DF-02F6-4532-B5DD-B41437655AAA
publication date	1925-01-01 00:00:00Z (xsd:dateTime) 1925-12-01 00:00:00Z (xsd:dateTime)
exact match	wds:Q57074389-37E711F2-9F51-43CD-87B3-71C1F5070FAB
exact match	https://scigraph.springernature.com/pub.10.1007/bf01449946
rdfs:label	Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en) Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (nl) Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (ca)
skos:prefLabel	Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en) Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (nl) Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (ca)
name	Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en) Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (nl) Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (ca)
author	wds:Q57074389-B8E98962-3E34-4AC4-859A-D7062F65731C
author	Wilhelm Ackermann
title	wds:Q57074389-CA259B30-DC03-4C7C-AE43-9453CB66438E
title	Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en)
page(s)	wds:Q57074389-178F62F7-A25D-45A7-AF31-74E9868FCC1F
page(s)	1-36
instance of	wds:Q57074389-A972225E-C041-4AC7-B20D-8759CF8C94BB wds:Q57074389-FE538074-A268-4A01-9C84-673FB2CCA4EF
instance of	doctoral thesis scholarly article
published in	wds:Q57074389-4736AFE1-1F01-4A02-96AD-CFE2C0415EAF wds:Q57074389-5C51BB24-1E05-45EB-9CDA-0697A9A100E1
full work available at URL	wds:Q57074389-1AB7C064-1634-4822-AF7F-C89A12B3F158
published in	Mathematische Annalen
full work available at URL	https://gdz.sub.uni-goettingen.de/id/PPN235181684_0093
issue	wds:Q57074389-80AFE426-6AFC-4898-8D74-1C3F9F58124A
volume	wds:Q57074389-D4C5F843-E2C3-46C6-A8AA-A7A891503FE6
issue	1
volume	93
DOI	wds:Q57074389-17406A70-D93E-4BCA-B316-CD3046DE98DE
DOI	http://dx.doi.org/10.1007/BF01449946
DOI	10.1007/BF01449946
skos:altLabel	Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (en)
maintained by WikiProject	wds:Q57074389-58740730-503D-4AF2-B1DD-FF2C8962FB08
maintained by WikiProject	WikiProject Mathematics
zbMATH Open document ID	wds:Q57074389-A77EA7E1-6E59-4244-BE7A-38B1EA44EA0E
zbMATH Open document ID	50.0023.02
URL	wds:Q57074389-72F9D87F-96CB-4044-AADE-AB9F75E716E6
URL	https://eudml.org/doc/159075
dissertation submitted to	wds:Q57074389-8FCDC284-B28F-4302-B0BF-0257D9B7474F
dissertation submitted to	University of Göttingen
is owl:sameAs of	Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit
is about of	https://www.wikidata.org/wiki/Special:EntityData/Q57074389
is cites work of	Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs Extensions of the Finitist Point of View Notes on the theory of variable binding term operators
is cites work of	wds:Q55981796-F1F0FE79-2D45-49C7-9C6F-152508734551 wds:Q58539928-F054B926-54BB-4105-95F9-FFB258588943 wds:Q58515375-0EC0D403-EDE3-414A-AC17-C85F67188BD8 wds:Q58438140-6C2B2920-A3A4-47B3-9CF2-4FC91DB2B0C6
is academic thesis of	Wilhelm Ackermann
is academic thesis of	wds:Q61037-016e4da9-49da-5e12-f810-0fdc50ad5e1d

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 196 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software