{"id":"https://openalex.org/W47005949","doi":null,"title":"XSG: Fair Language with Built-in Equality","display_name":"XSG: Fair Language with Built-in Equality","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W47005949","mag":"47005949"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.174.1794","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.1794","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://meta2008.pereslavl.ru/accepted-papers/meta2008-KlimovYu-Orlov.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5077834093","display_name":"Yuri Andreevich Klimov","orcid":"https://orcid.org/0000-0001-5081-1547","observed_orcids":["https://orcid.org/0000-0001-5081-1547"]},"institutions":[{"id":"https://openalex.org/I86427540","display_name":"Keldysh Institute of Applied Mathematics","ror":"https://ror.org/01dv3hq14","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210124601","https://openalex.org/I86427540"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Yuri Andreevich Klimov","raw_affiliation_strings":["Keldysh Institute of Applied Mathematics#TAB#"],"raw_orcid":"https://orcid.org/0000-0001-5081-1547","affiliations":[{"raw_affiliation_string":"Keldysh Institute of Applied Mathematics#TAB#","institution_ids":["https://openalex.org/I86427540"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056175617","display_name":"Anton Yu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anton Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8197,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8238758,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.0015999999595806003,"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.0005000000237487257,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"functional logic programming","score":0.9110000133514404},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.7039999961853027},{"id":"https://openalex.org/keywords/logic-variables","display_name":"logic variables","score":0.6819999814033508},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"pattern matching","score":0.6830000281333923},{"id":"https://openalex.org/keywords/nondeterminism","display_name":"non-determinism","score":0.8859999775886536},{"id":"https://openalex.org/keywords/equality","display_name":"equality","score":0.3190000057220459}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4488074779510498},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.39933574199676514},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11697819828987122}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.174.1794","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.1794","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://meta2008.pereslavl.ru/accepted-papers/meta2008-KlimovYu-Orlov.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.186.2751","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.2751","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://meta2008.pereslavl.ru/accepted-papers/meta2008-KlimovYu-Orlov.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.563.5641","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.5641","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://skif.pereslavl.ru/psi-info/rcms/rcms-publications/2008-rus/meta2008-KlimovYu-Orlov.pdf","raw_type":"text"},{"id":"mag:47005949","doi":null,"is_oa":false,"landing_page_url":"http://meta2008.pereslavl.ru/accepted-papers/meta2008-KlimovYu-Orlov.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W63453077","https://openalex.org/W127630583","https://openalex.org/W158097575","https://openalex.org/W341687455","https://openalex.org/W1511058550","https://openalex.org/W1515648542","https://openalex.org/W1518083528","https://openalex.org/W1541434994","https://openalex.org/W1560248234","https://openalex.org/W1563548877","https://openalex.org/W1571615440","https://openalex.org/W1572344684","https://openalex.org/W1578088218","https://openalex.org/W1583319715","https://openalex.org/W1729558552","https://openalex.org/W1804417282","https://openalex.org/W1822303551","https://openalex.org/W1977760557","https://openalex.org/W2020024606","https://openalex.org/W2038870167","https://openalex.org/W2053719172","https://openalex.org/W2057731509","https://openalex.org/W2059799630","https://openalex.org/W2121539377","https://openalex.org/W2125977928","https://openalex.org/W2127788730","https://openalex.org/W2142436113","https://openalex.org/W2155401679","https://openalex.org/W2155847917","https://openalex.org/W2162352259","https://openalex.org/W2490938952"],"related_works":["https://openalex.org/W1900859531","https://openalex.org/W2050496444","https://openalex.org/W2211132610","https://openalex.org/W105429458","https://openalex.org/W7096497455","https://openalex.org/W1996791038","https://openalex.org/W76870825","https://openalex.org/W34197021","https://openalex.org/W7099422570","https://openalex.org/W2356598397"],"abstract_inverted_index":{"We":[0],"describe":[1],"the":[2,64,93,114,118,140,163,172,175],"XSG":[3,50,92,145],"programming":[4],"language":[5,24,42,56,173],"and":[6,66,74,88,105,116],"define":[7],"a":[8,16,22,40,54,61,122,134,147,152],"formal":[9,78],"semantics":[10],"for":[11,57,77],"it.":[12],"\\n":[13],"\\nXSG":[14],"is":[15,51,60,98,133,146,167,178],"functional-logic":[17],"untyped":[18],"first-order":[19],"language.":[20,141],"Like":[21],"functional":[23],"it":[25,43,150],"has":[26],"functions":[27],"which":[28],"return":[29],"results":[30],"(not":[31],"predicates":[32],"only":[33],"as":[34,53,85,174],"classic":[35],"logic":[36,41,148],"languages).":[37],"And":[38],"like":[39],"allows":[44],"implicit":[45],"definition":[46],"of":[47,63,80,95,136,154,182],"variables\u2019":[48],"values.":[49,156],"developed":[52],"model":[55],"metacomputations.":[58],"It":[59],"successor":[62],"TSG":[65],"NTSG":[67],"languages":[68],"used":[69],"by":[70,100],"S.":[71],"M.":[72],"Abramov":[73],"R.":[75],"Gl\u00fcck":[76],"description":[79],"basic":[81],"metacomputation":[82],"tools":[83],"such":[84],"driving,":[86],"PPT":[87],"URA":[89],"[1,2,3,4,5,6,7].":[90],"In":[91],"concept":[94],"pattern":[96],"matching":[97],"generalized":[99],"introducing":[101],"equations.":[102],"Both":[103],"free":[104],"bound":[106],"variables":[107],"in":[108,126,139,144,171],"equations":[109,158],"can":[110,124],"go":[111],"both":[112],"at":[113,117],"left":[115],"right":[119],"sides.":[120],"Also":[121],"variable":[123,143],"occur":[125],"an":[127,168,179],"equation":[128],"several":[129],"times.":[130],"Thus":[131,165],"there":[132,166],"notion":[135],"equality":[137],"inherent":[138],"\\nEvery":[142],"variable:":[149],"designates":[151],"set":[153,181],"possible":[155,183],"The":[157],"are":[159],"global":[160],"constraints":[161],"on":[162],"variables.":[164],"embedded":[169],"nondeterminism":[170],"program":[176],"result":[177],"unordered":[180],"answers.":[184]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2016-06-24T00:00:00"}