scientific article; zbMATH DE number 856752

From MaRDI portal

Publication:4869975

Jump to:navigation, search

zbMath0844.01010MaRDI QIDQ4869975

Roman Murawski

Publication date: 13 August 1996

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

zbMATH Keywords

satisfiability decision problem theory of well-ordering

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Decidability of theories and sets of sentences (03B25) History of mathematical logic and foundations (03-03)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4869975&oldid=19230310"