{"entities":{"Q4932637":{"pageid":6962219,"ns":120,"title":"Item:Q4932637","lastrevid":51097739,"modified":"2026-01-16T16:02:11Z","type":"item","id":"Q4932637","labels":{"en":{"language":"en","value":"Using mixture of experts method in combining search-guiding heuristics for theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5796601"}},"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":"Q4932637$D4396150-95D3-4CA6-8FC7-5347275E6B33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42dbebe63bf64b590feaf3654f7a25735899a31e","datavalue":{"value":{"text":"Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4932637$CAB35B05-C936-4F4F-B84A-1531456D5C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de6cc221c528301af0c0443a1d28e042c1e753b9","datavalue":{"value":"1200.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932637$6991E50A-5394-400E-9075-D1B68038CDA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17418c36b9993f805cc0fdd9115d0ffa2d4910e0","datavalue":{"value":"10.1007/978-90-481-9794-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932637$C8CB3343-688F-4F6C-BEDA-9979FA51539B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e0cb8597f7a6a89217a21989d5ca68a9dacd7e","datavalue":{"value":{"entity-type":"item","numeric-id":4932636,"id":"Q4932636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$03526728-01C6-42AE-B068-DF05B0ECEFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a7f48df13f875f5689f7c82bd7c838060c3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4012701,"id":"Q4012701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$F18245E5-E23D-4F9C-92F9-BA0D3ECD2BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e99109af1b0c63e6ad2c33b5a3b7ebcdd55ff29","datavalue":{"value":{"entity-type":"item","numeric-id":318843,"id":"Q318843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$3BEDA841-EFA3-4AD5-9A7D-740E4B063829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95d18b46fedfd0a4265c850fd91377eb31609d3a","datavalue":{"value":{"time":"+2010-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4932637$BAE07943-610E-45F0-B38B-F89BDCF581D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932637$4DEA3B05-D083-420A-8BEB-1A6BFB0421E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932637$738314F3-6ACD-491F-A3DD-B89213C66B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1881296437fafd4d702ff7f2a3ba112a88f6fd2","datavalue":{"value":"5796601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932637$B3558B88-72F2-4DB7-833F-7FFE317BA9DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b5f3ed4d6a19bbffe2e7d716b866c736ee617b","datavalue":{"value":"search process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932637$A29D919A-3317-4469-8422-F4C1DB5E84F8","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":"Q4932637$B890C6B6-2BC6-41C4-9DB8-450E11DCD836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e40e124cfef4aa5926bbc990f74aaa5d41641ea8","datavalue":{"value":"https://doi.org/10.1007/978-90-481-9794-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4932637$0808AB9F-08FA-474D-81FE-94D11FAE30B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5d113b060cd167ce31c12b4158fd8c144e22fe3","datavalue":{"value":"W342339601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932637$E96EA7C4-8DC0-42A6-9510-B56AC0CDC054","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11e19574508418c19657a6f1385e1d5821221a3","datavalue":{"value":{"entity-type":"item","numeric-id":4647545,"id":"Q4647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$B433E9D7-226A-4D25-A580-799C8FE09AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f96e13caa31f2520249714bfb804380576a849","datavalue":{"value":{"entity-type":"item","numeric-id":3655274,"id":"Q3655274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$53B152E8-BD48-4205-8712-AB63760D85AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$F43924A8-95AB-4999-9F5B-785852794CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$4E29105C-89EA-4FE4-A829-0BA9088616DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba5a88e482fa0c7e6319290f07c1dc9df9850b8","datavalue":{"value":{"entity-type":"item","numeric-id":2726241,"id":"Q2726241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$AD333CD5-DEBF-4CE1-94C3-B91BEE7463FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959cb805213eb616c8adb0875ac204123b3b6afc","datavalue":{"value":{"entity-type":"item","numeric-id":6488552,"id":"Q6488552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932637$E530D8E6-10D5-473E-A81F-2E4CAF33DF9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0b9793d16773b26fc3d002ae737069468f2e77","datavalue":{"value":{"entity-type":"item","numeric-id":3979280,"id":"Q3979280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4748e971d4a362f037ee9606eb4b2724cb755c","datavalue":{"value":{"amount":"+0.8008158206939697","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":"Q4932637$EBDB7078-97D8-4195-B122-60A2EF1BC165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78c6fc18d2ca867bc6fbb3e23a38d31130b55bb","datavalue":{"value":{"entity-type":"item","numeric-id":4647545,"id":"Q4647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ad27d832c79b8da5eacdd1a696d5b7cd4bbd95","datavalue":{"value":{"amount":"+0.7897989749908447","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":"Q4932637$762E1C23-F13E-4771-87CF-FC05BD0AF213","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":"75698ce522041886c7329f3c7d2eda9d327acb00","datavalue":{"value":{"amount":"+0.7679871916770935","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":"Q4932637$321429FB-18D3-4F47-9B01-6DC7053FF268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1064d35836ede485a73e1a301c12df78354c369","datavalue":{"value":{"entity-type":"item","numeric-id":2128804,"id":"Q2128804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e0fe706f1319812b8abcd49d4b89fbba6666d0","datavalue":{"value":{"amount":"+0.7620574831962585","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":"Q4932637$33B67208-5183-4D7C-A0EB-0DF374C52253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce156e995b5ec8c412acc42653d7dc70c82d4d3","datavalue":{"value":{"entity-type":"item","numeric-id":1583854,"id":"Q1583854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf9530b9c3e4f93512df00727971f2dab81e70f","datavalue":{"value":{"amount":"+0.7379682064056396","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":"Q4932637$CD33F09E-C499-40BD-87AB-93CCF2970B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4932637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4932637"}}}}}