{"entities":{"Q6045005":{"pageid":13179161,"ns":120,"title":"Item:Q6045005","lastrevid":93746435,"modified":"2026-06-05T05:01:48Z","type":"item","id":"Q6045005","labels":{"en":{"language":"en","value":"Fast numerical program analysis with reinforcement learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689211"}},"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":"Q6045005$B8C401F1-A2A8-43B5-BE06-EDC66DF15772","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"510eaff559893e5f80c02c97790dcf475cefe285","datavalue":{"value":{"text":"Fast numerical program analysis with reinforcement learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045005$45A5B0D3-293D-4804-A355-B840D5AF4315","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75a23d2adff5b4ef59e9e42a6fbb692b9d55e00a","datavalue":{"value":"1511.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045005$E9227EE7-5C7D-40F4-9F12-F61671357E80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"429463585a01a774834ffb7729a5d23c9fc23d82","datavalue":{"value":"10.1007/978-3-319-96145-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045005$3251AFCE-518B-45C8-A011-0DBE32E4DAEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a255e7cccd6ab0db9b345e7e07f75e1563b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":326864,"id":"Q326864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045005$4AEB95D2-6DF5-4B38-B8D5-E61360D31753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f894a2e012d521a0ebc8e6eebc5d3ca6c50a4cc4","datavalue":{"value":{"entity-type":"item","numeric-id":314751,"id":"Q314751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045005$69AFBFFC-B3EA-4E35-B38B-7A304E80553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045005$A6C9DC39-5662-4479-98E9-A194F0577E96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045005$08392908-E94D-4E8D-80D8-6A3F03E7F844","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045005$4997C136-76AB-48BD-8DFA-88AB0218ADFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045005$592C5BB9-1F88-48B3-8CC3-CC6F2024171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045005$DD129C5E-6D9E-40B2-8C9B-F17972B79785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbed9dc3c7d794aee6196deb6677069e2b9c28ac","datavalue":{"value":"7689211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045005$230ADF60-9673-4201-959F-5000B8AF52D1","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":"Q6045005$F6EC54C1-0F21-4DC5-BFAB-C2DB089E9CED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0239672f25b8f024f9257f9955b6c147fe3e1cc0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045005$741C5A44-5D11-471F-9431-B9E3FDC5E771","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"496faf5a453aaa13dafa5cc73a4389663d53c4dc","datavalue":{"value":"W2884243532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045005$068BC0FF-573D-4E01-A93E-8E574493CDDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cdcc4917387b2c44edb394a3bf68e8e0c27b0b","datavalue":{"value":{"amount":"+0.743199348449707","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":"Q6045005$74C5A68E-8C94-499B-BA74-94E31637D385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91700d18ff356080b03af5defcfd01e1648a8a39","datavalue":{"value":{"entity-type":"item","numeric-id":2828290,"id":"Q2828290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f48ab258ca43220bbb057b566be6063ee0bd23","datavalue":{"value":{"amount":"+0.7080411911010742","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":"Q6045005$EC2F1D05-3BF5-405D-87EE-C0DC73AF0911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efc32c26bacea9829dee564fc1a33a4ab90e03b","datavalue":{"value":{"amount":"+0.7059626579284668","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":"Q6045005$AE4093A6-ECE6-41E8-B379-5A15F71719A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d980547ed5c34afea0189d0125ba2f76d8302e27","datavalue":{"value":{"entity-type":"item","numeric-id":2796041,"id":"Q2796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc67d0f6c18bb666036d35eba1a6491d71e38d9","datavalue":{"value":{"amount":"+0.6987769603729248","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":"Q6045005$E1FDC0A9-DB81-414A-9D01-58F4EF1E7685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2cf8681fed729eda6ee4a6f9fd70e7b56de518","datavalue":{"value":{"entity-type":"item","numeric-id":435974,"id":"Q435974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fc652adb043588e2f76927fb1b3b54753c5e6b","datavalue":{"value":{"amount":"+0.6949087381362915","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":"Q6045005$6143A30D-4938-4C7F-9A6C-C970105BB67B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045005$3C2CE32E-6BB3-452A-BDA8-669A95625E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast numerical program analysis with reinforcement learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_numerical_program_analysis_with_reinforcement_learning"}}}}}