{"entities":{"Q6535835":{"pageid":14146978,"ns":120,"title":"Item:Q6535835","lastrevid":55593595,"modified":"2026-02-17T19:24:54Z","type":"item","id":"Q6535835","labels":{"en":{"language":"en","value":"Towards efficient data-flow test data generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7810658"}},"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":"Q6535835$2A133741-7E28-4CEF-AE4F-B04B8364CA0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd2394ca33f4895db3e5d4cda89de6b7dc14abf7","datavalue":{"value":{"text":"Towards efficient data-flow test data generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535835$FF0CE015-4F9D-45D0-8871-029B431BF777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3565822e18f13996ef46d424b009add0ba9b2e7a","datavalue":{"value":"1547.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535835$BB7EDA40-4F82-478D-87EB-A18071B9A45C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e935b81949138e07c9749e7d48f2b0c3f2a4a8a","datavalue":{"value":"10.1007/978-3-031-40436-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535835$8B585590-F5F9-4772-B237-149B47A9531B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d1eb85b6af265b31f5e91e71196e6779f78302","datavalue":{"value":{"entity-type":"item","numeric-id":420307,"id":"Q420307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$10D56B37-379A-4BD3-B6CB-20A74386A95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce92a62a3a348f8fa4536b3d0e14006ba15ce8db","datavalue":{"value":{"entity-type":"item","numeric-id":6535833,"id":"Q6535833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$7AB910C4-41B6-4CEA-92AB-14FF75C183C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e5aa322c8d4ff3de9b221d57fb777c4051d95a2","datavalue":{"value":{"entity-type":"item","numeric-id":6535834,"id":"Q6535834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$8F39475A-FFF3-4E42-B376-F45D2264EE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef7b76db3d0924f2a81dd18cb88863d8965d021f","datavalue":{"value":{"entity-type":"item","numeric-id":832752,"id":"Q832752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$AE6416A2-969E-4302-B1BC-DDE2163C677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$595EBE94-1F0D-45F7-8B98-156EBA29BC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d719973e022b65824e9ca568b34d7ccb93b95637","datavalue":{"value":{"entity-type":"item","numeric-id":2938071,"id":"Q2938071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$B503D47A-ADA2-4CDF-A65C-9DDBDDB89695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9af173e51909c5e47c780d5fd70c24f29d2272","datavalue":{"value":{"entity-type":"item","numeric-id":1856155,"id":"Q1856155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$24ABCEDE-20CA-4D7A-B343-4E4DDF407A83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1952080acac824c5abaf90b4ba5029824c97690c","datavalue":{"value":{"time":"+2024-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535835$2900ECD0-F851-4200-BA21-3F95A93140C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535835$EC021352-97A4-4979-9D92-DF00B8E0E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535835$C1D4ED05-EB93-48CD-9A2E-7D290BC9597E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93d03d4808e5dfb558fcb02da82a3112d2ff4ff5","datavalue":{"value":"7810658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535835$F9DCDC5C-EB38-439E-BEE1-F2B5816D2BF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fcb974def67982b3551025490f840cfe6a0b823","datavalue":{"value":"data-flow testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535835$A879029D-E62F-4014-A3BB-79C095E1B2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535835$9AC9E972-1168-4950-BDB6-7A3699BB8758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535835$5CA19E4E-51CB-4D9D-BAA8-142407BF7C6D","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":"Q6535835$DD3F45CB-B74C-4973-AAB5-D10903C38EB2","rank":"normal"}],"P223":[{"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":"Q6535835$693D1459-4AEF-42F3-91A8-57A65B5EB0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$420CB8B7-A8F6-4B19-B91D-FCE4C192565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24b0cae90e6893b936b4f2ec0ac173101d87c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2796059,"id":"Q2796059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$F6D7FBF6-BD25-4AF5-A695-4153A83DA990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$9A49A66D-7B9B-4F1B-ABBE-37990EB56083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$36927E63-168C-4F27-B880-9FECAF7B9DBA","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":"Q6535835$2537EB0E-E1CD-4218-90F5-C3942D1D0CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb66f99bcc25643e1327663a3759d795b352f65f","datavalue":{"value":{"entity-type":"item","numeric-id":3058889,"id":"Q3058889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$59E280F0-6EB1-490E-A60B-39FECFC62E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$0A3F6B51-15FE-4469-97D0-71E080757995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a36b654a95e01d7f7263a4c394177b768575691","datavalue":{"value":{"entity-type":"item","numeric-id":4302744,"id":"Q4302744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$F537C121-1B3B-4A21-8D6C-CE7640CFF4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59aa86de090db8fe9ae6a1bc6dec12dd6c11eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5184381,"id":"Q5184381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$3C5B0690-6FC1-43FD-88FC-6058FE289FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4016979971af6073bd3b8abdde25fe8f2aa9ffee","datavalue":{"value":{"entity-type":"item","numeric-id":2266585,"id":"Q2266585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535835$9AC0B477-03D3-4FC7-8A20-944848E86C8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67901e6f18af45baeba7caa801967caba417981d","datavalue":{"value":{"entity-type":"item","numeric-id":2377243,"id":"Q2377243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896c6230b412a97b2c7f007a8719555f3132258a","datavalue":{"value":{"amount":"+0.7087420225143433","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":"Q6535835$8C9C2EF6-FE81-4AEB-A98F-6BC4FB38E9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95309a5a5028b26adaa4201798d584139da1540","datavalue":{"value":{"entity-type":"item","numeric-id":5184381,"id":"Q5184381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6652f21e97f60657c96e03fdd2da87de8134b0","datavalue":{"value":{"amount":"+0.6805590987205505","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":"Q6535835$E4FBD8BD-02BF-4F0A-9EF2-FB7267C8C1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f000e456db15e824874980d46dadffd6e1fbdf36","datavalue":{"value":{"amount":"+0.6751692891120911","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":"Q6535835$DD566C9B-A177-4A40-BE0B-88E493AF00B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ddf3328117c594970fdebcfe0a169658535262","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107faaaecb4b122634fe9815c389acd9751ef0a6","datavalue":{"value":{"amount":"+0.6693668365478516","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":"Q6535835$474BD96B-624D-4381-980F-B41FA601045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46ba1b38163b375211627fec3047e2f90cd42c3","datavalue":{"value":{"entity-type":"item","numeric-id":6536171,"id":"Q6536171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f430b6b3ee2de34479a3055c457107a05c982fd1","datavalue":{"value":{"amount":"+0.6643383502960205","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":"Q6535835$D5081397-2EA2-43B4-B55A-830D7D284BBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535835"}}}}}