{"entities":{"Q282098":{"pageid":283865,"ns":120,"title":"Item:Q282098","lastrevid":60726552,"modified":"2026-04-10T18:46:09Z","type":"item","id":"Q282098","labels":{"en":{"language":"en","value":"Generation of complete test suites from Mealy input/output transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579510"}},"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":"Q282098$7CDA43D3-F79D-44DA-BC7E-9400BC0EDC51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f037073b19b6e767bee0e448521c95f0684e3df4","datavalue":{"value":{"text":"Generation of complete test suites from Mealy input/output transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q282098$CCB4EAED-AB30-4C7F-80BF-965250D54B12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18be313e060551e34d48d203de21baa4c28029ed","datavalue":{"value":"1335.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$1C828D53-3420-4B05-B3FF-157AA3539B92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6daad9dc7d05a1a3fe7aea48818502a647c28a6","datavalue":{"value":{"entity-type":"item","numeric-id":282096,"id":"Q282096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$7AD473D7-4281-447B-BCD4-E1C2B474C0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59849d6553a9f308497046589a25785e0ec0ef2d","datavalue":{"value":{"entity-type":"item","numeric-id":282097,"id":"Q282097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$C0FCDA13-1A7D-435C-8813-AF40765BEA15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$08AF519E-0585-46C6-8CBF-882F7321C049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6561d1f3ea76d4fa605c32b6d5b2469c201aaa85","datavalue":{"value":{"time":"+2016-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q282098$C6646F2F-3B87-44D6-861B-E548000C10E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$AA63E83B-2850-4068-8E6E-2D82BEC30D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$31D4749B-9C56-478A-B162-F4ED32BA2F7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e32c7d9e60fc6ddc29a350a0ee4ca70bfe09c8dd","datavalue":{"value":"6579510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$3DE857DE-26DA-483A-A1BE-34EE2765198C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bb8f04b1811f1c691fc7800979510b4e7dd1f3","datavalue":{"value":"test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q282098$F2CBC0D2-3666-4398-BE02-246CA1D4289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f33db2565d5a6b582168191ff7193fd12e693e","datavalue":{"value":"Mealy input/output transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q282098$938F1DD1-C55E-40A7-97E4-F4C283EA8462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0cef87fb044aa7f457af9c644e7c22d6d0c39f2","datavalue":{"value":"fault domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q282098$19DE80E0-7FB7-4A10-872B-A83750D6EA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce1f8ec58ab0a6ea83e37523eb7817944a6c5fd","datavalue":{"value":"complete test suites","type":"string"},"datatype":"string"},"type":"statement","id":"Q282098$2783E195-B701-4391-AC36-EDBDDD8F8087","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bea0885bc8e2fa7a4927ab7181e328bd683df2ad","datavalue":{"value":{"entity-type":"item","numeric-id":14158,"id":"Q14158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$8FC0DD05-07D1-4F0B-A9AD-3B1877C0BF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aa9c990050844e02d619f5dc6d4cd64e20bd57d","datavalue":{"value":{"entity-type":"item","numeric-id":19208,"id":"Q19208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$FCC0346A-9B9F-4DC2-B795-AB0AD669AECE","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":"Q282098$A8FA46E7-E7B0-491C-82E2-16EE78FD4723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e650af32b938bff6ea34375281cc54344f391c8","datavalue":{"value":"https://doi.org/10.1007/s00165-015-0350-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q282098$6ADAB2F4-D901-4BB5-A5D4-A6D2DF1877A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb0ca4ea6b096a7ae22de2458256b9d6996d5ffe","datavalue":{"value":"W2242703451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$FEAC1260-3D8A-478E-988F-F6F5DCB0E445","rank":"normal"}],"P223":[{"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":"Q282098$4BD8D402-0B06-4B9D-89EE-E3E149B17B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae437009b579e729535bf3fdacc39a2dc706f6dc","datavalue":{"value":{"entity-type":"item","numeric-id":5479157,"id":"Q5479157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$49882FB0-D776-4EF0-8EC5-C5CBE11AE451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efed155c48a27582da34f0dd9b51054ac4eb406a","datavalue":{"value":{"entity-type":"item","numeric-id":5280717,"id":"Q5280717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$C7F3B255-F385-4218-8D51-3DE60CED3875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$3899A761-1EDB-4BAB-8381-FADBFC73DC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07897f24cf3631f8c5c209aa614446868925289e","datavalue":{"value":{"entity-type":"item","numeric-id":714798,"id":"Q714798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$A1062D39-D8A7-44D8-88F2-42DAA897C7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6610a7edc19caf5462df1d09866faf846610e36d","datavalue":{"value":{"entity-type":"item","numeric-id":3095247,"id":"Q3095247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$EA6BAD78-2E0B-48D2-BBC8-014AF7834705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$31768DEC-984D-4A64-A0B0-70D99A5885A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$AFC0E93F-AFEA-4967-8467-8FA832F10527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c891cbfb78fd1d255f13154316c326d70fd08978","datavalue":{"value":{"entity-type":"item","numeric-id":3585031,"id":"Q3585031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q282098$5A7F3C41-3FDE-4F77-A1D7-49B030DCF954","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"539476ac827464ea72ceeea31408ace52f3e923c","datavalue":{"value":"Q130982960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$F025450C-646A-4CFE-9EE2-A66FBFC86ED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4318b7c59e95a3da28412f49661546e730eb2bd","datavalue":{"value":"10.1007/S00165-015-0350-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q282098$E537FE6B-C283-4BA4-9D4F-75705DBB31C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd9008ec56c340686b49112b4fdcd265cc0d897","datavalue":{"value":{"entity-type":"item","numeric-id":5190779,"id":"Q5190779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff5d44f84c7dc288a1e7e851930c5fa96e8da0f","datavalue":{"value":{"amount":"+0.7442820072174072","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":"Q282098$9BE7136F-5C3A-4E56-89C4-CDAC42D520C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1820e2167fe1d279be50fb5fa024930bdbe035d","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74eab94321f2e3c97ee843ff97feefe6f8975999","datavalue":{"value":{"amount":"+0.7418577075004578","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":"Q282098$4C623FF3-F6C2-4744-A969-71A192288451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8ec629d4e7a7ab2b63c122382d05f7bf9e48a5","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af37febf4f5f87ec1f557a4ac2b5a9c969f8b51f","datavalue":{"value":{"amount":"+0.7266495823860168","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":"Q282098$55DB4A59-4729-498C-AD14-95ED22405F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8448f44b21634089a4a37cc34f62cbbc090bfef","datavalue":{"value":{"entity-type":"item","numeric-id":4413699,"id":"Q4413699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7296952d0bd3dc934b2caced905bdafeb984f094","datavalue":{"value":{"amount":"+0.7226107120513916","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":"Q282098$8E0263B2-09FD-41C2-85C2-0DD0F56DE17E","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":"aff616123658dff6252c2264922dba0e1712ed7a","datavalue":{"value":{"amount":"+0.7212565541267395","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":"Q282098$280DDA3B-2268-4004-9794-DC32E12C0DB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generation of complete test suites from Mealy input/output transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generation_of_complete_test_suites_from_Mealy_input/output_transition_systems"}}}}}