{"entities":{"Q3585175":{"pageid":5615079,"ns":120,"title":"Item:Q3585175","lastrevid":58214964,"modified":"2026-04-04T06:36:08Z","type":"item","id":"Q3585175","labels":{"en":{"language":"en","value":"Test case generation for object-oriented imperative languages in CLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773250"}},"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":"Q3585175$46806300-A600-4062-95FF-2589276EF38D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb142c099f0c4a975c0d9d6fe6e8a5935e2c7ee5","datavalue":{"value":{"text":"Test case generation for object-oriented imperative languages in CLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585175$CEFE2E32-3F9C-4647-B825-DDDBE8191E19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5caca2ebbe8612278b604b055341ed5f2a42389b","datavalue":{"value":"1209.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585175$92D1529E-C8A0-44D2-89C7-62CE43BB6FB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3069f9512b7c7cee45c8bb43be7fe5c5b85f60b8","datavalue":{"value":"10.1017/S1471068410000347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585175$28A7A713-B0D7-4C47-B359-66B07DC030AE","rank":"normal"}],"P16":[{"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":"Q3585175$520A1239-BCBC-4C21-9201-1E35C9F31D97","rank":"normal"},{"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":"Q3585175$DC650A20-64E3-4647-BA49-55C49C141C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585175$DAA39BB9-04CD-4698-8F21-8424C97EFE30","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":"Q3585175$F8066333-2DBD-4CA3-9557-781907A98AAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585175$C7D931FC-2D0A-4879-A00E-064056EA7D01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf377a24305371a033a0e625cca60e05523ca742","datavalue":{"value":"https://arxiv.org/abs/1007.5195","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585175$1BD1EB84-60FC-4747-8286-008BC0DD244A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585175$567AD44F-CBD6-4938-87A1-32544FE2931E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585175$34500AAD-0990-438E-BFBF-2DB07BD35C7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cdcba4c19477a1788fc0830eef5cfde7429e537","datavalue":{"value":"5773250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585175$7E5F3667-0EBE-4DD5-96E9-312D32771B1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c19ff417073984a06723dff5697a3fec374c8039","datavalue":{"value":"test case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585175$611D5DB6-8FA4-4430-AF39-98FA7F0C4BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585175$D6349C42-CE12-4C86-88ED-B138A569C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585175$AA67ACC8-0E0C-4C88-A7D8-5F9ADA2825F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b573123456e4c66e19aae4d26af8bb4c96be414","datavalue":{"value":{"entity-type":"item","numeric-id":19320,"id":"Q19320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585175$7C18E788-D99B-4EAE-BBA1-C2630A1801C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585175$DE5263B5-5B77-42E5-B71E-3EA4958B852C","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":"Q3585175$3BAAB48F-C0A8-4F53-894C-B2FA494BA634","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"051d3775ce9bc5a1379316cb72e81d2ef1416551","datavalue":{"value":{"entity-type":"item","numeric-id":1887740,"id":"Q1887740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585175$57BC1228-739F-45C5-B65F-0B94C20C0648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d2d9f513d782d94674e4b827f48a9e69d1ab79","datavalue":{"value":{"entity-type":"item","numeric-id":5302883,"id":"Q5302883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585175$C8F684ED-0BD7-4641-89FD-4ADA5465B332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085a9120b01cec862d8cbc67a172506023148b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3617426,"id":"Q3617426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585175$C7C950E4-B7C2-4DEF-A61C-E1168E329468","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":"Q3585175$0A47A360-1FD6-4FC1-8FED-A31845E5B831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4749440b6c442e9887b9cc87c6310f312389672","datavalue":{"value":"W2130318821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585175$6F5E6CE6-C5C1-47C5-BBD1-F86313479FA2","rank":"normal"}],"P1643":[{"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":"bcba0d1553cbbd065f358e534faf63f48513f152","datavalue":{"value":{"amount":"+0.8119972944259644","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":"Q3585175$8B586CB0-E667-4033-AB4D-6738EF92E5E4","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":"16fc50b6a2bc1221207c3c3cd94a7380070f7a9e","datavalue":{"value":{"amount":"+0.7782010436058044","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":"Q3585175$C0F7B753-2765-41C5-B747-2E60C1FBF896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61268a1ef709f274446283792f60c3143c0c46d7","datavalue":{"value":{"entity-type":"item","numeric-id":5398307,"id":"Q5398307"},"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":"Q3585175$5A3A8502-78A8-4C5C-B940-794A83EDEFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc91f1454956aca19f20dfeb4ee46bd12b3566c9","datavalue":{"value":{"entity-type":"item","numeric-id":3458885,"id":"Q3458885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0447d2688eba8fb4f3b7357bdb1be1e37e97fb4","datavalue":{"value":{"amount":"+0.7441919445991516","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":"Q3585175$4F36FDB1-D118-4D90-8257-B9EE2BFFE672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91568383a6132c92722450e4b47dfd3a8b4f91c","datavalue":{"value":{"entity-type":"item","numeric-id":3498435,"id":"Q3498435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0842c38a5f8c6a9dc252f04e8f8d5f7e44359c","datavalue":{"value":{"amount":"+0.7436347603797913","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":"Q3585175$29E0E1E6-E53D-4E29-8E92-83F2B33BC3F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585175"}}}}}