About: Knaster–Tarski theorem

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

About: Knaster–Tarski theorem 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	Fixpunktsatz von Tarski und Knaster (de) Knaster–Tarski theorem (en) Teorema de Knaster-Tarski (es) Teorema di Knaster-Tarski (it) Théorème de Knaster-Tarski (fr) Теорема Кнастера — Тарського (uk)
rdfs:comment	Le théorème de Knaster-Tarski est un théorème de point fixe pour une application croissante d'un treillis complet dans lui-même. Il est nommé d'après Bronislaw Knaster et Alfred Tarski. (fr)
sameAs	Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem Knaster–Tarski theorem
Wikipage page ID	187101 (xsd:integer)
Wikipage revision ID	179024312 (xsd:integer)
dbo:wikiPageWikiLink	Alfred Tarski Infimum and supremum dbpedia-fr:Bronisław_Knaster category-fr:Théorie_des_ordres category-fr:Théorème_de_mathématiques dbpedia-fr:Charalambos_D._Aliprantis dbpedia-fr:Démonstration_constructive dbpedia-fr:Ernst_Zermelo Maxima and minima Injective function dbpedia-fr:Interprétation_abstraite Fixed-point theorems List of mathematics journals dbpedia-fr:Loi_de_Stigler dbpedia-fr:Nombre_ordinal Hartogs number Limit ordinal dbpedia-fr:Point_fixe Poland Partially ordered set dbpedia-fr:Récurrence_transfinie dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorème dbpedia-fr:Théorème_de_Cantor-Bernstein Well-ordering theorem dbpedia-fr:Treillis_(ensemble_ordonné) dbpedia-fr:Vérification_de_modèles Yiannis N. Moschovakis dbpedia-fr:Mathématicien
Link from a Wikipage to an external page	http://cybra.lodz.pl/Content/6198/AnnSocPolMathe_t.VI_1927.pdf http://projecteuclid.org/Dienst/UI/1.0/Journal%3Fauthority=euclid.pjm&issue=1103044526%7Ctitre=A
page length (characters) of wiki page	6920 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_des_ordres category-fr:Théorème_de_mathématiques
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Refnec dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Commentaire_biblio_SRL dbpedia-fr:Modèle:Google_Livres dbpedia-fr:Modèle:Énoncé dbpedia-fr:Modèle:C'est-à-dire
prov:wasDerivedFrom	wikipedia-fr:Théorème_de_Knaster-Tarski?oldid=179024312&ns=0
foaf:depiction
prop-fr:année	1928 (xsd:integer) 1955 (xsd:integer) 1994 (xsd:integer) 2007 (xsd:integer)
prop-fr:auteur	dbpedia-fr:Charalambos_D._Aliprantis Kim C. Border (fr) B. Knaster (fr) Yiannis N. Moschovakis (fr)
prop-fr:fr	analyse de programme (fr)
prop-fr:journal	Ann. Soc. Polon. Math. (fr)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:nom	Tarski (fr)
prop-fr:numéro	2 (xsd:integer)
prop-fr:pages	133 (xsd:integer)
prop-fr:passage	17 (xsd:integer)
prop-fr:prénom	Alfred (fr)
prop-fr:sousTitre	A Hitchhiker's Guide (fr)
prop-fr:titre	Notes on Set Theory (fr) Infinite Dimensional Analysis (fr) Un théorème sur les fonctions d'ensembles (fr)
prop-fr:trad	Program analysis (fr)
prop-fr:url	http://cybra.lodz.pl/Content/6198/AnnSocPolMathe_t.VI_1927.pdf http://projecteuclid.org/Dienst/UI/1.0/Journal?authority=euclid.pjm&issue=1103044526\|titre=A lattice-theoretical fixpoint theorem and its applications (fr)
prop-fr:volume	5 (xsd:integer) 6 (xsd:integer)

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, 5 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software