Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: MGTP / rank
 
Normal rank

Revision as of 17:20, 28 February 2024

scientific article; zbMATH DE number 7111171
Language Label Description Also known as
English
Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving
scientific article; zbMATH DE number 7111171

    Statements

    Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 October 2019
    0 references
    0 references
    model candidate
    0 references
    Horn clause
    0 references
    relevancy testing
    0 references
    proof tree
    0 references
    deductive database
    0 references
    0 references
    0 references