{"id":"https://openalex.org/W4211027799","doi":"https://doi.org/10.1016/b978-0-444-52936-7.50018-5","title":"Mechanizing Induction","display_name":"Mechanizing Induction","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W4211027799","doi":"https://doi.org/10.1016/b978-0-444-52936-7.50018-5"},"language":"en","primary_location":{"id":"doi:10.1016/b978-0-444-52936-7.50018-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-0-444-52936-7.50018-5","pdf_url":null,"source":{"id":"https://openalex.org/S4210195591","display_name":"Handbook of the history of logic","issn_l":"1874-5857","issn":["1874-5857","2452-0810"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of the History of Logic","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031149136","display_name":"Ronald Ortner","orcid":"https://orcid.org/0000-0001-6033-2208"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ronald Ortner","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5051571027","display_name":"Hannes Leitgeb","orcid":"https://orcid.org/0000-0002-8276-149X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hannes Leitgeb","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.35316922,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"719","last_page":"772"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/inductive-reasoning","display_name":"Inductive reasoning","score":0.6509250402450562},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.6503711938858032},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6291001439094543},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5897237658500671},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5650734901428223},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5235271453857422},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4940991699695587},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.416332870721817},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.27267998456954956},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1401977837085724}],"concepts":[{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.6509250402450562},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.6503711938858032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6291001439094543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5897237658500671},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5650734901428223},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5235271453857422},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4940991699695587},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.416332870721817},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.27267998456954956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1401977837085724},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/b978-0-444-52936-7.50018-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-0-444-52936-7.50018-5","pdf_url":null,"source":{"id":"https://openalex.org/S4210195591","display_name":"Handbook of the history of logic","issn_l":"1874-5857","issn":["1874-5857","2452-0810"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of the History of Logic","raw_type":"book-chapter"},{"id":"pmh:oai:philarchive.org/rec/ORTMI","is_oa":false,"landing_page_url":"https://philarchive.org/rec/ORTMI","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/ORTMI","is_oa":false,"landing_page_url":"https://philpapers.org/rec/ORTMI","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":150,"referenced_works":["https://openalex.org/W83248306","https://openalex.org/W124990061","https://openalex.org/W156961058","https://openalex.org/W579163621","https://openalex.org/W1481955269","https://openalex.org/W1485823765","https://openalex.org/W1485997076","https://openalex.org/W1487349793","https://openalex.org/W1487813067","https://openalex.org/W1514477737","https://openalex.org/W1519481994","https://openalex.org/W1528361845","https://openalex.org/W1532979463","https://openalex.org/W1561572740","https://openalex.org/W1566892080","https://openalex.org/W1567024224","https://openalex.org/W1570963478","https://openalex.org/W1573411777","https://openalex.org/W1611226978","https://openalex.org/W1670845525","https://openalex.org/W1731670240","https://openalex.org/W1746065553","https://openalex.org/W1802051025","https://openalex.org/W1956180572","https://openalex.org/W1963910319","https://openalex.org/W1969005071","https://openalex.org/W1970630090","https://openalex.org/W1971361630","https://openalex.org/W1972780278","https://openalex.org/W1973899684","https://openalex.org/W1981842143","https://openalex.org/W1983705661","https://openalex.org/W1991508422","https://openalex.org/W1991972474","https://openalex.org/W1994022788","https://openalex.org/W1994467027","https://openalex.org/W1994906866","https://openalex.org/W1995875735","https://openalex.org/W2000287695","https://openalex.org/W2003192160","https://openalex.org/W2003374324","https://openalex.org/W2005796674","https://openalex.org/W2014783101","https://openalex.org/W2015172858","https://openalex.org/W2020913456","https://openalex.org/W2025403586","https://openalex.org/W2025951753","https://openalex.org/W2041615247","https://openalex.org/W2045313701","https://openalex.org/W2046419776","https://openalex.org/W2046907549","https://openalex.org/W2047397984","https://openalex.org/W2053836415","https://openalex.org/W2054459484","https://openalex.org/W2054658115","https://openalex.org/W2055639053","https://openalex.org/W2057728133","https://openalex.org/W2058296948","https://openalex.org/W2061079066","https://openalex.org/W2066688546","https://openalex.org/W2068484024","https://openalex.org/W2070902649","https://openalex.org/W2071743233","https://openalex.org/W2080142817","https://openalex.org/W2080318337","https://openalex.org/W2084544490","https://openalex.org/W2087907345","https://openalex.org/W2088199740","https://openalex.org/W2089855016","https://openalex.org/W2090547656","https://openalex.org/W2094853078","https://openalex.org/W2100483895","https://openalex.org/W2101013415","https://openalex.org/W2106009650","https://openalex.org/W2106649793","https://openalex.org/W2111398557","https://openalex.org/W2113832384","https://openalex.org/W2117049614","https://openalex.org/W2118223814","https://openalex.org/W2120715805","https://openalex.org/W2122780472","https://openalex.org/W2124741838","https://openalex.org/W2128785381","https://openalex.org/W2135625884","https://openalex.org/W2136661655","https://openalex.org/W2145750280","https://openalex.org/W2148603752","https://openalex.org/W2149420462","https://openalex.org/W2154462988","https://openalex.org/W2154952480","https://openalex.org/W2155322595","https://openalex.org/W2167907160","https://openalex.org/W2173393364","https://openalex.org/W2294584261","https://openalex.org/W2314103000","https://openalex.org/W2330274477","https://openalex.org/W2475732641","https://openalex.org/W2606220775","https://openalex.org/W2796293253","https://openalex.org/W2913371065","https://openalex.org/W2951920463","https://openalex.org/W3028000971","https://openalex.org/W3123545922","https://openalex.org/W4205930639","https://openalex.org/W4206686222","https://openalex.org/W4213350211","https://openalex.org/W4214821481","https://openalex.org/W4230960895","https://openalex.org/W4231309477","https://openalex.org/W4238284510","https://openalex.org/W4238383837","https://openalex.org/W4238893454","https://openalex.org/W4239025284","https://openalex.org/W4250143236","https://openalex.org/W4254952533","https://openalex.org/W4256395517","https://openalex.org/W4302978502","https://openalex.org/W4379364172","https://openalex.org/W6603394685","https://openalex.org/W6605125330","https://openalex.org/W6605648827","https://openalex.org/W6606477792","https://openalex.org/W6628816561","https://openalex.org/W6628876417","https://openalex.org/W6629344385","https://openalex.org/W6632494409","https://openalex.org/W6634071932","https://openalex.org/W6634460420","https://openalex.org/W6634708902","https://openalex.org/W6635305494","https://openalex.org/W6636351440","https://openalex.org/W6637724542","https://openalex.org/W6638000120","https://openalex.org/W6638098782","https://openalex.org/W6638418270","https://openalex.org/W6639162044","https://openalex.org/W6639836769","https://openalex.org/W6640147731","https://openalex.org/W6654500204","https://openalex.org/W6675101087","https://openalex.org/W6676030261","https://openalex.org/W6676132378","https://openalex.org/W6676335769","https://openalex.org/W6676864441","https://openalex.org/W6685630115","https://openalex.org/W6693746702","https://openalex.org/W6698724992","https://openalex.org/W6738852829","https://openalex.org/W6753310459","https://openalex.org/W6830226772"],"related_works":["https://openalex.org/W2313909837","https://openalex.org/W2510069723","https://openalex.org/W1585180219","https://openalex.org/W2146242221","https://openalex.org/W2950527584","https://openalex.org/W148709074","https://openalex.org/W1601233316","https://openalex.org/W1543291831","https://openalex.org/W1916407968","https://openalex.org/W1483234241"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}