Geometry knowledge base learning from theorem proofs (Q2940960)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Geometry knowledge base learning from theorem proofs |
scientific article; zbMATH DE number 6388801
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Geometry knowledge base learning from theorem proofs |
scientific article; zbMATH DE number 6388801 |
Statements
Geometry Knowledge Base Learning from Theorem Proofs (English)
0 references
21 January 2015
0 references
knowledge base
0 references
process ontology
0 references
abstract model
0 references
instance model
0 references
automated theorem proving
0 references
0.7224912047386169
0 references
0.7211140394210815
0 references
0.7111442685127258
0 references
0.7109757661819458
0 references
0.704986572265625
0 references
