{"entities":{"Q2937545":{"pageid":2948265,"ns":120,"title":"Item:Q2937545","lastrevid":44744049,"modified":"2025-11-25T17:16:28Z","type":"item","id":"Q2937545","labels":{"en":{"language":"en","value":"Runtime Exception Detection in Java Programs Using Symbolic Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385305"}},"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":"Q2937545$2E615D74-5DBF-4355-80DA-E6E66F7304FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7defb9636ff84913265e7dc1f03ce0fbeb374ac","datavalue":{"value":{"text":"Runtime Exception Detection in Java Programs Using Symbolic Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937545$B15BA8D3-4E74-4A51-839D-27AF6BB3B6BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121b58949a72c27ce1afa9003fb3c25934674301","datavalue":{"value":"1313.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937545$7CB86B10-96D1-44A4-8D52-C65682EFCDC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"365449ee759e4a4577bf55ab4c67019f20fce375","datavalue":{"value":{"entity-type":"item","numeric-id":2937542,"id":"Q2937542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$83951599-9962-4B70-BFB4-64E994AC3858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50822e20750f6e1042ecd4573644ecaaae293589","datavalue":{"value":{"entity-type":"item","numeric-id":2937543,"id":"Q2937543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$E32B4C33-C1F5-40F9-AC67-0A119990F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f5a7111418bfa5e73096b81171aec4aa9925bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2937544,"id":"Q2937544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$BBFFCB7E-5D3C-401B-A5B7-67D60DC0A8F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$17403FFF-718A-4D43-8B68-62B82785EE9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd7ba69d7066824c61c2338d47523cfe00b021ae","datavalue":{"value":{"time":"+2015-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937545$E7088D59-4D47-4BAC-B751-E1DB9E56E48A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a425b3d73c429fdf2b7955891073d13220c7f2e4","datavalue":{"value":"http://publicatio.bibl.u-szeged.hu/3920/1/SPLST13_publikacio.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937545$13FFAEC5-D00C-487F-AD26-A7BA30F7223D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937545$FA5C1D08-4B85-4B54-9601-66EF512BFD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937545$2F4CA47D-8A6C-44F7-AA63-378EAE9FA755","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"847d5f46b616554b44a8f5def33b851de8750d49","datavalue":{"value":"6385305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937545$5572CA60-3979-4E33-979A-86051BF68A42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dcae6304232ab582c917f2bb86de0ef322de8e7","datavalue":{"value":"Java runtime exception","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937545$AE331F00-2D0B-4D57-A47A-E08CBCC96A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937545$8557B9A8-BF56-4558-9020-5F58495CC244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52078c14bcbfa938d59e3f8e76dc9784eaef0ba8","datavalue":{"value":"rule checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937545$3BC60432-CB2D-40FB-9E83-99432C3F6530","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":"Q2937545$29E727DA-FE33-4EEC-ACE8-742B7D978B13","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":"Q2937545$73C940F3-9A77-4762-9F73-8C01F0965612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a02c8b1ab8ed182d6b6b861d09c8de6f71d04c","datavalue":{"value":{"entity-type":"item","numeric-id":21661,"id":"Q21661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$852F0B0D-C4F2-43F1-ACF6-387B721232A8","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":"Q2937545$2BF29BF1-D1C8-485C-A1F0-3C11B24489AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"318e7d962dbfd1b1500e53044e7624f141227e99","datavalue":{"value":{"entity-type":"item","numeric-id":24719,"id":"Q24719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$91B14010-8241-4642-8873-8217277D5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33efbc195e322a9bca804b20a869fc23645ad28a","datavalue":{"value":{"entity-type":"item","numeric-id":22828,"id":"Q22828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$C4E92253-CEC2-4691-9721-0ABEAFACE016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4b1f92574c8d5a5c01193172313aa9edb8e24a8","datavalue":{"value":{"entity-type":"item","numeric-id":24720,"id":"Q24720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937545$AFC45294-BFB2-41E7-9702-0118846CA2D3","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":"Q2937545$F45FF210-3880-4ACA-979D-D000F8B367E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c08d8d6fe47d106e935ee24b71fbdd9e3280c22d","datavalue":{"value":"W2407677063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937545$F93822DE-EC88-42D2-848E-A3A32F6830E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d36235c813dff83025fa19508d0a35cab1dc907","datavalue":{"value":"10.14232/ACTACYB.21.3.2014.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937545$31006738-7037-43CB-9669-1DA1D8E2D8C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36508ca652c85361b02af7dfdb92d0eea71b938e","datavalue":{"value":{"amount":"+0.8881275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2937545$F178C367-0F35-4BF8-8BD1-E144407D7743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43f338bc9e67b800e9e9b831f45d54c1781f372","datavalue":{"value":{"entity-type":"item","numeric-id":2729949,"id":"Q2729949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cd6642c862f377c54a68529b02f09afed16465","datavalue":{"value":{"amount":"+0.8556723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2937545$AF2CD471-1BA6-4839-A3CF-86E857681924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaf851ce2ff096fbf60f5028fa060d02cd0d3b2","datavalue":{"value":{"entity-type":"item","numeric-id":2753764,"id":"Q2753764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67355f53299f47be9355e32a798e54144799cb0f","datavalue":{"value":{"amount":"+0.8422395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2937545$4DF323E3-50BD-4071-92D6-0298BCD4A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62edfe11275d5a0677aa23339d4cc29d2f1b9852","datavalue":{"value":{"entity-type":"item","numeric-id":2763679,"id":"Q2763679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878a07a95a3dd965de202e2abb7912276a84f479","datavalue":{"value":{"amount":"+0.8421227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2937545$F47EBCF1-6E26-4B2C-B8D6-2A877AF9D084","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937545"}}}}}