{"entities":{"Q2039953":{"pageid":2050695,"ns":120,"title":"Item:Q2039953","lastrevid":72486879,"modified":"2026-04-14T05:15:09Z","type":"item","id":"Q2039953","labels":{"en":{"language":"en","value":"An SMT-based concolic testing tool for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368093"}},"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":"Q2039953$29067009-4E53-46FB-B0BE-CAAD83BE720E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34d27e54895a8c092f5bfbb3587805719e4628e6","datavalue":{"value":{"text":"An SMT-based concolic testing tool for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039953$83E1E86D-68F5-49C3-B93F-D9A45A57CD95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea20a0746713c0f56c4434c95b33810486d978ff","datavalue":{"value":"10.1007/978-3-030-59025-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039953$B183417D-5F65-4ECC-A0F7-C98D490BDCC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f314dcd78568ae199591453dc86f388a5eb1e8","datavalue":{"value":{"entity-type":"item","numeric-id":2039950,"id":"Q2039950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$FD4CC313-E634-4D3E-BADB-9CA7EA45B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$F8EB9F20-BB44-4086-870A-4EE8E4861E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$1642F580-86E7-4E2A-A604-253593887626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"933c0fd694bac77b42430cbdf2e91490dc494831","datavalue":{"value":{"entity-type":"item","numeric-id":2039951,"id":"Q2039951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$65178B5E-E76A-45BC-A71F-AFEE5B8433D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2a20ae9908cdd5ce01b798243591507a77cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2039952,"id":"Q2039952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$BF516338-1171-4ABC-97A7-E3B8DD305904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$EF0FD727-BFD3-42E6-954A-6527D25EF532","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039953$77D5672C-7DFA-40D3-B728-D0C388B0ACD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6221884e999e4e8e0176b826a5c5206614a5554d","datavalue":{"value":"https://arxiv.org/abs/2002.07115","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039953$5E1A8A26-2FE3-4279-A04C-5E3D0A5D02D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039953$B2671CE8-08E0-43DA-BC27-FA6D94191EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039953$66685F4B-E35D-4A7F-B0BD-2F81BF8A67AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c0b79ba7050a00455cdae304c9ae78ce48408d4","datavalue":{"value":"7368093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039953$E5B9A2F9-61D2-4B70-910E-EAD720FA2CF9","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":"Q2039953$248CD771-BE29-4240-94C9-8012DA24241E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cee5ae54089a203bf9520dd7da900b6ad95d734e","datavalue":{"value":"W3020673255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039953$ED9256A5-C477-4D18-956F-49C9C4A543E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6485f1617e056e38118c25200d4fb11e4052bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$8366A00C-048A-4152-B62F-278C7E69539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fc38199358a660da493e6c245462b8398ee5af","datavalue":{"value":{"entity-type":"item","numeric-id":2409737,"id":"Q2409737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$07CE2D88-52DF-4EA4-8BB1-536CE60B08C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b23376270f1fd5f25f2c7721513dd338fed0a1","datavalue":{"value":{"entity-type":"item","numeric-id":4988929,"id":"Q4988929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$BF6B5891-125F-4222-8487-216880B6771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040e7f1956cab381aee9d0021cae9d520aed8bf0","datavalue":{"value":{"entity-type":"item","numeric-id":5140007,"id":"Q5140007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$25C722C1-B573-477E-AE21-F4BDE4B88F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2010a40453fa04571eca002fb1ef06131918d06","datavalue":{"value":{"entity-type":"item","numeric-id":4909327,"id":"Q4909327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$DB6D6AB9-FA32-405D-B476-DE0637B69CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf084d6ec4b046dcd48e5305296bd62ed1c937ac","datavalue":{"value":{"entity-type":"item","numeric-id":2949706,"id":"Q2949706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$839BC0AE-1DB0-49CA-886E-DC199310BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$0E60095B-FC16-40A3-A591-3A05D2867651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a5c4940466d35f592e34f0c53a75faf97010cb","datavalue":{"value":{"entity-type":"item","numeric-id":5239436,"id":"Q5239436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039953$305B7A26-7765-41C2-BD10-8D83F3768F0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35da7c6318d24be0fcf1578a2e0ef8d23223d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2409737,"id":"Q2409737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ea0dfd1ef4022907e0ba68a95eb1fff184fe8f","datavalue":{"value":{"amount":"+0.8108841776847839","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":"Q2039953$A6B70B79-2B33-4DA4-98BC-EB066AF9FD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7536d9ae1783b91f1d3328b56265b49c6e9ef717","datavalue":{"value":{"entity-type":"item","numeric-id":2949706,"id":"Q2949706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13300074a508d289ca23bdbc5cebe211b43cc098","datavalue":{"value":{"amount":"+0.8088761568069458","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":"Q2039953$7FC742BC-5AC6-448E-9D37-23F65BC0F6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b498178dd92a8b6b1728ffda972462f74aabe0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b446de1940857c18afdac966504111aabd8c5e","datavalue":{"value":{"amount":"+0.8037486672401428","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":"Q2039953$CD1919A7-A263-4DAA-9225-466F3A4ECEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a515fc19d49cec56d9ec6a53315f3422cc3692","datavalue":{"value":{"entity-type":"item","numeric-id":5140007,"id":"Q5140007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ce368489e7cebe9923ea6fbd288cd850b6f022","datavalue":{"value":{"amount":"+0.7867636680603027","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":"Q2039953$1E1DCC90-5010-44F6-94C2-90BE4CFADF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a688488cbb10c25297a574c6d751e2bed9d4aa","datavalue":{"value":{"entity-type":"item","numeric-id":6535965,"id":"Q6535965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bdf0908e71cf9abb124adf13efe935ef87a84e","datavalue":{"value":{"amount":"+0.7730473875999451","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":"Q2039953$D6AE8728-1C3A-4129-A9B7-4F7AA2B3A9AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An SMT-based concolic testing tool for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_SMT-based_concolic_testing_tool_for_logic_programs"}}}}}