{"entities":{"Q924166":{"pageid":926014,"ns":120,"title":"Item:Q924166","lastrevid":50367158,"modified":"2026-01-13T21:59:21Z","type":"item","id":"Q924166","labels":{"en":{"language":"en","value":"Reflective inductive inference of recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279847"}},"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":"Q924166$6BC1B55F-FB4F-4139-B897-08528858FFE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c48733d791bd63929e6db63784133c694194bbd","datavalue":{"value":{"text":"Reflective inductive inference of recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q924166$9CDC391A-1AAE-4444-8102-832CE05598EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56274cf0aa0e453bfe23bb24d76ba83f57514804","datavalue":{"value":"1145.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924166$AE12CCEF-352D-4962-8EDC-CD313D53DD57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"055a11c492607a74c28264594ddb0f15d08f9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":924165,"id":"Q924165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$2A3020ED-8809-4A76-8B11-9049DF97AF01","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":"Q924166$471D5EF1-1FCD-4C61-A5B7-D4761C111A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20483ddfe1246d1bdad0b17830e08400d7b4745","datavalue":{"value":{"time":"+2008-05-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":"Q924166$29146283-98F7-47D5-8CA2-D7642804AFA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924166$DCA30E26-EAB3-460C-962D-8A76F96EE4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64275405bab89bfa630f28f1444ea8bbb3460f41","datavalue":{"value":"5279847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924166$3677FEA5-A31D-4DD5-A52E-710979A50C72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bca5b8f8493e57969b551637f12770d6fc436fb","datavalue":{"value":"learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q924166$F9A6C17B-ED78-43BD-8547-BE4F617755F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q924166$29424395-CB28-4836-A432-F6407A10FF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77157463f33fff32b60991933b6e1c2ac5fbdc2a","datavalue":{"value":"learning in the limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q924166$01FEE6A4-41A2-433C-93A3-B5C228548266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q924166$8088DECA-70B2-4D26-815B-6347CA519E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2462a6a3f8d628ee6fd557fb69383b8c8a4c0a","datavalue":{"value":"self-assessment","type":"string"},"datatype":"string"},"type":"statement","id":"Q924166$FA8B9129-3C7F-47F2-B153-BD3CF0FE8B31","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":"Q924166$B75C3724-38A4-401D-ABFE-F4B4DAF3C3B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"645bc44e5e08ededd948c64a8926643be68d5107","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.02.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q924166$D1AD46F2-2378-485A-8414-9704A33CBA0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2a9640d218165608796453a9c30f9b5be181c9a","datavalue":{"value":"W2118038654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924166$9241E679-E35E-40BF-9206-891340077FC2","rank":"normal"}],"P223":[{"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":"Q924166$AC65933D-4282-4AF7-9CD7-DFAD91EE9BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$117203CB-8FC7-43C1-A0B8-ABDFDCBAC2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad37694609c431d1f918ebf9a13b995cd5ff86d","datavalue":{"value":{"entity-type":"item","numeric-id":1244823,"id":"Q1244823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$5C335929-5467-4F18-AEA7-1B0CC9EE96BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352f886216e12af36db037e524e0906ae90798c","datavalue":{"value":{"entity-type":"item","numeric-id":3722485,"id":"Q3722485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$CC7907F9-A82D-46CD-82D7-ED34B3FDA0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c468e1e6882b6d14eb132482c29066d621b0f45","datavalue":{"value":{"entity-type":"item","numeric-id":803119,"id":"Q803119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$6E827BCC-EBF8-41A3-9261-DE31CB6AA520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa494b39c76258676a457e919c831e7a95eb0c93","datavalue":{"value":{"entity-type":"item","numeric-id":674404,"id":"Q674404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$C0D7D856-32AF-4978-BBFB-207CC9C9611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3294c547183b1ac287a645d1098c8f7bb0ae8540","datavalue":{"value":{"entity-type":"item","numeric-id":4470570,"id":"Q4470570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$6D804D9B-196F-4463-A851-DFE74704D718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68d2e5d9172767af3242e516a5f44cbc00a4d20","datavalue":{"value":{"entity-type":"item","numeric-id":1874231,"id":"Q1874231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$FE35B29C-47F3-49B2-8F8B-56389C47FFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9929d987ac21019961a1f27de70f6cfff964a3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1278041,"id":"Q1278041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$D198D77F-AD6F-4B41-A7D4-49B673F36FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ffc91d5b009d88a09c6435ba444f4db5af7538","datavalue":{"value":{"entity-type":"item","numeric-id":4470572,"id":"Q4470572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$DBAFA591-3815-4A8D-8EE1-B25CF2982287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066ed51310b8a70e845d3aa31b869e22059b7bde","datavalue":{"value":{"entity-type":"item","numeric-id":1874232,"id":"Q1874232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$5691A566-628B-4BFA-B2C6-4001A626B670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd4bb11f30b0631f562f2d762ee64f451615533","datavalue":{"value":{"entity-type":"item","numeric-id":1874230,"id":"Q1874230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$60E4AC19-CECA-4AED-A328-9A8C498A028F","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":"Q924166$692EBCFC-EC1D-4D11-8E55-5A871A52F6D4","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":"Q924166$C840C32F-DFAC-4300-8CE6-1D9E52EE50F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48550a220b8a7a8b0e1138d37f4d96f3c70412e","datavalue":{"value":{"entity-type":"item","numeric-id":3041172,"id":"Q3041172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$4EC39AEE-F7F4-47C6-BC3B-985CA1336CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00e72f82f8f8964d1565c8c9eed3fbeecbd1ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4111545,"id":"Q4111545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$F8D9C6F0-EFAF-4AE2-9843-7AD865C5E5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1043a978c3351835eea2093ccc2c96d45c6527b5","datavalue":{"value":{"entity-type":"item","numeric-id":4127793,"id":"Q4127793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$3E2FC0ED-D241-4442-9FA2-7966479EC5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b0ce019173b2dfb0c0bbe3badbb0b6371496e2","datavalue":{"value":{"entity-type":"item","numeric-id":4115138,"id":"Q4115138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924166$4CBD9580-DAA1-4008-9D9E-FEEA89216240","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21accc36a96d76de0ee672a3a22db174677cf6dc","datavalue":{"value":"10.1016/J.TCS.2008.02.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924166$C54F1C6A-510E-436A-A568-F226D73F9D89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d410ebfd663ae9b17ac518a047075a828457b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4420751,"id":"Q4420751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82337893da9b1c1cdc8c53c372a26e18cc4a9534","datavalue":{"value":{"amount":"+0.9784162044525146","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":"Q924166$E2CB610F-0B64-429E-8E68-A2445A6F582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca3e53c746aae843c1dd421d64b9643fe8f5426","datavalue":{"value":{"entity-type":"item","numeric-id":3557002,"id":"Q3557002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533e9efaf2d16637e985b426d245112d87c9f6df","datavalue":{"value":{"amount":"+0.8750401139259338","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":"Q924166$D8212AA1-0A98-41BC-B644-56921D95ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0357ac528eeaded63dff365bc73d76c4baa6778d","datavalue":{"value":{"entity-type":"item","numeric-id":976076,"id":"Q976076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a07b837bb75ea6f5a7df881e0ada5106ff4a02","datavalue":{"value":{"amount":"+0.8336695432662964","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":"Q924166$181E8F67-36C6-4201-A1D7-0F6D2B18AF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a92646091695ccf382225f3c9b214b96e632d4","datavalue":{"value":{"entity-type":"item","numeric-id":4949149,"id":"Q4949149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b814bfd972f8b0ec2beff7e00ddddca36bf107c","datavalue":{"value":{"amount":"+0.7848694324493408","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":"Q924166$CA76669F-7C1F-4E6C-AABE-64B45E51D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8a65cc03be4ad38615caab3839c75c80594310","datavalue":{"value":{"entity-type":"item","numeric-id":5941566,"id":"Q5941566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a807c8d3cd167211ab1c5c5ddd4e20185e627b39","datavalue":{"value":{"amount":"+0.7848691940307617","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":"Q924166$E47ED52C-C685-4F48-AEB4-20010752FA6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:924166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:924166"}}}}}