From primal infon logic with individual variables to Datalog (Q2900510)

From MaRDI portal





scientific article; zbMATH DE number 6059504
Language Label Description Also known as
default for all languages
No label defined
    English
    From primal infon logic with individual variables to Datalog
    scientific article; zbMATH DE number 6059504

      Statements

      Identifiers