{"entities":{"Q1285595":{"pageid":1296345,"ns":120,"title":"Item:Q1285595","lastrevid":70075011,"modified":"2026-04-13T12:16:17Z","type":"item","id":"Q1285595","labels":{"en":{"language":"en","value":"A proof of Choffrut's theorem on subsequential functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281087"}},"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":"Q1285595$C6C8DCEB-7D13-4F7D-8F0E-E185EB968DAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93e14e944033e38e80be52b112e37372fd04be45","datavalue":{"value":{"text":"A proof of Choffrut's theorem on subsequential functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285595$159062E1-1F54-4A87-A20A-10AA7113B53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f609fc6999eb7ba8e045c8e922f64e21d33b930d","datavalue":{"value":"0913.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285595$7A232EC5-607B-44DA-95DE-969D2AE6F98D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10e0a1ce456176458602c9b15a425041a7d58167","datavalue":{"value":"10.1016/S0304-3975(98)00163-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285595$8D09A0EE-4A83-49F1-AA28-6A46BAAAFA4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$432D8FA6-6CCD-4436-A5DB-113BA1966AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c5fe7f8e6ad5dd12e0700dcba08a609f699214","datavalue":{"value":{"entity-type":"item","numeric-id":213124,"id":"Q213124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$79A59A40-E2E0-4603-B41C-9D0990F28532","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$A3993FC4-E73D-433F-AF69-28FCE40B24E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285595$423A06DF-CEB1-4E90-ABD9-12C2266CD3C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285595$D356B00C-047B-4767-A28B-A57194265E1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33fbe5a41e8b1cd9395571c35f32a021dd2828ea","datavalue":{"value":"1281087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285595$181B6AD9-3F18-47A3-B695-EDF3113A3747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1713db14464d7edfef34ea82f5c398f89c04b979","datavalue":{"value":"subsequential","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285595$E5C1D2E9-BF18-44FE-AD27-55F3CF33447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba211efcc4d72e20767c314b33af0671a8a53262","datavalue":{"value":"machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285595$07BE31DC-B107-439C-8390-69F97D824318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a17804ffe2e4838f1524878cd16089c286dcf","datavalue":{"value":"rational","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285595$8E1D37F7-3D7A-4BF3-ABDF-BFAA3ABF9C0C","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":"Q1285595$335E7A2C-8F93-4066-B309-C2277818F38E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$3B0D22D2-EA74-4019-9DDF-5A91B581B8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8f90ea009378b65f89091f44ffdd2742edb7da","datavalue":{"value":{"entity-type":"item","numeric-id":1127317,"id":"Q1127317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$72EF18BC-93E0-4053-A43B-107A9B82B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952d66da7e71a1b0c31d72524caed1e0ce2fb241","datavalue":{"value":{"entity-type":"item","numeric-id":3853135,"id":"Q3853135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$DE96E958-F8C8-4599-BF18-AAFF1FDD2DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$CE8E2183-C454-4FBD-BB4B-BC358F81891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$E58CC3EB-026F-4B99-8B2C-801E0A484963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7387814e897496366be1dcfb6f4dc443c1abd1da","datavalue":{"value":{"entity-type":"item","numeric-id":1575676,"id":"Q1575676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$B79C0944-5EC1-47E2-A67D-C6D071240439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee108548828ba9fee3b91427e65cbbb446e54436","datavalue":{"value":{"entity-type":"item","numeric-id":3979259,"id":"Q3979259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$663BCD8B-C546-4492-BE9C-F2839F3FC603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32695947cfbb60c73312c903c3eb9049e0d93fd2","datavalue":{"value":{"entity-type":"item","numeric-id":3978175,"id":"Q3978175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285595$ED08439E-E6E4-4A6B-9FAB-6A9E7B0AE7DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bb6f8abeb3f437e8cad87a2fce41b50c3f519c4","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00163-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1285595$02AFF6A3-653A-467F-B3C1-72EE6B29D8F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6222161ea477727aa08087eb52e150be07a043a3","datavalue":{"value":"W2052865572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285595$3981D21F-F66E-4655-984E-2CB78A6BF6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of Choffrut's theorem on subsequential functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_Choffrut%27s_theorem_on_subsequential_functions"}}}}}