{"entities":{"Q2331082":{"pageid":2341825,"ns":120,"title":"Item:Q2331082","lastrevid":56650680,"modified":"2026-03-17T13:19:21Z","type":"item","id":"Q2331082","labels":{"en":{"language":"en","value":"Efficient active automata learning via mutation testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7122002"}},"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":"Q2331082$5BDFA1BD-1A67-4A10-8A5B-AA1BE6B58C64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95191f1a19998a38f8eb49dfe3f54bb59d05c77e","datavalue":{"value":{"text":"Efficient active automata learning via mutation testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2331082$60C53ECC-AAAD-48EE-83E5-DBBF71B4DB6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f9e5d357c940b9d238488dccf80f9c4119b1338","datavalue":{"value":"1468.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$8E11090C-07AA-47CF-84D5-09C8983B1E0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec56fdd824afe477f8efc3dd8518f3a1c55e418","datavalue":{"value":{"entity-type":"item","numeric-id":433333,"id":"Q433333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$5D64FD44-E90E-4F93-A3CC-9E32D5878030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e254de43459a816e48ef1aaffea38320be3f30b4","datavalue":{"value":{"entity-type":"item","numeric-id":1982637,"id":"Q1982637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$D7BB3B93-9E63-4F96-8277-28F11407F49A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$7415DA8E-3A89-4188-946D-4B9A8650BECF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9c78d27d44184ed11acc3dc406ef7d8d5c12da4","datavalue":{"value":{"time":"+2019-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2331082$54FBEDBD-8609-4BA4-ADCA-DF692EB985BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$B1455881-68FB-490E-BC5C-DA196ADB0309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$65DBAE29-4AF0-412D-8DC6-EE71A73B4183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$B007AE31-3351-4EE2-BAF4-3324F72D44C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a79367618786b698d0d316d4ef87b59d807d47","datavalue":{"value":"7122002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$2F1C255C-3B63-45C8-837B-2745CDAF0391","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331082$B3380CB0-184A-412C-83E2-6A1235573733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f95b942c7e907309fd70de9ce684b19e101d05d","datavalue":{"value":"mutation testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331082$5D35B6DD-8133-4E4C-B749-5C9EB72E2A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1fa152fdd54fbd3884774859a4cde8487c6562","datavalue":{"value":"FSM-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331082$5E263504-04E0-401C-B662-5B5456C37C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ec69baca02a6f3136ad3e8325018cc7916caa7","datavalue":{"value":"active automata learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331082$D34DAB4B-813D-40BB-B8B0-183C6D3545B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c44431a70c3558df5395d092d217770de38c0bad","datavalue":{"value":"minimally adequate teacher framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331082$EFE2BA3B-5403-42CD-A491-635670A398A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8298c73058cabc55aa0e5f5071728ade51c5dae","datavalue":{"value":{"entity-type":"item","numeric-id":21892,"id":"Q21892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$8D5904F5-6D37-48E3-9B26-E1E7DC30BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3535cefbd5e34795a61160ad000d0d43b5eb86d3","datavalue":{"value":{"entity-type":"item","numeric-id":46345,"id":"Q46345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$7FB7FBB0-4950-47BE-AFFE-ECE11F408689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95dfdf54cd027689d700d0a4e7005da603fda5bd","datavalue":{"value":{"entity-type":"item","numeric-id":55402,"id":"Q55402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$1F6C2D5A-A271-48EB-9542-2316C07D7775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$498A2929-F359-4EF7-BAE3-D0493BE2EF16","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":"Q2331082$BBC008FB-74CE-4FF7-B81A-E70FCD1D8366","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93f82d6c0dbb4bf11026e922119ee0abd94ccae7","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9486-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2331082$94837119-8519-4B15-8D5B-663CEA0498B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"423bc257182be421b947bc6b0629d78430353288","datavalue":{"value":"W2898453745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$714E62FD-6C54-46D7-B2BC-C45D419AB5CF","rank":"normal"}],"P223":[{"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":"Q2331082$254D8273-CFE9-4A7E-858F-918AABC1E29C","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":"Q2331082$534B3A44-6F36-4FEC-81B7-1C9F6181C656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7cc8dc2b549d2347f941a80a02493e33b15275","datavalue":{"value":{"entity-type":"item","numeric-id":736459,"id":"Q736459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$8841EBD8-FC25-4480-9E56-8CDF8D4BF070","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":"Q2331082$B3E28467-D415-423B-B99E-3892422B894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b490da484560b0cbaeaf1857f80759c57cc3d6","datavalue":{"value":{"entity-type":"item","numeric-id":479461,"id":"Q479461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$7D52DC38-251B-4F32-BDB9-B80CF3192685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$4337B97D-7044-43A4-BAB1-FE9357CACD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08353f64bee56a663ab8a98982684a8b6497fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$4659F28C-43AA-4C12-8BBF-973CB1AEF224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$1E9AD894-80C9-423C-B236-3703D4A5E06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933dab23b208a01ce2a8fcaa827c3b86326879c7","datavalue":{"value":{"entity-type":"item","numeric-id":3075487,"id":"Q3075487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331082$6D62898C-E88D-4C67-9A43-5F631903E40C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b54b7629cebac2748f6cdcff46837e38008cbfd1","datavalue":{"value":"Q129032221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$6F7F63B2-3D75-4418-BE30-066E569846BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ca08e0fb5ea7bc51339c32b338bab12209b48ce","datavalue":{"value":"10.1007/S10817-018-9486-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331082$CD1007F0-9EB0-4B3D-BB3C-BE6A087B184C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41edbe98ff78b968507b5c3b6f1f8f27108a844","datavalue":{"value":{"entity-type":"item","numeric-id":6045066,"id":"Q6045066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d14afdf215f86057a58b391c438f15620ef6403","datavalue":{"value":{"amount":"+0.8235138058662415","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":"Q2331082$6A0A8B0F-47C5-42EE-A5BA-FC1550061A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0a104c95d0cffc546a4bd879dfc0d84513dc13","datavalue":{"value":{"entity-type":"item","numeric-id":6487258,"id":"Q6487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af10bbe6ab22b706197b15511b061cc23788f9dc","datavalue":{"value":{"amount":"+0.7627364993095398","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":"Q2331082$D97B7C64-9566-41B2-A568-C5DEAF13A56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ac2eba8835edc4280d37fb829d827620942c47","datavalue":{"value":{"entity-type":"item","numeric-id":3613088,"id":"Q3613088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e708d9a4206f7e488f788e8fb1aabc0d92d3f1","datavalue":{"value":{"amount":"+0.7454261183738708","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":"Q2331082$79A136A7-C340-46E5-9335-893959FF1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81ec365b340466f07f77e315b97a9f4d1e8fec2","datavalue":{"value":{"entity-type":"item","numeric-id":2075785,"id":"Q2075785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4b02ddfb68b40324d9eac76b37073153bfa87a","datavalue":{"value":{"amount":"+0.7404912114143372","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":"Q2331082$4982EFA3-997C-4606-B514-CE235D8E980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11057c8baf7832a9ec0df5e32a42959d44f3b6f","datavalue":{"value":{"entity-type":"item","numeric-id":6488341,"id":"Q6488341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a2c59a8a16eb7fdc8606cb2422f643e42b1300","datavalue":{"value":{"amount":"+0.7319850325584412","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":"Q2331082$83F902EA-AA1D-4910-B314-770D25A8D6F2","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":"Q2331082$97BD6FB0-0241-4E17-84F1-2575D63A5B59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2331082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2331082"}}}}}