{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T05:16:17Z","timestamp":1672290977176},"reference-count":2,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGACT News"],"published-print":{"date-parts":[[2004,9]]},"abstract":"<jats:p>After computer experiments by using the ANDP prover we showed that the five axioms for reflexivity, symmetry, transitivity and substitutivity of equality can be replaced by only two of the five axioms.<\/jats:p>","DOI":"10.1145\/1027914.1027916","type":"journal-article","created":{"date-parts":[[2005,1,26]],"date-time":"2005-01-26T16:49:14Z","timestamp":1106758154000},"page":"98-101","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The equality axioms are not independent"],"prefix":"10.1145","volume":"35","author":[{"given":"Dafa","family":"Li","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,9]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Chang C. L. and Lee R. C. T. Symbolic logic and mechanical theorem proving. Academic Press NY 1973.   Chang C. L. and Lee R. C. T. Symbolic logic and mechanical theorem proving. Academic Press NY 1973."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005749401809"}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1027914.1027916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T16:10:30Z","timestamp":1672243830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1027914.1027916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":2,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["10.1145\/1027914.1027916"],"URL":"https:\/\/doi.org\/10.1145\/1027914.1027916","relation":{},"ISSN":["0163-5700"],"issn-type":[{"value":"0163-5700","type":"print"}],"subject":[],"published":{"date-parts":[[2004,9]]},"assertion":[{"value":"2004-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}