{"entities":{"Q6166153":{"pageid":13301035,"ns":120,"title":"Item:Q6166153","lastrevid":58729251,"modified":"2026-04-06T12:15:34Z","type":"item","id":"Q6166153","labels":{"en":{"language":"en","value":"Automated proof synthesis for the minimal propositional logic with deep neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721439"}},"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":"Q6166153$0C42B8C0-CABB-469C-B132-6AD0378EFDCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f391bb7f8e66216ff1a2101c5c6147a69ebac925","datavalue":{"value":{"text":"Automated proof synthesis for the minimal propositional logic with deep neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166153$B649C52F-1C6A-4BA5-810B-0E428AFBB32D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ada75efd9572863b48a8ec7cc5bfea3a16204f1","datavalue":{"value":"1519.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166153$CCBDF8FF-71A9-4058-9F0E-BC1EBA4EF964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e3827c085a1c69238dc5981dbddb103048ffa93","datavalue":{"value":"10.1007/978-3-030-02768-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166153$75951A09-3730-47AE-BB5E-4B5072E8A224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c0b6a24e54626a07677e6201e83b72ae9cc9e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2145330,"id":"Q2145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166153$1A53AE7F-1951-4CD9-9028-A45A1FC47467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166153$746ADDB1-D0D2-4887-92B5-999ED70B2EA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166153$7D01CE09-B91E-4E1F-84BA-BCC027135B16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-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":"Q6166153$FFC5DC67-48E2-4F2F-8575-09E9973926EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afc756deb7051088c9f389f1aee3b73879ade04a","datavalue":{"value":"https://arxiv.org/abs/1805.11799","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166153$B80CFBC5-4941-48E0-AC24-7B6087EFD50A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166153$2F5C5EF3-631F-40FE-A72A-D0521C9E22CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166153$250DA176-4140-4F38-98C8-E29ED8254FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7372b0ba32bed9d8f9cc1ad008ba06d2ee61b5b6","datavalue":{"value":"7721439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166153$11682307-DFB8-4299-A01D-1BB67DA1F495","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166153$5808D721-345D-48DC-B0FD-DEA5A5F12F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977ed9a5dd338bf424fd0ab29d89678ee0103ad0","datavalue":{"value":"deep learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166153$1A44011C-8BF2-42D5-B56C-1035FE0912CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166153$37876869-75DC-4D62-A1B7-DC022BE2924C","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":"Q6166153$3F060D5D-121D-4567-9532-6135B79BA0D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ab93964152d5bb21370e5501e3c97c3063a878c","datavalue":{"value":"W2896461135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166153$5B01C3A9-D969-470E-8233-7EC72991BF29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37bfb354a646a8ed1c072a2a0fe6f6f4ea2f812","datavalue":{"value":{"amount":"+0.8111553192138672","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":"Q6166153$EB3E58C1-7522-4D7F-B097-E257E27D3B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c546c37062a648d50a89f0a16d38293ac6aa402","datavalue":{"value":{"entity-type":"item","numeric-id":2104548,"id":"Q2104548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5737f151df3d1cc3db4385c606f6eb4022ea17ca","datavalue":{"value":{"amount":"+0.7799679636955261","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":"Q6166153$B06E3A55-A3DC-4935-B17D-48540382886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c338b15471376e69c1a9415f436ed234c90c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055841,"id":"Q2055841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541ca687f4806cf8e2c62406a89d4c5f71ca9652","datavalue":{"value":{"amount":"+0.7434033155441284","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":"Q6166153$B0A5C3BC-7AC6-4C0B-A9C8-4738C1DD88CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebaf6830eef584d7ab2dc884caeba9d75a64948","datavalue":{"value":{"entity-type":"item","numeric-id":2180215,"id":"Q2180215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac2ec2201da34ec23ec4ce6558dab26ce0cbf2a","datavalue":{"value":{"amount":"+0.73808753490448","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":"Q6166153$B892BD06-FE43-4691-A8F1-2FDDA0103D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e156233f832b1ff4d3cd7b8b6111857c1629e48","datavalue":{"value":{"entity-type":"item","numeric-id":2219410,"id":"Q2219410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068d5d67c9162702c1fdd43079a81a198a2ffec0","datavalue":{"value":{"amount":"+0.7308432459831238","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":"Q6166153$3F258A77-43C2-40DD-95F9-714D572F247C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166153"}}}}}