{"entities":{"Q3012965":{"pageid":3023689,"ns":120,"title":"Item:Q3012965","lastrevid":51286319,"modified":"2026-01-17T14:47:49Z","type":"item","id":"Q3012965","labels":{"en":{"language":"en","value":"Association of under-approximation techniques for generating tests from models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918187"}},"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":"Q3012965$D59CF880-7A42-45F8-9540-8E5FEF56607F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a50e2bab39b253e5fce07674ce215fd8e7774a5","datavalue":{"value":{"text":"Association of Under-Approximation Techniques for Generating Tests from Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012965$1E12D02A-FB61-4DD7-8108-88B62408F108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"135e71b41d51946abbb81eeae165b56df1dd09e7","datavalue":{"value":"1335.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012965$C83BE48B-D24D-407F-ACED-A6AED08006C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcc292c4276bf57e4eee6bb5f74de9326fd01303","datavalue":{"value":"10.1007/978-3-642-21768-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012965$5E002F66-51A3-48FB-B566-F835FB8CA023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dcf8f150a664532276307f4e5b5d5f3b34b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":539226,"id":"Q539226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$2D948059-8F14-4EA6-9DD8-992D11377FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ea8e448665b06fdc15b872b5a3c294da68ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":493527,"id":"Q493527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$B78D10E7-EFF2-42DF-9EFB-1745D38A9A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8e8b0056e29f22768c66b98d281aa53ae66174","datavalue":{"value":{"entity-type":"item","numeric-id":539224,"id":"Q539224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$A9D99946-27F8-4DB5-BF4D-9C06ACEFCC4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$01B8A04C-8257-463D-B8B8-5EEDF01FD68B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012965$BD21C4C2-2433-4370-BA77-3335252E0864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012965$3199D3FA-F746-42A0-897C-0D70EF49E6C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1fc0a00c65344dd584014ea2124e078c338a2af","datavalue":{"value":"5918187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012965$BD732D06-7761-4027-89EB-1CDBCC7D0050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012965$A23B8061-F899-442C-AB9E-2EE8416A33CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012965$44AB6560-A1C4-447A-A456-716953F01F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8c254dc21ca4da7bd6c3507ae149acc450920f","datavalue":{"value":"over- and under-approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012965$66BB4AD2-187A-4E16-8ADC-2C4CDDC64B9A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$05E823C5-25E4-4FDF-95F4-697C133B93FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$32376DF2-343D-4D6D-AEAB-174591419531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$DD00605E-939B-4B35-A597-B307AAB3B482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$C2780BCA-573A-4310-913C-222DC4F2BB7D","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":"Q3012965$1DBEBFD1-3297-44BF-A898-AE5F2F58D3FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab9206502d9937f13f677ed4672b64c1f3fd2744","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21768-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012965$309F033A-0753-412E-B95F-85B5A82568C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee05a6caa614f53e264aabde993da5a5708e7e4","datavalue":{"value":"W192630419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012965$2AB59A75-3B89-45F8-A31E-9053E607C574","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$BA80C058-5610-46FF-85E5-571DEFC368DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da74dd37ec309cd86a1950a33c37923d03a50500","datavalue":{"value":{"entity-type":"item","numeric-id":5897443,"id":"Q5897443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$8D7A155F-73F7-4252-8458-B0DDC0EF54EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$13EB99CF-D200-4C65-AD72-F62A9AD1A799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$E480DD97-513C-41F1-BFDF-F5EB2B36D9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$96913FBD-B0E8-4AB4-A5CE-DCD1C847B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$8B4B75DD-0D09-4624-BF3E-F0E79BE11383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3c7d5ca3af614ebbc0e97bd4f7355c6c0f311f","datavalue":{"value":{"entity-type":"item","numeric-id":4471921,"id":"Q4471921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$AFEDDDA3-42CA-470B-B3A0-8AE2022D0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794037096bca89e0c0feb3c2e3cbcabd6db55712","datavalue":{"value":{"entity-type":"item","numeric-id":5716599,"id":"Q5716599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$F31A3729-36F5-4EB9-83A0-FCCC65EC1200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70efab4d3d82b39f07a48d15be341a102ff3fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2754105,"id":"Q2754105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$98533E2A-3631-4027-8133-9DD1C96FAF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0f2a7b7cc770eb08cd20f5efe2bab0f068d047","datavalue":{"value":{"entity-type":"item","numeric-id":5703771,"id":"Q5703771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012965$333E2838-903E-4DDB-AAB4-26C54B611F96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8496f5eae21bbdf10be9cefa03625d3030d8a809","datavalue":{"value":{"entity-type":"item","numeric-id":2216864,"id":"Q2216864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20aa3ff51592f3048079105ce4ce801ae4c37eb","datavalue":{"value":{"amount":"+0.7559889554977417","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":"Q3012965$595BD201-6F5D-4828-910C-14DA356FABC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5649a1b78562f75de67b17a2e7bcca01ed6b0","datavalue":{"value":{"entity-type":"item","numeric-id":6039391,"id":"Q6039391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5f96bf45d787cc780a736fea801a243a59eef0","datavalue":{"value":{"amount":"+0.7508136034011841","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":"Q3012965$516F22BE-5CA4-4490-856F-70D23F75628A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd339a05005fc46f8bdced30c94e7ecfb18b31dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842624,"id":"Q2842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789548b311bc5b13824857a381dc1b642e44ae83","datavalue":{"value":{"amount":"+0.6966793537139893","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":"Q3012965$F6DB538E-E9D5-41B3-A705-18F5F99853F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efe8fbf03798aadfc9cfdc8b8c1bc9f59367ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bac8931c0e84408a5bc5ee0cbfcfa59814c6d9","datavalue":{"value":{"amount":"+0.6965871453285217","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":"Q3012965$FB0F3BEF-D73B-4B48-AA0F-17E28D8EB5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ac12ce08a2bd24f304321baacc22fa885dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5423870,"id":"Q5423870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c79eb772f8ada75808402ab9447c4c93aad6324","datavalue":{"value":{"amount":"+0.6960665583610535","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":"Q3012965$97823F99-C929-4FD3-8A6E-54E81B5268FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012965"}}}}}