{"work":{"id":"fa1905d6-3347-4ba2-9b5f-0d4c184ada97","openalex_id":null,"doi":"10.1007/3-","arxiv_id":null,"raw_key":null,"title":"Thegreatestcommondivisor:acasestudy for program extraction from classical proofs","authors":null,"authors_text":"UlrichBergerandHelmutSchwichtenberg","year":1995,"venue":null,"abstract":null,"external_url":"https://doi.org/10.1007/3-","cited_by_count":null,"metadata_source":"doi_reference","metadata_fetched_at":"2026-05-25T05:50:22.523904+00:00","pith_arxiv_id":null,"created_at":"2026-05-09T03:50:06.521196+00:00","updated_at":"2026-06-05T21:23:00.469572+00:00","title_quality_ok":false,"display_title":"Thegreatestcommondivisor:acasestudy for program extraction from classical proofs","render_title":"Thegreatestcommondivisor:acasestudy for program extraction from classical proofs"},"hub":{"state":{"work_id":"fa1905d6-3347-4ba2-9b5f-0d4c184ada97","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":19,"external_cited_by_count":null,"distinct_field_count":13,"first_pith_cited_at":"2022-11-19T00:01:08+00:00","last_pith_cited_at":"2026-05-21T17:00:56+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-06-19T18:57:42.683195+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":8}],"polarity_counts":[{"context_polarity":"background","n":8}],"runs":{},"summary":{},"graph":{},"authors":[]}}