About: dbpedia-fr:Terme

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

About: dbpedia-fr:Terme_(logique) Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Term (de) Term (wiskunde) (nl) Terme (logique) (fr) حد (رياضيات) (ar)
rdfs:comment	Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification. C'est l'objet produit par une analyse syntaxique. Sa principale caractéristique est d'être homogène (il n'y a que des opérations de base et pas d'opérations logiques) et de décrire l'agencement des opérations de base. Un terme est parfois appelé une formule du premier ordre. Par exemple, (x + f(x,y)) * 3 et (+(x,f(x,y)),3) et +xfxy3 et la figure à droite représentent le même terme sous quatre formes externes différentes. (fr)
sameAs	dbr:Term_(logic) wikidata:Q1318370 dbpedia-ar:حد_(رياضيات) http://bs.dbpedia.org/resource/Član_(matematika) http://ckb.dbpedia.org/resource/تێرم dbpedia-de:Term dbpedia-eo:Termo dbpedia-eu:Gai_(matematika) dbpedia-fa:ترم_(ریاضیات) dbpedia-fi:Termi_(matematiikka) dbpedia-hu:Term dbpedia-ko:항_(논리학) dbpedia-mk:Член_(математика) http://ml.dbpedia.org/resource/പദം_(ഗണിതം) dbpedia-nl:Term_(wiskunde) dbpedia-pl:Term dbpedia-pt:Termo_(matemática) dbpedia-ru:Терм_(логика) dbpedia-simple:Term_(mathematics) dbpedia-sl:Člen http://so.dbpedia.org/resource/Tibix dbpedia-sv:Term_(matematik) http://g.co/kg/m/0ds6b6c http://ma-graph.org/entity/204325996
Wikipage page ID	9039117 (xsd:integer)
Wikipage revision ID	188463363 (xsd:integer)
dbo:wikiPageWikiLink	Universal algebra Parsing Tree (set theory) Tree (graph theory) dbpedia-fr:Arité First-order logic Computer algebra dbpedia-fr:Cambridge_University_Press category-fr:Algèbre category-fr:Informatique_théorique category-fr:Langage_formel category-fr:Logique category-fr:Logique_mathématique category-fr:Réécriture category-fr:Structure_de_données category-fr:Syntaxe category-fr:Théorie_de_la_compilation Countable set Expression (computer science) dbpedia-fr:Formule_(mathématiques) Group (mathematics) Structural induction dbpedia-fr:Jan_Łukasiewicz Lambda calculus dbpedia-fr:Mot_(mathématiques) Polish notation dbpedia-fr:Partage_(programmation_informatique) Predicate (mathematical logic) dbpedia-fr:Récursivité Rewriting Signature (logic) Algebraic structure dbpedia-fr:Théorie_des_catégories dbpedia-fr:Unification Variable (mathematics) dbpedia-fr:Énoncé
Link from a Wikipage to an external page	https://books.google.fr/books%3Fid=N7BvXVUCQk8C
page length (characters) of wiki page	9600 (xsd:nonNegativeInteger)
dct:subject	category-fr:Algèbre category-fr:Informatique_théorique category-fr:Langage_formel category-fr:Logique category-fr:Logique_mathématique category-fr:Réécriture category-fr:Structure_de_données category-fr:Syntaxe category-fr:Théorie_de_la_compilation
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Colonnes dbpedia-fr:Modèle:En dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail
prov:wasDerivedFrom	wikipedia-fr:Terme_(logique)?oldid=188463363&ns=0
foaf:depiction
prop-fr:année	1999 (xsd:integer)
prop-fr:annéePremièreÉdition	1998 (xsd:integer)
prop-fr:isbn	0 (xsd:integer) 521779200 (xsd:integer)
prop-fr:langue	en (fr)
prop-fr:lieu	Cambridge (fr)
prop-fr:nom	Baader (fr) Nipkow (fr)
prop-fr:pagesTotales	301 (xsd:integer)
prop-fr:prénom	Franz (fr) Tobias (fr)

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