diff --git a/experimental/ulo/coq-predicates.txt b/experimental/ulo/coq-predicates.txt
index 6c06a528ef11a2e3b098470c98d5f36c5fda34f4..c40af87163a0cc2781776d3b2748034d29480e66 100644
--- a/experimental/ulo/coq-predicates.txt
+++ b/experimental/ulo/coq-predicates.txt
@@ -1,177 +1,177 @@
-0 - https://mathhub.info/ulo#action-times
-0 - https://mathhub.info/ulo#aligned-with
-0 - https://mathhub.info/ulo#alternative-for
-0 - https://mathhub.info/ulo#antonym
-0 - https://mathhub.info/ulo#automatically-proved
-571 - https://mathhub.info/ulo#axiom
-0 - https://mathhub.info/ulo#check-time
-0 - https://mathhub.info/ulo#constructs
-0 - https://mathhub.info/ulo#contains
-0 - https://mathhub.info/ulo#counter-example-for
-0 - https://mathhub.info/ulo#crossrefs
-0 - https://mathhub.info/ulo#declaration
-0 - https://mathhub.info/ulo#defines
-5813 - https://mathhub.info/ulo#definition
-0 - https://mathhub.info/ulo#deprecated
-69017 - https://mathhub.info/ulo#derived
-0 - https://mathhub.info/ulo#docref
-40 - https://mathhub.info/ulo#example
-0 - https://mathhub.info/ulo#example-for
-0 - https://mathhub.info/ulo#experimental
-0 - https://mathhub.info/ulo#external-size
-494 - https://mathhub.info/ulo#file
-54 - https://mathhub.info/ulo#folder
-0 - https://mathhub.info/ulo#formalizes
-0 - https://mathhub.info/ulo#function
-0 - https://mathhub.info/ulo#generated-by
-0 - https://mathhub.info/ulo#hypernym
-0 - https://mathhub.info/ulo#hyponym
-0 - https://mathhub.info/ulo#implementation-uses
-0 - https://mathhub.info/ulo#implementation-uses-implementation-of
-0 - https://mathhub.info/ulo#implementation-uses-interface-of
-0 - https://mathhub.info/ulo#important
-0 - https://mathhub.info/ulo#inductive-on
-0 - https://mathhub.info/ulo#inspired-by
-0 - https://mathhub.info/ulo#instance-of
-0 - https://mathhub.info/ulo#inter-statement
-0 - https://mathhub.info/ulo#interface-uses
-0 - https://mathhub.info/ulo#interface-uses-implementation-of
-0 - https://mathhub.info/ulo#interface-uses-interface-of
-82336 - https://mathhub.info/ulo#internal-size
-0 - https://mathhub.info/ulo#justifies
-0 - https://mathhub.info/ulo#last-checked-at
-1 - https://mathhub.info/ulo#library
-1 - https://mathhub.info/ulo#library-group
-0 - https://mathhub.info/ulo#logical
-0 - https://mathhub.info/ulo#mutual-block
-0 - https://mathhub.info/ulo#name
-0 - https://mathhub.info/ulo#nyms
-0 - https://mathhub.info/ulo#organizational
-0 - https://mathhub.info/ulo#para
-0 - https://mathhub.info/ulo#paratype
-0 - https://mathhub.info/ulo#phrase
-0 - https://mathhub.info/ulo#physical
-220 - https://mathhub.info/ulo#predicate
-14459 - https://mathhub.info/ulo#primitive
-0 - https://mathhub.info/ulo#proof
-10437 - https://mathhub.info/ulo#proposition
-1 - https://mathhub.info/ulo#revision
-0 - https://mathhub.info/ulo#rule
-0 - https://mathhub.info/ulo#same-as
-0 - https://mathhub.info/ulo#section
-0 - https://mathhub.info/ulo#see-also
-0 - https://mathhub.info/ulo#similar-to
-0 - https://mathhub.info/ulo#size-properties
-0 - https://mathhub.info/ulo#sourceref
-0 - https://mathhub.info/ulo#specified-in
-0 - https://mathhub.info/ulo#specifies
-44638 - https://mathhub.info/ulo#statement
-0 - https://mathhub.info/ulo#superseded-by
-0 - https://mathhub.info/ulo#theorem
-2651 - https://mathhub.info/ulo#theory
-1651 - https://mathhub.info/ulo#type
-0 - https://mathhub.info/ulo#typedec
-0 - https://mathhub.info/ulo#unimportant
-0 - https://mathhub.info/ulo#universe
-1160140 - https://mathhub.info/ulo#uses
-0 - https://mathhub.info/ulo#uses-implementation
-0 - https://mathhub.info/ulo#uses-interface
+0,https://mathhub.info/ulo#action-times
+0,https://mathhub.info/ulo#aligned-with
+0,https://mathhub.info/ulo#alternative-for
+0,https://mathhub.info/ulo#antonym
+0,https://mathhub.info/ulo#automatically-proved
+571,https://mathhub.info/ulo#axiom
+0,https://mathhub.info/ulo#check-time
+0,https://mathhub.info/ulo#constructs
+0,https://mathhub.info/ulo#contains
+0,https://mathhub.info/ulo#counter-example-for
+0,https://mathhub.info/ulo#crossrefs
+0,https://mathhub.info/ulo#declaration
+0,https://mathhub.info/ulo#defines
+5813,https://mathhub.info/ulo#definition
+0,https://mathhub.info/ulo#deprecated
+69017,https://mathhub.info/ulo#derived
+0,https://mathhub.info/ulo#docref
+40,https://mathhub.info/ulo#example
+0,https://mathhub.info/ulo#example-for
+0,https://mathhub.info/ulo#experimental
+0,https://mathhub.info/ulo#external-size
+494,https://mathhub.info/ulo#file
+54,https://mathhub.info/ulo#folder
+0,https://mathhub.info/ulo#formalizes
+0,https://mathhub.info/ulo#function
+0,https://mathhub.info/ulo#generated-by
+0,https://mathhub.info/ulo#hypernym
+0,https://mathhub.info/ulo#hyponym
+0,https://mathhub.info/ulo#implementation-uses
+0,https://mathhub.info/ulo#implementation-uses-implementation-of
+0,https://mathhub.info/ulo#implementation-uses-interface-of
+0,https://mathhub.info/ulo#important
+0,https://mathhub.info/ulo#inductive-on
+0,https://mathhub.info/ulo#inspired-by
+0,https://mathhub.info/ulo#instance-of
+0,https://mathhub.info/ulo#inter-statement
+0,https://mathhub.info/ulo#interface-uses
+0,https://mathhub.info/ulo#interface-uses-implementation-of
+0,https://mathhub.info/ulo#interface-uses-interface-of
+82336,https://mathhub.info/ulo#internal-size
+0,https://mathhub.info/ulo#justifies
+0,https://mathhub.info/ulo#last-checked-at
+1,https://mathhub.info/ulo#library
+1,https://mathhub.info/ulo#library-group
+0,https://mathhub.info/ulo#logical
+0,https://mathhub.info/ulo#mutual-block
+0,https://mathhub.info/ulo#name
+0,https://mathhub.info/ulo#nyms
+0,https://mathhub.info/ulo#organizational
+0,https://mathhub.info/ulo#para
+0,https://mathhub.info/ulo#paratype
+0,https://mathhub.info/ulo#phrase
+0,https://mathhub.info/ulo#physical
+220,https://mathhub.info/ulo#predicate
+14459,https://mathhub.info/ulo#primitive
+0,https://mathhub.info/ulo#proof
+10437,https://mathhub.info/ulo#proposition
+1,https://mathhub.info/ulo#revision
+0,https://mathhub.info/ulo#rule
+0,https://mathhub.info/ulo#same-as
+0,https://mathhub.info/ulo#section
+0,https://mathhub.info/ulo#see-also
+0,https://mathhub.info/ulo#similar-to
+0,https://mathhub.info/ulo#size-properties
+0,https://mathhub.info/ulo#sourceref
+0,https://mathhub.info/ulo#specified-in
+0,https://mathhub.info/ulo#specifies
+44638,https://mathhub.info/ulo#statement
+0,https://mathhub.info/ulo#superseded-by
+0,https://mathhub.info/ulo#theorem
+2651,https://mathhub.info/ulo#theory
+1651,https://mathhub.info/ulo#type
+0,https://mathhub.info/ulo#typedec
+0,https://mathhub.info/ulo#unimportant
+0,https://mathhub.info/ulo#universe
+1160140,https://mathhub.info/ulo#uses
+0,https://mathhub.info/ulo#uses-implementation
+0,https://mathhub.info/ulo#uses-interface
-0 - http://purl.org/dc/terms/abstract
-0 - http://purl.org/dc/terms/accessRights
-0 - http://purl.org/dc/terms/accrualMethod
-0 - http://purl.org/dc/terms/accrualPeriodicity
-0 - http://purl.org/dc/terms/accrualPolicy
-0 - http://purl.org/dc/terms/Agent
-0 - http://purl.org/dc/terms/AgentClass
-0 - http://purl.org/dc/terms/alternative
-0 - http://purl.org/dc/terms/audience
-0 - http://purl.org/dc/terms/available
-0 - http://purl.org/dc/terms/bibliographicCitation
-0 - http://purl.org/dc/terms/BibliographicResource
-0 - http://purl.org/dc/terms/Box
-0 - http://purl.org/dc/terms/conformsTo
-1 - http://purl.org/dc/terms/contributor
-0 - http://purl.org/dc/terms/coverage
-0 - http://purl.org/dc/terms/created
-0 - http://purl.org/dc/terms/creator
-0 - http://purl.org/dc/terms/date
-0 - http://purl.org/dc/terms/dateAccepted
-0 - http://purl.org/dc/terms/dateCopyrighted
-0 - http://purl.org/dc/terms/dateSubmitted
-0 - http://purl.org/dc/terms/DCMIType
-0 - http://purl.org/dc/terms/DDC
-0 - http://purl.org/dc/terms/description
-0 - http://purl.org/dc/terms/educationLevel
-0 - http://purl.org/dc/terms/extent
-0 - http://purl.org/dc/terms/FileFormat
-0 - http://purl.org/dc/terms/format
-0 - http://purl.org/dc/terms/Frequency
-0 - http://purl.org/dc/terms/hasFormat
-0 - http://purl.org/dc/terms/hasPart
-0 - http://purl.org/dc/terms/hasVersion
-0 - http://purl.org/dc/terms/identifier
-0 - http://purl.org/dc/terms/IMT
-0 - http://purl.org/dc/terms/instructionalMethod
-0 - http://purl.org/dc/terms/isFormatOf
-0 - http://purl.org/dc/terms/ISO3166
-0 - http://purl.org/dc/terms/ISO639-2
-0 - http://purl.org/dc/terms/ISO639-3
-0 - http://purl.org/dc/terms/isPartOf
-0 - http://purl.org/dc/terms/isReferencedBy
-0 - http://purl.org/dc/terms/isReplacedBy
-0 - http://purl.org/dc/terms/isRequiredBy
-0 - http://purl.org/dc/terms/issued
-0 - http://purl.org/dc/terms/isVersionOf
-0 - http://purl.org/dc/terms/Jurisdiction
-0 - http://purl.org/dc/terms/language
-0 - http://purl.org/dc/terms/LCC
-0 - http://purl.org/dc/terms/LCSH
-1 - http://purl.org/dc/terms/license
-0 - http://purl.org/dc/terms/LicenseDocument
-0 - http://purl.org/dc/terms/LinguisticSystem
-0 - http://purl.org/dc/terms/Location
-0 - http://purl.org/dc/terms/LocationPeriodOrJurisdiction
-0 - http://purl.org/dc/terms/mediator
-0 - http://purl.org/dc/terms/MediaType
-0 - http://purl.org/dc/terms/MediaTypeOrExtent
-0 - http://purl.org/dc/terms/medium
-0 - http://purl.org/dc/terms/MESH
-0 - http://purl.org/dc/terms/MethodOfAccrual
-0 - http://purl.org/dc/terms/MethodOfInstruction
-0 - http://purl.org/dc/terms/modified
-0 - http://purl.org/dc/terms/NLM
-0 - http://purl.org/dc/terms/Period
-0 - http://purl.org/dc/terms/PeriodOfTime
-0 - http://purl.org/dc/terms/PhysicalMedium
-0 - http://purl.org/dc/terms/PhysicalResource
-0 - http://purl.org/dc/terms/Point
-0 - http://purl.org/dc/terms/Policy
-0 - http://purl.org/dc/terms/provenance
-0 - http://purl.org/dc/terms/ProvenanceStatement
-0 - http://purl.org/dc/terms/publisher
-0 - http://purl.org/dc/terms/references
-0 - http://purl.org/dc/terms/relation
-0 - http://purl.org/dc/terms/replaces
-4 - http://purl.org/dc/terms/requires
-0 - http://purl.org/dc/terms/RFC1766
-0 - http://purl.org/dc/terms/RFC3066
-0 - http://purl.org/dc/terms/RFC4646
-0 - http://purl.org/dc/terms/RFC5646
-0 - http://purl.org/dc/terms/rights
-0 - http://purl.org/dc/terms/rightsHolder
-0 - http://purl.org/dc/terms/RightsStatement
-0 - http://purl.org/dc/terms/SizeOrDuration
-1 - http://purl.org/dc/terms/source
-0 - http://purl.org/dc/terms/spatial
-0 - http://purl.org/dc/terms/Standard
-0 - http://purl.org/dc/terms/subject
-0 - http://purl.org/dc/terms/tableOfContents
-0 - http://purl.org/dc/terms/temporal
-0 - http://purl.org/dc/terms/TGN
-0 - http://purl.org/dc/terms/title
-0 - http://purl.org/dc/terms/type
-0 - http://purl.org/dc/terms/UDC
-0 - http://purl.org/dc/terms/URI
-0 - http://purl.org/dc/terms/valid
-0 - http://purl.org/dc/terms/W3CDTF
+0,http://purl.org/dc/terms/abstract
+0,http://purl.org/dc/terms/accessRights
+0,http://purl.org/dc/terms/accrualMethod
+0,http://purl.org/dc/terms/accrualPeriodicity
+0,http://purl.org/dc/terms/accrualPolicy
+0,http://purl.org/dc/terms/Agent
+0,http://purl.org/dc/terms/AgentClass
+0,http://purl.org/dc/terms/alternative
+0,http://purl.org/dc/terms/audience
+0,http://purl.org/dc/terms/available
+0,http://purl.org/dc/terms/bibliographicCitation
+0,http://purl.org/dc/terms/BibliographicResource
+0,http://purl.org/dc/terms/Box
+0,http://purl.org/dc/terms/conformsTo
+1,http://purl.org/dc/terms/contributor
+0,http://purl.org/dc/terms/coverage
+0,http://purl.org/dc/terms/created
+0,http://purl.org/dc/terms/creator
+0,http://purl.org/dc/terms/date
+0,http://purl.org/dc/terms/dateAccepted
+0,http://purl.org/dc/terms/dateCopyrighted
+0,http://purl.org/dc/terms/dateSubmitted
+0,http://purl.org/dc/terms/DCMIType
+0,http://purl.org/dc/terms/DDC
+0,http://purl.org/dc/terms/description
+0,http://purl.org/dc/terms/educationLevel
+0,http://purl.org/dc/terms/extent
+0,http://purl.org/dc/terms/FileFormat
+0,http://purl.org/dc/terms/format
+0,http://purl.org/dc/terms/Frequency
+0,http://purl.org/dc/terms/hasFormat
+0,http://purl.org/dc/terms/hasPart
+0,http://purl.org/dc/terms/hasVersion
+0,http://purl.org/dc/terms/identifier
+0,http://purl.org/dc/terms/IMT
+0,http://purl.org/dc/terms/instructionalMethod
+0,http://purl.org/dc/terms/isFormatOf
+0,http://purl.org/dc/terms/ISO3166
+0,http://purl.org/dc/terms/ISO639-2
+0,http://purl.org/dc/terms/ISO639-3
+0,http://purl.org/dc/terms/isPartOf
+0,http://purl.org/dc/terms/isReferencedBy
+0,http://purl.org/dc/terms/isReplacedBy
+0,http://purl.org/dc/terms/isRequiredBy
+0,http://purl.org/dc/terms/issued
+0,http://purl.org/dc/terms/isVersionOf
+0,http://purl.org/dc/terms/Jurisdiction
+0,http://purl.org/dc/terms/language
+0,http://purl.org/dc/terms/LCC
+0,http://purl.org/dc/terms/LCSH
+1,http://purl.org/dc/terms/license
+0,http://purl.org/dc/terms/LicenseDocument
+0,http://purl.org/dc/terms/LinguisticSystem
+0,http://purl.org/dc/terms/Location
+0,http://purl.org/dc/terms/LocationPeriodOrJurisdiction
+0,http://purl.org/dc/terms/mediator
+0,http://purl.org/dc/terms/MediaType
+0,http://purl.org/dc/terms/MediaTypeOrExtent
+0,http://purl.org/dc/terms/medium
+0,http://purl.org/dc/terms/MESH
+0,http://purl.org/dc/terms/MethodOfAccrual
+0,http://purl.org/dc/terms/MethodOfInstruction
+0,http://purl.org/dc/terms/modified
+0,http://purl.org/dc/terms/NLM
+0,http://purl.org/dc/terms/Period
+0,http://purl.org/dc/terms/PeriodOfTime
+0,http://purl.org/dc/terms/PhysicalMedium
+0,http://purl.org/dc/terms/PhysicalResource
+0,http://purl.org/dc/terms/Point
+0,http://purl.org/dc/terms/Policy
+0,http://purl.org/dc/terms/provenance
+0,http://purl.org/dc/terms/ProvenanceStatement
+0,http://purl.org/dc/terms/publisher
+0,http://purl.org/dc/terms/references
+0,http://purl.org/dc/terms/relation
+0,http://purl.org/dc/terms/replaces
+4,http://purl.org/dc/terms/requires
+0,http://purl.org/dc/terms/RFC1766
+0,http://purl.org/dc/terms/RFC3066
+0,http://purl.org/dc/terms/RFC4646
+0,http://purl.org/dc/terms/RFC5646
+0,http://purl.org/dc/terms/rights
+0,http://purl.org/dc/terms/rightsHolder
+0,http://purl.org/dc/terms/RightsStatement
+0,http://purl.org/dc/terms/SizeOrDuration
+1,http://purl.org/dc/terms/source
+0,http://purl.org/dc/terms/spatial
+0,http://purl.org/dc/terms/Standard
+0,http://purl.org/dc/terms/subject
+0,http://purl.org/dc/terms/tableOfContents
+0,http://purl.org/dc/terms/temporal
+0,http://purl.org/dc/terms/TGN
+0,http://purl.org/dc/terms/title
+0,http://purl.org/dc/terms/type
+0,http://purl.org/dc/terms/UDC
+0,http://purl.org/dc/terms/URI
+0,http://purl.org/dc/terms/valid
+0,http://purl.org/dc/terms/W3CDTF
diff --git a/experimental/ulo/generate-table.py b/experimental/ulo/generate-table.py
new file mode 100755
index 0000000000000000000000000000000000000000..6d2bca92e062a16279f7d44f40bfdd67606c6576
--- /dev/null
+++ b/experimental/ulo/generate-table.py
@@ -0,0 +1,69 @@
+#! /usr/bin/env python3
+
+#
+# generate-table.py
+#
+# Given CSV data passed on stdin with two columns (number of
+# occurences, URI), create a LaTeX table to represent this data.
+#
+
+
+from typing import Tuple
+import csv
+import sys
+
+
+def print_header():
+ LATEX_HEADER = (
+ r'''\begin{table}[]
+ \centering
+ \small
+ \begin{tabularx}{\textwidth}{lll}
+ \toprule
+ Predicate & \multicolumn{1}{l}{Use in Isabelle Library} & \multicolumn{1}{l}{Use in Coq Library} \\ \midrule'''
+ )
+
+ print(LATEX_HEADER)
+
+
+def print_row(line: Tuple[str]):
+ ULO_NAMESPACE = 'https://mathhub.info/ulo#'
+ DCTERMS_NAMESPACE = 'http://purl.org/dc/terms/'
+
+ count = line[0]
+ predicate = line[1]
+
+ predicate = predicate.replace(ULO_NAMESPACE, 'ulo:')
+ predicate = predicate.replace(DCTERMS_NAMESPACE, 'dcterms:')
+
+ template = r' %s & %s & %s \\'
+ print(template % (predicate, count, count))
+
+
+def print_rows():
+ for row in csv.reader(sys.stdin):
+ if row:
+ print_row(row)
+
+
+def print_footer():
+ LATEX_FOOTER = (
+ r'''\end{tabularx}
+ \caption{Absolute number of ocurrences of ULO predicates in exports from existing libraries.}\label{tab:exports}
+ \end{table}'''
+ )
+
+ print(LATEX_FOOTER)
+
+
+def main():
+ print_header()
+ print_rows()
+ print_footer()
+
+
+if __name__ == '__main__':
+ try:
+ main()
+ except (KeyboardInterrupt, SystemExit, BrokenPipeError):
+ pass
diff --git a/experimental/ulo/isabelle-predicates.txt b/experimental/ulo/isabelle-predicates.txt
index da9e09d819999a2e98f8d1ec7431a7f78f8575f8..6aa64357747f2b40a2f7f01cf3f6dada83653de7 100644
--- a/experimental/ulo/isabelle-predicates.txt
+++ b/experimental/ulo/isabelle-predicates.txt
@@ -1,177 +1,177 @@
-0 - https://mathhub.info/ulo#action-times
-0 - https://mathhub.info/ulo#aligned-with
-0 - https://mathhub.info/ulo#alternative-for
-0 - https://mathhub.info/ulo#antonym
-0 - https://mathhub.info/ulo#automatically-proved
-0 - https://mathhub.info/ulo#axiom
-131601 - https://mathhub.info/ulo#check-time
-0 - https://mathhub.info/ulo#constructs
-0 - https://mathhub.info/ulo#contains
-0 - https://mathhub.info/ulo#counter-example-for
-0 - https://mathhub.info/ulo#crossrefs
-0 - https://mathhub.info/ulo#declaration
-233523 - https://mathhub.info/ulo#defines
-1024932 - https://mathhub.info/ulo#definition
-0 - https://mathhub.info/ulo#deprecated
-1545427 - https://mathhub.info/ulo#derived
-0 - https://mathhub.info/ulo#docref
-0 - https://mathhub.info/ulo#example
-0 - https://mathhub.info/ulo#example-for
-41298 - https://mathhub.info/ulo#experimental
-7040 - https://mathhub.info/ulo#external-size
-0 - https://mathhub.info/ulo#file
-0 - https://mathhub.info/ulo#folder
-0 - https://mathhub.info/ulo#formalizes
-167694 - https://mathhub.info/ulo#function
-0 - https://mathhub.info/ulo#generated-by
-0 - https://mathhub.info/ulo#hypernym
-0 - https://mathhub.info/ulo#hyponym
-0 - https://mathhub.info/ulo#implementation-uses
-0 - https://mathhub.info/ulo#implementation-uses-implementation-of
-0 - https://mathhub.info/ulo#implementation-uses-interface-of
-1495 - https://mathhub.info/ulo#important
-3148 - https://mathhub.info/ulo#inductive-on
-0 - https://mathhub.info/ulo#inspired-by
-5246 - https://mathhub.info/ulo#instance-of
-0 - https://mathhub.info/ulo#inter-statement
-0 - https://mathhub.info/ulo#interface-uses
-0 - https://mathhub.info/ulo#interface-uses-implementation-of
-0 - https://mathhub.info/ulo#interface-uses-interface-of
-0 - https://mathhub.info/ulo#internal-size
-534988 - https://mathhub.info/ulo#justifies
-0 - https://mathhub.info/ulo#last-checked-at
-0 - https://mathhub.info/ulo#library
-0 - https://mathhub.info/ulo#library-group
-0 - https://mathhub.info/ulo#logical
-0 - https://mathhub.info/ulo#mutual-block
-2175591 - https://mathhub.info/ulo#name
-0 - https://mathhub.info/ulo#nyms
-0 - https://mathhub.info/ulo#organizational
-241708 - https://mathhub.info/ulo#para
-241708 - https://mathhub.info/ulo#paratype
-0 - https://mathhub.info/ulo#phrase
-0 - https://mathhub.info/ulo#physical
-79157 - https://mathhub.info/ulo#predicate
-1356 - https://mathhub.info/ulo#primitive
-0 - https://mathhub.info/ulo#proof
-0 - https://mathhub.info/ulo#proposition
-0 - https://mathhub.info/ulo#revision
-0 - https://mathhub.info/ulo#rule
-0 - https://mathhub.info/ulo#same-as
-29551 - https://mathhub.info/ulo#section
-0 - https://mathhub.info/ulo#see-also
-0 - https://mathhub.info/ulo#similar-to
-0 - https://mathhub.info/ulo#size-properties
-2145989 - https://mathhub.info/ulo#sourceref
-2215971 - https://mathhub.info/ulo#specified-in
-2215971 - https://mathhub.info/ulo#specifies
-1538234 - https://mathhub.info/ulo#statement
-0 - https://mathhub.info/ulo#superseded-by
-0 - https://mathhub.info/ulo#theorem
-12423 - https://mathhub.info/ulo#theory
-12243 - https://mathhub.info/ulo#type
-0 - https://mathhub.info/ulo#typedec
-551 - https://mathhub.info/ulo#unimportant
-1264 - https://mathhub.info/ulo#universe
-209417517 - https://mathhub.info/ulo#uses
-0 - https://mathhub.info/ulo#uses-implementation
-0 - https://mathhub.info/ulo#uses-interface
+0,https://mathhub.info/ulo#action-times
+0,https://mathhub.info/ulo#aligned-with
+0,https://mathhub.info/ulo#alternative-for
+0,https://mathhub.info/ulo#antonym
+0,https://mathhub.info/ulo#automatically-proved
+0,https://mathhub.info/ulo#axiom
+131601,https://mathhub.info/ulo#check-time
+0,https://mathhub.info/ulo#constructs
+0,https://mathhub.info/ulo#contains
+0,https://mathhub.info/ulo#counter-example-for
+0,https://mathhub.info/ulo#crossrefs
+0,https://mathhub.info/ulo#declaration
+233523,https://mathhub.info/ulo#defines
+1024932,https://mathhub.info/ulo#definition
+0,https://mathhub.info/ulo#deprecated
+1545427,https://mathhub.info/ulo#derived
+0,https://mathhub.info/ulo#docref
+0,https://mathhub.info/ulo#example
+0,https://mathhub.info/ulo#example-for
+41298,https://mathhub.info/ulo#experimental
+7040,https://mathhub.info/ulo#external-size
+0,https://mathhub.info/ulo#file
+0,https://mathhub.info/ulo#folder
+0,https://mathhub.info/ulo#formalizes
+167694,https://mathhub.info/ulo#function
+0,https://mathhub.info/ulo#generated-by
+0,https://mathhub.info/ulo#hypernym
+0,https://mathhub.info/ulo#hyponym
+0,https://mathhub.info/ulo#implementation-uses
+0,https://mathhub.info/ulo#implementation-uses-implementation-of
+0,https://mathhub.info/ulo#implementation-uses-interface-of
+1495,https://mathhub.info/ulo#important
+3148,https://mathhub.info/ulo#inductive-on
+0,https://mathhub.info/ulo#inspired-by
+5246,https://mathhub.info/ulo#instance-of
+0,https://mathhub.info/ulo#inter-statement
+0,https://mathhub.info/ulo#interface-uses
+0,https://mathhub.info/ulo#interface-uses-implementation-of
+0,https://mathhub.info/ulo#interface-uses-interface-of
+0,https://mathhub.info/ulo#internal-size
+534988,https://mathhub.info/ulo#justifies
+0,https://mathhub.info/ulo#last-checked-at
+0,https://mathhub.info/ulo#library
+0,https://mathhub.info/ulo#library-group
+0,https://mathhub.info/ulo#logical
+0,https://mathhub.info/ulo#mutual-block
+2175591,https://mathhub.info/ulo#name
+0,https://mathhub.info/ulo#nyms
+0,https://mathhub.info/ulo#organizational
+241708,https://mathhub.info/ulo#para
+241708,https://mathhub.info/ulo#paratype
+0,https://mathhub.info/ulo#phrase
+0,https://mathhub.info/ulo#physical
+79157,https://mathhub.info/ulo#predicate
+1356,https://mathhub.info/ulo#primitive
+0,https://mathhub.info/ulo#proof
+0,https://mathhub.info/ulo#proposition
+0,https://mathhub.info/ulo#revision
+0,https://mathhub.info/ulo#rule
+0,https://mathhub.info/ulo#same-as
+29551,https://mathhub.info/ulo#section
+0,https://mathhub.info/ulo#see-also
+0,https://mathhub.info/ulo#similar-to
+0,https://mathhub.info/ulo#size-properties
+2145989,https://mathhub.info/ulo#sourceref
+2215971,https://mathhub.info/ulo#specified-in
+2215971,https://mathhub.info/ulo#specifies
+1538234,https://mathhub.info/ulo#statement
+0,https://mathhub.info/ulo#superseded-by
+0,https://mathhub.info/ulo#theorem
+12423,https://mathhub.info/ulo#theory
+12243,https://mathhub.info/ulo#type
+0,https://mathhub.info/ulo#typedec
+551,https://mathhub.info/ulo#unimportant
+1264,https://mathhub.info/ulo#universe
+209417517,https://mathhub.info/ulo#uses
+0,https://mathhub.info/ulo#uses-implementation
+0,https://mathhub.info/ulo#uses-interface
-0 - http://purl.org/dc/terms/abstract
-0 - http://purl.org/dc/terms/accessRights
-0 - http://purl.org/dc/terms/accrualMethod
-0 - http://purl.org/dc/terms/accrualPeriodicity
-0 - http://purl.org/dc/terms/accrualPolicy
-0 - http://purl.org/dc/terms/Agent
-0 - http://purl.org/dc/terms/AgentClass
-0 - http://purl.org/dc/terms/alternative
-0 - http://purl.org/dc/terms/audience
-0 - http://purl.org/dc/terms/available
-0 - http://purl.org/dc/terms/bibliographicCitation
-0 - http://purl.org/dc/terms/BibliographicResource
-0 - http://purl.org/dc/terms/Box
-0 - http://purl.org/dc/terms/conformsTo
-106 - http://purl.org/dc/terms/contributor
-0 - http://purl.org/dc/terms/coverage
-0 - http://purl.org/dc/terms/created
-4 - http://purl.org/dc/terms/creator
-0 - http://purl.org/dc/terms/date
-0 - http://purl.org/dc/terms/dateAccepted
-0 - http://purl.org/dc/terms/dateCopyrighted
-0 - http://purl.org/dc/terms/dateSubmitted
-0 - http://purl.org/dc/terms/DCMIType
-0 - http://purl.org/dc/terms/DDC
-0 - http://purl.org/dc/terms/description
-0 - http://purl.org/dc/terms/educationLevel
-0 - http://purl.org/dc/terms/extent
-0 - http://purl.org/dc/terms/FileFormat
-0 - http://purl.org/dc/terms/format
-0 - http://purl.org/dc/terms/Frequency
-0 - http://purl.org/dc/terms/hasFormat
-0 - http://purl.org/dc/terms/hasPart
-0 - http://purl.org/dc/terms/hasVersion
-0 - http://purl.org/dc/terms/identifier
-0 - http://purl.org/dc/terms/IMT
-0 - http://purl.org/dc/terms/instructionalMethod
-0 - http://purl.org/dc/terms/isFormatOf
-0 - http://purl.org/dc/terms/ISO3166
-0 - http://purl.org/dc/terms/ISO639-2
-0 - http://purl.org/dc/terms/ISO639-3
-0 - http://purl.org/dc/terms/isPartOf
-0 - http://purl.org/dc/terms/isReferencedBy
-0 - http://purl.org/dc/terms/isReplacedBy
-0 - http://purl.org/dc/terms/isRequiredBy
-0 - http://purl.org/dc/terms/issued
-0 - http://purl.org/dc/terms/isVersionOf
-0 - http://purl.org/dc/terms/Jurisdiction
-0 - http://purl.org/dc/terms/language
-0 - http://purl.org/dc/terms/LCC
-0 - http://purl.org/dc/terms/LCSH
-1742 - http://purl.org/dc/terms/license
-0 - http://purl.org/dc/terms/LicenseDocument
-0 - http://purl.org/dc/terms/LinguisticSystem
-0 - http://purl.org/dc/terms/Location
-0 - http://purl.org/dc/terms/LocationPeriodOrJurisdiction
-0 - http://purl.org/dc/terms/mediator
-0 - http://purl.org/dc/terms/MediaType
-0 - http://purl.org/dc/terms/MediaTypeOrExtent
-0 - http://purl.org/dc/terms/medium
-0 - http://purl.org/dc/terms/MESH
-0 - http://purl.org/dc/terms/MethodOfAccrual
-0 - http://purl.org/dc/terms/MethodOfInstruction
-0 - http://purl.org/dc/terms/modified
-0 - http://purl.org/dc/terms/NLM
-0 - http://purl.org/dc/terms/Period
-0 - http://purl.org/dc/terms/PeriodOfTime
-0 - http://purl.org/dc/terms/PhysicalMedium
-0 - http://purl.org/dc/terms/PhysicalResource
-0 - http://purl.org/dc/terms/Point
-0 - http://purl.org/dc/terms/Policy
-0 - http://purl.org/dc/terms/provenance
-0 - http://purl.org/dc/terms/ProvenanceStatement
-0 - http://purl.org/dc/terms/publisher
-0 - http://purl.org/dc/terms/references
-0 - http://purl.org/dc/terms/relation
-0 - http://purl.org/dc/terms/replaces
-4 - http://purl.org/dc/terms/requires
-0 - http://purl.org/dc/terms/RFC1766
-0 - http://purl.org/dc/terms/RFC3066
-0 - http://purl.org/dc/terms/RFC4646
-0 - http://purl.org/dc/terms/RFC5646
-0 - http://purl.org/dc/terms/rights
-0 - http://purl.org/dc/terms/rightsHolder
-0 - http://purl.org/dc/terms/RightsStatement
-0 - http://purl.org/dc/terms/SizeOrDuration
-1 - http://purl.org/dc/terms/source
-0 - http://purl.org/dc/terms/spatial
-0 - http://purl.org/dc/terms/Standard
-0 - http://purl.org/dc/terms/subject
-0 - http://purl.org/dc/terms/tableOfContents
-0 - http://purl.org/dc/terms/temporal
-0 - http://purl.org/dc/terms/TGN
-0 - http://purl.org/dc/terms/title
-0 - http://purl.org/dc/terms/type
-0 - http://purl.org/dc/terms/UDC
-0 - http://purl.org/dc/terms/URI
-0 - http://purl.org/dc/terms/valid
-0 - http://purl.org/dc/terms/W3CDTF
+0,http://purl.org/dc/terms/abstract
+0,http://purl.org/dc/terms/accessRights
+0,http://purl.org/dc/terms/accrualMethod
+0,http://purl.org/dc/terms/accrualPeriodicity
+0,http://purl.org/dc/terms/accrualPolicy
+0,http://purl.org/dc/terms/Agent
+0,http://purl.org/dc/terms/AgentClass
+0,http://purl.org/dc/terms/alternative
+0,http://purl.org/dc/terms/audience
+0,http://purl.org/dc/terms/available
+0,http://purl.org/dc/terms/bibliographicCitation
+0,http://purl.org/dc/terms/BibliographicResource
+0,http://purl.org/dc/terms/Box
+0,http://purl.org/dc/terms/conformsTo
+106,http://purl.org/dc/terms/contributor
+0,http://purl.org/dc/terms/coverage
+0,http://purl.org/dc/terms/created
+4,http://purl.org/dc/terms/creator
+0,http://purl.org/dc/terms/date
+0,http://purl.org/dc/terms/dateAccepted
+0,http://purl.org/dc/terms/dateCopyrighted
+0,http://purl.org/dc/terms/dateSubmitted
+0,http://purl.org/dc/terms/DCMIType
+0,http://purl.org/dc/terms/DDC
+0,http://purl.org/dc/terms/description
+0,http://purl.org/dc/terms/educationLevel
+0,http://purl.org/dc/terms/extent
+0,http://purl.org/dc/terms/FileFormat
+0,http://purl.org/dc/terms/format
+0,http://purl.org/dc/terms/Frequency
+0,http://purl.org/dc/terms/hasFormat
+0,http://purl.org/dc/terms/hasPart
+0,http://purl.org/dc/terms/hasVersion
+0,http://purl.org/dc/terms/identifier
+0,http://purl.org/dc/terms/IMT
+0,http://purl.org/dc/terms/instructionalMethod
+0,http://purl.org/dc/terms/isFormatOf
+0,http://purl.org/dc/terms/ISO3166
+0,http://purl.org/dc/terms/ISO639-2
+0,http://purl.org/dc/terms/ISO639-3
+0,http://purl.org/dc/terms/isPartOf
+0,http://purl.org/dc/terms/isReferencedBy
+0,http://purl.org/dc/terms/isReplacedBy
+0,http://purl.org/dc/terms/isRequiredBy
+0,http://purl.org/dc/terms/issued
+0,http://purl.org/dc/terms/isVersionOf
+0,http://purl.org/dc/terms/Jurisdiction
+0,http://purl.org/dc/terms/language
+0,http://purl.org/dc/terms/LCC
+0,http://purl.org/dc/terms/LCSH
+1742,http://purl.org/dc/terms/license
+0,http://purl.org/dc/terms/LicenseDocument
+0,http://purl.org/dc/terms/LinguisticSystem
+0,http://purl.org/dc/terms/Location
+0,http://purl.org/dc/terms/LocationPeriodOrJurisdiction
+0,http://purl.org/dc/terms/mediator
+0,http://purl.org/dc/terms/MediaType
+0,http://purl.org/dc/terms/MediaTypeOrExtent
+0,http://purl.org/dc/terms/medium
+0,http://purl.org/dc/terms/MESH
+0,http://purl.org/dc/terms/MethodOfAccrual
+0,http://purl.org/dc/terms/MethodOfInstruction
+0,http://purl.org/dc/terms/modified
+0,http://purl.org/dc/terms/NLM
+0,http://purl.org/dc/terms/Period
+0,http://purl.org/dc/terms/PeriodOfTime
+0,http://purl.org/dc/terms/PhysicalMedium
+0,http://purl.org/dc/terms/PhysicalResource
+0,http://purl.org/dc/terms/Point
+0,http://purl.org/dc/terms/Policy
+0,http://purl.org/dc/terms/provenance
+0,http://purl.org/dc/terms/ProvenanceStatement
+0,http://purl.org/dc/terms/publisher
+0,http://purl.org/dc/terms/references
+0,http://purl.org/dc/terms/relation
+0,http://purl.org/dc/terms/replaces
+4,http://purl.org/dc/terms/requires
+0,http://purl.org/dc/terms/RFC1766
+0,http://purl.org/dc/terms/RFC3066
+0,http://purl.org/dc/terms/RFC4646
+0,http://purl.org/dc/terms/RFC5646
+0,http://purl.org/dc/terms/rights
+0,http://purl.org/dc/terms/rightsHolder
+0,http://purl.org/dc/terms/RightsStatement
+0,http://purl.org/dc/terms/SizeOrDuration
+1,http://purl.org/dc/terms/source
+0,http://purl.org/dc/terms/spatial
+0,http://purl.org/dc/terms/Standard
+0,http://purl.org/dc/terms/subject
+0,http://purl.org/dc/terms/tableOfContents
+0,http://purl.org/dc/terms/temporal
+0,http://purl.org/dc/terms/TGN
+0,http://purl.org/dc/terms/title
+0,http://purl.org/dc/terms/type
+0,http://purl.org/dc/terms/UDC
+0,http://purl.org/dc/terms/URI
+0,http://purl.org/dc/terms/valid
+0,http://purl.org/dc/terms/W3CDTF