Method Term: theorem prover

To view the usage of theorem prover in the ACL ARC 2.0 corpus click here (i.e., KWIC using NoSke).

Terms semantically related to theorem prover:

• theorem proving
• document/cluster representation
• keyword-based clustering
• alignment methodology
• extendable retriever
• proof reduction
• low level recognition
• matrix searching
• sparse sequence alignment
• quantification
• programming language
• fuzzy unification
• sub-syllabification

Note that only terms are manually validated, not their relationships. See the ACL RD-TEC 1.0 documentations.