{"entities":{"Q4139642":{"pageid":6169242,"ns":120,"title":"Item:Q4139642","lastrevid":96456842,"modified":"2026-06-05T11:19:32Z","type":"item","id":"Q4139642","labels":{"en":{"language":"en","value":"Hints on proofs by recursion induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3567989"}},"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":"Q4139642$E752A3E7-B606-4EBD-ACED-7C29C47203FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bef293b19f4656aea7a9a90187ba9923f4e27461","datavalue":{"value":{"text":"Hints on proofs by recursion induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4139642$D5636D08-D8BC-4110-AC8E-462DF9A325F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3cd071f5ff20ed9db486d3c933f37adb7a7d757","datavalue":{"value":"0364.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$37DA9B8F-6891-465D-9B0B-92B028E39227","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"800fd5cd6aa39c55faedfef835535627e8439c47","datavalue":{"value":{"entity-type":"item","numeric-id":938094,"id":"Q938094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4139642$5AC4A95F-B693-4B2B-8214-F7AD0B2E68E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4139642$D12F3895-5EA6-4402-8DFD-09A25DA040BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4139642$7E695452-025F-4631-A1CE-29DDB6B65512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$7221090D-C06D-4201-85C9-E08E77C58E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$6C31CB52-83BC-4088-8918-50CE4F340117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$99EF2F2A-7154-4BF5-876D-3ED83FB584C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"110ddad426dfe44b3a7b2756108b479b3afb87e1","datavalue":{"value":"3567989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$3986B591-C606-456F-BB41-034FDC727268","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":"Q4139642$32D08F42-FBB7-4C4C-AFA2-71C9C7CB60AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ca173990a143b78f2a4ee3a8a36aa747cdad527","datavalue":{"value":"https://doi.org/10.1093/comjnl/20.4.353","type":"string"},"datatype":"url"},"type":"statement","id":"Q4139642$ABF6EE8C-B6EC-4A32-83CE-4B29F62C82B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a923061fc9c1860c82f8e2a9eee650f003bd6e5a","datavalue":{"value":"W2157867035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$20AD68A7-7CEF-4B53-85AE-62DBB0F8E615","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f9ab514938c8d8bbc60bdf24eb5c58431a66521","datavalue":{"value":"10.1093/COMJNL/20.4.353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4139642$9C5AFE4F-1870-4FC0-865D-6C05F4DDD049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hints on proofs by recursion induction","badges":[]}}}}}