scientific article; zbMATH DE number 7594099

MaRDI QIDQ5869519

Daniel Wessel, Peter M. Schuster

Publication date: 28 September 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Eliminating disjunctions by disjunction elimination

This page was built for publication: