Automation of Boolos' Curious Inference in Isabelle/HOL




Faculty/Professorship: AI Systems Engineering 
Author(s): Benzmüller, Christoph  ; Fuenmayor, David  ; Steen, Alexander; Sutcliffe, Geoff
Title of the Journal: Archive of Formal Proofs
ISSN: 2150-914x
Year of publication: 2022
Pages: 6
Language(s): English
URL: https://www.isa-afp.org/entries/Boolos_Curious_...
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/57579
Release Date: 11. January 2023