×

zbMATH — the first resource for mathematics

A modular type reconstruction algorithm. (English) Zbl 1407.68440
MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T30 Knowledge representation
PDF BibTeX XML Cite
Full Text: DOI