{"entities":{"Q4593010":{"pageid":6622595,"ns":120,"title":"Item:Q4593010","lastrevid":58284180,"modified":"2026-04-04T13:48:31Z","type":"item","id":"Q4593010","labels":{"en":{"language":"en","value":"Concolic testing in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804570"}},"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":"Q4593010$09E2C7E5-869E-487C-BA8A-49EA712D4102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b028af74a26491da11407c5d39307d5b5377583","datavalue":{"value":{"text":"Concolic testing in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593010$9B8B1851-B15F-4719-A33B-17D7B50CD377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"370b9d790170b548ab7ee9409eac9dddb6c6301a","datavalue":{"value":"1379.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593010$F46265B3-739C-45EB-B6B4-53C46FF28659","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dd9ff0000b1b63f6679897cc0029033e429e4f4","datavalue":{"value":"10.1017/S1471068415000332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593010$06ED383D-AE6D-43AB-ACE3-84178650E471","rank":"normal"}],"P16":[{"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":"Q4593010$D649F53C-69E4-4A84-B214-3692A52BB7C2","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":"Q4593010$DE7B534E-5702-44B5-AE75-710ACF524875","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":"Q4593010$31613C59-913D-4FA6-BC88-2487DB0E8FD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$F77DE926-585F-40A4-9CE6-BF5D15D28E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-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":"Q4593010$89C20C10-FED9-46B9-A77A-CBFE167B18A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb3b3685d9d0d49d1ceb453d2344a236522cc1f9","datavalue":{"value":"https://arxiv.org/abs/1507.05454","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593010$1B5E7853-7C42-45A9-AE02-FB6F4ED1280B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593010$138461D9-F1DD-45F8-8842-8ACF11C496B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f4208f3ba6021f55de511519829eed9aae7ecd6","datavalue":{"value":"6804570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593010$754A2E26-C34B-43F4-A027-A808D59B2769","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593010$83068667-4217-42C0-92A8-93252589DFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593010$BD895727-ECDA-446B-B515-8D91ECA20FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593010$0ED5729B-C44F-4A79-84FE-D8E5552EA5BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$B3392BFA-D12C-415D-819F-8A4D00202FC5","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":"Q4593010$01746F70-4074-4717-BD2B-EE70A940F133","rank":"normal"},{"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":"Q4593010$340E6F61-077B-4729-BE8F-6A487373EE4F","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":"Q4593010$52256454-015F-413F-B333-0010C3BE3AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$949C3D7C-8DCC-4233-A6A8-0A7902873978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$9D7C4286-4DDA-493C-A7AA-864237F45103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$95886BF7-46B2-4673-863F-3BDA94614B28","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":"Q4593010$10FF3368-28F8-42C1-A0B9-24AE8C8352C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3cfd04262c00887eab4670d84d186029a8a082","datavalue":{"value":{"entity-type":"item","numeric-id":2893089,"id":"Q2893089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$02579CE2-7F25-4815-BFA1-37C4A68AC141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca454355efa17aee2779404758d54e77c438656d","datavalue":{"value":{"entity-type":"item","numeric-id":3617431,"id":"Q3617431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$4D5BB7EE-AF58-4A8E-8919-628ACD1A6ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3757fed55592ff85655fe1236c4dba626f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":3585175,"id":"Q3585175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$FA777E15-27EE-4DD1-86B4-5399FB4AECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$85CED6AA-39C8-418A-8846-05055AE4BB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$E9DBCBBD-D24A-47D2-8DB4-5375E672D11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$794341B1-20C4-4449-BAD8-11CDCA5F04EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$30E3ABD9-8A85-460E-B9AA-1B166DE1C271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$E7154285-DE22-480C-B469-CCE5E9EF4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f88f3e13f28e4ec0e2f0f20f1755686b2dfc734","datavalue":{"value":{"entity-type":"item","numeric-id":2893096,"id":"Q2893096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$35F8E2E9-B30F-4E04-96C2-23F6483D3F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593010$8FC0733B-51B7-422F-910F-AC50EAEB8083","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":"Q4593010$CC786885-703F-4785-B41E-B8709AE8F6BD","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":"Q4593010$118124F6-4991-482F-9222-516C1B28AD2A","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":"Q4593010$03BB3695-718C-47DD-AEBF-D08CD87BE2D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bf9cb320b64cda515c20db0cdb365fe5fdfc8c4","datavalue":{"value":"W3101423763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593010$C1E165D8-ADAF-4592-9E2E-4E3D11F7C1E7","rank":"normal"}],"P1643":[{"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":"0a90c7d924cc93a15c24d8df51dc1d1f515d23a7","datavalue":{"value":{"amount":"+0.93453723","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":"Q4593010$6DB4959C-76D4-4BC1-B524-341EECBC6F24","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":"1efeb3b1837899c65a8fe6d54c96ae4eb0d49607","datavalue":{"value":{"amount":"+0.9306898","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":"Q4593010$73899643-81CD-400B-9CFB-9565433C5728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f6868d2cdf4fde90450275cd913ee819581131","datavalue":{"value":{"entity-type":"item","numeric-id":2039953,"id":"Q2039953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c15b5779b833069f3b0abc21f845d679a12a04a","datavalue":{"value":{"amount":"+0.93011737","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":"Q4593010$EA5D6D49-C66F-48C0-80F6-EAB1F6ADFF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f57f710098182d6c2a07477b9fb1302d939b562","datavalue":{"value":{"entity-type":"item","numeric-id":3477937,"id":"Q3477937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4109cfa0e4014f06c994006224b672aad3c131bf","datavalue":{"value":{"amount":"+0.9192856","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":"Q4593010$E3A09672-CCF6-4B9E-A468-DEA43A56EEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3444ced1ae085d94979df1af5755b270ee99abbe","datavalue":{"value":{"entity-type":"item","numeric-id":4520178,"id":"Q4520178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb8554695b98bd36f435d537deee807f0d88a9c","datavalue":{"value":{"amount":"+0.9179525","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":"Q4593010$487B0F3F-7DCA-4EF3-AC6B-AAB10BCC2291","rank":"normal"},{"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":"926b7b8be5b732f18480d97d8df3e8a77493ce7c","datavalue":{"value":{"amount":"+0.9127984","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":"Q4593010$01505352-19E8-4B8F-9F67-A12DD19FE4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008b62287fade76581b4f8d414adf93352f41381","datavalue":{"value":{"entity-type":"item","numeric-id":616856,"id":"Q616856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cff842d1faf87f9fa805f3adf73b10d24e9ecc0","datavalue":{"value":{"amount":"+0.8989988","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":"Q4593010$11762129-D2A1-4CA1-9688-B53695B98A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593010"}}}}}