{"id":"https://openalex.org/W2281935918","doi":"https://doi.org/10.1007/978-3-642-31585-5_24","title":"Deciding First Order Properties of Matroids","display_name":"Deciding First Order Properties of Matroids","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2281935918","doi":"https://doi.org/10.1007/978-3-642-31585-5_24","mag":"2281935918"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-31585-5_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-31585-5_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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033114427","display_name":"Tom\u00e1\u0161 Gaven\u010diak","orcid":"https://orcid.org/0000-0003-1119-2426"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Tom\u00e1\u0161 Gaven\u010diak","raw_affiliation_strings":["Department of Applied Mathematics, Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027559065","display_name":"Daniel Kr\u00e1l\u034f\u030c","orcid":"https://orcid.org/0000-0001-8680-0890"},"institutions":[{"id":"https://openalex.org/I92715842","display_name":"University of West Bohemia","ror":"https://ror.org/040t43x18","country_code":"CZ","type":"education","lineage":["https://openalex.org/I92715842"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Daniel Kr\u00e1l","raw_affiliation_strings":["Computer Science Institute, Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague, Czech Republic","Department of Mathematics, University of West Bohemia, Univerzitn\u00ed 8, 306 14, Pilsen, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Computer Science Institute, Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m\u011bst\u00ed 25, 118 00, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Mathematics, University of West Bohemia, Univerzitn\u00ed 8, 306 14, Pilsen, Czech Republic","institution_ids":["https://openalex.org/I92715842"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082994085","display_name":"Sang\u2010il Oum","orcid":"https://orcid.org/0000-0002-6889-7286"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sang-il Oum","raw_affiliation_strings":["Department of Mathematical Sciences, KAIST, 291 Daehak-ro Yuseong-gu, Daejeon, 305-701, South Korea"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, KAIST, 291 Daehak-ro Yuseong-gu, Daejeon, 305-701, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033114427"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3863,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.63352601,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"250"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9998999834060669,"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/T10720","display_name":"Complexity and Algorithms in Graphs","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"}},{"id":"https://openalex.org/T11797","display_name":"graph theory and CDMA systems","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/matroid","display_name":"Matroid","score":0.9538562297821045},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7941731810569763},{"id":"https://openalex.org/keywords/graphic-matroid","display_name":"Graphic matroid","score":0.6164252161979675},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5634976029396057},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5294639468193054},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5214583277702332},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5157558917999268},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4965391755104065},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4881904721260071},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.42181602120399475},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36165422201156616},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.055534183979034424}],"concepts":[{"id":"https://openalex.org/C106286213","wikidata":"https://www.wikidata.org/wiki/Q898572","display_name":"Matroid","level":2,"score":0.9538562297821045},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7941731810569763},{"id":"https://openalex.org/C111034964","wikidata":"https://www.wikidata.org/wiki/Q5597156","display_name":"Graphic matroid","level":3,"score":0.6164252161979675},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5634976029396057},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5294639468193054},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5214583277702332},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5157558917999268},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4965391755104065},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4881904721260071},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.42181602120399475},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36165422201156616},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.055534183979034424},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-31585-5_24","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-31585-5_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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1517150411","https://openalex.org/W1563892973","https://openalex.org/W1577544661","https://openalex.org/W1602589099","https://openalex.org/W1794225520","https://openalex.org/W1963871092","https://openalex.org/W1964824436","https://openalex.org/W1980069488","https://openalex.org/W1980469100","https://openalex.org/W1992996900","https://openalex.org/W1993920925","https://openalex.org/W2028357390","https://openalex.org/W2040101882","https://openalex.org/W2047871605","https://openalex.org/W2063951771","https://openalex.org/W2067431706","https://openalex.org/W2078674325","https://openalex.org/W2085367693","https://openalex.org/W2086318795","https://openalex.org/W2091264711","https://openalex.org/W2092904196","https://openalex.org/W2124442576","https://openalex.org/W2140285470","https://openalex.org/W2165880875","https://openalex.org/W2182109708","https://openalex.org/W2489752112","https://openalex.org/W2588904535","https://openalex.org/W2709548225","https://openalex.org/W4210930323"],"related_works":["https://openalex.org/W2058489697","https://openalex.org/W2106412416","https://openalex.org/W4367050287","https://openalex.org/W2046319394","https://openalex.org/W2072414647","https://openalex.org/W146649319","https://openalex.org/W2550106438","https://openalex.org/W4313680207","https://openalex.org/W2494200571","https://openalex.org/W4298343133"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}