Q431667

From Wikidata
Jump to: navigation, search

Automated theorem proving (Q431667)[edit]

subfield of automated reasoning dealing with proving theorems by computer programs [edit]

Also known as:
  • theorem prover
  • automated theorem prover
[edit]

Statements