Sort It Out with Monotonicity (Q5200026): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Frontiers of Combining Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monotonicity Inference for Higher-Order Formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated inference of finite unsatisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frontiers of combining systems. 5th international workshop, FroCos 2005, Vienna, Austria, September 19--21, 2005. Proceedings. / 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: Q4520767 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frontiers of Combining Systems / 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: Automated reasoning about elementary point-set topology / rank
 
Normal rank

Latest revision as of 08:09, 4 July 2024

scientific article; zbMATH DE number 5934352
Language Label Description Also known as
English
Sort It Out with Monotonicity
scientific article; zbMATH DE number 5934352

    Statements

    Identifiers