HOL(y)Hammer: Online ATP Service for HOL Light

Urban, Josef; Kaliszyk, Cezary

doi:10.1007/s11786-014-0182-0

Record: found
Abstract: not found
Article: not found

HOL(y)Hammer: Online ATP Service for HOL Light

Author(s): Cezary Kaliszyk , Josef Urban

Publication date (Electronic): June 28 2014

Journal: Mathematics in Computer Science

Publisher: Springer Nature America, Inc

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 12

Record: found
Abstract: not found
Article: not found

The Distance-Weighted k-Nearest-Neighbor Rule

Sahibsingh Dudani (1976)

0 comments Cited 192 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Learning-Assisted Automated Reasoning with Flyspeck

Josef Urban, Cezary Kaliszyk (2014)

0 comments Cited 41 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Translating Higher-Order Clauses to First-Order Clauses

Lawrence Paulson, Jia Meng (2008)

0 comments Cited 34 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Mathematics in Computer Science

Abbreviated Title: Math.Comput.Sci.

Publisher: Springer Nature America, Inc

ISSN (Print): 1661-8270

ISSN (Electronic): 1661-8289

Publication date Created: March 2015

Publication date (Electronic): June 28 2014

Publication date (Print): March 2015

Volume: 9

Issue: 1

Pages: 5-22

Article

DOI: 10.1007/s11786-014-0182-0

SO-VID: c25f1881-a85a-4478-b7a9-b5ad0f686486

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.