{"entities":{"Q6108816":{"pageid":13243123,"ns":120,"title":"Item:Q6108816","lastrevid":47868646,"modified":"2026-01-02T22:39:32Z","type":"item","id":"Q6108816","labels":{"en":{"language":"en","value":"Machine Learning for Inductive Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704985"}},"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":"Q6108816$B4B5E6F6-C651-4DF8-B2B8-9CDFD6C23EDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"556323abe3d482a4147092497f4c0b33debf2e56","datavalue":{"value":{"text":"Machine Learning for Inductive Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108816$58BC1F20-D4A5-47AE-922D-B561E3F4890E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"862cd5e605ead6c146faf5f17a231edfd9d2d70a","datavalue":{"value":"1515.68344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108816$6AC5BF30-0ED4-4F0B-A952-F6362F94605C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfa4199623d260b0c18ebad4d5305decb5f96b2d","datavalue":{"value":"10.1007/978-3-319-99957-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108816$7CAFCFBF-15CD-4930-B3CA-E068BEF8E35A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1056daa46773ba49361de0de66adc7552eb2d7","datavalue":{"value":{"entity-type":"item","numeric-id":6108815,"id":"Q6108815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$9F51256B-5653-441F-9139-164714C6E864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3973f059c1b5dc91d7940419c6f061f7ab77fe4d","datavalue":{"value":{"entity-type":"item","numeric-id":2405261,"id":"Q2405261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$8344D35A-C93C-421B-97C2-D654CCB3ADFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$A0858DF8-7F11-4C59-A0F9-516AC207589E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$32160E5D-9ED8-4F92-A4C2-554957159805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71476e68174ce61b1b2a41ccdbdaefb9b107de95","datavalue":{"value":{"time":"+2023-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108816$69773F3F-D365-41AF-96BD-612C0235CB46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bc8f64d2fa08752601d9184c36c22cfbb350900","datavalue":{"value":"https://www.research.ed.ac.uk/portal/en/publications/machine-learning-for-automated-inductive-theorem-proving(c8d4d86e-e71c-4e44-b121-a314097c4803).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6108816$D888762A-4480-4145-BC0C-DC299252A0FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108816$1E0C582B-359E-4285-BC9D-C961DA754940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108816$56BDD7CD-CCDA-40E1-B52A-CDCF467CDB27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d8c0ba6adf4dc3259ddb3bc3e4c4f8d71795daa","datavalue":{"value":"7704985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108816$4A5E2F84-92FB-4E11-B542-AD9AEDDB64F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108816$4D46524E-FBD8-451E-9A6D-5BF9F21840D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf58986d6b0cbc54ca88bff3d71d2692f5648cd1","datavalue":{"value":"lemma selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108816$12D605E5-0F0D-4CC2-87C5-80B6C1FAC97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108816$48B0805A-BA48-4212-98E1-E40C066AFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108816$8663A718-768F-4B8A-8862-A2757339E9F1","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":"Q6108816$DFE21CC8-1358-43A4-837C-DC2E3F89071F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$CD919877-B2B5-41CB-9566-37CFECA9FE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$891A908A-046D-4194-B894-D5E7D8EABF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$191156D6-8419-4FDF-9CB4-ED666941F3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$678CD142-80A9-44C7-92A6-FD062699D484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c32d3283dbc1fe39bfc7c16048659fcd75d91f","datavalue":{"value":{"entity-type":"item","numeric-id":1687553,"id":"Q1687553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$20536A5F-ADDC-4C1F-A007-EC41FC420E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df01f1f257aa4e0eda78a40444b30a121e95f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4645730,"id":"Q4645730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$1E7BD3B9-BAEE-45E6-B436-D4F08F82BEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014df434e19c98aa84979531cf42f2d47588711c","datavalue":{"value":{"entity-type":"item","numeric-id":4647531,"id":"Q4647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$D8E8D5A6-2A29-4BD6-AF2A-59EFDF18E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5239edfd305efbd1c9a075b6bf62b0b4959a45","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$1B945242-EC43-4966-A64E-45D9BE35A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$3AB8FEDD-912D-4621-B716-C81A56FA273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$2E02D9AF-AE88-4D0E-B440-B781D6E0D106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$3C0F721D-3613-4C1D-BA21-B7FE81E30061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5ef200ca0a6ffd921de7b0fd780ff05ef7a989","datavalue":{"value":{"entity-type":"item","numeric-id":5327335,"id":"Q5327335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$E57311CE-15BE-4893-A7B9-5A405704EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$F06B42EC-4011-470E-8C7A-23C2DC9A1297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$F5BCE860-99D2-4B58-BEE1-52E70BD8CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108816$15C1F2CE-90CE-44D1-934F-40A464078C18","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":"47248100625617a954e96977abd9cc8e33f32f8f","datavalue":{"value":{"amount":"+0.8073149919509888","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":"Q6108816$5BFA3427-C057-4334-B2E2-80A05D596D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982fcab1a369c4eb2fe6b9646cafff29763dab5c","datavalue":{"value":{"entity-type":"item","numeric-id":4913871,"id":"Q4913871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432ff11c27a9e06b39e112e297cc89f230032e11","datavalue":{"value":{"amount":"+0.7965036630630493","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":"Q6108816$078A5072-E5D8-4C71-AF5B-F125D70F1915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62eb5673352ddfd5c999328fdcfb0b637fbd9630","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee6cac6d4de2b9c5637c75a632a63979e084488","datavalue":{"value":{"amount":"+0.7785754799842834","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":"Q6108816$F7706398-EFC7-4C9F-AA52-8E80D711A09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e726c1ccf3d48bbd9191c4571af0a1046a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626992b531ada6f8f4e7d1b12ab96596573da282","datavalue":{"value":{"amount":"+0.7720103859901428","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":"Q6108816$24EC12C5-BC0B-4860-82FA-8D101FBAF872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb636f355d8796679a448ab2f0465b71bf2a95f4","datavalue":{"value":{"entity-type":"item","numeric-id":3459922,"id":"Q3459922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3197744ec55c9914d5384b602733521c74425a47","datavalue":{"value":{"amount":"+0.7623811364173889","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":"Q6108816$E0DBFA76-FB9C-4BA1-B73D-781FF99A85DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6108816"}}}}}