Complete logic programs with domain-closure axiom (Q3789103)

From MaRDI portal
Revision as of 08:43, 26 January 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q114683457, #quickstatements; #temporary_batch_1706254700329)
scientific article
In more languages
Configure
Language Label Description Also known as
English
Complete logic programs with domain-closure axiom
scientific article

    Statements

    Identifiers