scientific article
From MaRDI portal
Publication:3681966
zbMath0566.68076MaRDI QIDQ3681966
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modelsfinite semigroupscounterexamplesRobbins algebraAURAequivalential calculusR-calculusternary Boolean algebraAUtomated Reasoning AssistantL- calculus
Related Items
Some experiments with a completion theorem prover, A method for simultaneous search for refutations and models by equational constraint solving, Semantically guided first-order theorem proving using hyper-linking, Automated inferencing
