Anders Schlichtkrull

From MaRDI portal
Person:1663241

Available identifiers

zbMath Open schlichtkrull.andersMaRDI QIDQ1663241

List of research outcomes





PublicationDate of PublicationType
Verified verifying: SMT-LIB for strings in Isabelle2024-02-28Paper
A sequent calculus for first-order logic formalized in Isabelle/HOL2023-06-15Paper
https://portal.mardi4nfdi.de/entity/Q50911462022-07-21Paper
Programming and verifying a declarative first-order prover in Isabelle/HOL2021-01-20Paper
Formalizing Bachmair and Ganzinger's ordered resolution prover2020-11-02Paper
Formalizing Bachmair and Ganzinger's ordered resolution prover2018-10-18Paper
Formalization of the resolution calculus for first-order logic2018-08-21Paper
Formalization of the Resolution Calculus for First-Order Logic2016-10-27Paper

Research outcomes over time

This page was built for person: Anders Schlichtkrull

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1663241&oldid=6354022"
Powered by MediaWiki