{"entities":{"Q5369832":{"pageid":7399406,"ns":120,"title":"Item:Q5369832","lastrevid":100929188,"modified":"2026-06-05T23:28:23Z","type":"item","id":"Q5369832","labels":{"en":{"language":"en","value":"A closer look at software refactoring using symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6793302"}},"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":"Q5369832$647D55DA-C85A-436A-B904-2F235DD893BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89cd6b028702b6b3ed900f45d4732d492f968c65","datavalue":{"value":{"text":"A closer look at software refactoring using symbolic execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369832$46933DC9-1791-40AE-A619-7354AD8E3AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80856955c130234c0f02f57107c33fb5d02e6553","datavalue":{"value":"1372.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369832$93CE5666-7F93-494F-BB11-3E02816EC282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62f96fa3911c78548aeb578d8b781d022230242f","datavalue":{"value":"10.14794/ICAI.9.2014.2.309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369832$17023CB1-CB2C-4301-9593-033805DCC455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc459276999deef7368e3b1bc8bf6772e70e89a8","datavalue":{"value":{"entity-type":"item","numeric-id":3058111,"id":"Q3058111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369832$B549A2A3-0D86-4FB8-BC6D-E297A2053C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7188c3d8999864f638d933252824dd0e3a07c687","datavalue":{"value":{"entity-type":"item","numeric-id":5369830,"id":"Q5369830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369832$5E098A8A-DBBA-4786-ACEC-02FB9E9CD54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f58fa6136e9735fbd4861f81002d2bc2a0d339","datavalue":{"value":{"entity-type":"item","numeric-id":5369831,"id":"Q5369831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369832$3D103774-63EB-4E2D-8F9B-4360EEBEB02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19fd04ab0337b9b2f3f27d6f70c0fa6a4e683e27","datavalue":{"value":{"entity-type":"item","numeric-id":5369822,"id":"Q5369822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369832$A9BCBABF-E560-4186-A4E8-AFB2F38F424A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09fed704422914cfe2a4482b61f3f610c89a1884","datavalue":{"value":{"time":"+2017-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369832$7BC07BAF-9843-460B-A01F-65649F11773B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369832$7503C907-19CA-4581-B5BE-CC600B5A28D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369832$8829DB9D-0FDC-44E2-95A4-C849F44AD6DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc205a55df2784bbdd3878b9368e3329b299c336","datavalue":{"value":"6793302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369832$36A769C4-D74E-49CC-904B-A4A299B7BDFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369832$51FC8656-2740-47EC-80AB-75194B2DEACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3310ea7c9f8a08471d6357afe6e13aa7f5aa31e","datavalue":{"value":"refactoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369832$0B4D5FF8-7BC1-4396-8E39-F3D80C3AF748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369832$AA563AC6-6623-4709-B92D-4B9D43170565","rank":"normal"}],"P1463":[{"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":"Q5369832$F3D61D84-5654-463A-BB39-01FF7C8559B4","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":"Q5369832$7EEF7341-088F-481B-9F45-7C643F55BFF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8631d8b6d5448230177ae17fc9985dd5231f082","datavalue":{"value":"https://doi.org/10.14794/icai.9.2014.2.309","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369832$E24ADDB0-88DD-47F1-8BFC-F6BC764F1F8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c685e558f5d70c1c7cf522787dd5007e13b89fa6","datavalue":{"value":"W2324319265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369832$C3996694-2302-4BFE-9D5B-836B013C7D58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696cdb0eecdd39eb5dd814feb85a6efdb9e26a7","datavalue":{"value":{"entity-type":"item","numeric-id":5403473,"id":"Q5403473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7551327705cc5467f4f57c34bf9cf4d829a652","datavalue":{"value":{"amount":"+0.7593494653701782","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":"Q5369832$1395B688-6C05-4981-8BB6-0AB7F0ED481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1bb13434589f40305a912228e3112712469352","datavalue":{"value":{"entity-type":"item","numeric-id":2266944,"id":"Q2266944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eded61f893a3d70043d261a9c7690f2f838f2a2c","datavalue":{"value":{"amount":"+0.7462419271469116","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":"Q5369832$252E1825-665B-4CFC-9439-D04B7672304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e156c2223ee89bc53d853d55a4067691fbfa088b","datavalue":{"value":{"entity-type":"item","numeric-id":4438789,"id":"Q4438789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e6762222be3822e95370832282e0794e64d920","datavalue":{"value":{"amount":"+0.7329820394515991","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":"Q5369832$F31E62BB-B53A-4C38-9976-A6C784D59AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5054922c102f074fde97b40b21ad13143df2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":2844832,"id":"Q2844832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c17bc18a8831c24c42f8085fcf4a395b5b531","datavalue":{"value":{"amount":"+0.7286219596862793","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":"Q5369832$9F7E67C8-3426-4F38-B296-2A6F14A562BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e118a2f75c21ebb5fc9a2a1f263e3309cdd4d336","datavalue":{"value":{"entity-type":"item","numeric-id":5292611,"id":"Q5292611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce50a82281f0baf546a0deea6e7ce5b271d2e3ee","datavalue":{"value":{"amount":"+0.7172992825508118","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":"Q5369832$0866ACE5-75B3-45E5-8B00-E4806DA68F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A closer look at software refactoring using symbolic execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_closer_look_at_software_refactoring_using_symbolic_execution"}}}}}