{"entities":{"Q2740950":{"pageid":2751689,"ns":120,"title":"Item:Q2740950","lastrevid":79180187,"modified":"2026-05-06T13:19:45Z","type":"item","id":"Q2740950","labels":{"en":{"language":"en","value":"Improving the time efficiency of proving theorems using a learning mechanism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642165"}},"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":"Q2740950$EB4FD90E-3896-4BA3-80F5-921F4AEF610D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00b6670abb7d57153e2d9ee8ffb90a6b5b6ad7e5","datavalue":{"value":{"text":"Improving the time efficiency of proving theorems using a learning mechanism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2740950$942176F2-7FCF-40B3-999F-865A8EE72500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b2adc0e9c3f51cb98342571d7d6d70a54288774","datavalue":{"value":"0976.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740950$7721CEFA-8C7F-473E-AB45-9D76B0DE9932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d2e508a96a7784fd6e9f803bac402208f195f1d","datavalue":{"value":"10.1080/00207160108805059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740950$EC3C8046-B0CD-4AC2-9F8F-668B03B0BDF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf582010b559be1ac397ad4899ea0eaa4ad90693","datavalue":{"value":{"entity-type":"item","numeric-id":2740947,"id":"Q2740947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$36791232-E26D-4DB5-AB05-8E5752CC5F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"841bcea9e974cdb544a7114b8822ffd960b0f81d","datavalue":{"value":{"entity-type":"item","numeric-id":2740948,"id":"Q2740948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$B1E17F1E-FCEA-4F96-B562-41D09A114382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93092ac7d3843ffc210ac650e033cb249e62599","datavalue":{"value":{"entity-type":"item","numeric-id":2740949,"id":"Q2740949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$E847E17F-58FA-4E4D-AC51-98F10004B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6738e8db0f627d83ecc52a74051aa80dae8b20bd","datavalue":{"value":{"entity-type":"item","numeric-id":1277338,"id":"Q1277338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$2070A726-13BD-45C3-91BF-713F062C4F73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$A242106D-8E87-4780-842A-E227FBA94FFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae0446501a58098cb1329379aa4eb6f9a6b2c8cd","datavalue":{"value":{"time":"+2002-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2740950$F5B256BF-8A2C-49D4-BFD0-4985763F6CA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740950$24AD4B32-0224-4F5B-9BDE-CFC6F857DD15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e05105d2ff917422a29ecb3d5fa91164861e8c99","datavalue":{"value":"1642165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740950$4F1CDA89-2C86-4717-A990-E5BBD0130EE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e740023e093c5e08b731a63a0e32a4da62feeff4","datavalue":{"value":"learning mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740950$9B193243-E5B9-4C55-9C73-0B71F4D11442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a189b6d093e2e068ff5cd2fb6e3aa374c6edfe","datavalue":{"value":"theorem-provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740950$D6EAA935-F8FC-4380-A217-7E2B7324F002","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71e7e9e33ca825219c326af3a0e090139ef306eb","datavalue":{"value":{"entity-type":"item","numeric-id":45241,"id":"Q45241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$C4C087C8-6C85-4A29-8421-11E18CBC8F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7bea7b1a95583dcf9c47a48e1f0734187b198c5","datavalue":{"value":{"entity-type":"item","numeric-id":14474,"id":"Q14474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$671E7E10-70A2-4B04-864B-9E4AAA5B2847","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":"Q2740950$92EA174E-4F47-469C-8320-2497B6ADDD16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d5d06478a2854864d96dce2ad70f3795eb40061","datavalue":{"value":"https://doi.org/10.1080/00207160108805059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2740950$B3176AC0-6CB9-450C-8F26-777020A14A0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e61dbdc5919e6961b2771ed8f7f01943ce8106e","datavalue":{"value":"W2013154396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740950$A07685BB-074B-4EC0-82AB-35160BE61A31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5371ed448e81273238864e5a512d181e213a58","datavalue":{"value":{"entity-type":"item","numeric-id":2710799,"id":"Q2710799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$6A8E954E-8A43-40CD-8B33-3DC08B19B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$9F640422-D453-4E45-994C-3DC7A15FE6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a12a0b7ef04e60cdaaae1c7fffe6785ce7de68","datavalue":{"value":{"entity-type":"item","numeric-id":4284989,"id":"Q4284989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$CE528964-9815-4F35-B2A9-AE48F4E6F268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$C8994FE6-7BC5-42D1-9CB8-EE9DE03E329E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740950$09BC62D8-EF3E-4897-80BD-A4341D15FB4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab127e20c4e479e5e30e398294a19c06fe4cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2351414,"id":"Q2351414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3786be8b2b126b2a4203dcb11a5d10529f5da997","datavalue":{"value":{"amount":"+0.7601451277732849","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":"Q2740950$101C7CD4-2E63-4F7F-BB44-7CB05A044163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38becb13a8dbafa38d023db8ad58a1e61eddb06","datavalue":{"value":{"entity-type":"item","numeric-id":861370,"id":"Q861370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6881d543d3eb86039d5addcb3a2eff196a9dd2a2","datavalue":{"value":{"amount":"+0.74006187915802","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":"Q2740950$D530FD21-A99E-44FB-9E04-7956F26A4C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee8b4c79deb3aa57ce2641b4039a91462d9cc63","datavalue":{"value":{"entity-type":"item","numeric-id":4465166,"id":"Q4465166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa8ee1c24e4753de9884cb93536f15a94b7ac2c","datavalue":{"value":{"amount":"+0.7331438660621643","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":"Q2740950$568E7FBD-18D3-4EDE-85F3-67194855FE0B","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":"4bcb18bb35e499e3f834affbe35f8ef54ea172ea","datavalue":{"value":{"amount":"+0.7285948991775513","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":"Q2740950$8AA99E34-3872-4BE5-A326-18B9F9443E93","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":"56a60357be2fbf6909b16ebb0a86555e51352e5f","datavalue":{"value":{"amount":"+0.7235543727874756","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":"Q2740950$BB759BAF-E986-4144-B3B2-20C0245737A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving the time efficiency of proving theorems using a learning mechanism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_the_time_efficiency_of_proving_theorems_using_a_learning_mechanism"}}}}}