{"entities":{"Q2739546":{"pageid":2750285,"ns":120,"title":"Item:Q2739546","lastrevid":82856450,"modified":"2026-05-06T22:14:39Z","type":"item","id":"Q2739546","labels":{"en":{"language":"en","value":"Learning search control-knowledge for equational deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1644033"}},"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":"Q2739546$D2932062-6D92-400E-AFFE-8BE3E08604D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de045c2c1aab42a44fee59df534810fe796b771f","datavalue":{"value":"0994.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739546$9A5F655A-8247-4A94-A049-E076844F41B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88b3c329e48aa35406e35fc7c5218b06361eef1f","datavalue":{"value":{"time":"+2001-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2739546$76D47015-8F86-4986-8376-9CC369562443","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739546$DC41AA3A-904D-4DEB-AE47-4EBDA8BE389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739546$CBD2738E-166F-40D4-A8AA-7FB46D7A07F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30169fc2a65e99e53471c88c0d31f1bd6353ea35","datavalue":{"value":"1644033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739546$873510D3-014C-4097-A7CF-DC06EB8068C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2739546$98929C3D-AFB1-4749-9649-5529CC65D5DF","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":"Q2739546$5BAA3019-6FC1-4073-A0B2-E212C46DE3A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13911bde81550ae31db3579d97b23abd05a55b9","datavalue":{"value":{"entity-type":"item","numeric-id":2260214,"id":"Q2260214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2739546$3AAF0EF1-993D-415B-A37F-F1F095B13F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d9106010d2cc9569ddc324657269e47a4a80cfa","datavalue":{"value":{"text":"Learning search control-knowledge for equational deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2739546$084B858C-3234-4105-B2EE-B0BDD18957F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ab20887f4e52f45c9e6920611057611555a8c68e","datavalue":{"value":{"entity-type":"item","numeric-id":6768709,"id":"Q6768709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2739546$461128F1-0ACC-4F94-8AA8-B68E97A25E95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd996b2f1fae70ecc8f0f9ca5aafd645435786f","datavalue":{"value":{"entity-type":"item","numeric-id":4529543,"id":"Q4529543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c78f9854c2934edbb37d168480e739df3fe9c","datavalue":{"value":{"amount":"+0.9316186904907228","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":"Q2739546$8A2A5E58-1CDF-44C1-A914-C098D0689B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c78f9854c2934edbb37d168480e739df3fe9c","datavalue":{"value":{"amount":"+0.9316186904907228","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":"Q2739546$460FCB06-868A-4892-A7FC-A95382DE3782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776e4c784830960f08191feacfb851aa37febae2","datavalue":{"value":{"entity-type":"item","numeric-id":4797437,"id":"Q4797437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27de1ea853e74cc4a103b4c752a68fb19d12dea","datavalue":{"value":{"amount":"+0.8991989493370056","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":"Q2739546$D44073CD-389C-407E-A4C4-8B167F3FCB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3766bac65d12bc25254d2db5e809b4c83519adc4","datavalue":{"value":{"entity-type":"item","numeric-id":4524780,"id":"Q4524780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03eb8d7a75088d85ac8fed597ebf4920927c2c3","datavalue":{"value":{"amount":"+0.8493776321411133","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":"Q2739546$700E7950-0C8E-460F-8938-3955E1B06050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d85b2603075e198252cf747fcc485a279e29304","datavalue":{"value":{"entity-type":"item","numeric-id":6488552,"id":"Q6488552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03eb8d7a75088d85ac8fed597ebf4920927c2c3","datavalue":{"value":{"amount":"+0.8493776321411133","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":"Q2739546$65643769-3784-4C18-BA74-EDA9FBFB259E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning search control-knowledge for equational deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_search_control-knowledge_for_equational_deduction"}}}}}