Q431667

From Wikidata
Jump to: navigation, search

Automated theorem proving(Q431667)

subfield of automated reasoning dealing with proving theorems by computer programs
  • theorem prover
  • automated theorem prover
[edit]
Language Label Description Also known as
English
Automated theorem proving
subfield of automated reasoning dealing with proving theorems by computer programs
  • theorem prover
  • automated theorem prover

Statements