Master thesis: Interpolation theorem in FOL with equality

Name		Name	Last commit message	Last commit date
abstract		abstract
arrow-final-conjectures		arrow-final-conjectures
arrow-proof-main-lemma-of-part-2		arrow-proof-main-lemma-of-part-2
ex-intra-literal		ex-intra-literal
ex-nested		ex-nested
ex-overbind-one-pass-2		ex-overbind-one-pass-2
ex-overbind-one-pass		ex-overbind-one-pass
ex-quant-alt		ex-quant-alt
ex-unification		ex-unification
ex1		ex1
graph		graph
homomorphism		homomorphism
huang_proof_without_P_P		huang_proof_without_P_P
intra-literal-arrows		intra-literal-arrows
monadic		monadic
poster		poster
presentation-defense		presentation-defense
presentation-seminar		presentation-seminar
print		print
quant-alt-conjectures-merged		quant-alt-conjectures-merged
quant-alt-conjectures		quant-alt-conjectures
single-step-overbinding-final		single-step-overbinding-final
single-step-overbinding-presentable		single-step-overbinding-presentable
single-step-overbinding		single-step-overbinding
structure		structure
subtermrelation-conjectures		subtermrelation-conjectures
subtermrelation-nested		subtermrelation-nested
subtermrelation-w-paramodulation		subtermrelation-w-paramodulation
subtermrelation		subtermrelation
thesis		thesis
README.md		README.md
commit.sh		commit.sh
latex_header.tex		latex_header.tex
mini-abstract.txt		mini-abstract.txt

Navigation Menu