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

[edit]
[edit]
[edit]
[edit]
[edit]