{"entities":{"Q2904439":{"pageid":2915164,"ns":120,"title":"Item:Q2904439","lastrevid":84995510,"modified":"2026-06-03T05:28:52Z","type":"item","id":"Q2904439","labels":{"en":{"language":"en","value":"Local induction and provably total computable functions: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065553"}},"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":"Q2904439$A92E2F98-BBDF-4691-8642-1A8447CD8C59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d159670389333d3b36962b6e44bd2f2abab06e1b","datavalue":{"value":{"text":"Local Induction and Provably Total Computable Functions: A Case Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904439$ABDECD45-988F-4CF8-8C8C-7B0A549F5385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ece635bf84d9d3ec6ec224778c1292356e70b26c","datavalue":{"value":"1358.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$03D87146-9927-47DF-8A4D-D7AD77FCF410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeb4239c392300a8bf30479313058989ee47638d","datavalue":{"value":"10.1007/978-3-642-30870-3_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$44024DFD-398C-4D74-97F1-68287F8F57C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904439$891D7515-D56C-4723-9ECA-62A79B220E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904439$AC52C979-F62E-48FA-874C-A2E9B55C70F4","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":"Q2904439$30236B91-4838-4ED3-A4B3-3B59D05964E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904439$24D3946B-36AF-4519-831C-50FB755DE5CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$D0C6588B-ED40-44A1-B5A9-21B91C50F841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$200E73B3-FE68-43B9-B1C6-6FF4728BCBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$E7A42B91-CD81-45EB-B458-A6F8934CFE47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff332e9c9cc7394562c5235b5e6cb9b4f64a473c","datavalue":{"value":"6065553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$B42420B6-6FA9-4E3C-89C6-F890FC706958","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":"Q2904439$A4444B14-E652-4F1E-9A5A-071E6E1E55EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"288daea14dd6d755007fac95275651818f0d57b0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30870-3_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q2904439$26C776D0-AD32-46C7-8C7C-1267097C5829","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"921a3cc68cf5ec368f66bbcfd6289647db9a48b4","datavalue":{"value":"W54348881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904439$810FBB34-7450-4B7A-AED0-AA05A95622FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b62945c6d8a0180fd7ebd6c1dbcd8df77ffce7d","datavalue":{"value":{"entity-type":"item","numeric-id":2453069,"id":"Q2453069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac990aabec11937a31ed1256521c44533010345c","datavalue":{"value":{"amount":"+0.9664215445518494","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":"Q2904439$2BE22B55-1223-4194-A73D-A2A5A2EAF654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc66354fc9341bc0222897386454e4aa66f469e","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec9f15807fc9bc35b3fa2557576e89f186955d3","datavalue":{"value":{"amount":"+0.9385699033737184","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":"Q2904439$6CFCE584-88FD-4384-9341-FCC2A5456187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434fbee7e80928919a731924aa3e402f924a291e","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a093edb9a23ebe9d21369df85d1aeabd4f00cce9","datavalue":{"value":{"amount":"+0.8494255542755127","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":"Q2904439$7A54639F-BE8F-4360-AE97-4B30BEEB23DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3a956d4826a4b4fc8f02dcddca4964b2972a29","datavalue":{"value":{"entity-type":"item","numeric-id":558443,"id":"Q558443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a093edb9a23ebe9d21369df85d1aeabd4f00cce9","datavalue":{"value":{"amount":"+0.8494255542755127","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":"Q2904439$A36F250B-6EBE-4C88-B665-CC42CCD718DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4fc137fbfb71729dc09557722db7e67e6ee23c","datavalue":{"value":{"amount":"+0.8066673874855042","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":"Q2904439$B5050E55-C770-42ED-B7AC-F8EE14D2EF27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local induction and provably total computable functions: a case study","badges":[]}}}}}