{"entities":{"Q2848906":{"pageid":2859626,"ns":120,"title":"Item:Q2848906","lastrevid":51823301,"modified":"2026-01-20T05:38:13Z","type":"item","id":"Q2848906","labels":{"en":{"language":"en","value":"A framework for guided test case generation in constraint logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208075"}},"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":"Q2848906$BF830051-0077-403B-B16B-3CA8606130BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b90e9827532af6ebc57240ce4fda8ed8e8f27f29","datavalue":{"value":{"text":"A Framework for Guided Test Case Generation in Constraint Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848906$013C810E-41B4-4510-9167-75B36C2A82F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bbd3b0307c7e50322405d08503c830be61e42f0","datavalue":{"value":"1394.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848906$CB4A3BF7-AC5C-48D1-9A30-3039ED6F410E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9c8333c338c818db35897ccb9789906e5760070","datavalue":{"value":"10.1007/978-3-642-38197-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848906$33D7901A-27EF-4571-9B98-6DC1B121FA98","rank":"normal"}],"P16":[{"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":"Q2848906$487717DC-4A62-4ED0-BCDD-C6D203DEC1C8","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":"Q2848906$B26AB89B-FA20-45B3-8F47-E1A84092DB58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848906$9094FF4F-50F6-4D17-8540-FA934B4431DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-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":"Q2848906$82392877-C54D-43A4-BF0A-A5F9DC11411A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848906$C652D686-E943-4A94-861A-0E8155314199","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37c999e5cc92fafd1ae417db0a172a1cdb231508","datavalue":{"value":"6208075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848906$E7E7B119-16BA-49B6-B5FB-8A4C896B7258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848906$4A0EA9C4-3E02-4B13-BD8E-7C3F629EC323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a70cb71fb81fe059e4ea3a0b690c61ae34344c","datavalue":{"value":"guided test case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848906$55C34D3C-4A27-4D50-B95B-F2DF44902ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"091410f2307a085653a772439be9d718e836ed8c","datavalue":{"value":"software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848906$9EAF323C-FD45-42E8-9787-B2E01FBC285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848906$E9EDF24D-905F-4898-B834-771C363EB751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863f4e57f7266e81e883bb9a4cb7c922007c13dc","datavalue":{"value":"trace-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848906$A0469654-0AA6-4DCB-AC45-CAAFF54FC4DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ac9d06df4a651825939f8f792e8271fe192f037","datavalue":{"value":{"entity-type":"item","numeric-id":24712,"id":"Q24712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848906$5A3D8416-302D-4DB7-9110-B297940DFFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc2be1e7217f7ba2140e5a382bf11bddb96bc10b","datavalue":{"value":{"entity-type":"item","numeric-id":24713,"id":"Q24713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848906$9B124F4F-17F7-4EA6-9E31-2DAA471E41B9","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":"Q2848906$39CE57CD-2029-4D70-BCC5-AF1059E64AE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edacf62260a4842320f335a64602b9b6934100a8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38197-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848906$53958117-EE14-4C1F-A585-27FDA2185749","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42c24a4408ed1cef854b518823a153777dd1095c","datavalue":{"value":"W7243339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848906$E4D6680D-37A3-4084-9292-90D11F414311","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":"05620a8d146af64d39371d38b2e946278626a7b2","datavalue":{"value":{"amount":"+0.8160408139228821","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":"Q2848906$1564A4C3-C330-47B8-AF4A-E464FCE61B3C","rank":"normal"},{"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":"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":"Q2848906$14C8B6B1-350C-45F3-B9F2-65A04F9B7416","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":"4a8750cc532b77373478303b8d7e421a379b41bc","datavalue":{"value":{"amount":"+0.7488681674003601","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":"Q2848906$03A4C0DF-D3DC-4866-889A-CD65626A637F","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":"44388546316f46517aa504fd45187e1eefa34b64","datavalue":{"value":{"amount":"+0.7451125979423523","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":"Q2848906$F32D1AFC-62C0-4A73-823E-9AC236605DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c9fc600ced2aa4746efd4bd49c362218cf1d28","datavalue":{"value":{"entity-type":"item","numeric-id":3558339,"id":"Q3558339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5864571d35754e4fbf03ace73ab9cbdf0d2333f2","datavalue":{"value":{"amount":"+0.7434295415878296","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":"Q2848906$BAA29000-E36B-42C5-AF2F-F2C813E91D35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848906"}}}}}