Disambiguation evidence for First-Order Logic and Automated Theorem Proving via surface form
"First-Order Logic and Automated Theorem Proving"
Triples (2)
Triples where some other subject referred to this entity
as "First-Order Logic and Automated Theorem Proving".
Melvin Fitting
→
notableWork
→
"First-Order Logic and Automated Theorem Proving"
ⓘ
↳ resolves to First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
→
title
→
"First-Order Logic and Automated Theorem Proving"
ⓘ
↳ resolves to First-Order Logic and Automated Theorem Proving