Towards a heterogeneous query language for mathematical knowledge

DOI10.1007/978-3-030-53518-6_3MaRDI QIDQ2219379zbMATH OpenOpenAlexFDO

Authors Katja Berčič, Michael Kohlhase, Florian Rabe

Publication date 20 January 2021

Full work available at URL https://doi.org/10.1007/978-3-030-53518-6_3

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Mathematical knowledge management (68V30)

Recommendations

• A query language for formal mathematical libraries
• scientific article; zbMATH DE number 1951633
• A math query language with an expanded set of wildcards
• scientific article; zbMATH DE number 4045135
• scientific article; zbMATH DE number 2089446
• Mathematical knowledge representation: semantic models and formalisms
• Towards a semantic query language
• scientific article; zbMATH DE number 1497743

Cited in

(4)

• scientific article; zbMATH DE number 1951633 (Why is no real title available?)
• A query language for formal mathematical libraries
• scientific article; zbMATH DE number 7756106 (Why is no real title available?)
• scientific article; zbMATH DE number 1497743 (Why is no real title available?)

This page was built for publication: Towards a heterogeneous query language for mathematical knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219379)