scientific article

From MaRDI portal

Publication:3853623

Jump to:navigation, search

zbMath0421.03046MaRDI QIDQ3853623

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:3853623&oldid=17460764"