conftrace_

natural deduction proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

phrase correspondence (1) natural deduction (1) semantic relation (1) graph alignment (1) textual entailment (1) paraphrase detection (1)

Papers

Acquisition of Phrase Correspondences Using Natural Deduction Proofs NAACL 2018