Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 29 results in range #1 to #29.

On Monadic Theories of Monadic Predicates: Label: en
Hereditary Zero-One Laws for Graphs: Label: en
Choiceless Computation and Symmetry: Label: en
Logics for Two Fragments beyond the Syllogistic Boundary: Label: en
Decidability of the Class E by Maslov’s Inverse Method: Label: en
DKAL and Z3: A Logic Embedding Experiment: Label: en
Thirteen Definitions of a Stable Model: Label: en
Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics: Label: en
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories: Label: en
Definability of Combinatorial Functions and Their Linear Recurrence Relations: Label: en
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion: Label: en
Abstract State Machines and the Inquiry Process: Label: en
Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic: Label: en
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs: Label: en
ASMs and Operational Algorithmic Completeness of Lambda Calculus: Label: en
Inferring Loop Invariants Using Postconditions: Label: en
A Logic for PTIME and a Parameterized Halting Problem: Label: en
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey: Label: en
Effective Closed Subshifts in 1D Can Be Implemented in 2D: Label: en
On Complete Problems, Relativizations and Logics for Complexity Classes: Label: en
Finding Reductions Automatically: Label: en
Normalization of Some Extended Abstract State Machines: Label: en
The Quest for a Tight Translation of Büchi to co-Büchi Automata: Label: en
Three Paths to Effectiveness: Label: en
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi: Label: en
Strict Canonical Constructive Systems: Label: en
Tracking Evidence: Label: en
Database Theory, Yuri, and Me: Label: en
Yuri, Logic, and Computer Science: Label: en