{"entities":{"Q40627":{"pageid":40683,"ns":120,"title":"Item:Q40627","lastrevid":105427898,"modified":"2026-10-09T10:08:39Z","type":"item","id":"Q40627","labels":{"en":{"language":"en","value":"Countable Ordinals"}},"descriptions":{"en":{"language":"en","value":"AFP entry Ordinal"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"4d0ed91d541cc84f257658f73fbe72a69fa14b59","datavalue":{"value":"28913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40627$DFBD9B2F-A3B4-40F6-A5A6-EA0028BD5BB0","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":"Q40627$47FA21F7-97BB-4D65-B760-CBE862D5545C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"5249afd05aace9abbbd51094ed28927b65e89612","datavalue":{"value":"https://www.isa-afp.org/entries/Ordinal.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40627$6DFD21D4-2FBC-4A06-A54D-798A67832D40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40627$7A5F9AC8-3977-491B-B78A-98C59CEF9DB4","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1b3fd8c5e327d191d6584d36f5d1bf56f2e66f5","datavalue":{"value":{"entity-type":"item","numeric-id":40626,"id":"Q40626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$2FD3E640-90E1-4323-A128-A3F974DBBCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"34e5984c92a5678b8cbbfb0ef293a32caf9a81f0","datavalue":{"value":{"entity-type":"item","numeric-id":40625,"id":"Q40625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$BA51A6B9-B67E-4510-A72B-CB36D94CC74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dfc100badd4cdc392e79a96a751c1c9d9c33f22f","datavalue":{"value":{"entity-type":"item","numeric-id":40628,"id":"Q40628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$AD873449-D779-44DE-969D-4ADB365AEB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$85DFFB7A-EFA7-43C1-98F3-E1296B48AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$96B5D712-85EE-4508-8D40-FF646A216DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$6557FFCB-7E02-49A1-8000-9A4C38E6C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40627$826D0E9E-CC4E-4692-B1A0-FB2B0B80B7B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd1a88319a0f8dae2fcef48bfe2a344cd5cdba7","datavalue":{"value":"https://isa-afp.org/entries/Ordinal.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40627$8C584766-7E4D-4F89-BFF4-F4DBEDD34CA5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"043848d8a95011ac2d99897bf059cea994a0f8cf","datavalue":{"value":"Brian Huffman","type":"string"},"datatype":"string"},"type":"statement","id":"Q40627$3168EE6D-E7B4-4205-9AC6-AA3C2E693461","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":"Q40627$4C8AF9F2-ACDA-4628-94F2-2C6D4270F36B","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":"Q40627$102D1DBC-E46B-44ED-BFB1-F89EE44FEC53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04b53c3af23ac8d2ce3ffaf9803b8d5febd70d8e","datavalue":{"value":{"text":"Countable Ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40627$3248C163-B8F5-4F72-BD2F-63F3233F3809","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":"Q40627$5D5A4D5F-590E-425A-A72B-B93D9F599163","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":"Q40627$56B2C7F2-98EC-45D1-B1CD-2775ADA0C8F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Countable Ordinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Countable_Ordinals"}}}}}