{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:23:09Z","timestamp":1725711789890},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357855"},{"type":"electronic","value":"9783642357862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35786-2_15","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T13:04:45Z","timestamp":1357391085000},"page":"210-230","source":"Crossref","is-referenced-by-count":1,"title":["The First-Order Logical Environment"],"prefix":"10.1007","author":[{"given":"Robert E.","family":"Kent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: The Logic of Distributed Systems","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1999)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"Goguen, J.: A categorical manifesto. Mathematical Structures in Computer Science\u00a01, 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. J. Assoc. Comp. Mach.\u00a039, 95\u2013146 (1992)","journal-title":"J. Assoc. Comp. Mach."},{"issue":"3","key":"15_CR5","first-page":"94","volume":"10","author":"M. Johnson","year":"2002","unstructured":"Johnson, M., Rosebrugh, R., Wood, R.: Entity Relationship Attribute Designs and Sketches. Theory and Application of Categories\u00a010(3), 94\u2013112 (2002)","journal-title":"Theory and Application of Categories"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-03079-6_16","volume-title":"Conceptual Structures: Leveraging Semantic Technologies","author":"R.E. Kent","year":"2009","unstructured":"Kent, R.E.: System Consequence. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds.) ICCS 2009. LNCS, vol.\u00a05662, pp. 201\u2013218. Springer, Heidelberg (2009)"},{"key":"15_CR7","unstructured":"Kent, R.E.: Database Semantics (2011), \n                    \n                      http:\/\/arxiv.org\/abs\/1209.3054"},{"key":"15_CR8","unstructured":"Kent, R.E., Spivak, D.I.: Email discussion (2011)"},{"key":"15_CR9","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brookes\/Coles (2000)"},{"key":"15_CR10","unstructured":"Sowa, J.F.: ISO Standard for Conceptual Graphs (April 2, 2001), \n                    \n                      http:\/\/users.bestweb.net\/~sowa\/cg\/cgstand.html"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"24274","DOI":"10.1371\/journal.pone.0024274","volume":"7","author":"D.I. Spivak","year":"2012","unstructured":"Spivak, D.I., Kent, R.E.: Ologs: a categorical framework for knowledge representation. PLoS One\u00a07(1), e24274 (2012), \n                    \n                      http:\/\/arxiv.org\/abs\/1102.1889\n                    \n                    \n                  , doi:10.1371\/journal.pone.0024274","journal-title":"PLoS One"},{"key":"15_CR12","unstructured":"The Information Flow Framework (IFF), \n                    \n                      http:\/\/suo.ieee.org\/IFF\/"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures for STEM Research and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35786-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:26:00Z","timestamp":1620134760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35786-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357855","9783642357862"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35786-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}