Undecidable statements and random graphs

DOI10.1007/BF01531021zbMath0865.03009MaRDI QIDQ1353975

Peter Dolan

Publication date: 13 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

random graphsdecision procedurefirst order statements

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Probabilities of Sentences about Very Sparse Random Graphs

Cites Work

• Unnamed Item
• Unnamed Item
• Expose-and-merge exploration and the chromatic number of a random graph
• Zero-One Laws for Sparse Random Graphs
• A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations

This page was built for publication: Undecidable statements and random graphs