All API endpoints are currently read-only. Enabling PUT to upload new content is a feasible feature awaiting someone to ask for it.
Returns JSON file of all derivations, including steps and expressions and inference rules.
Returns JSON file listing every derivation ID
Parameter: name
numeric ID of derivation
Returns JSON file with one derivation, including steps and expressions and inference rules.
Example: https://derivationmap.net/api/v1/resources/derivations?name=000007
Returns JSON file listing every (global) expression IDs
Parameter: global_id
global ID of expression
Returns JSON file with one expression, including all fields
Example: https://derivationmap.net/api/v1/resources/expressions?global_id=6964468708
Returns JSON file of all inference rule names
Parameter: name
inference rule name
Returns JSON file with one inference rule, including all fields
Example: https://derivationmap.net/api/v1/resources/infrules?name=apply%20operator%20to%20bra
Returns JSON file of all (local expression ID):(global expression ID) pairs
Returns JSON file listing every local expression ID
Parameter: local_id
local expression ID
Returns string with one global expression ID
Example: https://derivationmap.net/api/v1/resources/local_to_global?local_id=0021030
Returns JSON file listing every symbol ID
Parameter: symbol_id
symbol ID
Returns JSON file with all fields for a given symbol
Example: https://derivationmap.net/api/v1/resources/symbols?symbol_id=2321
Returns JSON file listing every operator ID
Parameter: operator_id
operator ID
Returns JSON file with all fields for a given operator
Example: https://derivationmap.net/api/v1/resources/operators?operator_id=addition