{"entities":{"Q2050084":{"pageid":2060826,"ns":120,"title":"Item:Q2050084","lastrevid":43491158,"modified":"2025-07-29T11:20:02Z","type":"item","id":"Q2050084","labels":{"en":{"language":"en","value":"Machine learning steered symbolic execution framework for complex software code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7387995"}},"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":"Q2050084$619457FD-0F0B-4BA2-886E-A9AA2096EEB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b235c94295e1d967b70715874811263fd84da64","datavalue":{"value":{"text":"Machine learning steered symbolic execution framework for complex software code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2050084$95B7DFCF-C9D3-4BDE-B8E0-24C14DC779D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4eecd1bf09871cf5088edd74c4caf08d2cfdc3b","datavalue":{"value":{"entity-type":"item","numeric-id":479817,"id":"Q479817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$EFDD12F8-AAAF-4873-AAE9-59FFB84DDE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d6007e9e37007c50af4e1b1948e40454217a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2050081,"id":"Q2050081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$CA7CDB25-518F-465A-B6D7-57D5195B5A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e51389e152ade2382cc30cbd64b18679becab497","datavalue":{"value":{"entity-type":"item","numeric-id":2050082,"id":"Q2050082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$9AD5A4E7-CA4D-48EF-9028-3A8DA954ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f260e65bb07179a5aff6920442e762cae8e8190e","datavalue":{"value":{"entity-type":"item","numeric-id":182427,"id":"Q182427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$F4E97A32-B6EE-40F4-A36F-7D8B00A98B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da35736070db19e308d5e8432369cdb63d4ecec4","datavalue":{"value":{"entity-type":"item","numeric-id":2050083,"id":"Q2050083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$66F7E530-C7F4-475F-A4D3-0366C43DB6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b8a2c5fc512245953e2ad36adc6f2641097418d","datavalue":{"value":{"entity-type":"item","numeric-id":265352,"id":"Q265352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$41D2B55A-4B58-432B-A444-3B38FED713FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8972201d7d84d4437d2b00f83963a037f2b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":217070,"id":"Q217070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$0C7A381D-034B-4B90-8DF4-2372141BC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$B164D4AB-FE60-47A2-AF2F-C42709116CB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$02F0BBE3-0793-4DEA-B83E-BB037226C09B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a528095c8f4b12338bec4f86ea87b7aff5bd49b4","datavalue":{"value":{"time":"+2021-08-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":"Q2050084$F882E96D-8F58-4F4A-B8CC-25241D494135","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050084$3633EF1A-0C66-40CE-A48A-7111CFD677BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7f9234322d795985780d2b4c9ca76df753567d8","datavalue":{"value":"7387995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050084$0C9EF8BE-9A30-4600-8BA0-2CAA0BE1D589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050084$5B182D5B-928B-4462-92B3-48E5EE547ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050084$524C0E06-1450-41CF-83DA-9F574CC0DBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd348f2797c2acbaebce08b90088bef4ef091ab1","datavalue":{"value":"nonlinear path condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050084$8BEA7360-E821-47C9-9E4E-77CF8E459785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050084$D5541EBA-3439-4FE0-8A96-52BAFE215F9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$3BD6E2A8-D69A-444F-979B-258EB31C25B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$13AC8FF4-22FE-41F6-96A9-51315B3D3639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2e8bc2567c9ab7a42df5a324edd3155c3a9d73f","datavalue":{"value":{"entity-type":"item","numeric-id":38021,"id":"Q38021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$B3089B70-2AAB-4549-A8E9-F9DFAE02B44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$23A195E3-7A08-4262-A494-FF69D1D166EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$262A42C8-A889-4934-9197-0DCCDD274CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f9bdd6f1995046a07c3fbe3ec5ba4ae5209aefd","datavalue":{"value":{"entity-type":"item","numeric-id":55388,"id":"Q55388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$AC5F10E3-1DA8-4F4F-A3C5-485832CAF05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec8ded018eb7998e191bd164cd2207a73f570ebb","datavalue":{"value":{"entity-type":"item","numeric-id":18022,"id":"Q18022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$71311F36-841C-4DFD-ACAD-233CB95238A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"058532df82e0724de089ed098635a63d93b37fb0","datavalue":{"value":{"entity-type":"item","numeric-id":38421,"id":"Q38421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$91B5E919-D75A-4251-8D7D-C4A0E8CAE153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050084$6BF610EC-8D24-43DF-9A6F-C0BD84015B5E","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":"Q2050084$A70FA2B7-3A7C-4B78-AC64-903030B75E0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74bcb56a3b8af4e15d890541ee97edf8e4c8bd78","datavalue":{"value":"https://doi.org/10.1007/s00165-021-00538-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2050084$D0C14036-F8BD-4B2F-81AC-CF07750F7E96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88bff2e003658bdcc544e85eb6e03dc55a6c228c","datavalue":{"value":"W3165394903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050084$1048BDA4-A166-4988-88FD-7CA32334AEF8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"54ad27abbe1881db272d79e28bb806ecd9f2f714","datavalue":{"value":"Q131114019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050084$4A61B52D-A486-4DB0-99CF-4164EEEE0C59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2577e83755bc69fbbc134b35afe3ae4fcecce55","datavalue":{"value":"10.1007/S00165-021-00538-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050084$D227248A-E198-4604-AA2D-B941C5F24042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2050084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2050084"}}}}}