model-trains-0522 · Wikidata Q5891840
homotopy type theory
variant of type theory incorporating the univalence axiom of Voevodsky Catalogue record “homotopy type theory” assigned to “Model Trains”. The name comes from the open Wikidata record Q5891840. Price, condition and auction timing are demonstration data.
View details
variant of type theory incorporating the univalence axiom of Voevodsky Catalogue record “homotopy type theory” assigned to “Model Trains”. The name comes from the open Wikidata record Q5891840. Price, condition and auction timing are demonstration data.
DEMO LOT
Prices and results are demonstrations. You practise decisions, not the market valuation of this object.
Time left 23 hr 18 min · Bids 11
Object source
Wikidata Q5891840. Bidding simulation — Training only · saved on this device · no transaction.
The exercise below is a separate synthetic DEMO case.
Object source
Verified Wikidata fields
…
Anonymous · CAPTCHA
Community comments
Comment anonymously. Every entry is published only after moderation.
No published comments yet.