{"entities":{"Q7361485":{"pageid":31519994,"ns":120,"title":"Item:Q7361485","lastrevid":105367085,"modified":"2026-10-07T13:36:44Z","type":"item","id":"Q7361485","labels":{"en":{"language":"en","value":"Countable Ordinals"}},"descriptions":{"en":{"language":"en","value":"AFP entry Ordinal"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd1a88319a0f8dae2fcef48bfe2a344cd5cdba7","datavalue":{"value":"https://isa-afp.org/entries/Ordinal.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361485$25FBA35A-122B-4DFA-80C8-6A7492FFFC0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59508cd451bab65a68ea04963062f54c961f9d5c","datavalue":{"value":{"time":"+2005-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361485$54F06E92-F43D-485E-A225-CEFB3D3AFB32","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"043848d8a95011ac2d99897bf059cea994a0f8cf","datavalue":{"value":"Brian Huffman","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361485$48CC4EB2-0254-4CEA-9983-EF92F62C6E36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04b53c3af23ac8d2ce3ffaf9803b8d5febd70d8e","datavalue":{"value":{"text":"Countable Ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361485$87968F9D-09E1-4C48-80D1-E36C8B6B515E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9101f2e7a63e07cf66af0b9b1f393cf45e44bf2","datavalue":{"value":"This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361485$123EB480-1D2A-469A-A01D-76C571EB82E1","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361485$66343800-9029-464C-B0A6-AA9DA8861D88","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aae4e841d888433a47c995aa4de254ab1873976e","datavalue":{"value":{"entity-type":"item","numeric-id":7360819,"id":"Q7360819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361485$CD3CA7BC-2745-485F-BE72-C63C47A9235C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361485$E59CACAD-8E52-4237-A556-8684E4B0A8A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Countable Ordinals (AFP entry Ordinal)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Countable_Ordinals_(AFP_entry_Ordinal)"}}}}}