{"id":"https://openalex.org/W6940354763","doi":"https://doi.org/10.1007/978-0-387-39940-9_999","title":"First-Order Logic: Syntax","display_name":"First-Order Logic: Syntax","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W6940354763","doi":"https://doi.org/10.1007/978-0-387-39940-9_999"},"language":"en","primary_location":{"id":"doi:10.1007/978-0-387-39940-9_999","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-387-39940-9_999","pdf_url":null,"source":{"id":"https://openalex.org/S4306509343","display_name":"Encyclopedia of Database Systems","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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Database Systems","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":null,"display_name":"Val Tannen","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Val Tannen","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.52001074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1139","last_page":"1141"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10451","display_name":"Mycorrhizal Fungi and Plant Interactions","score":0.4964999854564667,"subfield":{"id":"https://openalex.org/subfields/1110","display_name":"Plant Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10451","display_name":"Mycorrhizal Fungi and Plant Interactions","score":0.4964999854564667,"subfield":{"id":"https://openalex.org/subfields/1110","display_name":"Plant Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10015","display_name":"Genomics and Phylogenetic Studies","score":0.11420000344514847,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10825","display_name":"Plant Pathogens and Fungal Diseases","score":0.040800001472234726,"subfield":{"id":"https://openalex.org/subfields/1307","display_name":"Cell Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nucleofection","display_name":"Nucleofection","score":0.4683000147342682},{"id":"https://openalex.org/keywords/gestational-period","display_name":"Gestational period","score":0.38530001044273376},{"id":"https://openalex.org/keywords/tsg101","display_name":"TSG101","score":0.3434000015258789},{"id":"https://openalex.org/keywords/dysgeusia","display_name":"Dysgeusia","score":0.3384000062942505},{"id":"https://openalex.org/keywords/liquation","display_name":"Liquation","score":0.3319999873638153},{"id":"https://openalex.org/keywords/diafiltration","display_name":"Diafiltration","score":0.328000009059906},{"id":"https://openalex.org/keywords/emperipolesis","display_name":"Emperipolesis","score":0.31779998540878296},{"id":"https://openalex.org/keywords/triacetin","display_name":"Triacetin","score":0.31150001287460327},{"id":"https://openalex.org/keywords/durvalumab","display_name":"Durvalumab","score":0.3077999949455261}],"concepts":[{"id":"https://openalex.org/C144251240","wikidata":"https://www.wikidata.org/wiki/Q7068229","display_name":"Nucleofection","level":4,"score":0.4683000147342682},{"id":"https://openalex.org/C2992336715","wikidata":"https://www.wikidata.org/wiki/Q63431143","display_name":"Gestational period","level":4,"score":0.38530001044273376},{"id":"https://openalex.org/C2778283623","wikidata":"https://www.wikidata.org/wiki/Q18032200","display_name":"TSG101","level":5,"score":0.3434000015258789},{"id":"https://openalex.org/C2777054765","wikidata":"https://www.wikidata.org/wiki/Q6402731","display_name":"Dysgeusia","level":3,"score":0.3384000062942505},{"id":"https://openalex.org/C180938184","wikidata":"https://www.wikidata.org/wiki/Q2142270","display_name":"Liquation","level":3,"score":0.3319999873638153},{"id":"https://openalex.org/C18743360","wikidata":"https://www.wikidata.org/wiki/Q1208096","display_name":"Diafiltration","level":4,"score":0.328000009059906},{"id":"https://openalex.org/C2777968768","wikidata":"https://www.wikidata.org/wiki/Q1280161","display_name":"Emperipolesis","level":4,"score":0.31779998540878296},{"id":"https://openalex.org/C2776781215","wikidata":"https://www.wikidata.org/wiki/Q83253","display_name":"Triacetin","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C2777742743","wikidata":"https://www.wikidata.org/wiki/Q19904005","display_name":"Durvalumab","level":5,"score":0.3077999949455261},{"id":"https://openalex.org/C104545631","wikidata":"https://www.wikidata.org/wiki/Q464858","display_name":"Demotion","level":3,"score":0.30410000681877136},{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C2777935831","wikidata":"https://www.wikidata.org/wiki/Q3144949","display_name":"Hemopericardium","level":3,"score":0.29409998655319214},{"id":"https://openalex.org/C2777158700","wikidata":"https://www.wikidata.org/wiki/Q1419356","display_name":"Hyporeflexia","level":3,"score":0.2906999886035919},{"id":"https://openalex.org/C2778843634","wikidata":"https://www.wikidata.org/wiki/Q2013780","display_name":"Ocrelizumab","level":4,"score":0.2897999882698059},{"id":"https://openalex.org/C145741570","wikidata":"https://www.wikidata.org/wiki/Q7251534","display_name":"Proteogenomics","level":5,"score":0.2888999879360199},{"id":"https://openalex.org/C135979968","wikidata":"https://www.wikidata.org/wiki/Q609809","display_name":"Protein isoform","level":5,"score":0.28690001368522644},{"id":"https://openalex.org/C2775917601","wikidata":"https://www.wikidata.org/wiki/Q1424050","display_name":"Sclerodactyly","level":4,"score":0.2854999899864197},{"id":"https://openalex.org/C2779627259","wikidata":"https://www.wikidata.org/wiki/Q779763","display_name":"Pretext","level":3,"score":0.2831999957561493},{"id":"https://openalex.org/C2779645999","wikidata":"https://www.wikidata.org/wiki/Q1858477","display_name":"Frugality","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2780904289","wikidata":"https://www.wikidata.org/wiki/Q426498","display_name":"Tantalum carbide","level":3,"score":0.2759000062942505},{"id":"https://openalex.org/C2909186138","wikidata":"https://www.wikidata.org/wiki/Q1500373","display_name":"Hyperlactatemia","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C2781032047","wikidata":"https://www.wikidata.org/wiki/Q938793","display_name":"Articular cartilage damage","level":5,"score":0.26179999113082886},{"id":"https://openalex.org/C2776714567","wikidata":"https://www.wikidata.org/wiki/Q7861081","display_name":"Typhoid vaccine","level":3,"score":0.25440001487731934},{"id":"https://openalex.org/C2776356786","wikidata":"https://www.wikidata.org/wiki/Q1048573","display_name":"Tubulopathy","level":3,"score":0.25360000133514404},{"id":"https://openalex.org/C2778128915","wikidata":"https://www.wikidata.org/wiki/Q3782613","display_name":"Contractualism","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-0-387-39940-9_999","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-387-39940-9_999","pdf_url":null,"source":{"id":"https://openalex.org/S4306509343","display_name":"Encyclopedia of Database Systems","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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Database Systems","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W1489366126"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}