{"id":"https://openalex.org/W1585842854","doi":"https://doi.org/10.1007/10720123_11","title":"Simplification of Proof Procedures Based on the Path Condition Concepts","display_name":"Simplification of Proof Procedures Based on the Path Condition Concepts","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1585842854","doi":"https://doi.org/10.1007/10720123_11","mag":"1585842854"},"language":"en","primary_location":{"id":"doi:10.1007/10720123_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/10720123_11","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/A5019412715","display_name":"Mireille Larnac","orcid":null},"institutions":[{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I4210127738","display_name":"IMT Mines Al\u00e8s","ror":"https://ror.org/03e8rf594","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127738"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mireille Larnac","raw_affiliation_strings":["LGI2P, Ecole des Mines d\u2019Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","LGI2P, Ecole des Mines d'Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France"],"affiliations":[{"raw_affiliation_string":"LGI2P, Ecole des Mines d\u2019Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I4210127738"]},{"raw_affiliation_string":"LGI2P, Ecole des Mines d'Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I4210127738"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032377579","display_name":"J. Magnier","orcid":null},"institutions":[{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I4210127738","display_name":"IMT Mines Al\u00e8s","ror":"https://ror.org/03e8rf594","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127738"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Janine Magnier","raw_affiliation_strings":["LGI2P, Ecole des Mines d\u2019Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","LGI2P, Ecole des Mines d'Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France"],"affiliations":[{"raw_affiliation_string":"LGI2P, Ecole des Mines d\u2019Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I4210127738"]},{"raw_affiliation_string":"LGI2P, Ecole des Mines d'Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I4210127738"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047460678","display_name":"Vincent Chapurlat","orcid":null},"institutions":[{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I4210127738","display_name":"IMT Mines Al\u00e8s","ror":"https://ror.org/03e8rf594","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127738"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vincent Chapurlat","raw_affiliation_strings":["LGI2P, Ecole des Mines d\u2019Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","LGI2P, Ecole des Mines d'Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France"],"affiliations":[{"raw_affiliation_string":"LGI2P, Ecole des Mines d\u2019Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I4210127738"]},{"raw_affiliation_string":"LGI2P, Ecole des Mines d'Al\u00e8s \u2013 Site EERIE, Parc Scientifique Georges Besse, 30035, NIMES cedex 1, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I4210127738"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5019412715"],"corresponding_institution_ids":["https://openalex.org/I4210127738","https://openalex.org/I70768539"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14942904,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"116","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.8943073749542236},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7817679643630981},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.6287453770637512},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.6068793535232544},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.604742705821991},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.576351523399353},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.5648095607757568},{"id":"https://openalex.org/keywords/analytic-proof","display_name":"Analytic proof","score":0.541662871837616},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.4935199022293091},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.475501149892807},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4703393578529358},{"id":"https://openalex.org/keywords/structural-proof-theory","display_name":"Structural proof theory","score":0.4357141852378845},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3844895660877228},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28519153594970703},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17843005061149597}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8943073749542236},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7817679643630981},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.6287453770637512},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.6068793535232544},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.604742705821991},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.576351523399353},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.5648095607757568},{"id":"https://openalex.org/C135754263","wikidata":"https://www.wikidata.org/wiki/Q4751136","display_name":"Analytic proof","level":3,"score":0.541662871837616},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4935199022293091},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.475501149892807},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4703393578529358},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.4357141852378845},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3844895660877228},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28519153594970703},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17843005061149597},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/10720123_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/10720123_11","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":10,"referenced_works":["https://openalex.org/W74463220","https://openalex.org/W398187828","https://openalex.org/W592108213","https://openalex.org/W1543281322","https://openalex.org/W1684304966","https://openalex.org/W1881813055","https://openalex.org/W2012956793","https://openalex.org/W2059677035","https://openalex.org/W2073689993","https://openalex.org/W2157319504"],"related_works":["https://openalex.org/W4234403895","https://openalex.org/W2119682046","https://openalex.org/W2162495973","https://openalex.org/W1496026483","https://openalex.org/W3163122332","https://openalex.org/W187835144","https://openalex.org/W1541513585","https://openalex.org/W2491370528","https://openalex.org/W1854197585","https://openalex.org/W2040769847"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}