Application of the strategy of ordering disjunctives for a modification of the method of resolutions

DOI10.1007/BF01097077zbMath0664.03011MaRDI QIDQ1115413

V. I. Sharonov

Publication date: 1988

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/68942

zbMATH Keywords

resolution methodordering disjunctivesprovability of formulas

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Exact solutions to the Einstein-Maxwell equations describing wormholes and handles ⋮ A particular thin-shell wormhole

This page was built for publication: Application of the strategy of ordering disjunctives for a modification of the method of resolutions