{"id":"https://openalex.org/W2045990087","doi":"https://doi.org/10.1016/s0304-3975(03)00241-x","title":"Normal conditions for inference relations and injective models","display_name":"Normal conditions for inference relations and injective models","publication_year":2003,"publication_date":"2003-05-19","ids":{"openalex":"https://openalex.org/W2045990087","doi":"https://doi.org/10.1016/s0304-3975(03)00241-x","mag":"2045990087"},"language":"en","primary_location":{"id":"doi:10.1016/s0304-3975(03)00241-x","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0304-3975(03)00241-x","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"type":"article","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/A5100841536","display_name":"Zhaohui Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]},{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhaohui Zhu","raw_affiliation_strings":["Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing Aeronautical Institute, Nanjing 210016, People's Republic of China","State Key Lab of Novel Software Technology, Nanjing University, Nanjing 210093, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing Aeronautical Institute, Nanjing 210016, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"State Key Lab of Novel Software Technology, Nanjing University, Nanjing 210093, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076971492","display_name":"Xiao Xian","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi'an Xiao","raw_affiliation_strings":["College of Science, PLA University of Science and Technology, Nanjing 211101, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"College of Science, PLA University of Science and Technology, Nanjing 211101, People's Republic of China","institution_ids":["https://openalex.org/I4210163363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057416557","display_name":"Yong Zhou","orcid":"https://orcid.org/0000-0002-3319-9795"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Zhou","raw_affiliation_strings":["Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing Aeronautical Institute, Nanjing 210016, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing Aeronautical Institute, Nanjing 210016, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100294689","display_name":"Wujia Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wujia Zhu","raw_affiliation_strings":["Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing Aeronautical Institute, Nanjing 210016, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Nanjing University of Aeronautics and Astronautics, Nanjing Aeronautical Institute, Nanjing 210016, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100841536"],"corresponding_institution_ids":["https://openalex.org/I881766915","https://openalex.org/I9842412"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":null,"fwci":0.9435,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.8107222,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"309","issue":"1-3","first_page":"287","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9973000288009644,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9771999716758728,"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/injective-function","display_name":"Injective function","score":0.9026182293891907},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7948622703552246},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.633184552192688},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5612366199493408},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5409186482429504},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45976465940475464},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3858145475387573},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3390142321586609},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.25119253993034363},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19157510995864868},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.0908595621585846},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07821512222290039}],"concepts":[{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.9026182293891907},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7948622703552246},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.633184552192688},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5612366199493408},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5409186482429504},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45976465940475464},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3858145475387573},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3390142321586609},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25119253993034363},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19157510995864868},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0908595621585846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07821512222290039},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0304-3975(03)00241-x","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0304-3975(03)00241-x","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W43674895","https://openalex.org/W574512650","https://openalex.org/W1481955269","https://openalex.org/W1562797559","https://openalex.org/W1564696079","https://openalex.org/W1761876784","https://openalex.org/W2001140847","https://openalex.org/W2002991714","https://openalex.org/W2026427131","https://openalex.org/W2032364980","https://openalex.org/W2033280447","https://openalex.org/W2080142817","https://openalex.org/W2085899859","https://openalex.org/W2087939362","https://openalex.org/W2089822569","https://openalex.org/W2135106702","https://openalex.org/W2167907160","https://openalex.org/W2610670723","https://openalex.org/W3152223825","https://openalex.org/W4247696477","https://openalex.org/W6633821702"],"related_works":["https://openalex.org/W2655188380","https://openalex.org/W1492157759","https://openalex.org/W2034514454","https://openalex.org/W2905880134","https://openalex.org/W1601661462","https://openalex.org/W3188841602","https://openalex.org/W1490327274","https://openalex.org/W2555024370","https://openalex.org/W3096721441","https://openalex.org/W2811433520"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}