{"entities":{"Q4879900":{"pageid":6909479,"ns":120,"title":"Item:Q4879900","lastrevid":46380696,"modified":"2025-12-24T16:24:51Z","type":"item","id":"Q4879900","labels":{"en":{"language":"en","value":"How to characterize provably total functions by local predicativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883458"}},"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":"Q4879900$ABC0E389-C35C-40DD-9706-615501C50394","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4620d72e8073c5082194428d3327f3127a98edcb","datavalue":{"value":{"text":"How to characterize provably total functions by local predicativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879900$A37466F8-D421-4621-A6BB-57E31DF4FE78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee349c045914dae1ba08bc5412964d4872807724","datavalue":{"value":"0859.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$5D0F711C-15A8-4F52-8463-F5B766719887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f216cd3d872f53012b7ffa707eb65da5acf7c78d","datavalue":{"value":"10.2307/2275597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$DEF1F075-724C-4B98-9CBF-02BC367B5BE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$54D928C9-4B50-4B49-BFBB-026C71D39543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$AC08F39E-D479-49FB-99C3-1B4F024C9687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4401b26afe2e203f0d2679931ff10c76b044ac6e","datavalue":{"value":{"time":"+1997-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879900$8E9FB9F6-557B-46A9-8C3A-A348D89C7626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$56F680E1-356D-4E81-868B-C300A012C244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$E36E84FE-0F69-4D6A-895C-F9F325CFC0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$D4447D16-B65A-4A11-8F8E-620BBB64AE5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08c2f5c21e65b4d72bf29b8cd2d8bfe5ce80e59c","datavalue":{"value":"883458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$8AF74309-9386-411B-A0D5-63091E9880BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879900$7CB545AA-A334-4F19-AB7B-99DCA23D3B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02efba5a38516906df7b3752b37b488aaef7133","datavalue":{"value":"local predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879900$13CF7B2E-2B77-4C25-9BC6-6923750FDAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879900$6D109A0F-17E1-40CE-B5C1-5F495AF8D36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879900$40B0C412-1346-42E4-A243-23ABB990740D","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":"Q4879900$88E66F7D-616A-41A8-BDD1-C3581C4D1F8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79197810cbc84d815a94ad48ff51ee87e83087ff","datavalue":{"value":"https://doi.org/10.2307/2275597","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879900$8030B7F2-C4C2-4C30-8ED3-0AAF267E6BC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75003fcee0541f9535a1a7a22bd05c26f04866e8","datavalue":{"value":"W1993440975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879900$2864A78C-AFFC-46A8-A1DC-DDCE13010B86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4278ef941bc43e6630d9e25b74e6fa02d71e9139","datavalue":{"value":{"entity-type":"item","numeric-id":687397,"id":"Q687397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$853D3CC7-E976-4654-B35F-911BD7950DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b1bb354afd2b79f7ab5c3406b5230d6055702b","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$8E2B2355-241A-4954-8221-E41C55F1AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$408A3DE4-C7F3-4732-AA2E-3D418F61F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4c9971fb5d4a835556dda35504dff4b1287662","datavalue":{"value":{"entity-type":"item","numeric-id":5517655,"id":"Q5517655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$60FC8D56-EB79-414C-A8FD-6F5364B60693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$C328FD01-DA0B-481C-9E16-E66A0EF67077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$E9D6F81D-85BD-4DC7-9ED9-E900A21A3D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5037c04c9c92c64619d5eb9e67e54d8bcab3371","datavalue":{"value":{"entity-type":"item","numeric-id":5635436,"id":"Q5635436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$97E60126-635C-4AA7-996B-43AED843D319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$F734D059-9641-4F97-AF90-EE3BA87AF6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2114f7df9ef5b523eb89d9f18f0f9c43acb71ed","datavalue":{"value":{"entity-type":"item","numeric-id":5639704,"id":"Q5639704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$F0A16722-A468-4729-9C22-9D08EB771D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$28F084C2-A57B-4136-BD6A-68CE1F83F63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$5CC5D132-6D0D-4218-A842-7487D0C9C7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1dd357d6b572b7670d98982837ee587d12dd4f","datavalue":{"value":{"entity-type":"item","numeric-id":4748053,"id":"Q4748053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879900$EF95386C-106D-4ADC-82D6-88CB2ED50834","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c1f05387d305becbd6de9ac3e40ebdd21dfa5a","datavalue":{"value":{"entity-type":"item","numeric-id":1300010,"id":"Q1300010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2036fc7290b84a2b0c8eab9e3951b6309f3dead","datavalue":{"value":{"amount":"+0.8324641585350037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879900$F12F343A-8E24-4E81-9B5E-19A83ACE82BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0232a6ba29c9b3cc8104c490bccf6209a89bed","datavalue":{"value":{"entity-type":"item","numeric-id":4227873,"id":"Q4227873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2bb074c9ea6eeafe109a0201de8efc1638eded","datavalue":{"value":{"amount":"+0.828443706035614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879900$2D1F85C3-98A5-4BB1-AC0F-0A83DE18BAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce7aa99e6485773f666aad1b4026ad68400dc66","datavalue":{"value":{"entity-type":"item","numeric-id":4893145,"id":"Q4893145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8f782e19eab62783ed6175c26a10fac205aeef","datavalue":{"value":{"amount":"+0.8150336742401123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879900$80C1A109-FB32-4B21-9968-08F16AB2C1F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879900"}}}}}