{"id":"https://openalex.org/W2004965270","doi":"https://doi.org/10.1007/s00224-012-9398-z","title":"Programs, Proofs, Processes","display_name":"Programs, Proofs, Processes","publication_year":2012,"publication_date":"2012-04-18","ids":{"openalex":"https://openalex.org/W2004965270","doi":"https://doi.org/10.1007/s00224-012-9398-z","mag":"2004965270"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-012-9398-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-012-9398-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043193622","display_name":"Fernando Ferreira","orcid":"https://orcid.org/0000-0002-8693-7210"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Fernando Ferreira","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Campo Grande, 1749-016, Lisboa, Portugal","Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Campo Grande, 1749-016, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Faculdade de Ci\u00eancias, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065186485","display_name":"Benedikt L\u00f6we","orcid":null},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["DE","NL"],"is_corresponding":true,"raw_author_name":"Benedikt L\u00f6we","raw_affiliation_strings":["Department Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands","Department Mathematik, Universit\u00e4t Hamburg, Hamburg, Germany","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Department Mathematik, Universit\u00e4t Hamburg, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075374500","display_name":"Elvira Mayordomo","orcid":"https://orcid.org/0000-0002-9109-5337"},"institutions":[{"id":"https://openalex.org/I255234318","display_name":"Universidad de Zaragoza","ror":"https://ror.org/012a91z28","country_code":"ES","type":"education","lineage":["https://openalex.org/I255234318"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Elvira Mayordomo","raw_affiliation_strings":["Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, 50015, Zaragoza, Spain","Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, 50015, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]},{"raw_affiliation_string":"Departamento de Inform\u00e1tica e Ingenier\u00eda de Sistemas, Instituto de Investigaci\u00f3n en Ingenier\u00eda de Arag\u00f3n (I3A), Universidad de Zaragoza, Zaragoza, Spain","institution_ids":["https://openalex.org/I255234318"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065186485"],"corresponding_institution_ids":["https://openalex.org/I159176309","https://openalex.org/I887064364"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.4285,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.70769201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"51","issue":"3","first_page":"267","last_page":"269"},"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.9726999998092651,"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.9726999998092651,"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.9343000054359436,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9079999923706055,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/mathematical-proof","display_name":"Mathematical proof","score":0.7598461508750916},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47292831540107727},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40080708265304565},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3728207051753998},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.303851842880249},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.11910822987556458},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07758188247680664}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7598461508750916},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47292831540107727},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40080708265304565},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3728207051753998},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.303851842880249},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.11910822987556458},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07758188247680664},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-012-9398-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-012-9398-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00224-012-9398-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-012-9398-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-012-9398-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2004965270.pdf","grobid_xml":"https://content.openalex.org/works/W2004965270.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2808944898","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W4387820098","https://openalex.org/W1996614773","https://openalex.org/W2576399385","https://openalex.org/W1979597421"],"abstract_inverted_index":{"F.":[0],"FerreiraDepartamento":[1],"de":[2,5,8,43,47,50,57],"Matematica,":[3],"Faculdade":[4],"Ciencias,":[6],"Universidade":[7],"Lisboa,":[9,12],"Campo":[10],"Grande,1749-016":[11],"Portugale-mail:":[13],"fjferreira@fc.ul.ptB.":[14],"Lowe":[15],"(":[16],")Institute":[17],"for":[18],"Logic,":[19],"Language":[20],"and":[21],"Computation,":[22],"Universiteit":[23],"van":[24],"Amsterdam,":[25,29],"Postbus":[26],"94242,1090":[27],"GE":[28],"The":[30],"Netherlandse-mail:":[31],"bloewe@science.uva.nlB.":[32],"LoweDepartment":[33],"Mathematik,":[34],"Universitat":[35],"Hamburg,":[36,40],"Bundesstrasse":[37],"55,":[38],"20146":[39],"GermanyE.":[41],"MayordomoDepartamento":[42],"Informatica":[44],"e":[45],"Ingenieria":[46,53],"Sistemas,":[48],"Instituto":[49],"Investigacion":[51],"en":[52],"deAragon":[54],"(I3A),":[55],"Universidad":[56],"Zaragoza,":[58,60],"50015":[59],"Spaine-mail:":[61],"elvira@unizar.es":[62]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}