equal
deleted
inserted
replaced
6 volume = 1, |
6 volume = 1, |
7 number = 3, |
7 number = 3, |
8 year = 1951, |
8 year = 1951, |
9 url = {https://projecteuclid.org/euclid.pjm/1103052106}} |
9 url = {https://projecteuclid.org/euclid.pjm/1103052106}} |
10 |
10 |
|
11 @article{DBLP:journals/jar/Maggesi18, |
|
12 author = {Marco Maggesi}, |
|
13 title = {A Formalization of Metric Spaces in {HOL} Light}, |
|
14 journal = {J. Autom. Reasoning}, |
|
15 volume = {60}, |
|
16 number = {2}, |
|
17 pages = {237--254}, |
|
18 year = {2018}, |
|
19 url = {https://doi.org/10.1007/s10817-017-9412-x}, |
|
20 doi = {10.1007/s10817-017-9412-x}, |
|
21 timestamp = {Thu, 25 Jan 2018 11:13:11 +0100}, |
|
22 biburl = {https://dblp.org/rec/bib/journals/jar/Maggesi18}, |
|
23 bibsource = {dblp computer science bibliography, https://dblp.org} |
|
24 } |
|
25 |
11 @misc{dummy} |
26 @misc{dummy} |