{"entities":{"Q2409737":{"pageid":2420480,"ns":120,"title":"Item:Q2409737","lastrevid":57902610,"modified":"2026-04-03T00:43:30Z","type":"item","id":"Q2409737","labels":{"en":{"language":"en","value":"On the completeness of selective unification in concolic testing of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791227"}},"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":"Q2409737$B29736AD-2E36-49C2-8FF0-BDF4B3AF8068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eda02cb36259ff495e93c8d6f55f981ec9b9222","datavalue":{"value":{"text":"On the completeness of selective unification in concolic testing of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409737$C052893E-925D-4C9D-8F56-BB17DF649857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20310edfc6ea006dabcdda0648268ff7468559a3","datavalue":{"value":"1485.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409737$74C9C4A8-8695-4A13-9F52-CF15185A0112","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6bfe02e48bc8f63e18dd79ef51803a0bbd6df8c","datavalue":{"value":"10.1007/978-3-319-63139-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409737$508B9EE4-3771-413E-B5F1-CB1FAB4DF6A9","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":"Q2409737$D30EEFDA-253D-4840-BBCE-A8FB71BAFFA9","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":"Q2409737$1F106AF0-8941-4374-A069-1C35DF65FBA4","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":"Q2409737$7C8F50F0-E2BF-43AA-AB72-83E43E5D4BCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409737$3B390FA7-7AA1-4F85-BCAB-143814D484FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c395d19639f1d36229e849774e33ac52f69bbbd0","datavalue":{"value":"https://arxiv.org/abs/1608.03054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409737$B60E5C23-EFB5-4A78-B8CC-AA05859702F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409737$FA446ED1-51E3-4F2B-80DB-3B8FFC0B0DF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e80212df99e152b4a4d490db98bf925524e629","datavalue":{"value":"6791227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409737$D7428794-D93D-49FC-83ED-CB16C77090C1","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":"Q2409737$CB3BB399-FED0-4FD8-85ED-24DC7147F2B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"462d76d7fe1129152ee369e012be1e4c9cbe05f0","datavalue":{"value":"W2542071944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409737$62FB3F22-BD1A-4868-ABFE-CE9681B924EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a1513c68fceaa75e13781b0f73cec74b7d779f","datavalue":{"value":{"entity-type":"item","numeric-id":4988929,"id":"Q4988929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a3494b69c23a09127b221a0c6f6c7dc2fc47f5","datavalue":{"value":{"amount":"+0.931313693523407","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":"Q2409737$3931DE7A-48AE-4A29-9C6D-044ED845D22F","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":"02e2248142a862f4e489a62b2e0ce958dcf57423","datavalue":{"value":{"amount":"+0.831922709941864","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":"Q2409737$2FCA271B-092C-4B3C-9BB3-40DD392BBF76","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":"0cee791e56b075cca8865b42e4062f03a79dd460","datavalue":{"value":{"amount":"+0.8155390024185181","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":"Q2409737$AE263C40-3C41-4406-854D-DB11B49140C4","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":"b36c79eae9b4e8198fa4efdc762de68dd271a552","datavalue":{"value":{"amount":"+0.7716295123100281","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":"Q2409737$74D8DC40-087E-4E8A-8BD7-509E7B34D004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6656433d48465d643f83c4cda5e07fcae2fb6b0","datavalue":{"value":{"entity-type":"item","numeric-id":2796059,"id":"Q2796059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96d821409981fbf175617597c9511ec649bc35a","datavalue":{"value":{"amount":"+0.7259750962257385","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":"Q2409737$35D562B5-5BEE-4BA8-B4C7-256D6EE9E0F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409737"}}}}}