Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: From Primal Infon Logic with Individual Variables to Datalog / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic of infons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unification as a complexity measure for logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5812175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2703802 / rank
 
Normal rank
Property / cites work
 
Property / cites work: LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation / rank
 
Normal rank

Revision as of 05:29, 7 July 2024

scientific article
Language Label Description Also known as
English
Abstract Hilbertian deductive systems, infon logic, and Datalog
scientific article

    Statements

    Abstract Hilbertian deductive systems, infon logic, and Datalog (English)
    0 references
    0 references
    0 references
    16 January 2014
    0 references
    Hilbertian deductive systems
    0 references
    infon logic
    0 references
    Datalog
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references