{"entities":{"Q3896523":{"pageid":5926428,"ns":120,"title":"Item:Q3896523","lastrevid":54879614,"modified":"2026-01-29T23:55:08Z","type":"item","id":"Q3896523","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3704013"}},"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":"Q3896523$43300363-5D2C-46BE-B7F3-A3007F9BF562","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b89314977920c8fc3a81fec748a262bbfb303804","datavalue":{"value":"0449.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$268E3B7D-66FA-487B-97F2-9384D0A16333","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fe980964290dc38ffca38f8e788ff9ae90c9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1228370,"id":"Q1228370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3896523$B1AFF97F-0BBC-44BB-8AF3-AA3C329CC1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3896523$588FCE53-44F0-46E6-B527-98A901D3163A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3896523$1688C38F-58E2-46FA-A658-6D0C8674CB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$9BBD316B-45DE-43CC-914F-E5C9EA170E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$F7B756A7-01F1-4C52-B29C-78E819AB94B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$34DF4C05-BF1A-474C-92E4-6C95DD24E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$3575D1FF-7E06-46CE-BBEB-7E531F0065E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$5E2B5ACA-6EE0-4C6F-AE98-FE511B05B1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$F6CE2330-381F-4DAE-A533-242A07AF6F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$4BF17218-27BC-404B-AA87-76FFB10EFFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$F8463532-F865-4819-9CCB-04D6225313C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55cecb06ffd39780b12b33219071a3c3e0c935ba","datavalue":{"value":"3704013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3896523$35535B96-C80E-46A2-8016-2D666F461B84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3896523$33CA1797-C8F1-4A0A-86A4-C9205AA9F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a998c791c9b631d21f993fd12591f63163557e6f","datavalue":{"value":"function behaviour estimate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3896523$9301B8F8-6585-4AA2-98D9-9F67D0803AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3896523$3170659E-3D9C-4EDF-AD54-A0EE6CB8DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4fb8c29fbb296345b09a1840f7931ec0647a4e","datavalue":{"value":"program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3896523$07D39964-7A5C-4BEE-8875-1B889BD23DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea04f141bf9ef2e31593998a05ffcc2bb37edf80","datavalue":{"value":"inductive method for proving function properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3896523$806C8631-6DB5-4E73-80EE-38040A45E406","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":"Q3896523$34A9B7FC-B8FF-4BC3-8105-4208699F05A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3896523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3896523"}}}}}