{"id":"https://openalex.org/W1498388520","doi":"https://doi.org/10.1007/978-3-540-74915-8_24","title":"Not Enough Points Is Enough","display_name":"Not Enough Points Is Enough","publication_year":2007,"publication_date":"2007-08-24","ids":{"openalex":"https://openalex.org/W1498388520","doi":"https://doi.org/10.1007/978-3-540-74915-8_24","mag":"1498388520"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74915-8_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74915-8_24","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":true,"oa_status":"green","oa_url":"https://hal.science/hal-00148820","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108645751","display_name":"Antonio Bucciarelli","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Antonio Bucciarelli","raw_affiliation_strings":["Laboratoire PPS, CNRS UMR 7126-Universit\u00e9 Paris 7, 2, place Jussieu (case 7014), 75251 Paris Cedex 05, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire PPS, CNRS UMR 7126-Universit\u00e9 Paris 7, 2, place Jussieu (case 7014), 75251 Paris Cedex 05, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006888140","display_name":"Thomas Ehrhard","orcid":"https://orcid.org/0000-0001-5231-5504"},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\u00e9matiques de Marseille","ror":"https://ror.org/042h2y225","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Thomas Ehrhard","raw_affiliation_strings":["Institut de Math\u00e9matiques de Luminy CNRS UMR 6206, 163, avenue de Luminy, case 907 13288 Marseille, France","Laboratoire PPS, CNRS UMR 7126-Universit\u00e9 Paris 7, 2, place Jussieu (case 7014), 75251 Paris Cedex 05, France"],"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matiques de Luminy CNRS UMR 6206, 163, avenue de Luminy, case 907 13288 Marseille, France","institution_ids":["https://openalex.org/I4210138206","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire PPS, CNRS UMR 7126-Universit\u00e9 Paris 7, 2, place Jussieu (case 7014), 75251 Paris Cedex 05, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058216930","display_name":"Giulio Manzonetto","orcid":"https://orcid.org/0000-0003-1448-9014"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I149461666","display_name":"Ca' Foscari University of Venice","ror":"https://ror.org/04yzxz566","country_code":"IT","type":"education","lineage":["https://openalex.org/I149461666"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Giulio Manzonetto","raw_affiliation_strings":["Laboratoire PPS, CNRS UMR 7126-Universit\u00e9 Paris 7, 2, place Jussieu (case 7014), 75251 Paris Cedex 05, France","Universit\u00e0 Ca\u2019Foscari di Venezia, Dipartimento di Informatica, Via Torino 155, 30172 Venezia, Italia","Universit\u00e0 Ca'Foscari di Venezia, Dipartimento di Informatica, Via Torino 155, 30172 Venezia, Italia"],"affiliations":[{"raw_affiliation_string":"Laboratoire PPS, CNRS UMR 7126-Universit\u00e9 Paris 7, 2, place Jussieu (case 7014), 75251 Paris Cedex 05, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e0 Ca\u2019Foscari di Venezia, Dipartimento di Informatica, Via Torino 155, 30172 Venezia, Italia","institution_ids":["https://openalex.org/I149461666"]},{"raw_affiliation_string":"Universit\u00e0 Ca'Foscari di Venezia, Dipartimento di Informatica, Via Torino 155, 30172 Venezia, Italia","institution_ids":["https://openalex.org/I149461666"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5108645751"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.6588,"has_fulltext":false,"cited_by_count":52,"citation_normalized_percentile":{"value":0.94019384,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"298","last_page":"312"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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.9993000030517578,"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.9965999722480774,"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.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/axiom","display_name":"Axiom","score":0.7389184236526489},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.6258258819580078},{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.6230409741401672},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6107253432273865},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.6092644333839417},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.5114218592643738},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4450673758983612},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.41419756412506104},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3051023483276367},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23887202143669128},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19904804229736328},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14224585890769958}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7389184236526489},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.6258258819580078},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.6230409741401672},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6107253432273865},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.6092644333839417},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.5114218592643738},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4450673758983612},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.41419756412506104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3051023483276367},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23887202143669128},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19904804229736328},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14224585890769958},{"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},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-74915-8_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74915-8_24","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.109.5341","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.5341","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dsi.unive.it/~gmanzone/papers/bem2007.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00148820v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00148820","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Sep 2007, Lausanne, Switzerland. pp.298-312","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00148820v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00148820","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Sep 2007, Lausanne, Switzerland. pp.298-312","raw_type":"Conference papers"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1370157","https://openalex.org/W4861723","https://openalex.org/W1504975584","https://openalex.org/W1512478964","https://openalex.org/W1513662453","https://openalex.org/W1540909559","https://openalex.org/W1547926009","https://openalex.org/W1602845050","https://openalex.org/W1965630431","https://openalex.org/W1967121513","https://openalex.org/W1972921902","https://openalex.org/W1974315746","https://openalex.org/W1978840985","https://openalex.org/W2004553747","https://openalex.org/W2024189573","https://openalex.org/W2025341469","https://openalex.org/W2036605992","https://openalex.org/W2049362364","https://openalex.org/W2050289409","https://openalex.org/W2060305077","https://openalex.org/W2072497723","https://openalex.org/W2087185080","https://openalex.org/W2094079428","https://openalex.org/W2120926795","https://openalex.org/W2132638915","https://openalex.org/W2154273644","https://openalex.org/W2165446401","https://openalex.org/W2480386167","https://openalex.org/W2963541987","https://openalex.org/W4243711577","https://openalex.org/W4297810830"],"related_works":["https://openalex.org/W2027614742","https://openalex.org/W4386799044","https://openalex.org/W2773208253","https://openalex.org/W2500008054","https://openalex.org/W2560646951","https://openalex.org/W4297454206","https://openalex.org/W1562388578","https://openalex.org/W1598333446","https://openalex.org/W4252559877","https://openalex.org/W2145947913"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}