{"entities":{"Q1972818":{"pageid":1983560,"ns":120,"title":"Item:Q1972818","lastrevid":78170027,"modified":"2026-05-06T10:57:17Z","type":"item","id":"Q1972818","labels":{"en":{"language":"en","value":"The negation problem for inductive theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1431910"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972818$1C8ECAEC-C397-4EC7-9E55-D22F62AFF644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d013135d53c110bf1b47f047a82eb90c15bdb10","datavalue":{"value":{"text":"The negation problem for inductive theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972818$E6B36C94-E8F5-42BA-B878-6DE5A4B078BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"306d71097c226ef38770fa2128c976d162ae163e","datavalue":{"value":"0936.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972818$3DD42D7B-396A-414D-A9FA-374A4AC19240","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972818$73B2A46B-E684-4704-B397-7BDC9CFFFDF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eabf40ae2ce7091a866094c302ce82489d929ba4","datavalue":{"value":{"time":"+2000-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972818$0A53D1C0-5078-48E4-99E4-98F2D4DA914A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"385199e0887d08898016c5bc26290f183e86fca6","datavalue":{"value":"Let \\(T\\) be a first-order theory and let \\(\\Gamma\\) be a set of closed formulas in the language of \\(T\\) which are not consequences of \\(T\\). The negation problem for the theory \\(T\\) and the set \\(\\Gamma\\) is the question whether the set of formulas \\(T\\cup\\neg(\\Gamma)\\) is consistent. The formula \\(\\neg A\\) is said to be deducible by the \\(CWA\\)-rule if \\(A\\) is not a logical consequence of \\(T\\). Thus, the negation problem for the theory \\(T\\) is equivalent to the consistency problem of the \\(CWA\\)-rule with the theory \\(T\\).   \\textit{G. J\u00e4ger} [J. Logic Program. 8, No. 2, 229-247 (1990; Zbl 0796.68055)] showed that if the theory \\(T\\) is weakly countably categorical modulo some set of predicate symbols and possesses the intersection property, then the \\(CWA\\)-rule is consistent with \\(T\\). As a consequence, he proved consistency of the \\(CWA\\)-rule with weakly countably categorical inductive theories. In the same article, G. J\u00e4ger also stated the following problem: Do the above results hold if we consider a complete theory rather than a weakly countably categorical theory? In the article under review, a positive answer is obtained. It should be noted that, in the cited article, the term ``a weakly categorical theory'' is used instead of the term ``a weakly countably categorical theory''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$76DFE1B6-7E31-4E67-9725-005707FA3E7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972818$E055373E-15EE-4549-BBC9-509BA02D5742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972818$0F2F60A0-BAD3-4B7A-BD7B-9DC0714DE802","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a83aac6238f10f676c6de0b8a974fb88a9f03cb","datavalue":{"value":"1431910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972818$773E8B29-0034-460B-8FC7-C1C2C9CDCF03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc74f9907ed14b50ded627eab0692544250ebad","datavalue":{"value":"inductive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$701C0DE1-8744-4F77-9580-1F72AFDE89A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12bf2bd2a620cdc458264815973f381715da5de8","datavalue":{"value":"weakly countably categorical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$DA23412A-23AB-493F-9B9D-472509D6E43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9248e17cc9c9a1eb8dd69f3794c59d14740761a1","datavalue":{"value":"complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$528A7009-8B1C-4B41-A9E2-ED0A2D1F613E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48108816dea7cdcdf45500ca0ed4f412017dd84","datavalue":{"value":"data bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$D9559A59-0A03-4621-8BDD-3EA26BB5C139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840269d56ab26ce733fb2eea491e4e0f0cb13bec","datavalue":{"value":"logical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$928AEEAE-580C-41AE-9CCD-8EFC623DA9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a69dacd527c3c6239ddf3611cc2e12f32d2b897d","datavalue":{"value":"reduced products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972818$6087C991-4A93-4A0E-9F34-C18FC9C1BF11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5ce227bffef59f25affb5373524f495bbf9a80","datavalue":{"value":{"entity-type":"item","numeric-id":1707928,"id":"Q1707928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972818$2CD59E2C-4397-481D-9D21-EE2B8C5FD5F3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972818$C115A7A9-B2A4-48A6-BB35-2ADFCB9DF009","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcba810b95c3296cda64ec1f00c44a67b5326883","datavalue":{"value":{"entity-type":"item","numeric-id":4325362,"id":"Q4325362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ea491bf8e78eddd061db0ad3d8b866df99e8cf","datavalue":{"value":{"amount":"+0.8061391711235046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972818$62B2CEDB-353F-4855-B857-8CEEA3EFF6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe478303c052fc6d409eb39ead2f77b7693391b0","datavalue":{"value":{"entity-type":"item","numeric-id":3826525,"id":"Q3826525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f370333e50c1780a46149a5641d2ebfc5dc7457","datavalue":{"value":{"amount":"+0.7046413421630859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972818$23F1F642-695F-491B-8D01-43432A1DDC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc5870d47ae1e7bde2b7dcb727b72e96b4b7f06","datavalue":{"value":{"entity-type":"item","numeric-id":1825049,"id":"Q1825049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d5de60230eb292d5e201413c8f8f2399faf114","datavalue":{"value":{"amount":"+0.6945325136184692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972818$793D0C52-DE1C-4971-A780-672E26AD4591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2199658794db55e2d1aae133ebfb8c9ede8aed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866b6f09236c7a79f5706fedbbc2414de3bf9a04","datavalue":{"value":{"amount":"+0.6906903386116028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972818$7C125FA6-DEF4-407C-8203-6E0B71F17D0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The negation problem for inductive theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_negation_problem_for_inductive_theories"}}}}}