{"id":"https://openalex.org/W1603979250","doi":"https://doi.org/10.1007/3-540-44683-4_33","title":"Quantifier Rank for Parity of Embedded Finite Models","display_name":"Quantifier Rank for Parity of Embedded Finite Models","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W1603979250","doi":"https://doi.org/10.1007/3-540-44683-4_33","mag":"1603979250"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-44683-4_33","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44683-4_33","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/A5004130370","display_name":"Herv\u00e9 Fournier","orcid":null},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Herv\u00e9 Fournier","raw_affiliation_strings":["Laboratoire de l\u2019Informatique du Parall\u00e9lisme, Ecole Normale Sup\u00e9rieure de Lyon, 46, all\u00e9e d\u2019Italie, 69364, Lyon Cedex 07, France","Laboratoire de l'Informatique du Parall\u00e9lisme, Ecole Normale Sup\u00e9rieure de Lyon, 46, all\u00e9e d'Italie, 69364, Lyon Cedex 07, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire de l\u2019Informatique du Parall\u00e9lisme, Ecole Normale Sup\u00e9rieure de Lyon, 46, all\u00e9e d\u2019Italie, 69364, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]},{"raw_affiliation_string":"Laboratoire de l'Informatique du Parall\u00e9lisme, Ecole Normale Sup\u00e9rieure de Lyon, 46, all\u00e9e d'Italie, 69364, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5004130370"],"corresponding_institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4210144566"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1711,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81961471,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"375","last_page":"386"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9987000226974487,"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/quantifier-elimination","display_name":"Quantifier elimination","score":0.7947751879692078},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.7510085105895996},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6818872690200806},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.6456760168075562},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6218874454498291},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5694096088409424},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5144334435462952},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5097041130065918},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4677337110042572},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.46182164549827576},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4160793423652649},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40227654576301575},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09108248353004456},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06123456358909607}],"concepts":[{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.7947751879692078},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.7510085105895996},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6818872690200806},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.6456760168075562},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6218874454498291},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5694096088409424},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5144334435462952},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5097041130065918},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4677337110042572},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.46182164549827576},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4160793423652649},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40227654576301575},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09108248353004456},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06123456358909607},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-44683-4_33","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44683-4_33","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1482193060","https://openalex.org/W1556189547","https://openalex.org/W1587950877","https://openalex.org/W1972802848","https://openalex.org/W1989267168","https://openalex.org/W2015376829","https://openalex.org/W2017027749","https://openalex.org/W2031856459","https://openalex.org/W2065439806","https://openalex.org/W2065999229","https://openalex.org/W2094548115","https://openalex.org/W2245093405","https://openalex.org/W2799061192","https://openalex.org/W2911521611","https://openalex.org/W4236835455","https://openalex.org/W4246140018","https://openalex.org/W4252933876","https://openalex.org/W4295005004"],"related_works":["https://openalex.org/W4214737172","https://openalex.org/W3012938552","https://openalex.org/W2324712051","https://openalex.org/W4287825236","https://openalex.org/W1239946963","https://openalex.org/W1973527399","https://openalex.org/W71729059","https://openalex.org/W1524103539","https://openalex.org/W3216731410","https://openalex.org/W2798639752"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}