Skip to content
Snippets Groups Projects
Commit 8963fc33 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 4f49a342
No related branches found
No related tags found
No related merge requests found
0 - https://mathhub.info/ulo#action-times 0,https://mathhub.info/ulo#action-times
0 - https://mathhub.info/ulo#aligned-with 0,https://mathhub.info/ulo#aligned-with
0 - https://mathhub.info/ulo#alternative-for 0,https://mathhub.info/ulo#alternative-for
0 - https://mathhub.info/ulo#antonym 0,https://mathhub.info/ulo#antonym
0 - https://mathhub.info/ulo#automatically-proved 0,https://mathhub.info/ulo#automatically-proved
571 - https://mathhub.info/ulo#axiom 571,https://mathhub.info/ulo#axiom
0 - https://mathhub.info/ulo#check-time 0,https://mathhub.info/ulo#check-time
0 - https://mathhub.info/ulo#constructs 0,https://mathhub.info/ulo#constructs
0 - https://mathhub.info/ulo#contains 0,https://mathhub.info/ulo#contains
0 - https://mathhub.info/ulo#counter-example-for 0,https://mathhub.info/ulo#counter-example-for
0 - https://mathhub.info/ulo#crossrefs 0,https://mathhub.info/ulo#crossrefs
0 - https://mathhub.info/ulo#declaration 0,https://mathhub.info/ulo#declaration
0 - https://mathhub.info/ulo#defines 0,https://mathhub.info/ulo#defines
5813 - https://mathhub.info/ulo#definition 5813,https://mathhub.info/ulo#definition
0 - https://mathhub.info/ulo#deprecated 0,https://mathhub.info/ulo#deprecated
69017 - https://mathhub.info/ulo#derived 69017,https://mathhub.info/ulo#derived
0 - https://mathhub.info/ulo#docref 0,https://mathhub.info/ulo#docref
40 - https://mathhub.info/ulo#example 40,https://mathhub.info/ulo#example
0 - https://mathhub.info/ulo#example-for 0,https://mathhub.info/ulo#example-for
0 - https://mathhub.info/ulo#experimental 0,https://mathhub.info/ulo#experimental
0 - https://mathhub.info/ulo#external-size 0,https://mathhub.info/ulo#external-size
494 - https://mathhub.info/ulo#file 494,https://mathhub.info/ulo#file
54 - https://mathhub.info/ulo#folder 54,https://mathhub.info/ulo#folder
0 - https://mathhub.info/ulo#formalizes 0,https://mathhub.info/ulo#formalizes
0 - https://mathhub.info/ulo#function 0,https://mathhub.info/ulo#function
0 - https://mathhub.info/ulo#generated-by 0,https://mathhub.info/ulo#generated-by
0 - https://mathhub.info/ulo#hypernym 0,https://mathhub.info/ulo#hypernym
0 - https://mathhub.info/ulo#hyponym 0,https://mathhub.info/ulo#hyponym
0 - https://mathhub.info/ulo#implementation-uses 0,https://mathhub.info/ulo#implementation-uses
0 - https://mathhub.info/ulo#implementation-uses-implementation-of 0,https://mathhub.info/ulo#implementation-uses-implementation-of
0 - https://mathhub.info/ulo#implementation-uses-interface-of 0,https://mathhub.info/ulo#implementation-uses-interface-of
0 - https://mathhub.info/ulo#important 0,https://mathhub.info/ulo#important
0 - https://mathhub.info/ulo#inductive-on 0,https://mathhub.info/ulo#inductive-on
0 - https://mathhub.info/ulo#inspired-by 0,https://mathhub.info/ulo#inspired-by
0 - https://mathhub.info/ulo#instance-of 0,https://mathhub.info/ulo#instance-of
0 - https://mathhub.info/ulo#inter-statement 0,https://mathhub.info/ulo#inter-statement
0 - https://mathhub.info/ulo#interface-uses 0,https://mathhub.info/ulo#interface-uses
0 - https://mathhub.info/ulo#interface-uses-implementation-of 0,https://mathhub.info/ulo#interface-uses-implementation-of
0 - https://mathhub.info/ulo#interface-uses-interface-of 0,https://mathhub.info/ulo#interface-uses-interface-of
82336 - https://mathhub.info/ulo#internal-size 82336,https://mathhub.info/ulo#internal-size
0 - https://mathhub.info/ulo#justifies 0,https://mathhub.info/ulo#justifies
0 - https://mathhub.info/ulo#last-checked-at 0,https://mathhub.info/ulo#last-checked-at
1 - https://mathhub.info/ulo#library 1,https://mathhub.info/ulo#library
1 - https://mathhub.info/ulo#library-group 1,https://mathhub.info/ulo#library-group
0 - https://mathhub.info/ulo#logical 0,https://mathhub.info/ulo#logical
0 - https://mathhub.info/ulo#mutual-block 0,https://mathhub.info/ulo#mutual-block
0 - https://mathhub.info/ulo#name 0,https://mathhub.info/ulo#name
0 - https://mathhub.info/ulo#nyms 0,https://mathhub.info/ulo#nyms
0 - https://mathhub.info/ulo#organizational 0,https://mathhub.info/ulo#organizational
0 - https://mathhub.info/ulo#para 0,https://mathhub.info/ulo#para
0 - https://mathhub.info/ulo#paratype 0,https://mathhub.info/ulo#paratype
0 - https://mathhub.info/ulo#phrase 0,https://mathhub.info/ulo#phrase
0 - https://mathhub.info/ulo#physical 0,https://mathhub.info/ulo#physical
220 - https://mathhub.info/ulo#predicate 220,https://mathhub.info/ulo#predicate
14459 - https://mathhub.info/ulo#primitive 14459,https://mathhub.info/ulo#primitive
0 - https://mathhub.info/ulo#proof 0,https://mathhub.info/ulo#proof
10437 - https://mathhub.info/ulo#proposition 10437,https://mathhub.info/ulo#proposition
1 - https://mathhub.info/ulo#revision 1,https://mathhub.info/ulo#revision
0 - https://mathhub.info/ulo#rule 0,https://mathhub.info/ulo#rule
0 - https://mathhub.info/ulo#same-as 0,https://mathhub.info/ulo#same-as
0 - https://mathhub.info/ulo#section 0,https://mathhub.info/ulo#section
0 - https://mathhub.info/ulo#see-also 0,https://mathhub.info/ulo#see-also
0 - https://mathhub.info/ulo#similar-to 0,https://mathhub.info/ulo#similar-to
0 - https://mathhub.info/ulo#size-properties 0,https://mathhub.info/ulo#size-properties
0 - https://mathhub.info/ulo#sourceref 0,https://mathhub.info/ulo#sourceref
0 - https://mathhub.info/ulo#specified-in 0,https://mathhub.info/ulo#specified-in
0 - https://mathhub.info/ulo#specifies 0,https://mathhub.info/ulo#specifies
44638 - https://mathhub.info/ulo#statement 44638,https://mathhub.info/ulo#statement
0 - https://mathhub.info/ulo#superseded-by 0,https://mathhub.info/ulo#superseded-by
0 - https://mathhub.info/ulo#theorem 0,https://mathhub.info/ulo#theorem
2651 - https://mathhub.info/ulo#theory 2651,https://mathhub.info/ulo#theory
1651 - https://mathhub.info/ulo#type 1651,https://mathhub.info/ulo#type
0 - https://mathhub.info/ulo#typedec 0,https://mathhub.info/ulo#typedec
0 - https://mathhub.info/ulo#unimportant 0,https://mathhub.info/ulo#unimportant
0 - https://mathhub.info/ulo#universe 0,https://mathhub.info/ulo#universe
1160140 - https://mathhub.info/ulo#uses 1160140,https://mathhub.info/ulo#uses
0 - https://mathhub.info/ulo#uses-implementation 0,https://mathhub.info/ulo#uses-implementation
0 - https://mathhub.info/ulo#uses-interface 0,https://mathhub.info/ulo#uses-interface
0 - http://purl.org/dc/terms/abstract 0,http://purl.org/dc/terms/abstract
0 - http://purl.org/dc/terms/accessRights 0,http://purl.org/dc/terms/accessRights
0 - http://purl.org/dc/terms/accrualMethod 0,http://purl.org/dc/terms/accrualMethod
0 - http://purl.org/dc/terms/accrualPeriodicity 0,http://purl.org/dc/terms/accrualPeriodicity
0 - http://purl.org/dc/terms/accrualPolicy 0,http://purl.org/dc/terms/accrualPolicy
0 - http://purl.org/dc/terms/Agent 0,http://purl.org/dc/terms/Agent
0 - http://purl.org/dc/terms/AgentClass 0,http://purl.org/dc/terms/AgentClass
0 - http://purl.org/dc/terms/alternative 0,http://purl.org/dc/terms/alternative
0 - http://purl.org/dc/terms/audience 0,http://purl.org/dc/terms/audience
0 - http://purl.org/dc/terms/available 0,http://purl.org/dc/terms/available
0 - http://purl.org/dc/terms/bibliographicCitation 0,http://purl.org/dc/terms/bibliographicCitation
0 - http://purl.org/dc/terms/BibliographicResource 0,http://purl.org/dc/terms/BibliographicResource
0 - http://purl.org/dc/terms/Box 0,http://purl.org/dc/terms/Box
0 - http://purl.org/dc/terms/conformsTo 0,http://purl.org/dc/terms/conformsTo
1 - http://purl.org/dc/terms/contributor 1,http://purl.org/dc/terms/contributor
0 - http://purl.org/dc/terms/coverage 0,http://purl.org/dc/terms/coverage
0 - http://purl.org/dc/terms/created 0,http://purl.org/dc/terms/created
0 - http://purl.org/dc/terms/creator 0,http://purl.org/dc/terms/creator
0 - http://purl.org/dc/terms/date 0,http://purl.org/dc/terms/date
0 - http://purl.org/dc/terms/dateAccepted 0,http://purl.org/dc/terms/dateAccepted
0 - http://purl.org/dc/terms/dateCopyrighted 0,http://purl.org/dc/terms/dateCopyrighted
0 - http://purl.org/dc/terms/dateSubmitted 0,http://purl.org/dc/terms/dateSubmitted
0 - http://purl.org/dc/terms/DCMIType 0,http://purl.org/dc/terms/DCMIType
0 - http://purl.org/dc/terms/DDC 0,http://purl.org/dc/terms/DDC
0 - http://purl.org/dc/terms/description 0,http://purl.org/dc/terms/description
0 - http://purl.org/dc/terms/educationLevel 0,http://purl.org/dc/terms/educationLevel
0 - http://purl.org/dc/terms/extent 0,http://purl.org/dc/terms/extent
0 - http://purl.org/dc/terms/FileFormat 0,http://purl.org/dc/terms/FileFormat
0 - http://purl.org/dc/terms/format 0,http://purl.org/dc/terms/format
0 - http://purl.org/dc/terms/Frequency 0,http://purl.org/dc/terms/Frequency
0 - http://purl.org/dc/terms/hasFormat 0,http://purl.org/dc/terms/hasFormat
0 - http://purl.org/dc/terms/hasPart 0,http://purl.org/dc/terms/hasPart
0 - http://purl.org/dc/terms/hasVersion 0,http://purl.org/dc/terms/hasVersion
0 - http://purl.org/dc/terms/identifier 0,http://purl.org/dc/terms/identifier
0 - http://purl.org/dc/terms/IMT 0,http://purl.org/dc/terms/IMT
0 - http://purl.org/dc/terms/instructionalMethod 0,http://purl.org/dc/terms/instructionalMethod
0 - http://purl.org/dc/terms/isFormatOf 0,http://purl.org/dc/terms/isFormatOf
0 - http://purl.org/dc/terms/ISO3166 0,http://purl.org/dc/terms/ISO3166
0 - http://purl.org/dc/terms/ISO639-2 0,http://purl.org/dc/terms/ISO639-2
0 - http://purl.org/dc/terms/ISO639-3 0,http://purl.org/dc/terms/ISO639-3
0 - http://purl.org/dc/terms/isPartOf 0,http://purl.org/dc/terms/isPartOf
0 - http://purl.org/dc/terms/isReferencedBy 0,http://purl.org/dc/terms/isReferencedBy
0 - http://purl.org/dc/terms/isReplacedBy 0,http://purl.org/dc/terms/isReplacedBy
0 - http://purl.org/dc/terms/isRequiredBy 0,http://purl.org/dc/terms/isRequiredBy
0 - http://purl.org/dc/terms/issued 0,http://purl.org/dc/terms/issued
0 - http://purl.org/dc/terms/isVersionOf 0,http://purl.org/dc/terms/isVersionOf
0 - http://purl.org/dc/terms/Jurisdiction 0,http://purl.org/dc/terms/Jurisdiction
0 - http://purl.org/dc/terms/language 0,http://purl.org/dc/terms/language
0 - http://purl.org/dc/terms/LCC 0,http://purl.org/dc/terms/LCC
0 - http://purl.org/dc/terms/LCSH 0,http://purl.org/dc/terms/LCSH
1 - http://purl.org/dc/terms/license 1,http://purl.org/dc/terms/license
0 - http://purl.org/dc/terms/LicenseDocument 0,http://purl.org/dc/terms/LicenseDocument
0 - http://purl.org/dc/terms/LinguisticSystem 0,http://purl.org/dc/terms/LinguisticSystem
0 - http://purl.org/dc/terms/Location 0,http://purl.org/dc/terms/Location
0 - http://purl.org/dc/terms/LocationPeriodOrJurisdiction 0,http://purl.org/dc/terms/LocationPeriodOrJurisdiction
0 - http://purl.org/dc/terms/mediator 0,http://purl.org/dc/terms/mediator
0 - http://purl.org/dc/terms/MediaType 0,http://purl.org/dc/terms/MediaType
0 - http://purl.org/dc/terms/MediaTypeOrExtent 0,http://purl.org/dc/terms/MediaTypeOrExtent
0 - http://purl.org/dc/terms/medium 0,http://purl.org/dc/terms/medium
0 - http://purl.org/dc/terms/MESH 0,http://purl.org/dc/terms/MESH
0 - http://purl.org/dc/terms/MethodOfAccrual 0,http://purl.org/dc/terms/MethodOfAccrual
0 - http://purl.org/dc/terms/MethodOfInstruction 0,http://purl.org/dc/terms/MethodOfInstruction
0 - http://purl.org/dc/terms/modified 0,http://purl.org/dc/terms/modified
0 - http://purl.org/dc/terms/NLM 0,http://purl.org/dc/terms/NLM
0 - http://purl.org/dc/terms/Period 0,http://purl.org/dc/terms/Period
0 - http://purl.org/dc/terms/PeriodOfTime 0,http://purl.org/dc/terms/PeriodOfTime
0 - http://purl.org/dc/terms/PhysicalMedium 0,http://purl.org/dc/terms/PhysicalMedium
0 - http://purl.org/dc/terms/PhysicalResource 0,http://purl.org/dc/terms/PhysicalResource
0 - http://purl.org/dc/terms/Point 0,http://purl.org/dc/terms/Point
0 - http://purl.org/dc/terms/Policy 0,http://purl.org/dc/terms/Policy
0 - http://purl.org/dc/terms/provenance 0,http://purl.org/dc/terms/provenance
0 - http://purl.org/dc/terms/ProvenanceStatement 0,http://purl.org/dc/terms/ProvenanceStatement
0 - http://purl.org/dc/terms/publisher 0,http://purl.org/dc/terms/publisher
0 - http://purl.org/dc/terms/references 0,http://purl.org/dc/terms/references
0 - http://purl.org/dc/terms/relation 0,http://purl.org/dc/terms/relation
0 - http://purl.org/dc/terms/replaces 0,http://purl.org/dc/terms/replaces
4 - http://purl.org/dc/terms/requires 4,http://purl.org/dc/terms/requires
0 - http://purl.org/dc/terms/RFC1766 0,http://purl.org/dc/terms/RFC1766
0 - http://purl.org/dc/terms/RFC3066 0,http://purl.org/dc/terms/RFC3066
0 - http://purl.org/dc/terms/RFC4646 0,http://purl.org/dc/terms/RFC4646
0 - http://purl.org/dc/terms/RFC5646 0,http://purl.org/dc/terms/RFC5646
0 - http://purl.org/dc/terms/rights 0,http://purl.org/dc/terms/rights
0 - http://purl.org/dc/terms/rightsHolder 0,http://purl.org/dc/terms/rightsHolder
0 - http://purl.org/dc/terms/RightsStatement 0,http://purl.org/dc/terms/RightsStatement
0 - http://purl.org/dc/terms/SizeOrDuration 0,http://purl.org/dc/terms/SizeOrDuration
1 - http://purl.org/dc/terms/source 1,http://purl.org/dc/terms/source
0 - http://purl.org/dc/terms/spatial 0,http://purl.org/dc/terms/spatial
0 - http://purl.org/dc/terms/Standard 0,http://purl.org/dc/terms/Standard
0 - http://purl.org/dc/terms/subject 0,http://purl.org/dc/terms/subject
0 - http://purl.org/dc/terms/tableOfContents 0,http://purl.org/dc/terms/tableOfContents
0 - http://purl.org/dc/terms/temporal 0,http://purl.org/dc/terms/temporal
0 - http://purl.org/dc/terms/TGN 0,http://purl.org/dc/terms/TGN
0 - http://purl.org/dc/terms/title 0,http://purl.org/dc/terms/title
0 - http://purl.org/dc/terms/type 0,http://purl.org/dc/terms/type
0 - http://purl.org/dc/terms/UDC 0,http://purl.org/dc/terms/UDC
0 - http://purl.org/dc/terms/URI 0,http://purl.org/dc/terms/URI
0 - http://purl.org/dc/terms/valid 0,http://purl.org/dc/terms/valid
0 - http://purl.org/dc/terms/W3CDTF 0,http://purl.org/dc/terms/W3CDTF
#! /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
0 - https://mathhub.info/ulo#action-times 0,https://mathhub.info/ulo#action-times
0 - https://mathhub.info/ulo#aligned-with 0,https://mathhub.info/ulo#aligned-with
0 - https://mathhub.info/ulo#alternative-for 0,https://mathhub.info/ulo#alternative-for
0 - https://mathhub.info/ulo#antonym 0,https://mathhub.info/ulo#antonym
0 - https://mathhub.info/ulo#automatically-proved 0,https://mathhub.info/ulo#automatically-proved
0 - https://mathhub.info/ulo#axiom 0,https://mathhub.info/ulo#axiom
131601 - https://mathhub.info/ulo#check-time 131601,https://mathhub.info/ulo#check-time
0 - https://mathhub.info/ulo#constructs 0,https://mathhub.info/ulo#constructs
0 - https://mathhub.info/ulo#contains 0,https://mathhub.info/ulo#contains
0 - https://mathhub.info/ulo#counter-example-for 0,https://mathhub.info/ulo#counter-example-for
0 - https://mathhub.info/ulo#crossrefs 0,https://mathhub.info/ulo#crossrefs
0 - https://mathhub.info/ulo#declaration 0,https://mathhub.info/ulo#declaration
233523 - https://mathhub.info/ulo#defines 233523,https://mathhub.info/ulo#defines
1024932 - https://mathhub.info/ulo#definition 1024932,https://mathhub.info/ulo#definition
0 - https://mathhub.info/ulo#deprecated 0,https://mathhub.info/ulo#deprecated
1545427 - https://mathhub.info/ulo#derived 1545427,https://mathhub.info/ulo#derived
0 - https://mathhub.info/ulo#docref 0,https://mathhub.info/ulo#docref
0 - https://mathhub.info/ulo#example 0,https://mathhub.info/ulo#example
0 - https://mathhub.info/ulo#example-for 0,https://mathhub.info/ulo#example-for
41298 - https://mathhub.info/ulo#experimental 41298,https://mathhub.info/ulo#experimental
7040 - https://mathhub.info/ulo#external-size 7040,https://mathhub.info/ulo#external-size
0 - https://mathhub.info/ulo#file 0,https://mathhub.info/ulo#file
0 - https://mathhub.info/ulo#folder 0,https://mathhub.info/ulo#folder
0 - https://mathhub.info/ulo#formalizes 0,https://mathhub.info/ulo#formalizes
167694 - https://mathhub.info/ulo#function 167694,https://mathhub.info/ulo#function
0 - https://mathhub.info/ulo#generated-by 0,https://mathhub.info/ulo#generated-by
0 - https://mathhub.info/ulo#hypernym 0,https://mathhub.info/ulo#hypernym
0 - https://mathhub.info/ulo#hyponym 0,https://mathhub.info/ulo#hyponym
0 - https://mathhub.info/ulo#implementation-uses 0,https://mathhub.info/ulo#implementation-uses
0 - https://mathhub.info/ulo#implementation-uses-implementation-of 0,https://mathhub.info/ulo#implementation-uses-implementation-of
0 - https://mathhub.info/ulo#implementation-uses-interface-of 0,https://mathhub.info/ulo#implementation-uses-interface-of
1495 - https://mathhub.info/ulo#important 1495,https://mathhub.info/ulo#important
3148 - https://mathhub.info/ulo#inductive-on 3148,https://mathhub.info/ulo#inductive-on
0 - https://mathhub.info/ulo#inspired-by 0,https://mathhub.info/ulo#inspired-by
5246 - https://mathhub.info/ulo#instance-of 5246,https://mathhub.info/ulo#instance-of
0 - https://mathhub.info/ulo#inter-statement 0,https://mathhub.info/ulo#inter-statement
0 - https://mathhub.info/ulo#interface-uses 0,https://mathhub.info/ulo#interface-uses
0 - https://mathhub.info/ulo#interface-uses-implementation-of 0,https://mathhub.info/ulo#interface-uses-implementation-of
0 - https://mathhub.info/ulo#interface-uses-interface-of 0,https://mathhub.info/ulo#interface-uses-interface-of
0 - https://mathhub.info/ulo#internal-size 0,https://mathhub.info/ulo#internal-size
534988 - https://mathhub.info/ulo#justifies 534988,https://mathhub.info/ulo#justifies
0 - https://mathhub.info/ulo#last-checked-at 0,https://mathhub.info/ulo#last-checked-at
0 - https://mathhub.info/ulo#library 0,https://mathhub.info/ulo#library
0 - https://mathhub.info/ulo#library-group 0,https://mathhub.info/ulo#library-group
0 - https://mathhub.info/ulo#logical 0,https://mathhub.info/ulo#logical
0 - https://mathhub.info/ulo#mutual-block 0,https://mathhub.info/ulo#mutual-block
2175591 - https://mathhub.info/ulo#name 2175591,https://mathhub.info/ulo#name
0 - https://mathhub.info/ulo#nyms 0,https://mathhub.info/ulo#nyms
0 - https://mathhub.info/ulo#organizational 0,https://mathhub.info/ulo#organizational
241708 - https://mathhub.info/ulo#para 241708,https://mathhub.info/ulo#para
241708 - https://mathhub.info/ulo#paratype 241708,https://mathhub.info/ulo#paratype
0 - https://mathhub.info/ulo#phrase 0,https://mathhub.info/ulo#phrase
0 - https://mathhub.info/ulo#physical 0,https://mathhub.info/ulo#physical
79157 - https://mathhub.info/ulo#predicate 79157,https://mathhub.info/ulo#predicate
1356 - https://mathhub.info/ulo#primitive 1356,https://mathhub.info/ulo#primitive
0 - https://mathhub.info/ulo#proof 0,https://mathhub.info/ulo#proof
0 - https://mathhub.info/ulo#proposition 0,https://mathhub.info/ulo#proposition
0 - https://mathhub.info/ulo#revision 0,https://mathhub.info/ulo#revision
0 - https://mathhub.info/ulo#rule 0,https://mathhub.info/ulo#rule
0 - https://mathhub.info/ulo#same-as 0,https://mathhub.info/ulo#same-as
29551 - https://mathhub.info/ulo#section 29551,https://mathhub.info/ulo#section
0 - https://mathhub.info/ulo#see-also 0,https://mathhub.info/ulo#see-also
0 - https://mathhub.info/ulo#similar-to 0,https://mathhub.info/ulo#similar-to
0 - https://mathhub.info/ulo#size-properties 0,https://mathhub.info/ulo#size-properties
2145989 - https://mathhub.info/ulo#sourceref 2145989,https://mathhub.info/ulo#sourceref
2215971 - https://mathhub.info/ulo#specified-in 2215971,https://mathhub.info/ulo#specified-in
2215971 - https://mathhub.info/ulo#specifies 2215971,https://mathhub.info/ulo#specifies
1538234 - https://mathhub.info/ulo#statement 1538234,https://mathhub.info/ulo#statement
0 - https://mathhub.info/ulo#superseded-by 0,https://mathhub.info/ulo#superseded-by
0 - https://mathhub.info/ulo#theorem 0,https://mathhub.info/ulo#theorem
12423 - https://mathhub.info/ulo#theory 12423,https://mathhub.info/ulo#theory
12243 - https://mathhub.info/ulo#type 12243,https://mathhub.info/ulo#type
0 - https://mathhub.info/ulo#typedec 0,https://mathhub.info/ulo#typedec
551 - https://mathhub.info/ulo#unimportant 551,https://mathhub.info/ulo#unimportant
1264 - https://mathhub.info/ulo#universe 1264,https://mathhub.info/ulo#universe
209417517 - https://mathhub.info/ulo#uses 209417517,https://mathhub.info/ulo#uses
0 - https://mathhub.info/ulo#uses-implementation 0,https://mathhub.info/ulo#uses-implementation
0 - https://mathhub.info/ulo#uses-interface 0,https://mathhub.info/ulo#uses-interface
0 - http://purl.org/dc/terms/abstract 0,http://purl.org/dc/terms/abstract
0 - http://purl.org/dc/terms/accessRights 0,http://purl.org/dc/terms/accessRights
0 - http://purl.org/dc/terms/accrualMethod 0,http://purl.org/dc/terms/accrualMethod
0 - http://purl.org/dc/terms/accrualPeriodicity 0,http://purl.org/dc/terms/accrualPeriodicity
0 - http://purl.org/dc/terms/accrualPolicy 0,http://purl.org/dc/terms/accrualPolicy
0 - http://purl.org/dc/terms/Agent 0,http://purl.org/dc/terms/Agent
0 - http://purl.org/dc/terms/AgentClass 0,http://purl.org/dc/terms/AgentClass
0 - http://purl.org/dc/terms/alternative 0,http://purl.org/dc/terms/alternative
0 - http://purl.org/dc/terms/audience 0,http://purl.org/dc/terms/audience
0 - http://purl.org/dc/terms/available 0,http://purl.org/dc/terms/available
0 - http://purl.org/dc/terms/bibliographicCitation 0,http://purl.org/dc/terms/bibliographicCitation
0 - http://purl.org/dc/terms/BibliographicResource 0,http://purl.org/dc/terms/BibliographicResource
0 - http://purl.org/dc/terms/Box 0,http://purl.org/dc/terms/Box
0 - http://purl.org/dc/terms/conformsTo 0,http://purl.org/dc/terms/conformsTo
106 - http://purl.org/dc/terms/contributor 106,http://purl.org/dc/terms/contributor
0 - http://purl.org/dc/terms/coverage 0,http://purl.org/dc/terms/coverage
0 - http://purl.org/dc/terms/created 0,http://purl.org/dc/terms/created
4 - http://purl.org/dc/terms/creator 4,http://purl.org/dc/terms/creator
0 - http://purl.org/dc/terms/date 0,http://purl.org/dc/terms/date
0 - http://purl.org/dc/terms/dateAccepted 0,http://purl.org/dc/terms/dateAccepted
0 - http://purl.org/dc/terms/dateCopyrighted 0,http://purl.org/dc/terms/dateCopyrighted
0 - http://purl.org/dc/terms/dateSubmitted 0,http://purl.org/dc/terms/dateSubmitted
0 - http://purl.org/dc/terms/DCMIType 0,http://purl.org/dc/terms/DCMIType
0 - http://purl.org/dc/terms/DDC 0,http://purl.org/dc/terms/DDC
0 - http://purl.org/dc/terms/description 0,http://purl.org/dc/terms/description
0 - http://purl.org/dc/terms/educationLevel 0,http://purl.org/dc/terms/educationLevel
0 - http://purl.org/dc/terms/extent 0,http://purl.org/dc/terms/extent
0 - http://purl.org/dc/terms/FileFormat 0,http://purl.org/dc/terms/FileFormat
0 - http://purl.org/dc/terms/format 0,http://purl.org/dc/terms/format
0 - http://purl.org/dc/terms/Frequency 0,http://purl.org/dc/terms/Frequency
0 - http://purl.org/dc/terms/hasFormat 0,http://purl.org/dc/terms/hasFormat
0 - http://purl.org/dc/terms/hasPart 0,http://purl.org/dc/terms/hasPart
0 - http://purl.org/dc/terms/hasVersion 0,http://purl.org/dc/terms/hasVersion
0 - http://purl.org/dc/terms/identifier 0,http://purl.org/dc/terms/identifier
0 - http://purl.org/dc/terms/IMT 0,http://purl.org/dc/terms/IMT
0 - http://purl.org/dc/terms/instructionalMethod 0,http://purl.org/dc/terms/instructionalMethod
0 - http://purl.org/dc/terms/isFormatOf 0,http://purl.org/dc/terms/isFormatOf
0 - http://purl.org/dc/terms/ISO3166 0,http://purl.org/dc/terms/ISO3166
0 - http://purl.org/dc/terms/ISO639-2 0,http://purl.org/dc/terms/ISO639-2
0 - http://purl.org/dc/terms/ISO639-3 0,http://purl.org/dc/terms/ISO639-3
0 - http://purl.org/dc/terms/isPartOf 0,http://purl.org/dc/terms/isPartOf
0 - http://purl.org/dc/terms/isReferencedBy 0,http://purl.org/dc/terms/isReferencedBy
0 - http://purl.org/dc/terms/isReplacedBy 0,http://purl.org/dc/terms/isReplacedBy
0 - http://purl.org/dc/terms/isRequiredBy 0,http://purl.org/dc/terms/isRequiredBy
0 - http://purl.org/dc/terms/issued 0,http://purl.org/dc/terms/issued
0 - http://purl.org/dc/terms/isVersionOf 0,http://purl.org/dc/terms/isVersionOf
0 - http://purl.org/dc/terms/Jurisdiction 0,http://purl.org/dc/terms/Jurisdiction
0 - http://purl.org/dc/terms/language 0,http://purl.org/dc/terms/language
0 - http://purl.org/dc/terms/LCC 0,http://purl.org/dc/terms/LCC
0 - http://purl.org/dc/terms/LCSH 0,http://purl.org/dc/terms/LCSH
1742 - http://purl.org/dc/terms/license 1742,http://purl.org/dc/terms/license
0 - http://purl.org/dc/terms/LicenseDocument 0,http://purl.org/dc/terms/LicenseDocument
0 - http://purl.org/dc/terms/LinguisticSystem 0,http://purl.org/dc/terms/LinguisticSystem
0 - http://purl.org/dc/terms/Location 0,http://purl.org/dc/terms/Location
0 - http://purl.org/dc/terms/LocationPeriodOrJurisdiction 0,http://purl.org/dc/terms/LocationPeriodOrJurisdiction
0 - http://purl.org/dc/terms/mediator 0,http://purl.org/dc/terms/mediator
0 - http://purl.org/dc/terms/MediaType 0,http://purl.org/dc/terms/MediaType
0 - http://purl.org/dc/terms/MediaTypeOrExtent 0,http://purl.org/dc/terms/MediaTypeOrExtent
0 - http://purl.org/dc/terms/medium 0,http://purl.org/dc/terms/medium
0 - http://purl.org/dc/terms/MESH 0,http://purl.org/dc/terms/MESH
0 - http://purl.org/dc/terms/MethodOfAccrual 0,http://purl.org/dc/terms/MethodOfAccrual
0 - http://purl.org/dc/terms/MethodOfInstruction 0,http://purl.org/dc/terms/MethodOfInstruction
0 - http://purl.org/dc/terms/modified 0,http://purl.org/dc/terms/modified
0 - http://purl.org/dc/terms/NLM 0,http://purl.org/dc/terms/NLM
0 - http://purl.org/dc/terms/Period 0,http://purl.org/dc/terms/Period
0 - http://purl.org/dc/terms/PeriodOfTime 0,http://purl.org/dc/terms/PeriodOfTime
0 - http://purl.org/dc/terms/PhysicalMedium 0,http://purl.org/dc/terms/PhysicalMedium
0 - http://purl.org/dc/terms/PhysicalResource 0,http://purl.org/dc/terms/PhysicalResource
0 - http://purl.org/dc/terms/Point 0,http://purl.org/dc/terms/Point
0 - http://purl.org/dc/terms/Policy 0,http://purl.org/dc/terms/Policy
0 - http://purl.org/dc/terms/provenance 0,http://purl.org/dc/terms/provenance
0 - http://purl.org/dc/terms/ProvenanceStatement 0,http://purl.org/dc/terms/ProvenanceStatement
0 - http://purl.org/dc/terms/publisher 0,http://purl.org/dc/terms/publisher
0 - http://purl.org/dc/terms/references 0,http://purl.org/dc/terms/references
0 - http://purl.org/dc/terms/relation 0,http://purl.org/dc/terms/relation
0 - http://purl.org/dc/terms/replaces 0,http://purl.org/dc/terms/replaces
4 - http://purl.org/dc/terms/requires 4,http://purl.org/dc/terms/requires
0 - http://purl.org/dc/terms/RFC1766 0,http://purl.org/dc/terms/RFC1766
0 - http://purl.org/dc/terms/RFC3066 0,http://purl.org/dc/terms/RFC3066
0 - http://purl.org/dc/terms/RFC4646 0,http://purl.org/dc/terms/RFC4646
0 - http://purl.org/dc/terms/RFC5646 0,http://purl.org/dc/terms/RFC5646
0 - http://purl.org/dc/terms/rights 0,http://purl.org/dc/terms/rights
0 - http://purl.org/dc/terms/rightsHolder 0,http://purl.org/dc/terms/rightsHolder
0 - http://purl.org/dc/terms/RightsStatement 0,http://purl.org/dc/terms/RightsStatement
0 - http://purl.org/dc/terms/SizeOrDuration 0,http://purl.org/dc/terms/SizeOrDuration
1 - http://purl.org/dc/terms/source 1,http://purl.org/dc/terms/source
0 - http://purl.org/dc/terms/spatial 0,http://purl.org/dc/terms/spatial
0 - http://purl.org/dc/terms/Standard 0,http://purl.org/dc/terms/Standard
0 - http://purl.org/dc/terms/subject 0,http://purl.org/dc/terms/subject
0 - http://purl.org/dc/terms/tableOfContents 0,http://purl.org/dc/terms/tableOfContents
0 - http://purl.org/dc/terms/temporal 0,http://purl.org/dc/terms/temporal
0 - http://purl.org/dc/terms/TGN 0,http://purl.org/dc/terms/TGN
0 - http://purl.org/dc/terms/title 0,http://purl.org/dc/terms/title
0 - http://purl.org/dc/terms/type 0,http://purl.org/dc/terms/type
0 - http://purl.org/dc/terms/UDC 0,http://purl.org/dc/terms/UDC
0 - http://purl.org/dc/terms/URI 0,http://purl.org/dc/terms/URI
0 - http://purl.org/dc/terms/valid 0,http://purl.org/dc/terms/valid
0 - http://purl.org/dc/terms/W3CDTF 0,http://purl.org/dc/terms/W3CDTF
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment