Double redirects
From RIF
This page lists pages which redirect to other redirect pages.
Each row contains links to the first and second redirect, as well as the target of the second redirect, which is usually the "real" target page, which the first redirect should point to.
Crossed out entries have been solved.
Showing below up to 34 results starting with #1.
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)
- Argument names not Const (Edit) → Argument names in named-argument uniterms 1 → Argument names in uniterms 1
- Built-Ins numeric add (Edit) → Coverage built-Ins numeric add → Coverage built-ins numeric add
- Coverage built-Ins numeric add (Edit) → Coverage built-ins numeric add → Built-ins numeric add
- Test Case Disjunctive Information (Edit) → Disjunctive Information → Disjunctive Information from Negative Guards
- Disjunctive Information (Edit) → Disjunctive Information from Negative Guards → Disjunctive Information from Negative Guards 1
- Syntax (Negative) free vars (Edit) → Free variables → Quantify free variables
- UCR 4.1.3 (Edit) → Model Brain Anatomy → Modeling Brain Anatomy
- Named Argument Uniterms Test (Edit) → Named Argument Uniterms/Frames 1 → Frame slots are independent
- Named Argument Uniterms Test2 (Edit) → Named Argument Uniterms/Frames 2 → Named Argument Uniterms non-polymorphic
- Negative Syntax test1 (Edit) → Negative Syntax free vars → Syntax (Negative) free vars
- Test Case NegativeSyntax1 (Edit) → Negative Syntax test1 → Negative Syntax free vars
- Polymorphic symbols (Edit) → No polymorphic symbols → Multiple Context Error
- Test Case Ordered Relations (Edit) → Ordered Relations → Positional Arguments
- Syntax (Negative) single context (Edit) → Polymorphic symbols → No polymorphic symbols
- Entail everything Test Case (Edit) → PositiveEntailment Entail everything → Entail everything
- PositiveEntailment UC1 (Edit) → PositiveEntailment UCR 4.1a → UCR 4.1a
- Test Case UCR4d6 (Edit) → Positive Entailment UCR4d6 → UCR4d6
- Free variables (Edit) → Quantify free variables → No free variables
- SWC test2 (Edit) → RDF Combination blank node → RDF Combination Blank Node
- SWC test1 (Edit) → RDF Combination frame/triple correspondence → RDF Combination frame-triple correspondence
- RDFplusRIF test1 (Edit) → SWC test1 → RDF Combination frame/triple correspondence
- Negative Syntax free vars (Edit) → Syntax (Negative) free vars → Free variables
- Negative Syntax single context (Edit) → Syntax (Negative) single context → Polymorphic symbols
- Positive Entailment UCR4d5Part1 (Edit) → UCR4d5Part1 → UCR 4d5Part1
- Positive Entailment UCR4d5Part2 (Edit) → UCR4d5Part2 → UCR 4d5Part2
- Positive Entailment UCR4d6 (Edit) → UCR4d6 → UCR 4d6
- UCR 4.1a (Edit) → UCR 4.1.1 → EBusiness Contract
- UCR 4.7a (Edit) → UCR 4.1.3 → Model Brain Anatomy
- PositiveEntailment UCR 4.1a (Edit) → UCR 4.1a → UCR 4.1.1
- PositiveEntailment UCR 4.7 (Edit) → UCR 4.7 → UCR 4.7a
- UCR 4.7 (Edit) → UCR 4.7a → UCR 4.1.3
- Test Case Unordered Relations (Edit) → Unordered Relations → Named Arguments
- Template:SWCTest (Edit) → Template:ImportTest → Template:ImportPositiveEntailmentTest
- Template:PositiveEntailmentTest 2 (Edit) → Template:SWCTest → Template:ImportTest
