Skip to content
Snippets Groups Projects
Commit 3308ba5e authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

used predicates: write script to convert to LaTeX table 

I don't think I am going to use it as the table is way too big though.
parent 92b8b0ac
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
experimental/ulo/coq-predicates.txt
+ 176
− 176
View file @ 3308ba5e
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
experimental/ulo/generate-table.py 0 → 100755
+ 69
− 0
View file @ 3308ba5e
#! /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
experimental/ulo/isabelle-predicates.txt
+ 176
− 176
View file @ 3308ba5e
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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment