Q3112629 (Q3112629): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Importer (talk | contribs)
Changed an Item
 
Property / arXiv ID
 
Property / arXiv ID: 1401.3898 / rank
 
Normal rank

Latest revision as of 14:11, 19 April 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    12 January 2012
    0 references
    first-order theory
    0 references
    loop formulas
    0 references
    stable model semantics
    0 references
    logic program
    0 references
    disjunctive program
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references