Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7686757> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Q7686757 subject Q7900548.
- Q7686757 subject Q8308266.
- Q7686757 subject Q8611992.
- Q7686757 abstract "Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called "elementary," that is formulable in first-order logic with identity, and requiring no set theory (Tarski 1959). Other modern axiomizations of Euclidean geometry are those by Hilbert and George Birkhoff.".
- Q7686757 wikiPageExternalLink books?id=eVVKtnKzfnUC&pg=PA16.
- Q7686757 wikiPageExternalLink summary?doi=10.1.1.27.9012.
- Q7686757 wikiPageWikiLink Q11352.
- Q7686757 wikiPageWikiLink Q1144319.
- Q7686757 wikiPageWikiLink Q1156900.
- Q7686757 wikiPageWikiLink Q1166618.
- Q7686757 wikiPageWikiLink Q1188648.
- Q7686757 wikiPageWikiLink Q12453.
- Q7686757 wikiPageWikiLink Q12482.
- Q7686757 wikiPageWikiLink Q12485.
- Q7686757 wikiPageWikiLink Q1254734.
- Q7686757 wikiPageWikiLink Q126017.
- Q7686757 wikiPageWikiLink Q126695.
- Q7686757 wikiPageWikiLink Q1307734.
- Q7686757 wikiPageWikiLink Q130901.
- Q7686757 wikiPageWikiLink Q130998.
- Q7686757 wikiPageWikiLink Q1319773.
- Q7686757 wikiPageWikiLink Q154210.
- Q7686757 wikiPageWikiLink Q1548746.
- Q7686757 wikiPageWikiLink Q15846555.
- Q7686757 wikiPageWikiLink Q162886.
- Q7686757 wikiPageWikiLink Q166154.
- Q7686757 wikiPageWikiLink Q17027399.
- Q7686757 wikiPageWikiLink Q17278.
- Q7686757 wikiPageWikiLink Q172891.
- Q7686757 wikiPageWikiLink Q17295.
- Q7686757 wikiPageWikiLink Q17736.
- Q7686757 wikiPageWikiLink Q180953.
- Q7686757 wikiPageWikiLink Q1849020.
- Q7686757 wikiPageWikiLink Q185521.
- Q7686757 wikiPageWikiLink Q19821.
- Q7686757 wikiPageWikiLink Q200787.
- Q7686757 wikiPageWikiLink Q203066.
- Q7686757 wikiPageWikiLink Q2068227.
- Q7686757 wikiPageWikiLink Q207014.
- Q7686757 wikiPageWikiLink Q207534.
- Q7686757 wikiPageWikiLink Q207648.
- Q7686757 wikiPageWikiLink Q209306.
- Q7686757 wikiPageWikiLink Q210.
- Q7686757 wikiPageWikiLink Q2395230.
- Q7686757 wikiPageWikiLink Q2396083.
- Q7686757 wikiPageWikiLink Q2509500.
- Q7686757 wikiPageWikiLink Q281854.
- Q7686757 wikiPageWikiLink Q29539.
- Q7686757 wikiPageWikiLink Q31924.
- Q7686757 wikiPageWikiLink Q3262192.
- Q7686757 wikiPageWikiLink Q332430.
- Q7686757 wikiPageWikiLink Q34929.
- Q7686757 wikiPageWikiLink Q3508260.
- Q7686757 wikiPageWikiLink Q3625630.
- Q7686757 wikiPageWikiLink Q36810.
- Q7686757 wikiPageWikiLink Q369377.
- Q7686757 wikiPageWikiLink Q3756532.
- Q7686757 wikiPageWikiLink Q382520.
- Q7686757 wikiPageWikiLink Q4055684.
- Q7686757 wikiPageWikiLink Q430001.
- Q7686757 wikiPageWikiLink Q4345785.
- Q7686757 wikiPageWikiLink Q4440864.
- Q7686757 wikiPageWikiLink Q44946.
- Q7686757 wikiPageWikiLink Q467606.
- Q7686757 wikiPageWikiLink Q5358916.
- Q7686757 wikiPageWikiLink Q5406124.
- Q7686757 wikiPageWikiLink Q597663.
- Q7686757 wikiPageWikiLink Q609647.
- Q7686757 wikiPageWikiLink Q621850.
- Q7686757 wikiPageWikiLink Q62912.
- Q7686757 wikiPageWikiLink Q6453739.
- Q7686757 wikiPageWikiLink Q64861.
- Q7686757 wikiPageWikiLink Q649732.
- Q7686757 wikiPageWikiLink Q655328.
- Q7686757 wikiPageWikiLink Q773483.
- Q7686757 wikiPageWikiLink Q7900548.
- Q7686757 wikiPageWikiLink Q792528.
- Q7686757 wikiPageWikiLink Q792536.
- Q7686757 wikiPageWikiLink Q8308266.
- Q7686757 wikiPageWikiLink Q8349849.
- Q7686757 wikiPageWikiLink Q8366.
- Q7686757 wikiPageWikiLink Q840243.
- Q7686757 wikiPageWikiLink Q842346.
- Q7686757 wikiPageWikiLink Q851333.
- Q7686757 wikiPageWikiLink Q8611992.
- Q7686757 wikiPageWikiLink Q903508.
- Q7686757 wikiPageWikiLink Q928884.
- Q7686757 wikiPageWikiLink Q935944.
- Q7686757 wikiPageWikiLink Q983389.
- Q7686757 comment "Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called "elementary," that is formulable in first-order logic with identity, and requiring no set theory (Tarski 1959). Other modern axiomizations of Euclidean geometry are those by Hilbert and George Birkhoff.".
- Q7686757 label "Tarski's axioms".