Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
The following is a list of ULO IRIs used as predicate in the Coq
and Isabelle Distribution (not AFP) datasets
http://ulo.mathhub.infoderived
http://ulo.mathhub.infodocref
http://ulo.mathhub.infouses
http://ulo.mathhub.infointernal-size
http://ulo.mathhub.infosourceref
http://ulo.mathhub.infostatement
http://ulo.mathhub.infoproposition
http://ulo.mathhub.infodefinition
http://ulo.mathhub.infodeclares
http://ulo.mathhub.infoobject
http://ulo.mathhub.infotheory
http://ulo.mathhub.infotype
http://ulo.mathhub.infoaxiom
http://ulo.mathhub.infoprimitive
http://ulo.mathhub.infopredicate
http://ulo.mathhub.infoexample
http://ulo.mathhub.infolibrary
http://ulo.mathhub.inforevision
http://ulo.mathhub.infofolder
http://ulo.mathhub.infofile
http://ulo.mathhub.infolibrary-group
https://mathhub.info/ulotheory
https://mathhub.info/ulocheck-time
https://mathhub.info/uloexternal-size
https://mathhub.info/ulospecifies
https://mathhub.info/ulospecified-in
https://mathhub.info/uloname
https://mathhub.info/ulosection
https://mathhub.info/ulosourceref
https://mathhub.info/ulouniverse
https://mathhub.info/ulouses
https://mathhub.info/ulopredicate
https://mathhub.info/ulodefines
https://mathhub.info/ulostatement
https://mathhub.info/uloderived
https://mathhub.info/uloinstance-of
https://mathhub.info/ulojustifies
https://mathhub.info/ulotype
https://mathhub.info/ulofunction
https://mathhub.info/ulopara
https://mathhub.info/uloparatype
https://mathhub.info/uloprimitive
https://mathhub.info/ulodefinition
https://mathhub.info/uloimportant
https://mathhub.info/ulounimportant
https://mathhub.info/uloinductive-on
https://mathhub.info/uloexperimental