{"id":"https://openalex.org/W2019793708","doi":"https://doi.org/10.1142/s0129054111007824","title":"ON A PARTIAL AFFIRMATIVE ANSWER FOR A P\u0102UN'S CONJECTURE","display_name":"ON A PARTIAL AFFIRMATIVE ANSWER FOR A P\u0102UN'S CONJECTURE","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2019793708","doi":"https://doi.org/10.1142/s0129054111007824","mag":"2019793708"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054111007824","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054111007824","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","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/A5019931763","display_name":"Ignacio P\u00e9rez\u2013Hurtado","orcid":"https://orcid.org/0000-0001-9735-7951"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"IGNACIO P\u00c9REZ-HURTADO","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075139255","display_name":"Mario J. P\u00e9rez-J\u00edmenez","orcid":"https://orcid.org/0000-0002-5055-0102"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MARIO J. P\u00c9REZ-JIM\u00c9NEZ","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042125379","display_name":"Agust\u00edn Riscos\u2013N\u00fa\u00f1ez","orcid":"https://orcid.org/0000-0002-5409-3578"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"AGUST\u00cdN RISCOS-N\u00da\u00d1EZ","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030982174","display_name":"Miguel \u00c1. Guti\u00e9rrez-Naranjo","orcid":"https://orcid.org/0000-0002-3624-6139"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MIGUEL A. GUTI\u00c9RREZ-NARANJO","raw_affiliation_strings":["Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain"],"affiliations":[{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence. University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009261827","display_name":"Miquel Rius\u2013Font","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MIQUEL RIUS-FONT","raw_affiliation_strings":["Department of Applied Mathematics IV, Universitat Polit\u00e9cnica de Catalunya Edifici C3, Despatx 016, Av. del Canal Ol\u00edmpic, s/n, 08860 Castelldefels, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics IV, Universitat Polit\u00e9cnica de Catalunya Edifici C3, Despatx 016, Av. del Canal Ol\u00edmpic, s/n, 08860 Castelldefels, Spain","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5019931763"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.07988007,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"22","issue":"01","first_page":"55","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":1.0,"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/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9980000257492065,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9873999953269958,"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/conjecture","display_name":"Conjecture","score":0.8108633160591125},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5388038158416748},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5338073372840881},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5147943496704102},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4681667983531952},{"id":"https://openalex.org/keywords/division","display_name":"Division (mathematics)","score":0.45647555589675903},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3838997781276703},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10895013809204102}],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.8108633160591125},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5388038158416748},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5338073372840881},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5147943496704102},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4681667983531952},{"id":"https://openalex.org/C60798267","wikidata":"https://www.wikidata.org/wiki/Q1226939","display_name":"Division (mathematics)","level":2,"score":0.45647555589675903},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3838997781276703},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10895013809204102},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054111007824","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054111007824","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326754","display_name":"Junta de Andaluc\u00eda","ror":"https://ror.org/01jem9c82"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1578258675","https://openalex.org/W1593993808","https://openalex.org/W1607601471","https://openalex.org/W2113362345","https://openalex.org/W4213009134"],"related_works":["https://openalex.org/W3194471551","https://openalex.org/W4375956809","https://openalex.org/W1581373162","https://openalex.org/W2784911598","https://openalex.org/W4213091376","https://openalex.org/W4252317921","https://openalex.org/W2038973998","https://openalex.org/W4297950433","https://openalex.org/W2033939734","https://openalex.org/W243046325"],"abstract_inverted_index":{"At":[0,52],"the":[1,13,53,65,88],"beginning":[2],"of":[3,15,55,83,90],"2005,":[4,56],"Gheorghe":[5],"P\u0103un":[6],"formulated":[7],"a":[8,57,78],"conjecture":[9,66],"stating":[10],"that":[11,47,64],"in":[12,38],"framework":[14],"recognizer":[16,95],"P":[17,48,96],"systems":[18],"with":[19,94],"active":[20],"membranes":[21],"(evolution":[22],"rules,":[23,25],"communication":[24],"dissolution":[26,69],"rules":[27,30,70],"and":[28,80],"division":[29],"for":[31],"elementary":[32],"membranes),":[33],"polarizations":[34],"cannot":[35],"be":[36],"avoided":[37],"order":[39],"to":[40],"solve":[41],"computationally":[42],"hard":[43],"problems":[44],"efficiently":[45],"(assuming":[46],"\u2260":[49],"NP":[50],").":[51],"middle":[54],"partial":[58],"positive":[59],"answer":[60],"was":[61],"given,":[62],"proving":[63],"holds":[67],"if":[68],"are":[71],"forbidden.":[72],"In":[73],"this":[74,84],"paper":[75],"we":[76],"give":[77],"detailed":[79],"complete":[81],"proof":[82],"result":[85],"modifying":[86],"slightly":[87],"notion":[89],"dependency":[91],"graph":[92],"associated":[93],"systems.":[97]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}