{"entities":{"Q3118379":{"pageid":3129095,"ns":120,"title":"Item:Q3118379","lastrevid":51427541,"modified":"2026-01-18T04:49:24Z","type":"item","id":"Q3118379","labels":{"en":{"language":"en","value":"Mechanizing induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6011023"}},"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":"Q3118379$176126E5-CF76-4DAF-B6EC-17E34D348AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e88f9fd536a330345b3ad4190a5064f92673bf","datavalue":{"value":"1253.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118379$7378C09B-AD33-43DC-B09F-EE637BF94497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5628914a0499277e4ad11bfbf842d89efca1f2c1","datavalue":{"value":{"entity-type":"item","numeric-id":378752,"id":"Q378752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3118379$F95F3EF2-7FB8-4FC3-9812-B03DD2F18E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f13ec7b29e8789f065a0df299dc279e3b9111405","datavalue":{"value":{"entity-type":"item","numeric-id":185582,"id":"Q185582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3118379$3A9554A0-E245-4118-A649-6076F4D2DECD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dbc7b8b645134a5ef8ae89c64a2b1886d53abc0","datavalue":{"value":{"time":"+2012-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3118379$94E8BB50-4037-4B2D-8160-D51DB575C60F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118379$71869482-35D9-4AFC-87E1-E6BA19DB1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118379$2951E0C4-064B-485C-97FB-A479DD8BA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118379$DF7B2D0D-5181-4846-86E1-AAA2C80A7F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118379$73307BEE-5355-46E2-8B68-CA2C97C732CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb932740698ab2845cd2122105281fd8909e6a5c","datavalue":{"value":"6011023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3118379$D0D6D3C3-04DC-4C90-8200-90AB2CB314AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118379$6C49074E-330D-423C-8B69-2471391EB320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118379$D2B3491F-3C03-416A-951E-B2D3843E38C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3118379$AD774258-AC59-4D7C-B4D0-09E0FFA7AE41","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":"Q3118379$5DBBF676-A3F4-46FC-BD56-5A9193272E89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03ea33207f6fe3c2b292990c8822a08ec07a026","datavalue":{"value":{"entity-type":"item","numeric-id":4853397,"id":"Q4853397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7ef2352fa3209dc7e408b6a94f895e6d745e28","datavalue":{"value":{"amount":"+0.7871842384338379","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":"Q3118379$6C7FCD23-E169-44DA-A04B-3C46B488F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed8b2287a74b8833006881b33d5ebeb4cb3a213","datavalue":{"value":{"entity-type":"item","numeric-id":5688789,"id":"Q5688789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89ea1d427639564a7c6075dbd26fa5653335fdb","datavalue":{"value":{"amount":"+0.7865556478500366","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":"Q3118379$76AF95AC-1D97-47F0-B60C-3D8EAE9F0DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f327b01e89770715c8df5fce6ae4c12743ba630b","datavalue":{"value":{"entity-type":"item","numeric-id":749228,"id":"Q749228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559246eed8b456d227d2dd36f0aaf5ec12dea5ac","datavalue":{"value":{"amount":"+0.7660204172134399","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":"Q3118379$95233001-7ADD-41B7-99BE-6C89D4AA9BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbf0d39d3e880a4135e79e04d693b99d6fc5445","datavalue":{"value":{"entity-type":"item","numeric-id":4762206,"id":"Q4762206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8408fbed8a19d6f2066d6b66a44d4aeef16337dd","datavalue":{"value":{"amount":"+0.7639317512512207","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":"Q3118379$B4CBD660-18B1-4A72-8E62-8BFDE27358D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eed6f4a754f15312943dc519e115c8d7dfb264c","datavalue":{"value":{"entity-type":"item","numeric-id":4592724,"id":"Q4592724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a2a321d839c637b50a06e16981edff2e0ee675","datavalue":{"value":{"amount":"+0.763931393623352","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":"Q3118379$1F2DCB20-617C-4FAB-AD6A-1312E5FFC3BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3118379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3118379"}}}}}