List of redirects
From RIF
Showing below up to 50 results starting with #1.
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)
- Sandro Hawke → User:Sandro Hawke
- RIF Working Group/Test Spec → Basic Logic Dialect
- TextExample → Test Case Example
- Chris Welty → User:ChrisWelty
- Compliance → Conformance
- Ordering → Signalling Ordering
- Terse constands and variables → Terse consts
- Test Case NegativeSyntax1 → Negative Syntax test1
- Negative Syntax test1 → Negative Syntax free vars
- Template:PositiveEntailmentTest 2 → Template:SWCTest
- PositiveEntailment Entail everything → Entail everything
- Entail everything Test Case → PositiveEntailment Entail everything
- RDFplusRIF test1 → SWC test1
- Test Case UCR4d6 → Positive Entailment UCR4d6
- PositiveEntailment UCR 4.1a → UCR 4.1a
- PositiveEntailment UC1 → PositiveEntailment UCR 4.1a
- SWC test1 → RDF Combination frame/triple correspondence
- SWC test2 → RDF Combination blank node
- PositiveEntailment UCR 4.7 → UCR 4.7
- Positive Entailment UCR4d5Part1 → UCR4d5Part1
- Positive Entailment UCR4d5Part2 → UCR4d5Part2
- Positive Entailment UCR4d6 → UCR4d6
- Negative Syntax free vars → Syntax (Negative) free vars
- Syntax (Negative) single context → Polymorphic symbols
- Negative Syntax single context → Syntax (Negative) single context
- Coverage built-ins numeric add → Built-ins numeric add
- Built-Ins numeric add → Coverage built-Ins numeric add
- Coverage built-Ins numeric add → Coverage built-ins numeric add
- Negative Entailment non-inheritance → Classification non-inheritance
- Test Case Arbitrary Entailment → Arbitrary Entailment
- Test Case Inconsistent Entailment → Inconsistent Entailment
- Test Case Local Constant → Local Constant
- Test Case Local Predicate → Local Predicate
- Test Case Disjunctive Information → Disjunctive Information
- UCR4d5Part1 → UCR 4d5Part1
- UCR4d5Part2 → UCR 4d5Part2
- UCR4d6 → UCR 4d6
- Syntax (Negative) free vars → Free variables
- Test Case Equality → Equality
- Test Case Frames → Frames
- Test Case Membership → Class Membership
- Test Case Ordered Relations → Ordered Relations
- Test Case Unordered Relations → Unordered Relations
- Template:SWCTest → Template:ImportTest
- Named Argument Uniterms/Frames 1 → Frame slots are independent
- Named Argument Uniterms Test → Named Argument Uniterms/Frames 1
- Named Argument Uniterms Test2 → Named Argument Uniterms/Frames 2
- Chaining strategy numeric-add-1 → Chaining strategy numeric-add 1
- Chaining strategy numeric-add-2 → Chaining strategy numeric-add 2
- Chaining strategy numeric-subtract-1 → Chaining strategy numeric-subtract 1
