{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,27]],"date-time":"2023-08-27T11:02:18Z","timestamp":1693134138778},"reference-count":0,"publisher":"Victoria University of Wellington Library","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AJL"],"abstract":"<jats:p>It is well-known that first-order logic is semi-decidable. Therefore, first-order logic is less than ideal for computational purposes (computer science, knowledge engineering). Certain fragments of first-order logic are of interest because they are decidable. But decidability is gained at the cost of expressiveness. The objective of this paper is to investigate inexpressiveness of fragments that have received much attention.<\/jats:p>","DOI":"10.26686\/ajl.v4i0.1777","type":"journal-article","created":{"date-parts":[[2018,4,15]],"date-time":"2018-04-15T23:26:57Z","timestamp":1523834817000},"source":"Crossref","is-referenced-by-count":2,"title":["Inexpressiveness of First-Order Fragments"],"prefix":"10.26686","volume":"4","author":[{"given":"William C.","family":"Purdy","sequence":"first","affiliation":[]}],"member":"11224","published-online":{"date-parts":[[2006,1,25]]},"container-title":["The Australasian Journal of Logic"],"original-title":[],"link":[{"URL":"https:\/\/ojs.victoria.ac.nz\/ajl\/article\/download\/1777\/1628","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/ojs.victoria.ac.nz\/ajl\/article\/download\/1777\/1628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,12]],"date-time":"2023-04-12T22:12:44Z","timestamp":1681337564000},"score":1,"resource":{"primary":{"URL":"https:\/\/ojs.victoria.ac.nz\/ajl\/article\/view\/1777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,25]]},"references-count":0,"URL":"https:\/\/doi.org\/10.26686\/ajl.v4i0.1777","relation":{},"ISSN":["1448-5052"],"issn-type":[{"value":"1448-5052","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,25]]}}}