{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:04:03Z","timestamp":1725595443756},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226724"},{"type":"electronic","value":"9783642226731"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22673-1_19","type":"book-chapter","created":{"date-parts":[[2011,7,13]],"date-time":"2011-07-13T11:49:15Z","timestamp":1310557755000},"page":"276-277","source":"Crossref","is-referenced-by-count":8,"title":["mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library"],"prefix":"10.1007","author":[{"given":"Jesse","family":"Alama","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Alama, J., Kuehlwein, D., Tsivtsivadze, E., Urban, J., Heskes, T.: Premise selection for mathematics by corpus analysis and kernel methods (preprint, submitted)"},{"key":"19_CR2","unstructured":"Alama, J., Mamane, L., Urban, J.: Dependencies in formal mathematics (preprint, submitted)"},{"issue":"2","key":"19_CR3","first-page":"153","volume":"3","author":"A. Grabowski","year":"2010","unstructured":"Grabowski, A., Kornilowicz, A., Naumowicz, A.: Mizar in a nutshell. Journal of Formalized Reasoning\u00a03(2), 153\u2013245 (2010), \n                    \n                      http:\/\/jfr.cib.unibo.it\/article\/view\/1980\/1356","journal-title":"Journal of Formalized Reasoning"},{"key":"19_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I.: Proofs and Refutations. Cambridge University Press, Cambridge (1976)"},{"key":"19_CR5","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"S.G. Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic, 2nd edn. Perspectives in Mathematical Logic. Springer, Heidelberg (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22673-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T01:52:20Z","timestamp":1553910740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22673-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226724","9783642226731"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22673-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}