Sine Qua Non for Large Theory Reasoning (Q5200032): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation and Symbol Elimination in Vampire / 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: A relevance restriction strategy for automated deduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The CADE-22 automated theorem proving system competition – CASC-22 / rank
 
Normal rank
Property / cites work
 
Property / cites work: SRASS - A Semantic Relevance Axiom Selection System / 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: Evaluation of Automated Theorem Proving on the Mizar Mathematical Library / rank
 
Normal rank
Property / cites work
 
Property / cites work: MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / rank
 
Normal rank

Latest revision as of 08:09, 4 July 2024

scientific article; zbMATH DE number 5934358
Language Label Description Also known as
English
Sine Qua Non for Large Theory Reasoning
scientific article; zbMATH DE number 5934358

    Statements

    Identifiers