Matches in SemOpenAlex for { <https://semopenalex.org/work/W1810279616> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1810279616 endingPage "106" @default.
- W1810279616 startingPage "91" @default.
- W1810279616 abstract "AbstractFormulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity is undecidable in general, but we devised two calculi that infer it in many cases for higher-order logic. The stronger calculus has been implemented in Isabelle’s model finder Nitpick, where it is used to prune the search space, leading to dramatic speed improvements for formulas involving many atomic types.KeywordsAtomic TypeExtension RelationMonotonic FormulaLarge ScopeSyntactic CriterionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1810279616 created "2016-06-24" @default.
- W1810279616 creator A5002307245 @default.
- W1810279616 creator A5079200257 @default.
- W1810279616 date "2010-01-01" @default.
- W1810279616 modified "2023-09-25" @default.
- W1810279616 title "Monotonicity Inference for Higher-Order Formulas" @default.
- W1810279616 cites W1497011154 @default.
- W1810279616 cites W1515094747 @default.
- W1810279616 cites W1519503479 @default.
- W1810279616 cites W1943070836 @default.
- W1810279616 cites W2021915358 @default.
- W1810279616 cites W2085025498 @default.
- W1810279616 cites W2139646834 @default.
- W1810279616 cites W3005596432 @default.
- W1810279616 cites W4299731435 @default.
- W1810279616 doi "https://doi.org/10.1007/978-3-642-14203-1_8" @default.
- W1810279616 hasPublicationYear "2010" @default.
- W1810279616 type Work @default.
- W1810279616 sameAs 1810279616 @default.
- W1810279616 citedByCount "5" @default.
- W1810279616 crossrefType "book-chapter" @default.
- W1810279616 hasAuthorship W1810279616A5002307245 @default.
- W1810279616 hasAuthorship W1810279616A5079200257 @default.
- W1810279616 hasConcept C100481476 @default.
- W1810279616 hasConcept C11413529 @default.
- W1810279616 hasConcept C134306372 @default.
- W1810279616 hasConcept C153269930 @default.
- W1810279616 hasConcept C154945302 @default.
- W1810279616 hasConcept C192034797 @default.
- W1810279616 hasConcept C199343813 @default.
- W1810279616 hasConcept C199360897 @default.
- W1810279616 hasConcept C206880738 @default.
- W1810279616 hasConcept C2776214188 @default.
- W1810279616 hasConcept C2777686260 @default.
- W1810279616 hasConcept C33923547 @default.
- W1810279616 hasConcept C3746660 @default.
- W1810279616 hasConcept C41008148 @default.
- W1810279616 hasConcept C71924100 @default.
- W1810279616 hasConcept C72169020 @default.
- W1810279616 hasConcept C80444323 @default.
- W1810279616 hasConceptScore W1810279616C100481476 @default.
- W1810279616 hasConceptScore W1810279616C11413529 @default.
- W1810279616 hasConceptScore W1810279616C134306372 @default.
- W1810279616 hasConceptScore W1810279616C153269930 @default.
- W1810279616 hasConceptScore W1810279616C154945302 @default.
- W1810279616 hasConceptScore W1810279616C192034797 @default.
- W1810279616 hasConceptScore W1810279616C199343813 @default.
- W1810279616 hasConceptScore W1810279616C199360897 @default.
- W1810279616 hasConceptScore W1810279616C206880738 @default.
- W1810279616 hasConceptScore W1810279616C2776214188 @default.
- W1810279616 hasConceptScore W1810279616C2777686260 @default.
- W1810279616 hasConceptScore W1810279616C33923547 @default.
- W1810279616 hasConceptScore W1810279616C3746660 @default.
- W1810279616 hasConceptScore W1810279616C41008148 @default.
- W1810279616 hasConceptScore W1810279616C71924100 @default.
- W1810279616 hasConceptScore W1810279616C72169020 @default.
- W1810279616 hasConceptScore W1810279616C80444323 @default.
- W1810279616 hasLocation W18102796161 @default.
- W1810279616 hasOpenAccess W1810279616 @default.
- W1810279616 hasPrimaryLocation W18102796161 @default.
- W1810279616 hasRelatedWork W1536388237 @default.
- W1810279616 hasRelatedWork W1594413440 @default.
- W1810279616 hasRelatedWork W1627538354 @default.
- W1810279616 hasRelatedWork W1689936258 @default.
- W1810279616 hasRelatedWork W174184838 @default.
- W1810279616 hasRelatedWork W2001013631 @default.
- W1810279616 hasRelatedWork W2003216212 @default.
- W1810279616 hasRelatedWork W2027602125 @default.
- W1810279616 hasRelatedWork W2066728092 @default.
- W1810279616 hasRelatedWork W2076399409 @default.
- W1810279616 hasRelatedWork W2090186445 @default.
- W1810279616 hasRelatedWork W2123581574 @default.
- W1810279616 hasRelatedWork W2125123691 @default.
- W1810279616 hasRelatedWork W2130229234 @default.
- W1810279616 hasRelatedWork W2157324300 @default.
- W1810279616 hasRelatedWork W2171001921 @default.
- W1810279616 hasRelatedWork W2189387640 @default.
- W1810279616 hasRelatedWork W2747084554 @default.
- W1810279616 hasRelatedWork W3162476872 @default.
- W1810279616 hasRelatedWork W3165398732 @default.
- W1810279616 isParatext "false" @default.
- W1810279616 isRetracted "false" @default.
- W1810279616 magId "1810279616" @default.
- W1810279616 workType "book-chapter" @default.