{"entities":{"Q5398307":{"pageid":7427881,"ns":120,"title":"Item:Q5398307","lastrevid":51935252,"modified":"2026-01-20T14:04:53Z","type":"item","id":"Q5398307","labels":{"en":{"language":"en","value":"A CLP heap solver for test case generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262136"}},"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":"Q5398307$06AA832F-1BFB-4128-A789-9A0FE00A348A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0d84ae2a8c39870e974cf349707da7f7cf2859e","datavalue":{"value":{"text":"A CLP heap solver for test case generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398307$A81C6897-362D-4F3F-B07B-0172969A8BE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f3ae9c26e05d8dad25b7bb3d941f3a9e0d6712f","datavalue":{"value":"1286.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$77F889EC-CB1F-4064-8BB1-2765E5314D90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbbd53285d9be4bea289362334145e9052b51f3f","datavalue":{"value":"10.1017/S1471068413000458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$F3D10060-6822-420C-9F6C-277C1015F160","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398307$125F291F-D6E0-49E3-AB5B-5EFEF1335EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1964be5c8ceef4b9238150c92361a03509499c04","datavalue":{"value":{"entity-type":"item","numeric-id":265706,"id":"Q265706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398307$70731CBB-325A-48A5-9DF6-1F4617C30691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f5c7b71b96166a103050eb41122d48b5fbbacf","datavalue":{"value":{"entity-type":"item","numeric-id":989515,"id":"Q989515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398307$AFE6082F-A5DD-493D-9324-B3F8C37D0001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6867acaa042c65df3ef86c243b234ccf2e7a4ca7","datavalue":{"value":{"entity-type":"item","numeric-id":2848905,"id":"Q2848905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398307$B3C0E0FE-F3A9-41FC-9E35-2EE400CE3E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398307$61BD5093-2E93-46A6-BD45-6498909B1C44","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":"Q5398307$EDFD68CF-F5FD-4848-A713-413508667FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ad1819a6b25c30725bd1583db7084d2537ac828","datavalue":{"value":{"time":"+2014-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398307$7BAF8C5C-57C5-412F-B33C-1C9156AC135E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$AD8EB2E3-3DE7-45C8-B464-B3D6AA4525AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$FA0B2C8A-746D-42EE-8E16-DE56149F57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$D36DDC42-DC74-46B8-8F3A-95437035F4D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b52eb244087ad22503bdd18c2aa8d33168bc39","datavalue":{"value":"6262136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$BB4FC0D2-DDD3-4370-8ADE-37A6DC6E9B6C","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":"Q5398307$55AB07F9-A97B-4B3F-8718-0B11898D9C8B","rank":"normal"}],"P223":[{"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":"Q5398307$02120F9D-2E56-4586-8D48-4E7D44FF1D37","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":"Q5398307$110D6ED0-66A3-435E-88F6-A7B0FBA8891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c89590127f5397bc8ed4b7ff89515c95d81a4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3506694,"id":"Q3506694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398307$7AC42543-E4B9-49BA-AB8B-AE8E4C97E0B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b504aed2107913658e3bcd96d05bcf35623c1586","datavalue":{"value":"https://doi.org/10.1017/s1471068413000458","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398307$283AD956-D0C9-4035-AC94-7CAA68C89511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3275cfb11bbbb10f19a201662f98124cdb25a091","datavalue":{"value":"W2122552660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398307$4C450AFF-5B54-4794-8566-4F4A02C9F59C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ffd0f458cc4c566d4139ef289598a4fca3f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3585175,"id":"Q3585175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff45c7ce24a72f3d885f66e7040ecd89276d8999","datavalue":{"value":{"amount":"+0.7447854280471802","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":"Q5398307$62B1C7C8-7B1E-4A6B-A9AF-CCCAD8AC75D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f425b37bdef2964a14fa9f181f03a4a78dafb","datavalue":{"value":{"entity-type":"item","numeric-id":3297594,"id":"Q3297594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0955e73d358349b84ec1545d1648b5f41d94a6","datavalue":{"value":{"amount":"+0.7308717370033264","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":"Q5398307$39B1B243-D2F2-4EA5-8B22-DFCFAE252CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e491e82f1872933322ce8cf45b881a1e9ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":3558292,"id":"Q3558292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5395edf5e4b4deb96233898ac3f89cd01376a0","datavalue":{"value":{"amount":"+0.7300436496734619","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":"Q5398307$EFC27F67-976E-4217-9AA8-E38BAA99AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a465a5b55e460338ee04b63a0e25ae3c7ee74f9","datavalue":{"value":{"entity-type":"item","numeric-id":5410713,"id":"Q5410713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ddacc1e73ec5071376b8daebb3e8aea5c26932","datavalue":{"value":{"amount":"+0.7200989723205566","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":"Q5398307$8D002EA4-20A1-4C6D-A28E-6B08107FDA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8e5d88581fd1228ad73da19a8851769bff35df","datavalue":{"value":{"entity-type":"item","numeric-id":2848906,"id":"Q2848906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362f8916658c1adfd54c58aa07cfd3582a60a5dc","datavalue":{"value":{"amount":"+0.6854792237281799","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":"Q5398307$A0512F3A-344C-4B6D-A9D4-2C104756C57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398307"}}}}}