{"entities":{"Q5368744":{"pageid":7398318,"ns":120,"title":"Item:Q5368744","lastrevid":52924355,"modified":"2026-01-23T20:01:56Z","type":"item","id":"Q5368744","labels":{"en":{"language":"en","value":"Learning algorithms from natural proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789275"}},"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":"Q5368744$21213E9F-398D-463E-9D6F-D1ED65FBC2F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40aad5d1878c99389e274ae093ebcd55e3922a2d","datavalue":{"value":"1380.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$5AC604F2-94AE-4A9F-8D50-9802CF5AE82F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d4efac7fd40276adac94a9f3e00310140b7055d","datavalue":{"value":{"entity-type":"item","numeric-id":2800572,"id":"Q2800572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368744$4B13C5FC-7041-4B81-AC95-655A466BF894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368744$86AF072D-1EAD-46D7-A893-4F87FEB516F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d2539da0629477438d7ce1d3087216415362d1","datavalue":{"value":{"entity-type":"item","numeric-id":230568,"id":"Q230568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368744$98AEB86E-454D-4BFC-9E65-611541255F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d33dbcf1c53e85929fe28108a0d752643d16a11","datavalue":{"value":{"entity-type":"item","numeric-id":1412836,"id":"Q1412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368744$8E79B745-C43C-419D-83DE-7E44D00A52B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb8b9712e9833c9efd07973ed7e21575a4bd2af","datavalue":{"value":{"time":"+2017-10-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":"Q5368744$4844F9B6-92D6-48A6-880C-E4FDFE86859B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$C5550CAC-C0A4-4FE3-8E37-9DED323BCDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$90768282-D726-4072-9F24-A05073890911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$8BD4A9C9-D82A-4BE0-A22C-6E54AE74DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$34D785DA-A7E5-41AB-BBFF-19902D16D7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b461e4b5fe027104144bd500a79fac89843fa14a","datavalue":{"value":"6789275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$633E2798-BBCB-4332-B2ED-AA1BDD1C3B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6899f069c3f1042f29e8b176d985cd0bbfe7e26c","datavalue":{"value":"natural proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368744$9599D455-459F-4EEA-B404-C58011FB23D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368744$BCCAD17D-0585-40A3-91EE-46BC8151DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368744$A317AE75-21BF-4D99-99C3-DCE3388B9D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368744$D828A669-D689-4FE2-8C93-51B7E0787D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368744$30FDDAE8-02E2-4762-A79F-197F2D83DF90","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":"Q5368744$E5431FD2-9F48-4648-8091-328C60B55517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97465021d2f4e70bcbce0e329fa4255a3c753208","datavalue":{"value":"https://doi.org/10.4230/lipics.ccc.2016.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5368744$97B83E5A-7E8C-4111-BFCC-5CFDFCBB4361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5d50dbff60591337e054eaf6bdf061a96edc13e","datavalue":{"value":"W2465968014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$D2135C18-A0F7-4EB7-AE70-CB26917CE607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"004217beb0481b7635fa8f315fbfc91722ce3e23","datavalue":{"value":{"text":"Learning algorithms from natural proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5368744$CB9D5152-D601-417A-9982-9736FC0136C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de62730ed48cd53d3584cfb242aa81dd5c9d1b8a","datavalue":{"value":"10.4230/LIPICS.CCC.2016.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368744$AF6B5E90-E8F8-4B04-8622-9F6E781195E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab886c3fc323036a92103fd46c5a8c31f47e3012","datavalue":{"value":{"entity-type":"item","numeric-id":5002638,"id":"Q5002638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f613d89b8df580869deaf3bd50d0c8d081528e3c","datavalue":{"value":{"amount":"+0.8552688956260681","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":"Q5368744$4C7E3116-0833-4215-ABE7-DEC9D8C3557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e937aad64d0150743bc19603768f3c3177bff14a","datavalue":{"value":{"entity-type":"item","numeric-id":2517822,"id":"Q2517822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776ed7cd6ce128c20e1e6ebe13ff61fc654f838e","datavalue":{"value":{"amount":"+0.8240394592285156","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":"Q5368744$E7E05E23-D39D-4FCA-8D00-66E12AF73A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2931e4efdb280c8442e02dabd6e2bdf7733749ec","datavalue":{"value":{"entity-type":"item","numeric-id":5307579,"id":"Q5307579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2922751e3ee025c52e0dfeed3b3fa9043f50efd","datavalue":{"value":{"amount":"+0.8184553384780884","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":"Q5368744$F022062A-70F6-414C-8BE2-C4F935994BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b431197692fcf44b2cac444e3c51cb4ff8a37ea","datavalue":{"value":{"entity-type":"item","numeric-id":1918950,"id":"Q1918950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c6e10efde550e93f06c0b7cb0d9d99eeb25219","datavalue":{"value":{"amount":"+0.8116819858551025","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":"Q5368744$F5295560-31B3-4EB7-8D11-D6483A4979B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec7f2981c5612b954c6b02788c629479da34b31","datavalue":{"value":{"entity-type":"item","numeric-id":5892194,"id":"Q5892194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb2d21d54bdad84249ebd0118e737621537dcf6","datavalue":{"value":{"amount":"+0.8092143535614014","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":"Q5368744$E2BC5C5F-5418-46FE-823A-C3FAC76C7CE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5368744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5368744"}}}}}