Reconstructing a single-head formula to facilitate logical forgetting
type: Item
instance of: scholarly article
title: Reconstructing a single-head formula to facilitate logical forgetting
arXiv ID: 2012.10191
author: Paolo Liberatore
publication date: 2024-02-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/2012.10191
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7801589
MaRDI profile type: Publication
OpenAlex ID: W3117201041
DOI: 10.1093/LOGCOM/EXAC086
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7801589