Skip to content

chore: refresh DB dump — feat: add the Dar El Noamane dictionary of mathematics (Q130325501) (arabterm#78) - #155

Merged
forzagreen merged 1 commit into
mainfrom
auto/update-dump-08a3dbe5ca0c3f1b095219a614eb8027b9d18000
Nov 11, 2026
Merged

forzagreen merged 1 commit into
mainfrom
auto/update-dump-08a3dbe5ca0c3f1b095219a614eb8027b9d18000

Conversation

@forzagreen

Copy link
Copy Markdown
Owner

Auto-generated from a data change in forzagreen/arabterm, commit 08a3dbe:

feat: add the Dar El Noamane dictionary of mathematics (Q130325501) (forzagreen/arabterm#78)

Adds math: قاموس الرياضيات (دار النعمان، 2017), an English/French/Arabic
dictionary of mathematics.

  • 1938 terms, each with English, French, Arabic and its printed page (3-114).
  • Extracted from the text layer of the born-digital PDF (archive.org
    BTE2017ENARFR), cross-read against the page images by two vision models and
    reviewed entry by entry in the review app: all 1939 entries decided, 123
    corrected by hand (spacing, parentheses, hamzat al-wasl, tanween), 11 replaced
    by a vision reading, 1 dropped (Comprehended angle).
  • Four reviewed readings were checked against the print and set back to it:
    Isomorphic «متشاكل تقابليا» (the picked reading «تغذايا» was a misread),
    Integrable «مُتكامَل» and Valued «مقيّم» (the picked readings changed the
    harakat), Sufficient «كافٍ» (typed with fathatan).
  • page is the printed folio; archive_org_url + page_offset 3 come from
    the P953 statement and its P8330 qualifier on Wikidata.
  • dict_type is terminology (a printed dictionary, like damascus_maths),
    tier is 3. Names follow the Wikidata labels; there is no French label, so
    name_french is ours.

Data changes

  • Dictionaries: 90 → 91 (+1)
  • Terms: 613791 → 615729 (+1938)

Dictionaries added (1)

  • math · Math Dictionary (Dar-El-Noamane, 2017) · قاموس الرياضيات (دار النعمان، 2017) · Q130325501 · 1938 terms

Ran make download_dump && make fix_dump against arabterm main: 1944 lines added to the SQL dump, 5 removed. db/arabterm.sql.gz is gzipped, so GitHub shows no diff of it; merge to trigger the production DB import.

@forzagreen
forzagreen merged commit 1047365 into main Nov 11, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant