Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser

41643
Back to Articles Dashboard

Knowledge Triples

Source Entity Relationship Target Entity
implements
uses