Jump to content

Information for "Decidability (logic)"

Basic information

Display titleDecidability (logic)
Default sort keyDecidability (Logic)
Page length (in bytes)16,340
Namespace ID0
Page ID913118
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of page watchers99
Number of page watchers who visited in the last 30 days8
Number of redirects to this page6
Counted as a content pageYes
Wikidata item IDQ430001
Local descriptionWhether a decision problem has an effective method to derive the answer
Central descriptionproperty of theories that have computable membership
Page views in the past 30 days

Page protection

EditAllow all users (no expiry set)
MoveAllow all users (no expiry set)
View the protection log for this page.

Edit history

Page creatorAugPi (talk | contribs)
Date of page creation22:07, 19 August 2004
Latest editorKku (talk | contribs)
Date of latest edit20:59, 8 May 2024
Total number of edits260
Recent number of edits (within past 30 days)0
Recent number of distinct authors0

Page properties

Hidden categories (10)

This page is a member of 10 hidden categories (help):

Transcluded templates (64)

Pages transcluded onto the current version of this page (help):

Wikidata entities used in this page
  • decidability
    • Sitelink
    • Title
    • Some statements
    • Miscellaneous (e.g. aliases, entity existence)
    • Description: en

External tools