{"entities":{"Q3010414":{"pageid":3021138,"ns":120,"title":"Item:Q3010414","lastrevid":51284243,"modified":"2026-01-17T14:37:04Z","type":"item","id":"Q3010414","labels":{"en":{"language":"en","value":"On the amount of nonconstructivity in learning recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916973"}},"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":"Q3010414$43FE2362-55F9-48A9-88F1-548346FBAE38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a865477e54ce65f20908dbe62545eb17f4a3fe5","datavalue":{"value":{"text":"On the Amount of Nonconstructivity in Learning Recursive Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010414$F2B21F39-F0D6-4105-83EE-F10A3FC22087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"001e33c947e3640a4735127615dd9b9bb0408cba","datavalue":{"value":"1331.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$3153DFC7-4A32-4F88-B582-6A3DA0047D1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2112bc9fdae17987573e7d4d9a9ce267a43eaaa7","datavalue":{"value":"10.1007/978-3-642-20877-5_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$A820AD58-27E6-4312-B817-65576F925FD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$78DF4EC0-7BAB-4FF1-AC20-90226175C88E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010414$749F2AEC-F1B1-4DA7-84F0-7FA3C19FAD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$831AA43A-BFC3-4F9B-BEED-43A6BB0F7511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$F595E13C-E4C2-4E6A-9A98-387E2E53F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$0260185C-95CB-4110-A410-483F7000DC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$5884D0C1-F906-4DD4-9FCB-0145ED396911","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4402de80e761d43c61c420b40871874032a5516e","datavalue":{"value":"5916973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$E087C223-4DB4-4518-A5EC-3EAB454CF641","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010414$215611A6-EFA9-46A6-82C5-ED36ABC23F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010414$2535F2FB-A363-47BD-8B7A-0C0F31C16999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6580f8563da383b66e723783d5e8d785ee6afc3","datavalue":{"value":"nonconstructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010414$2A9DABB0-83D9-4D8D-919D-450BB2E90996","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1b024062144599d578c4d162aad677602df6a1","datavalue":{"value":{"entity-type":"item","numeric-id":656589,"id":"Q656589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$96259A29-B734-4A25-A2F7-4202E3421966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5710ae3d122eadf2e34158ad7eda191f540d598","datavalue":{"value":{"entity-type":"item","numeric-id":440005,"id":"Q440005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$9D7529FB-7027-4164-BBC7-6B902273A898","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":"Q3010414$1B4D2F6F-B8D6-4F64-90C4-D2758374DA57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f458db0deac782fe6ccd1049a519db2bf66a78d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20877-5_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010414$7A9E3ED7-246A-4464-B454-62E6E0DEF945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c1008c6a5101e5e5f62c7bfcd46be434d6f556","datavalue":{"value":"W2160698877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010414$E170A502-0046-4D24-A394-E4F12C429966","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e1b8d58fb93a1d82b37d6d16183c75ad23fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3985087,"id":"Q3985087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$5BBFEEF2-5713-478F-9FC1-2D3DD7FF0844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba94e466a0a7684d12e23b4f40e1ccbd6877bce7","datavalue":{"value":{"entity-type":"item","numeric-id":5588648,"id":"Q5588648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$803B800D-CF6C-4BD7-87DE-91A23BD484CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$3B0C47F3-D1AC-438D-B6BD-5AA57BE03BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8156ff69f84d7a9e58cf2bb80d1d5006ab10e1b8","datavalue":{"value":{"entity-type":"item","numeric-id":585192,"id":"Q585192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$B1A9503D-182E-4A31-BBE1-F555DAB61613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df810b48da8742b10bb3a771dcce7e239d040f4e","datavalue":{"value":{"entity-type":"item","numeric-id":3569007,"id":"Q3569007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$5AA160C4-8BB9-4812-A1AB-76D8327E513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fca512bd62ef81317baaf07336a09e35ab66e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5789964,"id":"Q5789964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$2EC51796-FB94-492E-BF13-3A276B645E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2ddc88fcd1ffde0bbd87274493a14c01761813","datavalue":{"value":{"entity-type":"item","numeric-id":3877665,"id":"Q3877665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$21D5E8A3-29E8-4729-97DB-0DEC4BD1068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267357fc63325dc3abac0a50b898feebe7c654c0","datavalue":{"value":{"entity-type":"item","numeric-id":4094858,"id":"Q4094858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$5311C058-0665-40C1-9887-298CC8096F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b070c3bafa61d293607034d8b4c20868c81b50b","datavalue":{"value":{"entity-type":"item","numeric-id":3637360,"id":"Q3637360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$2AB2F28C-6365-45BF-B045-2BF0D75586AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa545331c6a69726a077e18072412ac2d2f2053f","datavalue":{"value":{"entity-type":"item","numeric-id":1959651,"id":"Q1959651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$BB089705-B308-4F4D-844E-BAA0D58268EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad62835a55923ec861c71dbb6edfd53ffd42573","datavalue":{"value":{"entity-type":"item","numeric-id":5601468,"id":"Q5601468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$C40107E5-716A-43BE-B1E9-06BD68367FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$146C8A60-82A5-4F07-87D7-3B7B6CC1BE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cded707123398ff6798a322d45de37a4390f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":787674,"id":"Q787674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$E8B44899-FB87-4D83-82D6-D6603E1F2ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffd8093b69e95cbf4179fff1eb7e9dc6b3195f4","datavalue":{"value":{"entity-type":"item","numeric-id":1224657,"id":"Q1224657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$DAD2820B-E13E-46AB-B94F-2BA43C2C336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43aa3e16fe249dc81a77816d73439dc897af7379","datavalue":{"value":{"entity-type":"item","numeric-id":960466,"id":"Q960466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$9F970EA1-9B7A-4419-8E17-92156750CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17da0756a4d52917299cf32b475f84d7d98a20f0","datavalue":{"value":{"entity-type":"item","numeric-id":5677072,"id":"Q5677072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$CD61F7F9-FEA4-47F8-90DD-A8FB379B9F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28c156ffab0c31c8e914a54573332696df16fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5769704,"id":"Q5769704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$C4EC9F44-02B9-4ABD-908B-FDDD0537B944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$E1E464BC-10E6-42CC-934E-4F4F504BBBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$EF04A70A-D6EE-41DB-9B1D-83806030968E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c36a5f753dbf7e1e31d87e0d3639492ab389d66","datavalue":{"value":{"entity-type":"item","numeric-id":924164,"id":"Q924164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010414$01844A52-4AAD-4C0F-A4F9-BF3D8BFFF551","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656505cad0302d8d817c83c77c317039ab20fa41","datavalue":{"value":{"entity-type":"item","numeric-id":2898054,"id":"Q2898054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb13394a3f3aad57cae2533c1c47bd2e09fe3d7","datavalue":{"value":{"amount":"+0.8934729695320129","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":"Q3010414$E430910F-00E4-41CE-96E5-2352C4849E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4197389e98a07baaa2a89704092c2d8432d505","datavalue":{"value":{"entity-type":"item","numeric-id":2051759,"id":"Q2051759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f51f008ecabac3699ba9942d494664875d2863","datavalue":{"value":{"amount":"+0.8803279995918274","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":"Q3010414$C0E86E41-D89E-4FED-B572-0738CD86472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93dd61df4801ff0eb16b0a25133c4dda514e8a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3637360,"id":"Q3637360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1e3295faf79081de4e51a12b5ecac82011fa29","datavalue":{"value":{"amount":"+0.8152064681053162","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":"Q3010414$16D4ADBE-213D-4C50-922D-3A9D699057D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1652215f1fba10623a1d79c772b4095b83774dc0","datavalue":{"value":{"entity-type":"item","numeric-id":1959651,"id":"Q1959651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a9bc90ad20dfe60a8e12cc476881031ada40dc","datavalue":{"value":{"amount":"+0.8092020750045776","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":"Q3010414$404FCA45-CA69-4F82-B36A-BB3FF0EB2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431737494a2e8935a43b0ec380e906761bf0f78c","datavalue":{"value":{"entity-type":"item","numeric-id":1004290,"id":"Q1004290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96a9d46fa1cdb261f4142af577162dbb42963ea","datavalue":{"value":{"amount":"+0.7431209683418274","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":"Q3010414$1BE3C93E-3810-4666-9615-29F9C66455F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010414"}}}}}