{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:30:02Z","timestamp":1725892202543},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540362975"},{"type":"electronic","value":"9783540362999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11795131_86","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T11:48:02Z","timestamp":1159271282000},"page":"592-597","source":"Crossref","is-referenced-by-count":4,"title":["Improved Propositional Extension Rule"],"prefix":"10.1007","author":[{"given":"Xia","family":"Wu","sequence":"first","affiliation":[]},{"given":"Jigui","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Shuai","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Ying","family":"Li","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Meng","sequence":"additional","affiliation":[]},{"given":"Minghao","family":"Yin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Handbook of Automated Reasoning","year":"2002","key":"86_CR1","unstructured":"Robinson, J.A., et al. (eds.): Handbook of Automated Reasoning. Elsevier Science Publishers, Amsterdam (2002)"},{"key":"86_CR2","doi-asserted-by":"crossref","unstructured":"Fenkam, P., Jazayeri, M., Reif, G.: On methodologies for constructing correct event-based applications. In: Proc. of 3rd International Workshop on Distributed Event-Based Systems, Edinburgh, UK, pp. 38\u201343 (2004)","DOI":"10.1049\/ic:20040380"},{"key":"86_CR3","unstructured":"Kubica, J., Rieffel, E.G.: Collaborating with a genetic programming system to generate modular robotic code. In: Proc. of Genetic and Evolutionary Computation Conference, New York, USA, pp. 804\u2013811 (2002)"},{"key":"86_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/A:1027339205632","volume":"31","author":"H. Lin","year":"2003","unstructured":"Lin, H., Sun, J.G., Zhang, Y.M.: Theorem proving based on extension rule. Journal of Automated Reasoning\u00a031, 11\u201321 (2003)","journal-title":"Journal of Automated Reasoning"},{"key":"86_CR5","first-page":"190","volume":"6","author":"X. Wu","year":"2006","unstructured":"Wu, X., Sun, J.G., Lu, S., Yin, M.H.: Propositional extension rule with reduction. IJCSNS International Journal of Computer Science and Network Security\u00a06, 190\u2013195 (2006)","journal-title":"IJCSNS International Journal of Computer Science and Network Security"},{"key":"86_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the ACM\u00a07, 201\u2013215 (1960)","journal-title":"Journal of the ACM"},{"key":"86_CR7","volume-title":"The theorem proof based on resolution","author":"X.H. Liu","year":"1994","unstructured":"Liu, X.H.: The theorem proof based on resolution (in Chinese). Science Press, Beijing (1994)"},{"key":"86_CR8","doi-asserted-by":"crossref","unstructured":"Dechter, R., Rish, I.: Directional resolution: The Davis-Putnam procedure, revisited. In: Proc. of 4th International Conference on Principles of KR&R, Bonn, Germany, pp. 134\u2013145 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50109-3"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Knowledge Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11795131_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:10:42Z","timestamp":1605625842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11795131_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540362975","9783540362999"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11795131_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}