About: dbpedia-fr:Lemme_(mathématiques)

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

About: dbpedia-fr:Lemme_(mathématiques) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Bổ đề (vi) Hilfssatz (de) Hulpstelling (nl) Lema (matemàtiques) (ca) Lema (matemática) (pt) Lema (matemáticas) (es) Lemat (pl) Lemma (sv) Lemma (matematica) (it) Lemme (mathématiques) (fr) Лема (uk) Лемма (ru) برهان لمي (ar) 補題 (ja)
rdfs:comment	Un lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. (fr)
rdfs:seeAlso	https://bigenc.ru/text/2138862 http://www.omegawiki.org/DefinedMeaning:1301580
sameAs	dbr:Lemma_(mathematics) wikidata:Q207505 dbpedia-ar:برهان_لمي dbpedia-az:Lemma dbpedia-bg:Лема dbpedia-ca:Lema_(matemàtiques) http://ckb.dbpedia.org/resource/لێم_(ماتماتیک) dbpedia-cs:Lemma_(matematika) dbpedia-de:Hilfssatz dbpedia-eo:Lemo dbpedia-es:Lema_(matemáticas) dbpedia-et:Lemma dbpedia-eu:Lema_(matematika) dbpedia-fa:لم_(ریاضیات) dbpedia-fi:Lemma dbpedia-he:למה_(מתמטיקה) http://hi.dbpedia.org/resource/प्रमेयिका dbpedia-hr:Lema_(matematika) dbpedia-hu:Lemma http://hy.dbpedia.org/resource/Լեմմա http://ia.dbpedia.org/resource/Lemma dbpedia-id:Lema_(matematika) dbpedia-it:Lemma_(matematica) dbpedia-ja:補題 dbpedia-kk:Лемма dbpedia-ko:보조정리 http://ky.dbpedia.org/resource/Лемма dbpedia-la:Lemma_(mathematica) http://lt.dbpedia.org/resource/Lema dbpedia-mk:Лема dbpedia-ms:Lema_(matematik) dbpedia-nl:Hulpstelling dbpedia-nn:Lemma_i_matematikk dbpedia-no:Lemma_(matematikk) dbpedia-pl:Lemat dbpedia-pt:Lema_(matemática) dbpedia-ro:Lemă_(matematică) dbpedia-ru:Лемма dbpedia-simple:Lemma_(mathematics) dbpedia-sk:Lemma dbpedia-sv:Lemma http://tg.dbpedia.org/resource/Лемма dbpedia-th:บทตั้ง http://tt.dbpedia.org/resource/Лемма dbpedia-uk:Лема http://uz.dbpedia.org/resource/Lemma dbpedia-vi:Bổ_đề dbpedia-zh:引理 http://co.dbpedia.org/resource/Lemma_(matematiche) http://g.co/kg/m/04qjp http://ma-graph.org/entity/152182844
Wikipage page ID	108583 (xsd:integer)
Wikipage revision ID	174703816 (xsd:integer)
dbo:wikiPageWikiLink	Proof assistant Axiom Axiom of choice category-fr:Lemme_de_mathématiques category-fr:Logique_mathématique dbpedia-fr:Coq_(logiciel) dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Langage_formel dbpedia-fr:Lemme_d'Euclide dbpedia-fr:Lemme_de_Gauss_(théorie_des_nombres) dbpedia-fr:Lemme_de_Hotelling dbpedia-fr:Lemme_de_Jordan dbpedia-fr:Lemme_de_Zorn dbpedia-fr:Lemme_de_l'étoile dbpedia-fr:Lemme_des_bergers dbpedia-fr:Liste_de_lemmes dbpedia-fr:Logiciel dbpedia-fr:Logique dbpedia-fr:Logique_mathématique dbpedia-fr:Prototype_Verification_System Premise Syllogism dbpedia-fr:Série_entière dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_du_consommateur_(microéconomie) dbpedia-fr:Théorème dbpedia-fr:Théorème_de_Bachet-Bézout dbpedia-fr:Épiphore dbpedia-fr:Mathématiques
page length (characters) of wiki page	3148 (xsd:nonNegativeInteger)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 18 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software