tableau-prover

There are 0 repository under tableau-prover topic.

kovvalsky / prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
dutch dutch-language nli natural-language-inference textual-entailment tableau-prover natural-logic theorem-prover theorem-proving neural-proof-net proof-net
Language:Prolog 3