{"entities":{"Q2909153":{"pageid":2919878,"ns":120,"title":"Item:Q2909153","lastrevid":42485059,"modified":"2025-06-28T17:31:58Z","type":"item","id":"Q2909153","labels":{"en":{"language":"en","value":"Smart test data generators via logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073909"}},"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":"Q2909153$D674B440-E54B-42D6-BC99-AA2F695D2AE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce8f5701963a9384edf9d6a84352c411c73cd4c0","datavalue":{"value":"1245.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$BA2B2DD5-AAB3-4EB3-830A-0C24A7AB04F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f6a76b1a5751a176b642aca232b1b00d17f433","datavalue":{"value":{"entity-type":"item","numeric-id":2891446,"id":"Q2891446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909153$D8E092FA-8C7F-4110-8B2D-2A05DAB6A398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909153$73578ABB-930B-4C11-8CE2-E953EBDBF8A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69dc5f1904cc34b7db8199b765ff88919cd9dabb","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_8173.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909153$EBB4C53E-0BEF-4BEE-A846-726A0FFF2509","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$7CA9AB4E-7961-4D57-ACB0-D978298DDD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$FBAC920B-BCD6-494B-B422-9029BF56871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$00596B0B-2030-4D13-BD73-02F21847D5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$9F70AFD0-2F42-474D-8D0D-E4B0D4102157","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a3e686b7671f734a243bed837100846f32d73b5","datavalue":{"value":"6073909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$57A6D12B-6E0A-4AAB-B1F3-6877E444228D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909153$93C5ED8B-F9E0-436F-9CB2-5DCEA30BF3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099fbda601a6d5bab3eb5243e43b9ae25d22fef8","datavalue":{"value":"specification-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909153$07E8B5A1-FCC6-4A19-B9F9-889D6CF2F1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909153$477ECA3C-36AB-4221-AC59-F7E40B4985FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909153$7C0F58AD-B788-4D2A-8FD7-5BAFBF7289AC","rank":"normal"}],"P1463":[{"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":"Q2909153$3AB7E466-0E7E-4164-8356-8E283D8592E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909153$3BEC3EE6-504B-461A-8089-58893CAE2766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909153$2A36C1DD-37EB-4B01-AB93-A337FE67D1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909153$44266D06-BD54-43DA-8D1B-327A3C899BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c046302539f14b2ad63336b9fe377db050f17169","datavalue":{"value":{"entity-type":"item","numeric-id":18557,"id":"Q18557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909153$66AE9B4A-1F0A-4EC1-83DA-53114DCDA156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"657c2b69172e91ce880ab1b5eeeaa41535edcd29","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909153$F3BBAE5B-6636-4C1B-8E0E-9D4AA491FAA2","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":"Q2909153$8A65000D-3D84-47AA-9CCA-E05309A654CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70befe6bc56a3fee4f26b4ba5aab4ce5d7037335","datavalue":{"value":"W2240321143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$62882DAD-60D0-495C-8FC8-95B6D5A8CAAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78a2b7c874b006a8274fd25439a59e099eaf6994","datavalue":{"value":{"text":"Smart test data generators via logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909153$16F8A317-2270-4A04-857B-67EA34D17571","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c419ea624d636555483462e2d398883bc99053bf","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909153$736BC5F2-5EEB-43F7-B010-60D56C66DD6C","rank":"normal"}],"P1643":[{"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":"66fe6219acca7e24fa5b3d66aa238df63de6f193","datavalue":{"value":{"amount":"+0.87256086","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":"Q2909153$18428190-FB76-45F4-A328-B536F6AB1205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7d89c722319a84c8b9e4508766f415ddd1f7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4302742,"id":"Q4302742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3d8ba20b5dea8e2168287740c7fff1dd11fb01","datavalue":{"value":{"amount":"+0.8480889","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":"Q2909153$874A883B-75B7-4365-A979-272CCB692E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e6e8108331c8375352a17642573df4359779c5","datavalue":{"value":{"entity-type":"item","numeric-id":3485855,"id":"Q3485855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50315b257d0dcf038a138a54382f5f676f673e32","datavalue":{"value":{"amount":"+0.84620667","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":"Q2909153$68378A14-1BD7-4425-B4BA-6DC6E2987D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909153"}}}}}