{"id":"https://openalex.org/W2138196723","doi":"https://doi.org/10.1109/lics.1990.113753","title":"Syntactic theories and unification","display_name":"Syntactic theories and unification","publication_year":2002,"publication_date":"2002-12-04","ids":{"openalex":"https://openalex.org/W2138196723","doi":"https://doi.org/10.1109/lics.1990.113753","mag":"2138196723"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.1990.113753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5055776480","display_name":"Claude Kirchner","orcid":"https://orcid.org/0009-0001-6778-1791"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"C. Kirchner","raw_affiliation_strings":["INRIA Lorraine, Vandoeuvre-les-Nancy, France#TAB#"],"affiliations":[{"raw_affiliation_string":"INRIA Lorraine, Vandoeuvre-les-Nancy, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089138500","display_name":"Francis Klay","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"F. Klay","raw_affiliation_strings":["INRIA Lorraine, Vandoeuvre-les-Nancy, France#TAB#"],"affiliations":[{"raw_affiliation_string":"INRIA Lorraine, Vandoeuvre-les-Nancy, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.62,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":38,"citation_normalized_percentile":{"value":0.867811,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":91},"biblio":{"volume":null,"issue":null,"first_page":"270","last_page":"277"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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/T10142","display_name":"Formal Methods in Verification","score":0.9879,"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.9867,"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/unification","display_name":"Unification","score":0.7202142},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.6339066},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.52633685}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7202142},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.6339066},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.57223004},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.52633685},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5239458},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48857674},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.47214296},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.42895836},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42777884},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.40014833},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.357504},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3431603},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.1990.113753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":12,"referenced_works":["https://openalex.org/W1577485093","https://openalex.org/W1598625331","https://openalex.org/W1748872274","https://openalex.org/W19055862","https://openalex.org/W2033288425","https://openalex.org/W2042924775","https://openalex.org/W2053573751","https://openalex.org/W2124110088","https://openalex.org/W2148193906","https://openalex.org/W2274119315","https://openalex.org/W29085931","https://openalex.org/W2914314632"],"related_works":["https://openalex.org/W4288570797","https://openalex.org/W4206200208","https://openalex.org/W3170382285","https://openalex.org/W2890451556","https://openalex.org/W2164911517","https://openalex.org/W2024730457","https://openalex.org/W1723526129","https://openalex.org/W1576049389","https://openalex.org/W1545845259","https://openalex.org/W1523315298"],"abstract_inverted_index":{"An":[0],"investigation":[1],"is":[2,60,63,68,73,85,101,104,117,131,156],"made":[3],"of":[4,9,13,37,40,47,57,81,94,127,139],"the":[5,14,38,41,45,54,74,88,92,95,125,137,146],"relationship":[6],"between":[7],"unifiability":[8],"a":[10,66,98,150],"general":[11,48,75,96],"equation":[12],"form":[15],"f(":[16],"nu":[17,23,27,33],"/sub":[18,24,28,34],"1/,":[19],".":[20,21,30,31],".,":[22,32],"n/)=/sup":[25],"?/g(":[26],"n+1/,":[29],"m/),":[35],"and":[36,50,71,129,145],"syntacticness":[39],"theory.":[42],"After":[43],"introducing":[44],"concept":[46],"equations":[49,76],"its":[51],"basic":[52],"properties,":[53],"precise":[55],"definition":[56],"syntactic":[58,69],"theories":[59],"given.":[61],"It":[62],"proven":[64],"that":[65,90,115,124],"theory":[67,126],"if":[70],"only":[72],"have":[77],"finite":[78],"complete":[79],"set":[80],"E-solutions.":[82],"The":[83,120],"result":[84],"constructive":[86],"in":[87,109,111],"sense":[89],"from":[91],"E-solutions":[93],"equations,":[97],"resolvent":[99],"presentation":[100],"computed.":[102],"This":[103],"applied":[105],"to":[106,113,148,159],"several":[107],"theories:":[108],"particular,":[110],"order":[112],"show":[114],"distributivity":[116],"not":[118],"syntactic.":[119],"authors":[121],"also":[122],"prove":[123],"associativity":[128],"commutativity":[130],"syntactic,":[132],"which":[133],"allows":[134],"one,":[135],"by":[136],"combination":[138],"Nipkow's":[140],"results":[141],"(ibid.,":[142],"p.278-88,":[143],"1990)":[144],"authors',":[147],"infer":[149],"novel":[151],"matching":[152],"algorithm":[153],"where":[154],"there":[155],"no":[157],"need":[158],"solve":[160],"linear":[161],"diophantine":[162],"equations.<":[163],">":[166]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2138196723","counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2024-12-10T09:34:23.074932","created_date":"2016-06-24"}