{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:12Z","timestamp":1725664392213},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601616"},{"type":"electronic","value":"9783540495390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60161-9_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:47:33Z","timestamp":1330278453000},"page":"323-337","source":"Crossref","is-referenced-by-count":17,"title":["Conceptual graphs and first-order logic"],"prefix":"10.1007","author":[{"given":"Michel","family":"Wermelinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","unstructured":"Michael R. Genesereth and Richard E. Fikes. Knowledge interchange format version 3.0 reference manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, June 1992. \u201cLiving document\u201d of the Interlingua Working Group of the DARPA Knowledge Sharing Effort."},{"key":"23_CR2","unstructured":"A. G. Hamilton. Logic for Mathematicians. Cambridge University Press, 1988. Revised edition."},{"key":"23_CR3","unstructured":"John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. The System Programming Series. Addison-Wesley Publishing Company, 1984."},{"key":"23_CR4","unstructured":"John F. Sowa. Conceptual graph summary. In Timothy E. Nagle, Janice A. Nagle, Laurie L. Gerholz, and Peter W. Eklund, editors, Conceptual Structures: Current Research and Practice, Ellis Horwood Series in Workshops, pages 3\u201351. Ellis Horwood, 1992"},{"key":"23_CR5","series-title":"Number 835 in Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-58328-9_10","volume-title":"Conceptual Structures: Current Practices","author":"M. Wermelinger","year":"1994","unstructured":"Michel Wermelinger and Jos\u00e9 Gabriel Lopes. Basic conceptual structures theory. In William M. Tepfenhart, Judith P. Dick, and John F. Sowa, editors, Conceptual Structures: Current Practices-Proceedings of the Second International Conference on Conceptual Structures, Number 835 in Lecture Notes in Artificial Intelligence, pages 144\u2013159, College Park MD, USA, 16\u201319 August 1994. University of Maryland, Springer-Verlag."},{"key":"23_CR6","unstructured":"Michel Wermelinger. Teoria B\u00e1sica das Estruturas Conceptuais. Master's thesis, Universidade Nova de Lisboa, 1995."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Applications, Implementation and Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60161-9_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:34Z","timestamp":1619573554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60161-9_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601616","9783540495390"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-60161-9_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}