{"entities":{"Q5172632":{"pageid":7202204,"ns":120,"title":"Item:Q5172632","lastrevid":52191017,"modified":"2026-01-21T03:17:27Z","type":"item","id":"Q5172632","labels":{"en":{"language":"en","value":"Abstracting induction by extrapolation and interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397668"}},"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":"Q5172632$AEC75EFE-012B-46D0-AF76-B9AD7B967AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319a2ae1249a961c76538c8355a55241e5944d2b","datavalue":{"value":{"text":"Abstracting Induction by Extrapolation and Interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172632$6F6E42F1-8C18-4E6A-A8CD-BB912DCC53FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a38bdad7bb5d784b90e9d5625eb02bf713f1843a","datavalue":{"value":"1432.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172632$80A1162B-815B-4D72-9DF0-0FE59BEC337B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1adad434c2c2f0ccdd7d8385a0dc8249f4e8cfc8","datavalue":{"value":"10.1007/978-3-662-46081-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172632$C2F99393-BA26-4E42-ACD7-034F8DD2BDB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172632$AA616CA8-394E-4BA4-968E-8F87701EFB27","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":"Q5172632$3CB82CEC-3690-4E3D-B772-AEB5429FBB20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172632$DC1E6F3D-F739-40D0-8ED4-90CD28AA7F72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172632$FBBA3869-8BA5-44B1-9658-A9C9ED0A66E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172632$81AC626D-5FB4-4FF8-A3D3-EAABEE28E7BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4048a3484e9ae68383d58a49e1e4faaa34b3b3b2","datavalue":{"value":"6397668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172632$5EE6F5CC-ECF6-4AC2-BA0D-A386A44C7100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56b9eabab08e4bd49e934586dab4dd476d46d45","datavalue":{"value":"abstract induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$62DA74B2-7DDE-4E4C-9D4D-13349E872A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$85643CCF-20CE-4269-B563-1B79A8A88641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb59064d03157c86bcc514cc0b0dca27723b114e","datavalue":{"value":"dual-narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$45517984-D96F-4CB1-A545-0AA8053EB21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35472fbe7b20e78f828ca4b1db2777f67909c360","datavalue":{"value":"dual-widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$7183E850-7370-493B-9D34-7771EA2CC248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90abb85c957bcff1b42f722b878ef5e6faff0eb0","datavalue":{"value":"extrapolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$B68DE5AE-733F-46C8-BA91-8C193F2C1821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$49BC17CD-AD50-4995-B700-7E673EAD9FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$BD73385C-9BEB-4A9B-9DE9-FB692C0A32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$9BEB6EE0-0964-416F-A142-2BC3FAD6B0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"061cc51b371d9f0a283abf4f3feb0e3d48dcc053","datavalue":{"value":"static checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$8C2B9D61-E34F-43BF-8070-9E949D59F810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429b1bb2880597c2344753195d527743940fb5f0","datavalue":{"value":"static verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$953EE752-005D-442A-BB26-22A2C0C8B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172632$17A7FD06-BD1C-4E6F-91BD-143338DBF699","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":"Q5172632$07B4DDF3-C275-471B-8572-4AFE3F8AF990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"310eae65bd9666412b7999bb0f602bf625967933","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46081-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172632$F513D3F5-0A5E-41D3-8873-581D8C978884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b37a2b7eb90ffa7c3cdd441740ef0152f8590719","datavalue":{"value":"W85711746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172632$B9E39EE7-977F-49C5-A557-E3FD1278E02C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b5d7a88a34ba7463fd26b4ab55d9721f4c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9846254f4e099b44802e31ea8c299f13fe3fa61","datavalue":{"value":{"amount":"+0.7556630373001099","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":"Q5172632$7AFAE653-70B8-46BC-83D9-C30C0A9BCC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfcd2b543c0d054137f92ae9ee8a2c2e1fc7e2e","datavalue":{"value":{"amount":"+0.7531865835189819","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":"Q5172632$70801163-7D88-4619-B678-BBE162AEBB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5083a85bbf0ad14d24262a5f3fa299b370d5301","datavalue":{"value":{"amount":"+0.7529603242874146","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":"Q5172632$9BF01F54-9E6D-47E2-94C4-12E4DC69BE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de501cee94d2b82843f4cd23fa48630f29c4675c","datavalue":{"value":{"entity-type":"item","numeric-id":4217939,"id":"Q4217939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844d6dc101b6fa68c6ff88cf30ce5a870019b360","datavalue":{"value":{"amount":"+0.7520819306373596","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":"Q5172632$02A492EA-DDED-4F9C-BAE7-714C08EE05A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d7df931dcdced1cb46e6884981650df69540c4","datavalue":{"value":{"amount":"+0.7399208545684814","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":"Q5172632$1EEC5579-5103-48A5-8398-8B3160599183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5172632"}}}}}