{"entities":{"Q2875232":{"pageid":2885952,"ns":120,"title":"Item:Q2875232","lastrevid":52065428,"modified":"2026-01-20T21:04:25Z","type":"item","id":"Q2875232","labels":{"en":{"language":"en","value":"Proof-producing translation of higher-order logic into pure and stateful ML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330158"}},"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":"Q2875232$00186145-70F1-45D7-8EEC-833DC6D6659B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffdf1178389dfb073e1911f520297cf715bc7e49","datavalue":{"value":{"text":"Proof-producing translation of higher-order logic into pure and stateful ML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875232$D88FE574-3F61-4E6F-A679-F662C6A43BD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e866cd1ce21fe4d3645d01b5796ed033291f1d1","datavalue":{"value":"1297.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875232$FEEF2A86-032F-43B7-A488-422BF7BB5867","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcd9a66b3783aeeba32d1f4ef49977f247dd722d","datavalue":{"value":"10.1017/S0956796813000282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875232$4B04A283-21B9-43C2-96E1-A2D55EBD1FB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$2C817AD0-606F-405B-AF0B-3BB7B884E966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57155b56d8fbcd7c5881cc6580886a49385bb630","datavalue":{"value":{"entity-type":"item","numeric-id":287360,"id":"Q287360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$CCAEA939-C015-4D0C-93CB-5712C7FE79BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$26CFCC45-EC46-454F-AF17-BC48BC4E51E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875232$4CA2F010-5762-4690-84E0-44FF203909CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875232$4E311A2B-0CA6-4323-ABA1-64D45CB601D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875232$E6659B57-2396-41AF-A50B-75D507A3909E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8925fd31b8a24c4378cad9ad6eee63bbbcf9b247","datavalue":{"value":"6330158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875232$CBF79901-E098-4797-A96E-5B89235D02E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$36EA5140-250E-41CE-8FF5-03D8819BBCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$41CC6486-4851-4F6D-AE84-CDEAEBA706DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$3010E8F6-6FD6-4601-BC9D-B78E88195E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3385954e206fa4a5bbcdde66dd867f18c8df62c","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$9BF972D0-9449-435D-9FC3-2C27422F2C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$684EB8B0-B56E-4824-97ED-890D481768F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$7936AD7A-B7CF-4360-B1FB-A89295F3BCD9","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":"Q2875232$9E469FEF-446E-4316-9957-576C62461E8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$8297C2C7-4081-415A-85AE-501E20A269AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d24e6a9e943e72d1baefb87a22b92d663a60c1","datavalue":{"value":{"entity-type":"item","numeric-id":1400288,"id":"Q1400288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$98B45C45-EDDE-4279-9FBF-846ABE4CC62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896bd19e6777ba4c516f5fbf2337d447a60ba466","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$89C7FBA9-4C0D-479F-9F8F-C9C1461685F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$578BFA55-1DED-4551-AEC0-08D5D4133FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351df2a8b1173f3d3a83aebab494a1f900b8f514","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$B61FB011-91F5-44B8-8FAC-B6B51D419900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$5D4C1BD6-4A51-48FD-B92D-C04598EEB071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac79901714ac42172a3e8bf1476f80d428ae193f","datavalue":{"value":{"entity-type":"item","numeric-id":4328966,"id":"Q4328966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875232$D1A19780-56F5-43FE-A73C-EC631D363335","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"116093ee687793b38443c5480d814e01c2c887c0","datavalue":{"value":"https://doi.org/10.1017/s0956796813000282","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875232$3BC74EC0-6F32-4D81-9296-D0E21CDCC418","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fb9f68aac8d9f9fa1b031b7ff296abcaac82ecf","datavalue":{"value":"W1969704856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875232$1200583A-08CF-494B-825F-001DF60B8D7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534ab4cc528829f573af9e6705220481f24ef1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5168887,"id":"Q5168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60235e9e9c0f3e9ff7706780714c4bbbecd1c016","datavalue":{"value":{"amount":"+0.9428113102912904","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":"Q2875232$15675622-E5DA-4BA7-8965-FB1E66D975C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9556bf7f6ed0e05daee465305db68b6b32bd1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2208292,"id":"Q2208292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fc6a0fe400886632a2d6a692c414817de412c2","datavalue":{"value":{"amount":"+0.7929518222808838","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":"Q2875232$A4B017CB-9AE7-46B1-8FF8-AEF9AC2D7BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc18ee63967d27b68bef5b3a1749be5e3c0935e","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fb783f007db2e83f8c2feea606743a2df84a72","datavalue":{"value":{"amount":"+0.7810169458389282","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":"Q2875232$6A856DC3-ADCC-4E31-A7F5-3B381A89D107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e82239519d59d1ac25c976c2117835da5a89017","datavalue":{"value":{"entity-type":"item","numeric-id":1799129,"id":"Q1799129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2a6ba000924d731ae9d04d3ee1c5d9f5f788b1","datavalue":{"value":{"amount":"+0.7780616283416748","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":"Q2875232$F416E66C-6B2D-400F-9ADF-1FE657964E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8b9f7343efe63e57ddd2bd2ef0ae5831271484","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140034de0e44f4791829bb856a5f4cb2612f3c5a","datavalue":{"value":{"amount":"+0.7700086236000061","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":"Q2875232$D6C7C7B7-F3AD-43D6-8464-BC10C81447AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2875232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2875232"}}}}}