{"entities":{"Q1283199":{"pageid":1293949,"ns":120,"title":"Item:Q1283199","lastrevid":68364537,"modified":"2026-04-12T23:12:56Z","type":"item","id":"Q1283199","labels":{"en":{"language":"en","value":"Analogy in inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275082"}},"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":"Q1283199$847A29A4-9115-45F4-8D1A-5B6B7940ADB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ca999fe88f46bb870513eb6a48d252102528d59","datavalue":{"value":{"text":"Analogy in inductive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283199$779102E5-6E76-41AE-AC98-80E8BD5BF462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d111fc64b3b9df359c4c28484326a136bce340db","datavalue":{"value":"0929.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283199$50C9EFFD-1C94-4915-9844-0FF8639E352B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6a61ee85d9f04284cd3aaedb2a86c0c1051daf1","datavalue":{"value":"10.1023/A:1005936130801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283199$1271B1D3-CD7E-4ED7-B715-3B70C87851AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8277b97ee89f3f6e73af930a736006548fe36efb","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283199$CF89B066-B362-4B35-B4D2-ADEF9F6CE17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7b87520b581501a7aa2502f13216a81e8bccee","datavalue":{"value":{"entity-type":"item","numeric-id":699919,"id":"Q699919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283199$5FFAB206-6146-4C3B-820C-8821C1A73E49","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":"Q1283199$DEE78BA8-652E-4A85-89AB-23C146440491","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283199$1D5C77ED-4F1F-4224-8A21-E2454FA41FD5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5a94f4de19e658fa6f221a1b39d291f44ba759d","datavalue":{"value":"In this paper the authors describe analogy-driven proof plan construction in inductive theorem proving. The analogies investigated are external analogies. An analogy procedure is obtained that is incorporated into the generic proof planner CLAM. Several examples to illustrate this procedure are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283199$E009B104-65C3-4FB7-A473-C317630A473F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283199$C82A1967-58C2-4C60-BEE7-DCCA32C2D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283199$FAC8CC0E-543B-4C7A-AD8B-8B9734C30AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33451ad1c2052263b40bc9b9e4e80ca8ce42006","datavalue":{"value":"1275082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283199$2B737154-5F09-40BE-85B3-9A6192DBB9F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ed5ef6c982a0333e1a5ec6e5d0fa09c2ab9c8b","datavalue":{"value":"analogy-driven proof plan construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283199$CC662D22-9761-44E9-952E-FDC3EEDA0CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283199$AB9AE94F-8AD7-49F3-950F-348D3EAAD359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b91d4f85d77ee7caacae50a5de28e9198c6219","datavalue":{"value":"generic proof planner CLAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283199$4E1AE118-3E33-4FDC-9D61-11C109300903","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9fb773d0cd3a039a126cfc91f47bdfc04e0ccc60","datavalue":{"value":{"entity-type":"item","numeric-id":1166490,"id":"Q1166490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283199$AE09DE16-F99D-4F7B-AA53-12FD2DEEC1D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283199$70C6AE94-DD26-45C1-929A-FF0C1B9B7E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283199$0C1E6A31-2D36-4B52-9F43-BD3657A9BDDB","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":"Q1283199$2807B318-1EF2-45AD-BF3A-5F76847EBF68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6861668f9c4f5ca364ac810f934855021bc43c2","datavalue":{"value":"https://doi.org/10.1023/a:1005936130801","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283199$BAD9E155-F6DF-4F8C-8F2C-17BC96B28A64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7492e69ad476db92ebfbd049cf89a518995a5bb","datavalue":{"value":"W1549859189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283199$5F41AFA6-F1AE-4397-96E9-674985BB85DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2344131468965cf4a2424a8aea6870f93ca52925","datavalue":{"value":{"entity-type":"item","numeric-id":4919768,"id":"Q4919768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7a26e7971ae83d0524ecb0ead2ca10af185254","datavalue":{"value":{"amount":"+0.9311828","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":"Q1283199$54203E92-2C64-4098-A3E3-22B2DAB5CF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471cc8c3fe030a65b2eb9b81967c225ef3333431","datavalue":{"value":{"entity-type":"item","numeric-id":490667,"id":"Q490667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baebe950e1f3307b5b8f4009107c88f8d3f66450","datavalue":{"value":{"amount":"+0.9224534","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":"Q1283199$0D1A24A7-97B9-4E5D-8900-58EEAF6FF2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b6c1f0088495731cdf9037fc2b3a7e97fe1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4647502,"id":"Q4647502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4972601a30c59b2ef2ac028abe720969111dc663","datavalue":{"value":{"amount":"+0.9218742","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":"Q1283199$10EE641E-A5FA-4D50-A375-24CD5CDC98AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5348b8a4e161aacdbed50cbbc41d026a283965","datavalue":{"value":{"entity-type":"item","numeric-id":3817655,"id":"Q3817655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7c1f4389af08cc5057dd59f7e2718982cb912f","datavalue":{"value":{"amount":"+0.92117596","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":"Q1283199$40D44222-2796-4158-A345-3E519FB200CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c05434a04a407eacf963fc74ef64d692678c3b0","datavalue":{"value":{"entity-type":"item","numeric-id":5015380,"id":"Q5015380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6c4771378a92456b4560a8707db74f2b8c4c17","datavalue":{"value":{"amount":"+0.90506214","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":"Q1283199$3D211ADD-D739-4A37-A080-C767FD10A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a666456026cbeb2b2c1988334a1396c6b0dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5739522,"id":"Q5739522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333775c402fc79c80faa049a5967357a8efa54c4","datavalue":{"value":{"amount":"+0.89792377","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":"Q1283199$6BF568D8-3344-462F-B012-2C0E1604E1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a97eeaa4daf6bf4c5add9cc40ce8fa5358e866b","datavalue":{"value":{"entity-type":"item","numeric-id":1706800,"id":"Q1706800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603cc2edba0e9b5d6c222aad10dfed0da0ce46af","datavalue":{"value":{"amount":"+0.8963113","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":"Q1283199$440FCBB0-3B28-4AB8-9FFD-E9F9E4BB7F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47108393db8ff14712020915fc68ed167a46adfc","datavalue":{"value":{"entity-type":"item","numeric-id":1382153,"id":"Q1382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed48f9351ef1c3c67538ccd4f1506bff1f013fe","datavalue":{"value":{"amount":"+0.89231396","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":"Q1283199$9AA6348C-1B11-4DFE-A846-61C2ABB34B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d522b00b16d13bca0bfa49cecc364d2347e296d","datavalue":{"value":{"entity-type":"item","numeric-id":4370349,"id":"Q4370349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89f8cfea8731bd3ad590b60bd839e38879c7469","datavalue":{"value":{"amount":"+0.8862114","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":"Q1283199$86512897-F788-46D4-A582-F43760DCFA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7334020c30173115a8fb2673f1d4e7ebbc6d3d21","datavalue":{"value":{"entity-type":"item","numeric-id":5235252,"id":"Q5235252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0292ba219e5c4d180606f1788b4c4ebb2bd6623","datavalue":{"value":{"amount":"+0.884383","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":"Q1283199$62293C69-F035-4B92-911D-ECDE45EF450B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analogy in inductive theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analogy_in_inductive_theorem_proving"}}}}}