• # FORS

• Referenced in 17 articles [sw04848]
• numerical regression. First-order logic descriptions are induced to carve out those subspaces that ... amenable to numerical regression among real-valued variables. The program FORS (First Order Regression System...
• # SQEMA

• Referenced in 40 articles [sw03056]
• Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative...
• # GEOTHER 1.1

• Referenced in 32 articles [sw02842]
• optional X is a list of variables used for internal computation. The information contained ... Chinese statement, into a first-order logical formula, or into algebraic expressions; draw...
• # SDSAT

• Referenced in 2 articles [sw00842]
• merits. We propose a novel Separation Logic Solver SDSAT that combines the strengths of both ... allocates non-uniform adequate ranges for variables appearing in separation predicates. This phase is similar ... performance and smaller ranges for variables. Furthermore, the Separation Logic formula is not transformed into...
• # N3Logic

• Referenced in 9 articles [sw02003]
• anyone can assert anything. N3Logic is a logic that allows rules to be expressed ... with syntax for nested graphs and quantified variables and with predicates for implication and accessing ... same language can be used for logic and data. In this paper, we describe N3Logic...
• # PRocH

• Referenced in 12 articles [sw10191]
• obtained by re-playing in the HOL logic the detailed inference steps recorded ... inference methods. These methods range from fast variable matching and more involved rewriting, to full...

• Referenced in 0 articles [sw18924]
• standard (Y-m-d). Boolean variables (internally stored either as 0/1 or ”True”/”False ... /blanks when exported) are coerced to logical. Variable names ending in ’_Beskrivning’ and ’_Varde’ will...
• # HOL-Omega

• Referenced in 9 articles [sw06581]
• order logic of the HOL4 system. The logic is extended to three levels, adding kinds ... terms. New types include type operator variables and universal types as in System $F$. Impredicativity ... kinds, types, and terms of the logic, as well as the new fundamental axioms...
• # NoMoRe

• Referenced in 22 articles [sw07094]
• NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm ... grounder in order to deal with variables. Furthermore, we have included an interface...
• # multi2boolean

• Referenced in 4 articles [sw25069]
• difficulties for the analysis of interaction between variables and circuit functionality, which is believed ... understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean ... that it preserves dynamics and interaction of variables in a certain manner. As a demonstration ... method for the study of multilevel logical models...
• # Kima

• Referenced in 3 articles [sw08979]
• concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence ... play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency...
• # Datalog LITE

• Referenced in 10 articles [sw28894]
• Datalog that uses stratified negation, restricted variable occurrences and a limited form of universal quantification ... expressive: It encompasses popular modal and temporal logics such as CTL or the alternation-free...
• # VMC

• Referenced in 5 articles [sw09745]
• modal transition system, possibly with additional variability constraints, after which it can automatically generate ... action- and state-based branching-time temporal logic over products and families alike...
• # Z3-str

• Referenced in 9 articles [sw19493]
• strings in terms of other primitives. The logic of the plug-in has three sorts ... string-sorted terms include string constants and variables of arbitrary length, with functions such...