{"id":"https://openalex.org/W6925471000","doi":"https://doi.org/10.18420/delfi2022-044","title":"Beweiskompetenz durch Beweisassistenz","display_name":"Beweiskompetenz durch Beweisassistenz","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W6925471000","doi":"https://doi.org/10.18420/delfi2022-044"},"language":"de","primary_location":{"id":"doi:10.18420/delfi2022-044","is_oa":true,"landing_page_url":"https://doi.org/10.18420/delfi2022-044","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/delfi2022-044","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Karsten, Nadine","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Karsten, Nadine","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Nestmann, Uwe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nestmann, Uwe","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.48255351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12798","display_name":"Religious Tourism and Spaces","score":0.1274999976158142,"subfield":{"id":"https://openalex.org/subfields/3305","display_name":"Geography, Planning and Development"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12798","display_name":"Religious Tourism and Spaces","score":0.1274999976158142,"subfield":{"id":"https://openalex.org/subfields/3305","display_name":"Geography, Planning and Development"},"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/T11563","display_name":"Indian and Buddhist Studies","score":0.061000000685453415,"subfield":{"id":"https://openalex.org/subfields/1212","display_name":"Religious studies"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13198","display_name":"Historical, Religious, and Philosophical Studies","score":0.03370000049471855,"subfield":{"id":"https://openalex.org/subfields/1204","display_name":"Archeology"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.12860000133514404},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.120899997651577},{"id":"https://openalex.org/keywords/general-interest","display_name":"General interest","score":0.11940000206232071}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.38830000162124634},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.2939999997615814},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.20909999310970306},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.20190000534057617},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.18549999594688416},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.15410000085830688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1363999992609024},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.12860000133514404},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.120899997651577},{"id":"https://openalex.org/C3019832315","wikidata":"https://www.wikidata.org/wiki/Q5532355","display_name":"General interest","level":3,"score":0.11940000206232071}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/delfi2022-044","is_oa":true,"landing_page_url":"https://doi.org/10.18420/delfi2022-044","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/delfi2022-044","is_oa":true,"landing_page_url":"https://doi.org/10.18420/delfi2022-044","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Beweiskompetenz,":[0],"also":[1],"die":[2,70],"F\u00e4higkeit":[3],"mathematische":[4],"Beweise":[5],"sowohl":[6],"verstehen":[7],"als":[8],"auch":[9,91],"eigenst\u00e4ndig":[10],"f\u00fchren":[11],"zu":[12,45],"k\u00f6nnen,":[13],"wird":[14],"\u00fcblicherweise":[15],"vorrangig":[16],"durch":[17,87],"Beispiele,":[18],"Feedback":[19,44],"und":[20,24,61,90],"Diskussion":[21],"zwischen":[22],"Lernenden":[23,39],"Lehrenden":[25],"erworben.":[26],"Wir":[27,67],"setzen":[28],"einen":[29,33],"interaktiven":[30],"Theorembeweiser":[31],"\u2013":[32,36],"sogenannten":[34],"Beweisassistenten":[35,88],"ein,":[37],"um":[38],"ein":[40],"zus\u00e4tzliches":[41],"m\u00f6glichst":[42],"direktes":[43],"erm\u00f6glichen.":[46],"Das":[47],"F\u00fchren":[48],"von":[49,57,65],"Beweisen":[50],"mit":[51,59,83],"solchen":[52],"Assistenten":[53],"\u00e4hnelt":[54],"der":[55,77],"Entwicklung":[56],"Software":[58],"schnellem":[60],"zuweilen":[62],"spielerischem":[63],"Explorieren":[64],"L\u00f6sungsans\u00e4tzen.":[66],"erarbeiten":[68],"daher":[69],"Konzeption":[71],"eines":[72],"dedizierten":[73],"Kurses":[74],"im":[75],"Bereich":[76],"Theoretischen":[78],"Informatik,":[79],"in":[80],"dem":[81],"Beweiskompetenz":[82],"passenden":[84],"didaktischen":[85],"Ans\u00e4tzen":[86],"effizienter":[89],"spielerischer":[92],"vermittelt":[93],"wird.":[94]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}