{"entities":{"Q6970204":{"pageid":21324288,"ns":120,"title":"Item:Q6970204","lastrevid":84048380,"modified":"2026-05-08T19:37:39Z","type":"item","id":"Q6970204","labels":{"en":{"language":"en","value":"Natural numbers from integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054042"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$255E07F7-C9A6-4A5C-BB04-1F4103989E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3be296dd993d0887431fc8f699e74993b0a34694","datavalue":{"value":{"text":"Natural numbers from integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970204$2344C59D-7083-4C74-A713-E6471B1047C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b132a573ab4d0d9ef2d17bf662c3637ebea17dd","datavalue":{"value":"1573.03128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970204$6B0CC97E-B0CD-4F89-AA8F-8C0C36CA1B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ba686d624cc739077fcf04d045e8f47e8c36343","datavalue":{"value":"10.1145/3661814.3662129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970204$3C7B4B37-3FD1-4787-88B2-E6761308AF0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$0D85E34F-F7F7-4A7E-90C7-C2A3324B0EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"744b32c3e62c7ac72a7bf335bb1936a0eb39a1ce","datavalue":{"value":{"entity-type":"item","numeric-id":820845,"id":"Q820845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$953A9C38-B0D0-4124-9572-F424CE3E5886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970204$43D98103-2F39-40E4-B07C-6B87E2208420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970204$4E41A90D-B965-4699-A729-5059F42FD9A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79e7ca31d69c642c174ef9e81cd033c75c7a2643","datavalue":{"value":"8054042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970204$C9B5291A-B177-403C-89F5-0A3F90B6110B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970204$D3913FA2-CC51-4497-AE87-6CBA6A989920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970204$8BBAE994-A146-41C1-BE26-C9A6146C3DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7f16b201de6728447e5b3664c161a1afb0abc3","datavalue":{"value":"natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970204$F707CCFE-BE37-4B32-94D5-D93D7CAD6F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19de6affdb1ba772c772b8d14fa3ed4bab919573","datavalue":{"value":"integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970204$EC06C3E3-628A-4D2B-86CE-E0E5216E7FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e849dc370684bbe6a203576f5bafe2b80d51a6cd","datavalue":{"value":"descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970204$64ABF1ED-BE21-46D6-9945-BF5BE0E9F183","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$6FA34E44-C3DA-416D-8176-2F406424ABC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"214ce1609e5554fd492b4c6703f6248a3168bff9","datavalue":{"value":{"entity-type":"item","numeric-id":6149950,"id":"Q6149950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$2ADE2056-BE85-408E-9D73-3B08BED5B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$E23A302E-4DA7-4704-BDF8-2F9550AAFF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb11ca869a89cccb65ea9cceb6fc53bca68454eb","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$D12429BB-8C2D-4CC6-9E51-BDADE78000EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce38986ff07aca867f810d858cc59d62bebff974","datavalue":{"value":{"entity-type":"item","numeric-id":2414596,"id":"Q2414596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$986EF1F0-0DA0-4068-B319-070856FA8D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4496a23b83c16279954a022aa32eac3675e41aa","datavalue":{"value":{"entity-type":"item","numeric-id":6654472,"id":"Q6654472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$A21B094E-0B2B-44E7-AC92-A7B8F3E35C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9078e3eb7466f48d33a15510c138d5820ef7b0","datavalue":{"value":{"entity-type":"item","numeric-id":5858943,"id":"Q5858943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$2D1C398D-5BC1-451B-956C-4C63A9A0A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970204$2EEE6A82-F7BF-48F4-955C-EC4C08828EF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural numbers from integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_numbers_from_integers"}}}}}