{"id":"https://openalex.org/W1560518114","doi":"https://doi.org/10.1007/978-3-540-72734-7_17","title":"Explicit Proofs in Formal Provability Logic","display_name":"Explicit Proofs in Formal Provability Logic","publication_year":2007,"publication_date":"2007-06-28","ids":{"openalex":"https://openalex.org/W1560518114","doi":"https://doi.org/10.1007/978-3-540-72734-7_17","mag":"1560518114"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-72734-7_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72734-7_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5021686663","display_name":"Evan Goris","orcid":null},"institutions":[{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]},{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Evan Goris","raw_affiliation_strings":["The Graduate Center of the City University of New York, 365 Fifth Avenue, 10016 New York, NY, U.S.A","The Graduate Center of the City University of New York, 365 Fifth Avenue, 10016 New York, NY, U.S.A.#TAB#"],"affiliations":[{"raw_affiliation_string":"The Graduate Center of the City University of New York, 365 Fifth Avenue, 10016 New York, NY, U.S.A","institution_ids":[]},{"raw_affiliation_string":"The Graduate Center of the City University of New York, 365 Fifth Avenue, 10016 New York, NY, U.S.A.#TAB#","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021686663"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1431,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80044136,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"241","last_page":"253"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9969000220298767,"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/mathematical-proof","display_name":"Mathematical proof","score":0.8578122854232788},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.7120317816734314},{"id":"https://openalex.org/keywords/structural-proof-theory","display_name":"Structural proof theory","score":0.6426156163215637},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.5900741815567017},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5840925574302673},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5595182776451111},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4649699032306671},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.43234002590179443},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.4316246509552002},{"id":"https://openalex.org/keywords/proof-assistant","display_name":"Proof assistant","score":0.42889994382858276},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36656317114830017},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34721022844314575},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34135860204696655},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3146559000015259},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15059995651245117},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.0641258955001831},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06038820743560791}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8578122854232788},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7120317816734314},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.6426156163215637},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.5900741815567017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5840925574302673},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5595182776451111},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4649699032306671},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.43234002590179443},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.4316246509552002},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.42889994382858276},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36656317114830017},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34721022844314575},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34135860204696655},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3146559000015259},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15059995651245117},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0641258955001831},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06038820743560791},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-72734-7_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72734-7_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.368.9787","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.9787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://tr.cs.gc.cuny.edu/tr/files/TR-2006003.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.817.5860","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.817.5860","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://academicworks.cuny.edu/cgi/viewcontent.cgi?article%3D1270%26context%3Dgc_cs_tr","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W163732928","https://openalex.org/W1497143596","https://openalex.org/W1519702305","https://openalex.org/W1596968908","https://openalex.org/W1806652432","https://openalex.org/W1996638557","https://openalex.org/W2016282992","https://openalex.org/W2032493730","https://openalex.org/W2041010580","https://openalex.org/W2043468053","https://openalex.org/W2059933820","https://openalex.org/W2132638915","https://openalex.org/W2152399709","https://openalex.org/W2495008722","https://openalex.org/W2551720480","https://openalex.org/W2610670723","https://openalex.org/W2743117888","https://openalex.org/W4211144022"],"related_works":["https://openalex.org/W1558859407","https://openalex.org/W2463991046","https://openalex.org/W2491370528","https://openalex.org/W3163122332","https://openalex.org/W1854197585","https://openalex.org/W2795365301","https://openalex.org/W1965266911","https://openalex.org/W3080745458","https://openalex.org/W2040769847","https://openalex.org/W2115635255"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}