{"id":"https://openalex.org/W2780629006","doi":"https://doi.org/10.1515/forma-2017-0020","title":"Simple-Named Complex-Valued Nominative Data \u2013 Definition and Basic Operations","display_name":"Simple-Named Complex-Valued Nominative Data \u2013 Definition and Basic Operations","publication_year":2017,"publication_date":"2017-10-01","ids":{"openalex":"https://openalex.org/W2780629006","doi":"https://doi.org/10.1515/forma-2017-0020","mag":"2780629006"},"language":"en","primary_location":{"id":"doi:10.1515/forma-2017-0020","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2017-0020","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/3/article-p205.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/3/article-p205.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103542862","display_name":"Ievgen Ivanov","orcid":null},"institutions":[{"id":"https://openalex.org/I189238007","display_name":"Taras Shevchenko National University of Kyiv","ror":"https://ror.org/02aaqv166","country_code":"UA","type":"education","lineage":["https://openalex.org/I189238007"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Ievgen Ivanov","raw_affiliation_strings":["Taras Shevchenko National University , Kyiv , Ukraine"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Taras Shevchenko National University , Kyiv , Ukraine","institution_ids":["https://openalex.org/I189238007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002561394","display_name":"Mykola Nikitchenko","orcid":"https://orcid.org/0000-0002-4078-1062"},"institutions":[{"id":"https://openalex.org/I189238007","display_name":"Taras Shevchenko National University of Kyiv","ror":"https://ror.org/02aaqv166","country_code":"UA","type":"education","lineage":["https://openalex.org/I189238007"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Mykola Nikitchenko","raw_affiliation_strings":["Taras Shevchenko National University , Kyiv , Ukraine"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Taras Shevchenko National University , Kyiv , Ukraine","institution_ids":["https://openalex.org/I189238007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072976150","display_name":"Andrii Kryvolap","orcid":"https://orcid.org/0009-0002-0493-9587"},"institutions":[{"id":"https://openalex.org/I189238007","display_name":"Taras Shevchenko National University of Kyiv","ror":"https://ror.org/02aaqv166","country_code":"UA","type":"education","lineage":["https://openalex.org/I189238007"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Andrii Kryvolap","raw_affiliation_strings":["Taras Shevchenko National University , Kyiv , Ukraine"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Taras Shevchenko National University , Kyiv , Ukraine","institution_ids":["https://openalex.org/I189238007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090121372","display_name":"Artur Korni\u0142owicz","orcid":"https://orcid.org/0000-0002-4565-9082"},"institutions":[{"id":"https://openalex.org/I245364917","display_name":"University of Bia\u0142ystok","ror":"https://ror.org/01qaqcf60","country_code":"PL","type":"education","lineage":["https://openalex.org/I245364917"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Artur Korni\u0142owicz","raw_affiliation_strings":["Institute of Informatics , University of Bia\u0142ystok , Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics , University of Bia\u0142ystok , Poland","institution_ids":["https://openalex.org/I245364917"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2719,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.91307173,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"25","issue":"3","first_page":"205","last_page":"216"},"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.9998999834060669,"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.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"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.996399998664856,"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/nominative-case","display_name":"Nominative case","score":0.9834558367729187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6251932382583618},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4868747293949127},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.462515264749527},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4320203363895416},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37363386154174805},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3570215702056885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18370240926742554}],"concepts":[{"id":"https://openalex.org/C5468625","wikidata":"https://www.wikidata.org/wiki/Q131105","display_name":"Nominative case","level":3,"score":0.9834558367729187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6251932382583618},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4868747293949127},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.462515264749527},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4320203363895416},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37363386154174805},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3570215702056885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18370240926742554},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C2776397901","wikidata":"https://www.wikidata.org/wiki/Q24905","display_name":"Verb","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/forma-2017-0020","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2017-0020","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/3/article-p205.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:43c9626cdbb94ed4952bcd40a49ec35f","is_oa":false,"landing_page_url":"https://doaj.org/article/43c9626cdbb94ed4952bcd40a49ec35f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"Formalized Mathematics, Vol 25, Iss 3, Pp 205-216 (2017)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/6295","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/6295","pdf_url":null,"source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1515/forma-2017-0020","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2017-0020","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/25/3/article-p205.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2780629006.pdf","grobid_xml":"https://content.openalex.org/works/W2780629006.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W60037637","https://openalex.org/W129785242","https://openalex.org/W137811859","https://openalex.org/W141834232","https://openalex.org/W1577753402","https://openalex.org/W1969502728","https://openalex.org/W2313864317","https://openalex.org/W2479966126","https://openalex.org/W2604277190","https://openalex.org/W2726856678","https://openalex.org/W2751447742","https://openalex.org/W2760607981","https://openalex.org/W2773812365","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4251912342"],"related_works":["https://openalex.org/W4387311696","https://openalex.org/W3143120270","https://openalex.org/W33784590","https://openalex.org/W2046024542","https://openalex.org/W3172105901","https://openalex.org/W1971859817","https://openalex.org/W2280345403","https://openalex.org/W2006410711","https://openalex.org/W2054577134","https://openalex.org/W4244890543"],"abstract_inverted_index":{"Summary":[0],"In":[1,102,212],"this":[2,388],"paper":[3],"we":[4],"give":[5],"a":[6,63,190,234,309,330,334,342,369],"formal":[7,25],"definition":[8],"of":[9,12,27,45,65,81,89,109,127,132,143,153,169,182,185,192,233,305,311,333,353,363,387,456],"the":[10,28,40,53,137,167,213,231,280,419,454,457],"notion":[11,44],"nominative":[13,46,104,128,144,170,183,228,241,263,340,412,439],"data":[14,47,85,105,110,154,171,184,209,220,229,236,242,264,341,403,435,440,447],"with":[15,172,189,314],"simple":[16,173],"names":[17,175],"and":[18,24,37,84,91,93,114,176,200,291,293,308,350,377,430],"complex":[19,177,402],"values":[20],"[15,":[21,59],"16,":[22],"19]":[23,126],"definitions":[26],"basic":[29,193],"operations":[30,194,286,298],"on":[31,86,136,195,262],"such":[32],"data,":[33,129,145],"including":[34],"naming,":[35,198],"denaming":[36,199],"overlapping,":[38],"following":[39],"work":[41],"[19].":[42],"The":[43,75,119,180],"plays":[48],"an":[49,204,318],"important":[50],"role":[51],"in":[52,73,116,157,453],"composition-nominative":[54,76,120,214],"approach":[55,77,121,215,389],"to":[56,240,390,445],"program":[57,323],"formalization":[58],"16]":[60],"which":[61,111,146,206,218,226,254,276,287,320,400,426],"is":[62,147,166,207,321,348,375,394],"development":[64],"composition":[66],"programming":[67,158,335],"[18].":[68],"Both":[69],"approaches":[70],"are":[71,106,112,134,221,247,257,283,299,356],"compared":[72],"[14].":[74],"considers":[78,122],"mathematical":[79,95,107,458],"models":[80,108],"computer":[82,117,216],"software":[83],"various":[87],"levels":[88],"abstraction":[90],"generality":[92],"provides":[94],"tools":[96],"for":[97,149],"reasoning":[98,360,391,423],"about":[99,361,392,424],"their":[100],"properties.":[101],"particular,":[103],"stored":[113],"processed":[115,436,448],"systems.":[118],"different":[123],"types":[124],"[14,":[125],"but":[130],"all":[131],"them":[133,196],"based":[135],"name-value":[138],"relation.":[139],"One":[140,385],"powerful":[141],"type":[142,168,187],"suitable":[148],"representing":[150],"many":[151],"kinds":[152],"commonly":[155],"used":[156],"like":[159,197,270],"lists,":[160],"multidimensional":[161],"arrays,":[162],"trees,":[163],"tables,":[164],"etc.":[165,275],"(abstract)":[174],"(structured)":[178],"values.":[179],"set":[181,304,310],"given":[186,235],"together":[188,313],"number":[191],"overlapping":[201],"[19]":[202],"form":[203,317],"algebra":[205,210,237,319,324,327],"called":[208,249,300,322,345],".":[211,252,302,325],"programs":[217,278,282,364,393,399],"process":[219,401],"modeled":[222,258,284,365],"as":[223,259,285,329,366,411],"partial":[224,260,428],"functions":[225,246,251,290,307,338,355,368],"map":[227],"from":[230,279],"carrier":[232],"(input":[238],"data)":[239],"(output":[243],"data).":[244,413],"Such":[245,297],"also":[248,443],"binominative":[250,289,295,306,367],"Programs":[253],"evaluate":[255],"conditions":[256],"predicates":[261,292,312],"(nominative":[265],"predicates).":[266],"Programming":[267],"language":[268],"constructs":[269],"sequential":[271],"execution,":[272],"branching,":[273],"cycle,":[274],"construct":[277],"existing":[281],"take":[288],"produce":[294],"functions.":[296],"compositions":[301,316],"A":[303],"appropriate":[315],"This":[326],"serves":[328],"semantic":[331],"model":[332],"language.":[336],"For":[337,359],"over":[339],"special":[343],"computability":[344,347],"abstract":[346],"introduces":[349],"complete":[351],"classes":[352],"computable":[354],"specified":[357],"[16].":[358],"properties":[362],"Floyd-Hoare":[370,417],"style":[371],"logic":[372,421],"[1,":[373],"2]":[374],"introduced":[376],"applied":[378,444],"[12,":[379],"13,":[380],"8,":[381],"11,":[382],"9,":[383],"10].":[384],"advantage":[386],"that":[395],"it":[396],"naturally":[397],"handles":[398],"structures":[404],"(which":[405],"can":[406,441],"be":[407,442],"quite":[408],"straightforwardly":[409],"represented":[410],"Also,":[414],"unlike":[415],"classical":[416],"logic,":[418],"mentioned":[420],"allows":[422],"assertions":[425],"include":[427],"pre-":[429],"post-conditions":[431],"[11].":[432],"Besides":[433],"modeling":[434,446],"by":[437,449],"programs,":[438],"signal":[450],"processing":[451],"systems":[452,459],"context":[455],"theory":[460],"[4,":[461],"6,":[462],"7,":[463],"5,":[464],"3].":[465]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}