Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
scientific article

    Statements

    Towards a unified model of search in theorem-proving: subgoal-reduction strategies (English)
    0 references
    19 October 2007
    0 references
    automated theorem-proving
    0 references
    subgoal-reduction strategies
    0 references
    tableau-based strategies
    0 references
    strategy analysis
    0 references
    search model
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers