Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs (Q6059221): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10472-023-09832-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4321092854 / rank
 
Normal rank

Revision as of 10:08, 30 July 2024

scientific article; zbMATH DE number 7759321
Language Label Description Also known as
English
Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs
scientific article; zbMATH DE number 7759321

    Statements

    Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs (English)
    0 references
    0 references
    2 November 2023
    0 references
    automated reasoning
    0 references
    cyclic induction
    0 references
    first-order logic with inductive definitions
    0 references
    proof certification
    0 references
    Coq
    0 references
    E-\textsc{Cyclist}
    0 references

    Identifiers

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