TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
DEMONSTRATEUR AUTOMATIQUE THEOREMES [1 record]
Record 1 - internal organization data 1994-09-09
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- theorem prover
1, record 1, English, theorem%20prover
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- prover 2, record 1, English, prover
correct
- automatic theorem prover 3, record 1, English, automatic%20theorem%20prover
correct
- theorem proving program 4, record 1, English, theorem%20proving%20program
correct
- proof-finding program 4, record 1, English, proof%2Dfinding%20program
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
Programs that have proved theorems. 4, record 1, English, - theorem%20prover
Record number: 1, Textual support number: 1 CONT
The exploration of the search space (i.e. the proof model) is managed by a theorem prover ... Starting from the data representing the problem hypotheses, the prover produces ... all the facts that can be deduced from the theory. 5, record 1, English, - theorem%20prover
Record number: 1, Textual support number: 2 CONT
The counterexample found above was found by a heuristic filter to the theorem prover called the conjecture disprover. 6, record 1, English, - theorem%20prover
Record 1, Key term(s)
- theorem proving programme
- proof-finding programme
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- démonstrateur de théorème
1, record 1, French, d%C3%A9monstrateur%20de%20th%C3%A9or%C3%A8me
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- démonstrateur automatique de théorèmes 2, record 1, French, d%C3%A9monstrateur%20automatique%20de%20th%C3%A9or%C3%A8mes
correct, masculine noun
- démonstrateur 3, record 1, French, d%C3%A9monstrateur
correct, masculine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Programme de démonstration de clauses logiques. 3, record 1, French, - d%C3%A9monstrateur%20de%20th%C3%A9or%C3%A8me
Record 1, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: