{"entities":{"Q1103415":{"pageid":1114167,"ns":120,"title":"Item:Q1103415","lastrevid":69649017,"modified":"2026-04-13T08:27:04Z","type":"item","id":"Q1103415","labels":{"en":{"language":"en","value":"Automatic inductive theorem proving using Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053060"}},"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":"Q1103415$403E5CFF-827F-4AAF-BE68-D62F7F181A8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79eb361f76e4633f3fe74fef69dc6e35f3d86853","datavalue":{"value":{"text":"Automatic inductive theorem proving using Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103415$8FD612E3-FBAA-4296-AE0F-AC7D4D869316","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f219c9e52b892905ed58629ababcba771289059d","datavalue":{"value":"0645.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$4CDFE9E3-8BB2-4C59-B273-E48D56EACFB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2850334d22818f2964a5aadf1e81747d08706b51","datavalue":{"value":"10.1016/0304-3975(87)90016-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$92FDBEB6-0A23-4549-9464-5A82DA788E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$861E067D-64B5-4261-8141-79D30626296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$2AB4CC8A-AF5C-44B3-AA5A-7C9FF6969F49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$B33203F7-D31C-44A8-B8EA-E4147442939A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1103415$2234E838-C51D-4971-A749-309D6E56686A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aebe39a43e36a987714f41b2283f6c76bbc455db","datavalue":{"value":"The paper describes a theorem-proving method based on Prolog. The method is used for proving universally quantified propositions in first order theory. The proposition must be in the form of a Horn clause in which the consequence is an equality predicate. The authors give a detailed description of three new mechanisms: Skolemization by need, suspended evaluation, limited forward chaining. The power of the method is illustrated by proving inductive properties of Prolog programs. Functional and algorithmic descriptions of the prover are included. The present inductive theorem proving method is compared with the term rewriting method and the Boyer-Moore method. Finally, the authors shortly describe how the method can be used for program development and verification.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$C56C7D8D-CBBF-41CC-B3EA-98D419DFD06E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$90EF008D-C92F-4392-A500-04B5568D6294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$DA2183E6-6390-471C-B933-1CBD8356E823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$B49B0560-84C5-47A3-B25F-0AAB78B75379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96e204d2a9e883e159dd49b2401131845fea9d5","datavalue":{"value":"4053060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$BE5C723B-D453-406A-9644-8787704416BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc74f9907ed14b50ded627eab0692544250ebad","datavalue":{"value":"inductive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$C98ED680-F3E3-49AC-A3FE-7DD6AA08902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$05A3E8A9-4BBA-41FA-A24D-1BA5809363FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$B1356A71-C848-4830-8BE5-383C968D6A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$BEA2A6E0-F1EE-42EC-8A03-D575A2004637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$2F60D2CF-236A-45DD-BFDA-EE1DB89D24E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$42D09FC1-4AB4-4D31-AA3F-B182C94AA9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf24d89f4f0821f90ed933db7d403c989feed0ad","datavalue":{"value":"evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$116824F0-9E89-4733-BC30-409F94AD5B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$1309E31E-18A2-49F1-A88F-5356056610EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$7F5DB301-5F97-4EFD-8CEA-A48D0785D456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103415$370BC7FE-2C73-4C27-87E2-4BEE27E562B6","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":"Q1103415$B9092366-3B1F-41CF-894F-762905EBCCEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcb12277a16dafb5186d38e92b93248bda57b82f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90016-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103415$E742D36D-349C-45EF-BC79-A0A400477486","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bff6da3b0bbe7261caed96e3d14093f12fa9f05b","datavalue":{"value":"W2053332596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103415$C2B6A9F3-3A60-4ADD-8707-712D9C387297","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$C744FD6A-8F8B-4637-AEBA-6770562FE8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$40583A54-02B1-4F45-B958-1A30A78694DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b438979d3fe4a8ca6beaa66f61f807a2010ac0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3725518,"id":"Q3725518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$57BC591B-954A-4E4A-8248-46C6E4810AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$6274751B-DA52-47B2-B15B-64A0FFE06398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$8FAF1722-B740-4B05-B0B1-C1993A89497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f720b9345321c44bb6d8cc0a16e6c705607f8508","datavalue":{"value":{"entity-type":"item","numeric-id":3783512,"id":"Q3783512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$33FF1354-A5E0-4569-9E74-A4E5D05EB6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98073c2eb1ab9c03b8c0853ec86e8c19820f9687","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$BE51C25D-4A66-42A9-B761-165B3D2B650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$253C33EE-FB0D-4D10-A83A-A37D6C985D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$763D4CB4-F1C1-48ED-AF74-841D2A684EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$B0319D4C-7726-4E9D-A9F9-640C6F3546EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$2F21575D-5C96-410E-9FAE-5447A1A9DAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$71C26869-64B1-41CD-96D8-559F8E05A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25adfc00b5cf3cc37aa3a53f5bd4dfe09afa87e2","datavalue":{"value":{"entity-type":"item","numeric-id":1077912,"id":"Q1077912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103415$B5A17E5C-E98A-4013-ACFE-62058073D2D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8aa88f960b08160c56495dd31aafe873551353","datavalue":{"value":{"entity-type":"item","numeric-id":3732983,"id":"Q3732983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ebb59f2799e5e38a2c3fae534abd2a1a66842f","datavalue":{"value":{"amount":"+0.9640765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$2BBD6259-4076-4407-A560-69C12739F302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b950c83128d11d71296f04dbe09c8f568420f","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b4f79d9cb3f8cf9c6c0e0a08e1215c65e53338","datavalue":{"value":{"amount":"+0.92241895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$4F57B53B-E29A-45E1-AD01-AEF32284631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004b6e1aa22a98964212b70d48f82822b4e1cc82","datavalue":{"value":{"amount":"+0.914356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$183AA213-D00B-4B60-9353-82E74189CF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee229a4ce7d10baf50f706a56a8c2e1ba492869","datavalue":{"value":{"amount":"+0.9106147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$73140B89-34D5-472E-9026-D62F246D8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e014b99f6ec6517b8222e952ab4f698fe23a5c","datavalue":{"value":{"amount":"+0.9047396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$0A58BEA8-DC50-404D-B1CC-D1594460111D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ff7130f3d41e7165dba4d7b35aea65f278b22d","datavalue":{"value":{"entity-type":"item","numeric-id":4700385,"id":"Q4700385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8033386102761c663c0bebbf156a6def804e3aab","datavalue":{"value":{"amount":"+0.9029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$F565EA95-5B85-4796-99AC-7B27FC856112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16053aace68649c794760ce4ef92c7682971b50d","datavalue":{"value":{"entity-type":"item","numeric-id":3978317,"id":"Q3978317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eeb4d92da2231a2c1c9de2f521f49b0d3702922","datavalue":{"value":{"amount":"+0.902192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$DEE0B021-68C5-4E55-9951-5DB0FBFFCBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0a9ca272f32d4311afcb829cff2de005075e55","datavalue":{"value":{"amount":"+0.9015907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$CB43C2AC-F756-48DA-85C9-20D406487CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540b6ab6d92113a91ff958757755562350221b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"760d299c703a2a7d5710d075e88c998884f64a4d","datavalue":{"value":{"amount":"+0.8997652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$C20A76DC-EA85-47A3-8596-D30D96FA5802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b4a2fec8240cef8b3354cfe1bcecda862f0031","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b653fb0e2ab60ad66cb54992a9df77c81dad6f2","datavalue":{"value":{"amount":"+0.8997198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103415$E4BB6D2D-C3E0-4EF9-832C-CF2865F2AB12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic inductive theorem proving using Prolog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_inductive_theorem_proving_using_Prolog"}}}}}