scientific article

From MaRDI portal

Publication:3853622

Jump to:navigation, search

zbMath0421.03045MaRDI QIDQ3853622

A. I. Malasonok, A. V. Lyaletskiĭ

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theory resolution rule

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (1)

Evidence algorithm and inference search in first-order logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3853622&oldid=17460762"