A probabilistic machine for the estimation of provability in the first order predicate calculus

DOI10.1002/MALQ.19690151902MaRDI QIDQ5619787zbMATH OpenOpenAlexFDO

Authors S. C. van Westrhenen

Publication date 1969

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19690151902

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Classical first-order logic (03B10)

Cited in

(1)

• scientific article; zbMATH DE number 3696535 (Why is no real title available?)

This page was built for publication: A probabilistic machine for the estimation of provability in the first order predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5619787)