FAST Linked Data

FAST Authority File

Automatic theorem proving

Information about the Resource

Schema.org Name(s):
    Controlled Heading Identifier:
    Identifier:
    • 822777
    Type:
    SKOS Preferred Label:
    • Automatic theorem proving
    SKOS Alternative Label:
    • Automated theorem proving
    • Theorem proving, Automated
    • Theorem proving, Automatic
    Is In SKOS Scheme:
    SKOS Broader:

    Information about the Resource Source

    Document:
    Data Set:

    Different Formats Available

    Record Views