Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

From MaRDI portal

(Redirected from Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Reducts_of_propositional_theories,_satisfiability_relations,_and_generalizations_of_semantics_of_logic_programs&oldid=63246630"