{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T23:04:41Z","timestamp":1746745481292},"reference-count":0,"publisher":"Sciedu Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIR"],"DOI":"10.5430\/air.v2n4p37","type":"journal-article","created":{"date-parts":[[2013,8,2]],"date-time":"2013-08-02T08:30:10Z","timestamp":1375432210000},"source":"Crossref","is-referenced-by-count":1,"title":["Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar"],"prefix":"10.5430","volume":"2","author":[{"given":"Hiroyuki","family":"Okazaki","sequence":"first","affiliation":[]},{"given":"Yuichi","family":"Futa","sequence":"additional","affiliation":[]},{"given":"Yasunari","family":"Shidama","sequence":"additional","affiliation":[]}],"member":"3394","published-online":{"date-parts":[[2013,8,2]]},"container-title":["Artificial Intelligence Research"],"original-title":[],"deposited":{"date-parts":[[2013,8,2]],"date-time":"2013-08-02T08:30:11Z","timestamp":1375432211000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.sciedu.ca\/journal\/index.php\/air\/article\/view\/2757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,2]]},"references-count":0,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2013,5,24]]}},"URL":"https:\/\/doi.org\/10.5430\/air.v2n4p37","relation":{},"ISSN":["1927-6982","1927-6974"],"issn-type":[{"value":"1927-6982","type":"electronic"},{"value":"1927-6974","type":"print"}],"subject":[],"published":{"date-parts":[[2013,8,2]]}}}