{"entities":{"Q5250218":{"pageid":7279786,"ns":120,"title":"Item:Q5250218","lastrevid":41681127,"modified":"2025-05-07T03:59:30Z","type":"item","id":"Q5250218","labels":{"en":{"language":"en","value":"Recursive Functions and Constructive Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6436524"}},"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":"Q5250218$71698099-7A2B-4277-95ED-C9A34857FD1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6efe5a8634a7e13485c48f3a5b7a15de2d16094","datavalue":{"value":{"text":"Recursive Functions and Constructive Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5250218$5FFFB2C9-B9F7-4DA3-BEA5-195746301441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08b0c9a62e3844cb9f2103f64c51689e7c6e4003","datavalue":{"value":"1342.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$F33119A1-D1CD-452E-A79F-E136ECEF2B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e39efb5649e4555e4a5ad57c65bcd295c0a7608","datavalue":{"value":"10.1007/978-94-017-9217-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$364CFDF5-533E-4959-8782-7C601935F7A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250218$CDC73AE3-95BF-4CE3-A4C8-064F36BBD8A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f58ad1fa225687331509200f815027dc3432da09","datavalue":{"value":{"entity-type":"item","numeric-id":244413,"id":"Q244413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250218$3E8B87D3-8BD8-477C-A09A-3B240883253F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af872b12307f6e59fbb027cc58fd8691f1dd3f6","datavalue":{"value":{"time":"+2015-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5250218$37F1021C-05F1-4916-9EC5-C7FC98208542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$07613E3D-9884-42F9-AB4E-0E307EBF7DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$C0F9F366-979C-45EC-A332-B760DA300035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$97F6B241-5541-4659-A880-6D41B74FD41F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f67473ae543adf29b03c7aae12078f73145e0dd7","datavalue":{"value":"6436524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$49DED752-ABE0-40B6-A39A-B2F24F8484DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250218$7C57B8B5-E680-4D1F-A678-8D10FB07F75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250218$E8D2234F-20A1-4CC4-B1FB-C9FDD96E53BD","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":"Q5250218$4D608FE2-3670-4E66-9964-ECF3B5D1C056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20c9a708e00f04a70c51d44f135103b19b2ec088","datavalue":{"value":"https://doi.org/10.1007/978-94-017-9217-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5250218$337B3C19-D5F2-4F02-B5AD-9314BCFC14FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1455706eb71311696c2d78db78b41f744259145c","datavalue":{"value":"W1623903653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250218$D26A483A-8627-4E13-9A68-F0FD75140914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3c955227af7447b7e60b6aeb988a049225ca16","datavalue":{"value":{"entity-type":"item","numeric-id":5114808,"id":"Q5114808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef4c62d4de76aa91b8d413c3cbcf2c25112f7dc","datavalue":{"value":{"amount":"+0.92180526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$AD73201D-B96E-4336-A8E8-67D7F2872D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca2e45e4a458aac3b333915754d47650f8c15b0","datavalue":{"value":{"entity-type":"item","numeric-id":1202200,"id":"Q1202200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d560ea75acd3ebd90c2004ccb761d4dfa6204793","datavalue":{"value":{"amount":"+0.90810204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$C3CE2486-19B6-4EC4-96F1-0D33392393DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21af2092c52caf1cae8dbd10ed4766de81f6aeb4","datavalue":{"value":{"entity-type":"item","numeric-id":1314348,"id":"Q1314348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5cc3d67d797cebc0fdfe8fc95fcaec3bbbaa66","datavalue":{"value":{"amount":"+0.9043337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$2A702188-23A2-462D-82E2-98988DFAE3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9400f3b355173dcba79762b26857b3718cbaa72","datavalue":{"value":{"entity-type":"item","numeric-id":5435640,"id":"Q5435640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc5cae3ca767bac92a2b5b9498c0ea62ff4a17d","datavalue":{"value":{"amount":"+0.902143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$86FA2712-09A2-4C9E-B19E-3B1C7461F2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6a0f32513afc4c40ffe909ab7cb5cfcaec842f","datavalue":{"value":{"entity-type":"item","numeric-id":5394417,"id":"Q5394417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1106cbe85fa41543eda5d47831eacdd4b2764ef4","datavalue":{"value":{"amount":"+0.89939785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$04970F67-53CE-4440-8C6B-8B40199EA408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43499dadcfbfa3e0627efafcb640e7c615051939","datavalue":{"value":{"entity-type":"item","numeric-id":5959194,"id":"Q5959194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99eb12101c749b20634b784a85904bad3010a37","datavalue":{"value":{"amount":"+0.89696074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$F3E54835-0E03-4129-9AC2-0C7C7FB3D640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8161fbb98d9ad0e249dbce35c05761564373f7a1","datavalue":{"value":{"entity-type":"item","numeric-id":3283893,"id":"Q3283893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c7554514351b6bc78d39510a7afa8c32dd8291","datavalue":{"value":{"amount":"+0.8969606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$A40F1324-631E-4725-905E-AD4A804FDCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0394d14fcc60a3b5ef97ca121f0c9032d78d2e","datavalue":{"value":{"entity-type":"item","numeric-id":706790,"id":"Q706790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b3e36f9de487057f48068c6e4177ddae6ef62d","datavalue":{"value":{"amount":"+0.894435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$B2AD0DDE-59BF-42E3-AB27-F8FACCD21EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a545bc758bcbf9e0cbe7e4c41afd069b47b348","datavalue":{"value":{"entity-type":"item","numeric-id":5846087,"id":"Q5846087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1c998ae653d81895b26645f560066bf692654e","datavalue":{"value":{"amount":"+0.8935807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5250218$D7F2871F-3035-4C20-824A-3F1915D44501","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5250218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5250218"}}}}}