News date

This is a property of type Date.

Usage896

Filter<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>

Showing 20 pages using this property.

C

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +

June 1, 2011 +

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +

May 19, 2015 +

Combining Parallel Emptiness Checks with Partial Order Reductions +

August 2, 2019 +

Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +

June 1, 2020 +

Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +

August 31, 2022 +