{"entities":{"Q3664407":{"pageid":5694313,"ns":120,"title":"Item:Q3664407","lastrevid":49891078,"modified":"2026-01-11T16:54:42Z","type":"item","id":"Q3664407","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3817018"}},"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":"Q3664407$0F632785-08DE-4F57-BE8A-BD0E9B766715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20b47ebf4e831f6982d803632bea169b453fa98f","datavalue":{"value":"0516.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664407$983E7937-39D0-4E0C-A010-B8C9811B1ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3664407$37BC9674-516A-40D0-9C14-CAA9F0CCF3EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664407$CB4AC845-3D2C-47A6-A9C3-42E6AA5B880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664407$6F03B897-E2BD-4D67-BE77-2C6963F01635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664407$596E4B80-7ABE-423C-A8E6-462D7B679187","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"029ae804435df5e2f987934cde501db9ae5ef4f3","datavalue":{"value":"3817018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664407$01F126C1-9C0C-40FD-9E51-71F6EA71E71A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123212aa79a8c6aa156264be1012ed5853d996c","datavalue":{"value":"program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$1307D9CE-F654-4BFB-9506-5701AEEEE92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$4FEEBD4E-BAF6-44DF-993A-F6B7A4ADFE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f9ae491a7cdfb4635773c8f8fa21311eb65296","datavalue":{"value":"derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$57CC7B50-D167-4895-8471-E46CB0194220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7570fe1ab591c11640c69b073c4dbc2a3bc783","datavalue":{"value":"inductive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$76FF44A3-2A57-42C1-8817-B9ED4A097FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$890C5882-D0A6-429B-B0D5-ECC14A77ED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4d0810769ce134b625c1a87e97f4b47a2afad","datavalue":{"value":"completeness of formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$87BE0BAC-BAA1-40B3-925B-8E444C0115CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa24d512d701aaef0328bc3e45fbe7d7294ad24","datavalue":{"value":"effectiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664407$45DF8425-2F79-464A-BE0F-CC466D01FD1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeec17a9231769d154ed29c673ef43a669a61a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1235147,"id":"Q1235147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3664407$8645C5F6-D2DE-4680-85F4-375F41C3DFCF","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":"Q3664407$51915EAB-84A0-4ED8-928D-A84F27147C51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3664407","badges":[]}}}}}