{"entities":{"Q2024373":{"pageid":2035115,"ns":120,"title":"Item:Q2024373","lastrevid":53991293,"modified":"2026-01-26T01:14:58Z","type":"item","id":"Q2024373","labels":{"en":{"language":"en","value":"CompoSAT: specification-guided coverage for model finding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343234"}},"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":"Q2024373$0C4ADEFC-5C66-4B40-817F-599FE24F9217","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb28e2dfd54f67216ad6330b1c56636bc1760aad","datavalue":{"value":{"text":"CompoSAT: specification-guided coverage for model finding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2024373$BF9D4577-C2B8-41FD-B38E-49DB7E595302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3ce982b68cf5b8e4bf8c07f79e1db6932b9440","datavalue":{"value":"1460.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024373$C175AEC3-0901-4DDE-8B2C-10F3ABEAD1F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"824377f5615e3740afa3e39439c9ca884abb505e","datavalue":{"value":"10.1007/978-3-319-95582-7_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024373$418837FA-F3D7-4BE8-98B1-9C746CAA4A46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf2f731d9741ee9ef5374e2d6a44e86a61cbcba","datavalue":{"value":{"entity-type":"item","numeric-id":784107,"id":"Q784107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$B9174062-9463-40B3-BF04-8BD8DBB586F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919a2859cbbd7348a232e013a498831700e74049","datavalue":{"value":{"entity-type":"item","numeric-id":2024372,"id":"Q2024372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$2DF73B52-295C-48C0-8C2E-C721E966AB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c90bc60f94f46e9a510829df190981c5d32b3a8","datavalue":{"value":{"entity-type":"item","numeric-id":856915,"id":"Q856915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$C2C0215C-3AE1-4498-8FD4-756D7292E2A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2024373$A56594DF-586E-4C90-B44B-7BE9839F5D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024373$18B9370B-A348-4727-A405-30259B4FA8D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b4a24b333560f7ed782168231bed6a98afa9974","datavalue":{"value":"7343234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024373$837831D7-5B6C-4830-8A6F-C5689F6F2792","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e647b31508cfb4bf8d2c58c827bb811729324dc1","datavalue":{"value":{"entity-type":"item","numeric-id":54203,"id":"Q54203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$5593268B-F6F3-4C47-AE78-F40A34E91214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88433e8e5f2a695d8faada0938c3fac2940d8595","datavalue":{"value":{"entity-type":"item","numeric-id":54206,"id":"Q54206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$FE14F9D2-CDE4-48F9-A895-E865C89A6DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7dc85df1aad77750f2324e67302f6012f27432ec","datavalue":{"value":{"entity-type":"item","numeric-id":54207,"id":"Q54207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$EE5637F0-A05D-495A-8B76-9F59CEB253C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"faab8a2324cfbaf041254d9e9c5762b3beca51c3","datavalue":{"value":{"entity-type":"item","numeric-id":54204,"id":"Q54204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$4E45DC3F-00EA-4401-9534-7FCE16899C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2d7d15343ad89d3e338821a59d2ac9ed14e2c42","datavalue":{"value":{"entity-type":"item","numeric-id":54205,"id":"Q54205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$3C5847EC-0C6B-42F4-B3C0-75690DFAC46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$F2334DAA-2809-447C-ABDF-D63A8A55A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$380569E7-9482-4950-BE73-1D979365DCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6a3e01ea5f2c6c2ab8b2123ebe7b455733732f1","datavalue":{"value":{"entity-type":"item","numeric-id":32553,"id":"Q32553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$DBFE40E4-EA72-467B-B7FD-E159E6E4E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61c899556c4f0fba529d47384c860982350ea032","datavalue":{"value":{"entity-type":"item","numeric-id":54208,"id":"Q54208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$16C6AEFF-D658-43A9-880C-4BB92BB9DCCB","rank":"normal"},{"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":"Q2024373$98352D56-91E6-4488-B726-6A2D5BE4477B","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":"Q2024373$61E3C650-E6AF-4EE3-9A1E-1EF8BBA26BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$E0F8FC7A-8820-4C36-AF81-A48CA8BD5926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80eea1ed90a1a156489af434c921fb240a48ae8d","datavalue":{"value":{"entity-type":"item","numeric-id":19308,"id":"Q19308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$CC64A6E0-210A-4D66-860A-D30151583857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$B4D688C4-DF48-47EC-A4C1-192EB879E394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$32FCA236-E56F-416B-8805-24F0B1E7D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8237ea1c9943265af1f6b8e8235cc91ba25a4cf7","datavalue":{"value":{"entity-type":"item","numeric-id":40517,"id":"Q40517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$DAC3A7CF-8478-46C6-A4F4-27C9454ED953","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":"Q2024373$9610F681-9B25-482F-A635-73A0EFF3FE29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20ee78bcf4f5b3115cef5c32bfad590abb5d6530","datavalue":{"value":"https://doi.org/10.1007/978-3-319-95582-7_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2024373$ECBE371D-5C06-48E2-BE73-EDC7FE419265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"361198e755d2e4e32194a204a393d3c59e974660","datavalue":{"value":"W2809205514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024373$9228B218-8B46-4611-9491-E1CA16966B7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b7aeeb2eb1ed5052bbab1c94c6b4a93f9c3be","datavalue":{"value":{"entity-type":"item","numeric-id":3454114,"id":"Q3454114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$BA4F10A0-5C52-41E7-9C5A-23341D4960E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f85e2f2b8ae22ff88b7c8706d997350a66ddc3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2009609,"id":"Q2009609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$0CB4EBF6-07F9-4275-A267-BDB3EBA1F20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$29E5B6CB-EABE-4E3E-8D01-2985268EF39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$31E65845-D374-4340-B95A-F6442B36EBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$06C6A988-9AFA-45DA-99B3-31CAF1519C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$A9F83677-726E-4952-B826-042854CE9B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d1cd18ad4e1c7a83c2322b2db670292805497","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$CE93ECE0-D5DC-4993-9FDC-0C0B871B9E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f3a693dc2c5e8aaf024bdaafcc9a4aee6c74f6","datavalue":{"value":{"entity-type":"item","numeric-id":2643299,"id":"Q2643299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$B7711B17-B1FC-412C-9BCA-537C93BB220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7ebe02521578156e3414b13928f7f78f982dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3847743,"id":"Q3847743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$F493B2F2-F953-449A-BAD8-FAE3BB534492","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":"Q2024373$2B885EF9-4E69-4A22-A707-B1F5D2F4ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fafa0019cbb6c9c4736edce9fada4cd13b6558","datavalue":{"value":{"entity-type":"item","numeric-id":4473278,"id":"Q4473278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024373$39B451EB-5D90-4991-A352-79E29E39526F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d43f893c12565f7518f8eac849e73426ba8c6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4551135,"id":"Q4551135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56d3fbdfc9280582e287da94c4ed894eee8eb39","datavalue":{"value":{"amount":"+0.7054077386856079","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":"Q2024373$D7F3F108-58BA-4D03-A076-FD9759D25018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f4a1f5ea15d4d0f7b702eab6883bb0cf1fba59","datavalue":{"value":{"entity-type":"item","numeric-id":6045060,"id":"Q6045060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc01b407086b0af61896282ea647b397929590b9","datavalue":{"value":{"amount":"+0.6981179118156433","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":"Q2024373$A3BE6BF8-6C21-4A78-9264-F76FA333847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadc653ea280c6112ef77db1a31a0f4403929e29","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b19a0ccc36cc8e08b1e51dc63b31db495507e0","datavalue":{"value":{"amount":"+0.692497193813324","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":"Q2024373$5A09B000-2A7F-4842-8BB2-E4FA18B786A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31f955c8c2b4a96312cbc5cadd18513eba82d29","datavalue":{"value":{"entity-type":"item","numeric-id":3454114,"id":"Q3454114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d5736b8e5e74f84bd2fda0874f2c5bf43d6d14","datavalue":{"value":{"amount":"+0.6878774166107178","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":"Q2024373$0DB17EBC-9CED-4B9D-A0C2-42837EFA4888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87aefaf0a3accc39c366fbbf54925b4cf5221fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2769612,"id":"Q2769612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333cd4a964e5ba78668ba2acaf84d0619796c6f1","datavalue":{"value":{"amount":"+0.6794896125793457","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":"Q2024373$8D43C95A-DCE0-4C32-BB9A-BB2070FD8140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2024373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2024373"}}}}}