{"entities":{"Q1189730":{"pageid":1200479,"ns":120,"title":"Item:Q1189730","lastrevid":70238232,"modified":"2026-04-13T13:24:41Z","type":"item","id":"Q1189730","labels":{"en":{"language":"en","value":"An integral theorem prover and the role of proof planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 57768"}},"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":"Q1189730$02D4CBBB-7DE8-4E57-8127-4DDB007931E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbc67d128200fc1bf840f5ad6c819a488983fa3f","datavalue":{"value":{"text":"An integral theorem prover and the role of proof planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189730$8BB8209B-E3C6-4FFD-BD0C-060701B549E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71db7af1b9fea1eee50fd97bdc26477369d81a75","datavalue":{"value":"0759.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189730$7C6834B6-B2C4-476F-A174-CB7560D5B3AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dee2fd20d19ac526b36dafe1f07cf49e796939c","datavalue":{"value":"10.1007/BF00244284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189730$FE082216-A428-4699-A4D0-0A6462F43398","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62949d1fd05322c52205f03dc192a1cef43633dc","datavalue":{"value":{"entity-type":"item","numeric-id":1189728,"id":"Q1189728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189730$D17104D1-D7EA-49BD-B84A-ECC74F9F80C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b13751d90cc41f245af03c971742571a5c912b9d","datavalue":{"value":{"entity-type":"item","numeric-id":1189729,"id":"Q1189729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189730$4C6EC095-48D8-4F78-A831-DAFE67D2E6C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189730$90A871A9-D08B-4335-AC2F-CD8B24E77F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189730$CF3B7221-44F3-4139-8414-E57A87C0E115","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f10c74805ce554fbe95327386d931ebecfb7b396","datavalue":{"value":"The paper reflects an effort of the authors to use rule-based systems for computing integrals. The system prover for integration theorem proving is presented. Various types of integrals are admitted such as Riemann, Stieltjes, Lebesgue, Cauchy, but the results achieved are concerning Riemann integrals only. To make the transformation of integration into theorem proving sphere easy a predicate form of integrals is used. Thereby a rule base is available for proving integration theorems. The system prover is implemented in Prolog and represents a proof planning method which substantially reduces the number of steps in the search space. The rule base containing fundamental definitions, functions and theorems as well as the proof method with plan are presented in three appendices. Several instructive examples illustrate the work of the system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189730$0702E04C-C7B9-4BE8-8C8F-2BA1AD790D9F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be2a52757c5af513b7fb2d5e98fbd88a4a770b60","datavalue":{"value":{"entity-type":"item","numeric-id":1188640,"id":"Q1188640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189730$A48D85F6-0ECF-4231-9F6D-EBB5BF65AC10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189730$30242ADB-EC92-45EA-8814-BD781FA429AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6ef005c726d4ff5663827be236e3201ec05241d","datavalue":{"value":"57768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189730$72F8C044-CB3D-4765-B862-554DC80B9523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec0631565ebde35d187cc0059ef452a7b66aefd","datavalue":{"value":"integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189730$5866218B-B6DA-4B73-9E41-A5A8449C9747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189730$45B6121C-4B3A-436F-9585-2D14735156BD","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":"Q1189730$B581ABC6-D5B9-4158-860D-6982EBFE3594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68b50c2074f174aaeb29ea0c3d9b667cc82361bf","datavalue":{"value":"https://doi.org/10.1007/bf00244284","type":"string"},"datatype":"url"},"type":"statement","id":"Q1189730$32797C32-30C1-415A-9F6F-620925A3D298","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e50128def26bb8f324ffa01b912b51fb73fcb895","datavalue":{"value":"W2020589045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189730$8CE7FB23-562A-4E3D-AF19-9796026DEA7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a1ccdd29f698747b6aa96da88440d993be29ab","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cddb3f88d3f3087bf66f0160082ce4435449c1b","datavalue":{"value":{"amount":"+0.7683242559432983","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":"Q1189730$065E4611-9647-4CDC-AD3C-B790B4759A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70983583bd7e5ea71011477dc85b183843e87af","datavalue":{"value":{"entity-type":"item","numeric-id":5464716,"id":"Q5464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cddb3f88d3f3087bf66f0160082ce4435449c1b","datavalue":{"value":{"amount":"+0.7683242559432983","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":"Q1189730$0D58D774-C274-452A-AC4E-3937362CE1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c635c8430e30670a73c64522286746432741bb22","datavalue":{"value":{"entity-type":"item","numeric-id":1823014,"id":"Q1823014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d7be0a75fec487e27c7fde10ff3a42f6009a41","datavalue":{"value":{"amount":"+0.7321561574935913","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":"Q1189730$4E80B05F-0A56-4482-AA84-A56A704B69CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361d73910ed31918e003ebc5ef836a04a599699a","datavalue":{"value":{"entity-type":"item","numeric-id":1978469,"id":"Q1978469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2620fb4fa92d31492d63ada2c3a07e8480a8b4","datavalue":{"value":{"amount":"+0.7220363616943359","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":"Q1189730$D68B6B4A-E216-4232-9D9B-65A14563BBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cffc23e28741b245b0f435c2b5b2b9463170c6","datavalue":{"value":{"entity-type":"item","numeric-id":3804238,"id":"Q3804238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be19ce906e8a922ee7e2df74edcc2c8cc601ed0","datavalue":{"value":{"amount":"+0.7104218006134033","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":"Q1189730$3A9D898C-AEA4-4822-BFEB-008BE1B1D280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An integral theorem prover and the role of proof planning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_integral_theorem_prover_and_the_role_of_proof_planning"}}}}}