This HTML5 document contains 12 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Gödel_teljességi_tétele
rdfs:label
Gödel teljességi tétele
owl:sameAs
freebase:m.038fd
dct:subject
n4:Matematikai_logika n4:Matematikai_tételek
dbo:wikiPageID
174561
dbo:wikiPageRevisionID
19178171
prop-hu:wikiPageUsesTemplate
n11:Portál
dbo:abstract
Gödel teljességi tétele a matematikai logika fontos tétele, azt mondja ki, hogy ha egy elsőrendű elméletben egy tetszőleges mondat minden modellben igaz, akkor bizonyítható is.
prov:wasDerivedFrom
wikipedia-hu:Gödel_teljességi_tétele?oldid=19178171&ns=0
dbo:wikiPageLength
4563
foaf:isPrimaryTopicOf
wikipedia-hu:Gödel_teljességi_tétele
Subject Item
wikipedia-hu:Gödel_teljességi_tétele
foaf:primaryTopic
dbpedia-hu:Gödel_teljességi_tétele