{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:03:05Z","timestamp":1729641785103,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csb.2004.1332518","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:27:50Z","timestamp":1099913270000},"page":"585-589","source":"Crossref","is-referenced-by-count":4,"title":["A finite model theory for biological hypotheses"],"prefix":"10.1109","author":[{"given":"S.","family":"Racunas","sequence":"first","affiliation":[]},{"given":"C.","family":"Griffin","sequence":"additional","affiliation":[]},{"family":"Nigam Shah","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1186\/gb-2001-2-4-research0012","article-title":"A basis for a visual language for describing, archiving and analyzing functional models of complex biological systems","volume":"2","author":"cook","year":"2001","journal-title":"Genome Biol"},{"journal-title":"A Course in Mathematical Logic","year":"1977","author":"bell","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0959-440X(00)00212-8"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth905"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.6.825"},{"key":"5","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1096\/fasebj.9.9.7601342","article-title":"Transcriptional regulation in the yeast gal gene family: A complex genetic network","volume":"9","author":"lohr","year":"1995","journal-title":"FASEB J"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/2.3.258"},{"key":"8","first-page":"634","article-title":"A conceptual framework for hypthesis testing and evaluation","volume":"2","author":"racunas","year":"2003","journal-title":"Proc IEEE CSB"}],"event":{"name":"Proceedings. 2004 IEEE Computational Systems Bioinformatics Conference, 2004. CSB 2004.","location":"Stanford, CA, USA"},"container-title":["Proceedings. 2004 IEEE Computational Systems Bioinformatics Conference, 2004. CSB 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9262\/29416\/01332518.pdf?arnumber=1332518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,19]],"date-time":"2018-12-19T03:06:55Z","timestamp":1545188815000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1332518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/csb.2004.1332518","relation":{},"subject":[]}}