Available on crate feature
rdf only.Expand description
http://mathhub.info/ulo
Constants§
- ALIGNED_
WITH http://mathhub.info/ulo#aligned-with- ALTERNATIVE_
FOR http://mathhub.info/ulo#alternative-for- ANALYZE
http://mathhub.info/ulo#cd-analyze- ANTONYM
http://mathhub.info/ulo#antonym- APPLY
http://mathhub.info/ulo#cd-apply- AUTOMATICALLY_
PROVED http://mathhub.info/ulo#automatically-proved- AXIOM
http://mathhub.info/ulo#axiom- CHECK_
TIME http://mathhub.info/ulo#check-time- COGDIM
http://mathhub.info/ulo#cognitive-dimension- CONSTRUCTS
http://mathhub.info/ulo#constructs- CONTAINS
http://mathhub.info/ulo#contains- COUNTER_
EXAMPLE_ FOR http://mathhub.info/ulo#counter-example-for- CREATE
http://mathhub.info/ulo#cd-create- CROSSREFS
http://mathhub.info/ulo#crossrefs- DECLARATION
http://mathhub.info/ulo#declaration- DECLARES
http://mathhub.info/ulo#declares- DEFINES
http://mathhub.info/ulo#defines- DEFINITION
http://mathhub.info/ulo#definition- DEPRECATED
http://mathhub.info/ulo#deprecated- DERIVED
http://mathhub.info/ulo#derived- DOCUMENT
http://mathhub.info/ulo#document- EVALUATE
http://mathhub.info/ulo#cd-evaluate- EXAMPLE
http://mathhub.info/ulo#example- EXAMPLE_
FOR http://mathhub.info/ulo#example-for- EXTENDS
http://mathhub.info/ulo#extends- FILE
http://mathhub.info/ulo#file- FOLDER
http://mathhub.info/ulo#folder- FORMALIZES
http://mathhub.info/ulo#formalizes- FUNCTION
http://mathhub.info/ulo#function- FUNCTION_
DECL http://mathhub.info/ulo#function-declaration- GENERATED_
BY http://mathhub.info/ulo#generated-by- HYPERNYM
http://mathhub.info/ulo#hypernym- HYPONYM
http://mathhub.info/ulo#hyponym- IMPORTS
http://mathhub.info/ulo#imports- INDUCTIVE_
ON http://mathhub.info/ulo#inductive-on- INSPIRED_
BY http://mathhub.info/ulo#inspired-by- INSTANCE_
OF http://mathhub.info/ulo#instance-of- INTER_
STATEMENT http://mathhub.info/ulo#inter-statement- JUSTIFIES
http://mathhub.info/ulo#justifies- LAST_
CHECKED_ AT http://mathhub.info/ulo#last-checked-at- LIBRARY
http://mathhub.info/ulo#library- LIBRARY_
GROUP http://mathhub.info/ulo#library-group- LOGICAL
http://mathhub.info/ulo#logical- MORPHISM
http://mathhub.info/ulo#morphism- NOTATION
http://mathhub.info/ulo#notation- NOTATION_
FOR http://mathhub.info/ulo#notation-for- NS
http://mathhub.info/ulo- NYMS
http://mathhub.info/ulo#nyms- OBJECTIVE
http://mathhub.info/ulo#objective- ORGANIZATIONAL
http://mathhub.info/ulo#organizational- PARA
http://mathhub.info/ulo#para- PHRASE
http://mathhub.info/ulo#phrase- PHYSICAL
http://mathhub.info/ulo#physical- POSYMBOL
http://mathhub.info/ulo#po-symbol- PRECONDITION
http://mathhub.info/ulo#precondition- PREDICATE
http://mathhub.info/ulo#predicate- PRIMITIVE
http://mathhub.info/ulo#primitive- PROBLEM
http://mathhub.info/ulo#problem- PROOF
http://mathhub.info/ulo#proof- PROPOSITION
http://mathhub.info/ulo#proposition- REMEMBER
http://mathhub.info/ulo#cd-remember- RULE
http://mathhub.info/ulo#rule- SAME_AS
http://mathhub.info/ulo#same-as- SECTION
http://mathhub.info/ulo#section- SEE_
ALSO http://mathhub.info/ulo#see-also- SIMILAR_
TO http://mathhub.info/ulo#similar-to- SIZE_
PROPERTIES http://mathhub.info/ulo#size-properties- SOURCEREF
http://mathhub.info/ulo#sourceref- SPECIFIED_
IN http://mathhub.info/ulo#specified-in- SPECIFIES
http://mathhub.info/ulo#specifies- STATEMENT
http://mathhub.info/ulo#statement- STRUCTURE
http://mathhub.info/ulo#structure- SUBPROBLEM
http://mathhub.info/ulo#subproblem- SUBPROOF
http://mathhub.info/ulo#subproof- SUPERSEDED_
BY http://mathhub.info/ulo#superseded-by- THEOREM
http://mathhub.info/ulo#theorem- THEORY
http://mathhub.info/ulo#theory- TYPE
http://mathhub.info/ulo#type- TYPE_
DECL http://mathhub.info/ulo#type-declaration- UNDERSTAND
http://mathhub.info/ulo#cd-understand- UNIVERSE
http://mathhub.info/ulo#universe- UNIVERSE_
DECL http://mathhub.info/ulo#universe-declaration- USES
http://mathhub.info/ulo#uses- VARIABLE
http://mathhub.info/ulo#variable