-
Notifications
You must be signed in to change notification settings - Fork 0
/
example-modified.properties
75 lines (59 loc) · 1.4 KB
/
example-modified.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
# simple format 1.0.0
type = record
def = \
id:String \
title:String \
authors:List_URI \
web:URI \
documents:List_URI \
keywords:List_String \
numberOfAuthors:String
prefix = \
partarx:https://arxiv \
arxiv:https://arxiv.org/
order = \
id
new =
id = arXiv:1412.2223
title = A topological approach to non-Archimedean Mathematics
authors = \
&arxiv;find/math/1/au:+Benci_V/0/1/0/all/0/1#Vieri_Benci \
&arxiv;find/math/1/au:+Baglini_L/0/1/0/all/0/1#Lorenzo_Luperi_Baglini
web = &arxiv;abs/1412.2223#web
documents = \
&arxiv;pdf/1412.2223#pdf \
&arxiv;ps/1412.2223#ps \
&arxiv;format/1412.2223#other
keywords = \
topology \
Archimedes
numberOfAuthors = 2
new =
id = arXiv:1412.2953
title = Boole's Principles of Symbolical Reasoning
authors = \
&arxiv;find/math/1/au:+Burris_S/0/1/0/all/0/1#Stanley_Burris \
&arxiv;find/math/1/au:+Sankappanavar_H/0/1/0/all/0/1#H.P._Sankappanavar
web = &arxiv;abs/1412.2953#web
documents = \
&arxiv;pdf/1412.2953#pdf \
&arxiv;ps/1412.2953#ps \
&arxiv;format/1412.2953#other
keywords = \
Boolean_logic \
reasoning
numberOfAuthors = 2
new =
id = arXiv:1412.3313
title = Infinitary stability theory
authors = \
&arxiv;find/math/1/au:+Vasey_S/0/1/0/all/0/1#Sebastien_Vasey
web = &arxiv;abs/1412.3313#web
documents = \
&arxiv;pdf/1412.3313#pdf \
&arxiv;ps/1412.3313#ps \
&arxiv;format/1412.3313#other
keywords = \
infinity \
stability_theory
numberOfAuthors = 1