About: Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
value	Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
subject	Concepts in logic Mathematical terminology Binary relations Formal systems Mathematical axioms »more»
part of	Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
is hasSource of	covid:ann/target/ecd0e48d8c9d1ec657532d9f785a411540a51c8a covid:ann/target/cf13f85efa0ae38620baeff748c59b95bf4ea948 covid:ann/target/0bcbf2705d096e02b54fcb2b911f8926f8066444 covid:ann/target/5ef4ff49b467da1b03551329177e031f878e7f6e covid:ann/target/e9af82a7b2cc08eb1654e3607f18e0b2e1eff95a »more»
is resource representing a document's title of	Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software