{"entities":{"Q6160914":{"pageid":13295795,"ns":120,"title":"Item:Q6160914","lastrevid":47856862,"modified":"2026-01-02T21:46:18Z","type":"item","id":"Q6160914","labels":{"en":{"language":"en","value":"Learning deterministic one-clock timed automata via mutation testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691505"}},"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":"Q6160914$DF0924F2-CC99-4BD0-886F-0CD99D498EC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1f71966c709e9e14fee94436e8a36a1a6e7ae78","datavalue":{"value":{"text":"Learning deterministic one-clock timed automata via mutation testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160914$191A4E6E-A967-412B-9D08-B7855ED4F930","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aa8ec6621120a15b43c2efa9f700bd908f87a06","datavalue":{"value":"1522.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$0C9CBB78-31DF-4239-9B52-C27CA58006A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98eb680aafca0948f715eb0d4d915cc8f0f5510d","datavalue":{"value":"10.1007/978-3-031-19992-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$475BFA64-70E9-4BF0-9676-48F4D4C94A35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb3d6e3e58f2e5d2ad84a333b8e16162e097363","datavalue":{"value":{"entity-type":"item","numeric-id":6109468,"id":"Q6109468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$94ABE37C-2FF9-4A1E-92CD-EC0387D02C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4fe01a4f53b86078f74682a77c9cab590f607b","datavalue":{"value":{"entity-type":"item","numeric-id":362286,"id":"Q362286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$226742C6-685D-4010-A6B2-0420472135D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"384676ebb4d87649106ce60efa6723ab9b759806","datavalue":{"value":{"entity-type":"item","numeric-id":1793124,"id":"Q1793124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$AF5E19E7-1537-4F7A-95D5-B11AE8392EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3673c59e41223cb7aff89e32650147e80a2d416a","datavalue":{"value":{"entity-type":"item","numeric-id":2050094,"id":"Q2050094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$DEB393EA-400E-4D21-91E4-01182B9144E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d47a0b532fadc119a2da0b4f59e3906ea7d12d94","datavalue":{"value":{"entity-type":"item","numeric-id":258840,"id":"Q258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$13D88DC3-C39E-43E6-8EBC-FA0EDC559357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$6964ACD4-E10C-4717-B9A2-B62E89F8877A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$1F0181B4-F068-4099-AAA8-9041D3EE326D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160914$597DEDD9-4B7F-407C-A1FD-339735F0078E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$3E952C5F-137D-48FA-B5DC-49AADD0A8629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$7DD49F74-F0B1-4D2F-A203-193226864FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$3392151B-AB2E-4E1F-B05E-2EA1BF04C4C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7c17809b4a4faadec6b52028b8e68418f8f743","datavalue":{"value":"7691505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$8B0082B4-22E0-4A2D-89F6-F55E49D54F2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd3f5520afe65917fef71fbdb2e37f6590f2b38","datavalue":{"value":"active learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160914$85BC6A07-7FDC-4D24-BFC0-3F76BA47032E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160914$7A38CC26-61B0-47AF-9010-CBA1663DE683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d56b78f397ce29f00b70cd2660e93f8482ec267","datavalue":{"value":"model-based mutation testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160914$0CD658A8-5999-4C80-AECB-36A48AF1A6AB","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":"Q6160914$10E2D191-C6A2-4343-8DB3-689303447A45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e6ef2cad8513caf744e8619e1fe98dac583d834","datavalue":{"value":"https://doi.org/10.1007/978-3-031-19992-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160914$F5D884E7-F520-4821-AE2B-FCCAE01B8BB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9e5d8d80030a682387e0a842f04814c641ca44a","datavalue":{"value":"W4312304454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160914$5AACA122-A312-48DF-B6E5-42B40C33911B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"180e00bfbf5cede17fd4e4abe5773b69ac4b3a4e","datavalue":{"value":{"entity-type":"item","numeric-id":479471,"id":"Q479471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$3BD9DE0D-30BF-44EC-BC9A-026C2F9BDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70ec3b181f3e89465c5698ae3fb8da0f286a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2331082,"id":"Q2331082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$5E421D65-EC91-4D19-9A1C-777CD3226977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$43963066-418C-41DD-B83A-83FB3FE8A5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabcbdc508115aa84f275d1309d55494bc63e27b","datavalue":{"value":{"entity-type":"item","numeric-id":5039523,"id":"Q5039523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$23C54376-411A-4836-B144-FFB90B08FF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$8384BD68-DF65-4F35-9C75-90D4659F0271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6a1e50026573492245724da8b61af9814edbb8","datavalue":{"value":{"entity-type":"item","numeric-id":5316435,"id":"Q5316435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$455711A9-509E-4814-A445-4239EAE2D178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$2C001B2D-9AED-47F0-A922-CD8A291F5C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176b8f9f33bec50a735e690263fe124617a6aed","datavalue":{"value":{"entity-type":"item","numeric-id":604474,"id":"Q604474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$4ABFED86-44CF-4077-866C-F4074D4904B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6957ef7b0f8cfc41a59481890562b8f0d4756a","datavalue":{"value":{"entity-type":"item","numeric-id":1996023,"id":"Q1996023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$8F2CD9E1-650D-4B06-99B2-32F0459A4883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212c36989035a7b62a8e8fafba109a61eb085ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2075785,"id":"Q2075785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$FC46EFD7-B50C-4C06-95C3-C61405FF3728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d4aea5c52101774f6b624e4ecadd81bcb005e6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$61FE8E55-5077-4914-A51A-8BD8777CC909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd85271c66521dcfca1826214de4024b6500ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4807832,"id":"Q4807832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$448CC4FC-C8C6-4F43-A929-1B2AF567A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aed76715e58219f507cc12525443fb7df3a822c","datavalue":{"value":{"entity-type":"item","numeric-id":2232274,"id":"Q2232274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$A498CBD9-DAE5-4E77-9F0F-8BB97F3358B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75f11361218ae773ab4b9dcbacb18b596e0c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160914$4E78C43A-BB15-4FEA-8E0C-3D84206752D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6261676c97d898dd99ef17ea8b1e16e004249d","datavalue":{"value":{"entity-type":"item","numeric-id":6160915,"id":"Q6160915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6621437739999ccbbc82d1af3436fcb1215296fc","datavalue":{"value":{"amount":"+0.8285081386566162","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":"Q6160914$F67C136E-9384-40E8-85C0-189D35E75344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1e12db7d7624c49aa6b5402e0c4ba7f4c2a395","datavalue":{"value":{"entity-type":"item","numeric-id":5039523,"id":"Q5039523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f6cf9c98a9a964bfd44e200956c14530cde488","datavalue":{"value":{"amount":"+0.8074074387550354","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":"Q6160914$3164B2F7-0D14-4AF0-8449-194A5DC05203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9134799e4c1c3c07b7a56f3388f31164e452bb","datavalue":{"value":{"entity-type":"item","numeric-id":2176706,"id":"Q2176706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed30c34f4189a44fa78a7d076cb26e894b36d30c","datavalue":{"value":{"amount":"+0.7687703967094421","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":"Q6160914$A385895B-8E66-4691-8993-88CAB451C6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2f28fb659811c60d7a76e7605a2e54c1d97a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3618628,"id":"Q3618628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2994756c68416f6e239ed8f37feeefaaf82400d5","datavalue":{"value":{"amount":"+0.7274325489997864","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":"Q6160914$02E9D54C-B079-4151-8234-C85F0EFE08B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a7e08f454290d1db07b3a8c76dfbc62a6943ef","datavalue":{"value":{"entity-type":"item","numeric-id":5464760,"id":"Q5464760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59a8af9622d1c04e20219d99584cbbe475722d3","datavalue":{"value":{"amount":"+0.7248165607452393","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":"Q6160914$59D6F96C-334F-4668-9202-85546EACEFEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160914"}}}}}