-
Notifications
You must be signed in to change notification settings - Fork 0
/
example.properties
81 lines (57 loc) · 1.6 KB
/
example.properties
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
# simple format 1.0.0
#
# The comments are removed after normalization
#
type = record
def = \
id:String \
title:String \
authors:List_URI \
web:URI \
documents:List_URI \
keywords:List_String
# The prefixes are sorted in alphabetical order.
prefix = partarx:https://arxiv arxiv:https://arxiv.org/
order = \
id
new =
id =\
arXiv:1412.2223
authors = \
https://arxiv.org/find/math/1/au:+Benci_V/0/1/0/all/0/1#Vieri_Benci \
&partarx;.org/find/math/1/au:+Baglini_L/0/1/0/all/0/1#Lorenzo_Luperi_Baglini
web = &partarx;.org/abs/1412.2223#web
documents = \
https://arxiv.org/pdf/1412.2223#pdf \
\
https://arxiv.org/ps/1412.2223#ps \
https://arxiv.org/format/1412.2223#other
keywords = topology Archimedes
title = A topological approach to non-Archimedean Mathematics
new=
documents = \
&arxiv;pdf/1412.2953#pdf \
&arxiv;ps/1412.2953#ps \
https://arxiv.org/format/1412.2953#other
id = arXiv:1412.2953
title = Boole's Principles of \
Symbolical Reasoning
authors = \
https://arxiv.org/find/math/1/au:+Burris_S/0/1/0/all/0/1#Stanley_Burris \
https://arxiv.org/find/math/1/au:+Sankappanavar_H/0/1/0/all/0/1#H.P._Sankappanavar
web = https://arxiv.org/abs/1412.2953#web
keywords = \
Boolean_logic \
reasoning
new
id=arXiv:1412.3313
authors = \
https://arxiv.org/find/math/1/au:+Vasey_S/0/1/0/all/0/1#Sebastien_Vasey
web = https://arxiv.org/abs/1412.3313#web
title = Infinitary stability theory
documents = https://arxiv.org/pdf/1412.3313#pdf \
https://arxiv.org/ps/1412.3313#ps \
https://arxiv.org/format/1412.3313#other
keywords = \
infinity \
stability_theory