scientific article; zbMATH DE number 1507193
From MaRDI portal
Publication:4503913
zbMath0955.03019MaRDI QIDQ4503913
Publication date: 27 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
refutational completenesssemantic treesredundancy criteriaconstrained clausesdeletion rulesrefutational calculi
Related Items
