{"entities":{"Q2280227":{"pageid":2290970,"ns":120,"title":"Item:Q2280227","lastrevid":73028751,"modified":"2026-04-14T09:30:34Z","type":"item","id":"Q2280227","labels":{"en":{"language":"en","value":"Synthesizing adaptive test strategies from temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144325"}},"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":"Q2280227$B5CE2072-5645-43A9-A633-410FC97862A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a2740fb9dcc47a5402ac4f6b9aca36b04f24186","datavalue":{"value":{"text":"Synthesizing adaptive test strategies from temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280227$6C77100F-6C35-40BE-B56D-11BDE7BC2330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d54cbec75a534981f2a1bdf414df5fd31e3852b","datavalue":{"value":"1427.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280227$CB8A9FF8-2B17-4585-AE98-8644006B85FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$BC31671B-AB84-4FD2-B051-3430EEBBE165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0684207c00193d0694cadf2f41eafecf41dbde08","datavalue":{"value":{"entity-type":"item","numeric-id":2280223,"id":"Q2280223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$3ADA2BB0-EDB7-4370-8841-3C78E906AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0e8726730904beaae094caa61eae9b67816ff3","datavalue":{"value":{"entity-type":"item","numeric-id":2280224,"id":"Q2280224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$02834724-560B-4FD0-B9F2-6E692C29AD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"722a5b826701518e81fc2ee5e5bd6c51d22c55e6","datavalue":{"value":{"entity-type":"item","numeric-id":1696586,"id":"Q1696586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$63903388-BA6D-47D9-BFFC-DADAEDE60529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b2bc1ec4ef93d5bc2e547ed2eb942678066d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2165515,"id":"Q2165515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$6905E5D1-1887-4FE4-ABF3-F14AA31474FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08156fd85e91b2cffc48e122d4439e04cab7858e","datavalue":{"value":{"entity-type":"item","numeric-id":2280225,"id":"Q2280225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$34F00867-C795-4B6D-933D-5E0F38FB6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c355b6d39f611716e1e8dd972036d33549062416","datavalue":{"value":{"entity-type":"item","numeric-id":2280226,"id":"Q2280226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$1D592EC0-4C6D-4CA3-8441-BB6D3E808A98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$0377DC1E-CFC7-4C5D-98F3-9417841D764B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280227$E7C7AF95-E152-45AA-8C13-817C1C4FE967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"520471a8466af737bc29a3a43a10479852c18f7a","datavalue":{"value":"https://arxiv.org/abs/1809.01607","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280227$3AEBB668-BB71-4AFB-9C32-1832127E5FB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280227$6905C639-CDF9-4FA6-9452-0C9E261B06D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"167674f6f37e6af83830dd6a66297293373025db","datavalue":{"value":"7144325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280227$74DEBE12-8A8D-4F8F-913E-C7C3416AD452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2661d836a445c623c5c74d61b23815baa4e8f9","datavalue":{"value":"automatic test-case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$FC516715-0B24-4DE7-9FA7-3302B6B3AD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f945bb4cedadb1bf2a0a22b6bffc67f8cf09f4ab","datavalue":{"value":"system testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$EA895AAB-C87C-457A-ADB2-C14945C71431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d39c37de1b1dece00cf1db3b6c43bddac270415","datavalue":{"value":"specification testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$86F4A957-5559-464E-B389-098BF667AA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d921caf1a2196533b0aef36e059eb6513c21feff","datavalue":{"value":"adaptive tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$897C7188-B286-416E-8D6D-312591BA6EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$2823AB83-85B9-4C91-AFBA-050D4F263381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$665CE5F1-2107-4582-9764-ED938732A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f95b942c7e907309fd70de9ce684b19e101d05d","datavalue":{"value":"mutation testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280227$725B2BB6-08E2-446D-90B5-B729C36F7A7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$B8192DE9-3F3F-4F48-B142-93D6C601B2EC","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":"Q2280227$9B51381A-D77F-4806-A9DA-EB9D4B11BC78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27678ce242b3fc15c6872bee48de791137f42feb","datavalue":{"value":"W3013816513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280227$ECAF17E7-927B-490B-9D9B-DFCAE2E52608","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c71fe6b8d69f65c05a351d1154b03ffee166981","datavalue":{"value":"Q92186791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280227$CD60B8E6-0C37-4A93-AA35-E2702ED3CAB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9849242aff28ef1c82cdc09ed4607e857aa57640","datavalue":{"value":{"entity-type":"item","numeric-id":4234083,"id":"Q4234083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$0FA267FE-C00A-405E-BE6D-3CD77618BE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85b13896b2a68b9bf78b69d462e062a7e049520","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$E5C9573B-26CD-4FCF-8A0A-71C16B70895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8763ab6490670c5d0c807dbcb006e32ee088a12","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$4C3864AC-94D8-4451-9502-E2317C005671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e027543d9d12a0104101fdb4048b3f803cede2e","datavalue":{"value":{"entity-type":"item","numeric-id":3434603,"id":"Q3434603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$A04DBC2E-8CE1-4B48-A6E0-0AA7BD85AAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$70F35F5F-E421-4F87-97BB-C2F7E1728B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beac31aa219c19102a199f0893ab4c175c230316","datavalue":{"value":{"entity-type":"item","numeric-id":2280227,"id":"Q2280227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$CF2FC260-F793-45CC-B91E-CAD48BE7649E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$E0DAC239-6BE8-4B28-B885-4B968307126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702f164b710b34adee69b0aa6937212bcccd3a9d","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$CEDD6CA7-4D3D-486B-9F4C-C106575DBD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6dcfe16115cc3af0c60ac17f7a9edaa5ea40d1","datavalue":{"value":{"entity-type":"item","numeric-id":3182935,"id":"Q3182935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$4C594CF7-EA36-4182-9D4E-03650F5B16ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4a51916d73830cb0f6a52fe9bdebaedef14863","datavalue":{"value":{"entity-type":"item","numeric-id":844156,"id":"Q844156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$3196CA85-4C2B-44DB-8DFF-966906AF41ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$09115731-34F2-4BC0-9695-29C48C5033E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba9e490c9f482c2def0fe73de39e0c3f3b0359f","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$25A21A54-B289-4EA5-9451-36126D2BF521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$453A28FD-03F8-4BA7-91BE-D8288777C735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e912112214788de6d9a48dc8c0e3005940010d","datavalue":{"value":{"entity-type":"item","numeric-id":2891462,"id":"Q2891462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$094EE5C8-2D2B-4EA1-9363-35C76EF0A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbd0246ccd92887228ae4f6364f614170f1de35","datavalue":{"value":{"entity-type":"item","numeric-id":3434606,"id":"Q3434606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$95715CC0-8C02-410D-A893-72EEDD986925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$D45D2D5A-F5A3-4E0B-A59C-B3F0C25EAF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$72EC294A-914D-484C-86F4-13662F74CA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c751be5d15b3c85465bbe900c60964b5c8111f5e","datavalue":{"value":{"entity-type":"item","numeric-id":5466506,"id":"Q5466506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$D766394F-EFEA-4CA2-825F-C5CDC7873539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c59e83ba5a6db81fbc7b5b7d6b92cdeda41e5bd7","datavalue":{"value":"10.1007/S10703-019-00338-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280227$515238A1-5F6C-4C54-B0D8-54BBC8BA1D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b45b1c5bd24d32ff6f1ec613fde5ee7e83d54e","datavalue":{"value":{"entity-type":"item","numeric-id":2848434,"id":"Q2848434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ac7a9bbc569e8a87c6a489908a79e6f988dabb","datavalue":{"value":{"amount":"+0.717085063457489","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":"Q2280227$F5949E0D-AE30-460B-A576-033594291C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715944a4fde893ac1b001bf218df7968a1143237","datavalue":{"value":{"amount":"+0.7162373661994934","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":"Q2280227$DD50CC7B-253C-4B26-A630-516A64680B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82dba6518753c56b97595fc2c4300f4fc13d94be","datavalue":{"value":{"entity-type":"item","numeric-id":840063,"id":"Q840063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb4a4822477d514b6652839bbfd9ea95909ab99","datavalue":{"value":{"amount":"+0.7085868716239929","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":"Q2280227$363FB0B0-449F-4F74-ACF7-DC90AEAB827C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e217fcb0f428ae6f695d0b86bb3c0c9e940827e0","datavalue":{"value":{"entity-type":"item","numeric-id":2755069,"id":"Q2755069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566650539515ec560061b4d8ebf016966516a110","datavalue":{"value":{"amount":"+0.7024154663085938","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":"Q2280227$D18850F9-A759-4B08-B6DF-4458073A79C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f43927c1648c1e05838419f197faaf391e79dade","datavalue":{"value":{"entity-type":"item","numeric-id":3526943,"id":"Q3526943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e770210d0925e8e1994643183b4e09eb605a74b7","datavalue":{"value":{"amount":"+0.6999048590660095","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":"Q2280227$951B991F-4209-41E3-AE8E-F034B2266060","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280227$5DF46DEF-D031-48D5-9E7F-B297EDEC12FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesizing adaptive test strategies from temporal logic specifications","badges":[]}}}}}