Sledgehammer: Judgement Day (Q5747754): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(12 intermediate revisions by 4 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Isabelle / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: MPTP 0.2 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: VAMPIRE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Sledgehammer / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Isabelle/HOL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SPASS / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Isar / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: E Theorem Prover / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SystemOnTPTP / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1599039905 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Property-directed incremental invariant generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reconstructing proofs at the assertion level / rank
 
Normal rank
Property / cites work
 
Property / cites work: Translating higher-order clauses to first-order clauses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lightweight relevance filtering for machine-generated resolution problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Source-Level Proof Reconstruction for Interactive Theorem Proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3150300 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3150301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2723436 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4672985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: MPTP 0.2: Design, implementation, and initial experiments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficiency and Completeness of the Set of Support Strategy in Theorem Proving / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 04:42, 3 July 2024

scientific article; zbMATH DE number 5785440
Language Label Description Also known as
English
Sledgehammer: Judgement Day
scientific article; zbMATH DE number 5785440

    Statements

    Identifiers