{"id":"https://openalex.org/W1853329372","doi":"https://doi.org/10.1007/978-3-540-32254-2_19","title":"Psychological Validity of Schematic Proofs","display_name":"Psychological Validity of Schematic Proofs","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1853329372","doi":"https://doi.org/10.1007/978-3-540-32254-2_19","mag":"1853329372"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-32254-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-32254-2_19","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://www.pure.ed.ac.uk/ws/files/50907627/Psychological_validity_of_schematic_proofs.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036018012","display_name":"Mateja Jamnik","orcid":"https://orcid.org/0000-0003-2772-2532"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mateja Jamnik","raw_affiliation_strings":["University of Cambridge Computer Laboratory, J.J. Thomson Avenue, Cambridge, CB3 0FD, England, UK","University of Cambridge, Computer Laboratory, Cambridge, England, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge Computer Laboratory, J.J. Thomson Avenue, Cambridge, CB3 0FD, England, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge, Computer Laboratory, Cambridge, England, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040311876","display_name":"Alan Bundy","orcid":"https://orcid.org/0000-0002-0578-6474"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alan Bundy","raw_affiliation_strings":["Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, Scotland, EH1 1HN, UK","Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK"],"affiliations":[{"raw_affiliation_string":"Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, Scotland, EH1 1HN, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Edinburgh, Scotland, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036018012"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.0911473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"321","last_page":"341"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10672","display_name":"Design Education and Practice","score":0.9782999753952026,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10672","display_name":"Design Education and Practice","score":0.9782999753952026,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.9775000214576721,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13777","display_name":"Cognitive and psychological constructs research","score":0.9452000260353088,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/schematic","display_name":"Schematic","score":0.9716622829437256},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.9544335603713989},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6240805387496948},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.5144481658935547},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.44391539692878723},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33473557233810425},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2885884940624237},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1715947687625885},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.16886094212532043},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06924000382423401}],"concepts":[{"id":"https://openalex.org/C192328126","wikidata":"https://www.wikidata.org/wiki/Q4514647","display_name":"Schematic","level":2,"score":0.9716622829437256},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.9544335603713989},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6240805387496948},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.5144481658935547},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.44391539692878723},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33473557233810425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2885884940624237},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1715947687625885},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.16886094212532043},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06924000382423401},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-32254-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-32254-2_19","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:pure.ed.ac.uk:publications/542e9c00-5375-420c-8c4b-528a9e74920a","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/psychological-validity-of-schematic-proofs(542e9c00-5375-420c-8c4b-528a9e74920a).html","pdf_url":"https://www.pure.ed.ac.uk/ws/files/50907627/Psychological_validity_of_schematic_proofs.pdf","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.600.1338","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.600.1338","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.inf.ed.ac.uk/bundy/drafts/psy-validity.pdf","raw_type":"text"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/542e9c00-5375-420c-8c4b-528a9e74920a","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/542e9c00-5375-420c-8c4b-528a9e74920a","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Jamnik, M & Bundy, A 2005, Psychological validity of schematic proofs. in Mechanizing Mathematical Reasoning : Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. vol. LNCS 2605, Lecture Notes in Computer Science, vol. 2605, pp. 321-341. https://doi.org/10.1007/978-3-540-32254-2_19","raw_type":"bookPart"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:publications/542e9c00-5375-420c-8c4b-528a9e74920a","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/psychological-validity-of-schematic-proofs(542e9c00-5375-420c-8c4b-528a9e74920a).html","pdf_url":"https://www.pure.ed.ac.uk/ws/files/50907627/Psychological_validity_of_schematic_proofs.pdf","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1853329372.pdf","grobid_xml":"https://content.openalex.org/works/W1853329372.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1491483682","https://openalex.org/W1593084224","https://openalex.org/W1607953571","https://openalex.org/W1734944212","https://openalex.org/W1821199070","https://openalex.org/W2011043790","https://openalex.org/W2017348305","https://openalex.org/W2060878518","https://openalex.org/W2148360835","https://openalex.org/W2167745704","https://openalex.org/W2333732752","https://openalex.org/W2488452137","https://openalex.org/W2504648778","https://openalex.org/W2998385477","https://openalex.org/W3127083161","https://openalex.org/W3141205388","https://openalex.org/W4245144701"],"related_works":["https://openalex.org/W3154683910","https://openalex.org/W1846734616","https://openalex.org/W3134543635","https://openalex.org/W2359532622","https://openalex.org/W2921318524","https://openalex.org/W2377571686","https://openalex.org/W4380988671","https://openalex.org/W1925657225","https://openalex.org/W1853329372","https://openalex.org/W2352606227"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}