{"entities":{"Q5902015":{"pageid":8010694,"ns":120,"title":"Item:Q5902015","lastrevid":97766768,"modified":"2026-06-05T15:22:50Z","type":"item","id":"Q5902015","labels":{"en":{"language":"en","value":"Formal Approaches to Software Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5561568"}},"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":"Q5902015$114A13A4-EC88-4509-85C7-D150A25FB852","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2823be3e92617eccf109dd592f2a5ccf1d012c33","datavalue":{"value":{"text":"Formal Approaches to Software Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902015$CCBF1AB0-8C71-46AD-BE10-D48E059960D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b98f93c946534d49e5affc75bcb99861a2fe1655","datavalue":{"value":"1185.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902015$A409ECC4-C41C-4033-BE7D-C7D061952355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c91f1e25ed1eb2b14a5471ff5ca190b204c8676e","datavalue":{"value":{"entity-type":"item","numeric-id":601047,"id":"Q601047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902015$F9D4388D-234D-47A3-813D-F63AC7AB4750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902015$76DCB6B9-E806-4023-B1AF-8AC489E60131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902015$A86AD5B2-B405-4544-B426-E38A865E68B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902015$447CBD13-4FBD-4A62-A12E-FF23A747FDBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9664fee410e00427b4fe8a178c6c82216830712e","datavalue":{"value":{"time":"+2009-06-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":"Q5902015$0C7FDD12-A9F9-475E-8D65-4DB4555FED8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902015$E3C2DEB4-FB93-4600-ADC2-CA86A389A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902015$795A8B98-303C-406D-B89F-5704C3878A0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a1d1a8ebbb84f66ae03ec1664e1dd04297cb17","datavalue":{"value":"5561568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902015$B71E6FDD-63BD-477E-8D85-37ADB98E3815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902015$CAADD04A-1D90-4CC5-853B-3FAFA44C3CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350eb58ba3df7c2dab6dfddc821e36dbb2e36202","datavalue":{"value":"conformance test cases generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902015$58A7D536-E4FF-4534-880A-0F0E49FEB9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c423e63ec95751475f2fcdb8b9411b467c265bc","datavalue":{"value":"Determinizable Timed Automata (DTA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902015$379C22A3-6BB1-489B-91C4-223C5C776131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ce3ad555f482d7e9972b076f744b4302cd4b1c","datavalue":{"value":"Set-Exp-Automata (SEA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902015$BF066502-AF91-47C6-A1AF-3FBA6A553BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"519d4f0365b3247a8c7d27dfa7c337a207f669bd","datavalue":{"value":"test architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902015$1DDD445D-8FA8-496C-94C3-E2C943397EB8","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":"Q5902015$01C26037-DC3E-4711-8A0B-F0E4F2DA6A6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c51154cda9df917661abe45168ae1be2245d1dd7","datavalue":{"value":"https://doi.org/10.1007/b95400","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902015$AB173826-163B-4EA8-A599-6579CAED5894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b8a3374171e20624daa4afd34bfbe7d25884e4e","datavalue":{"value":"W2765906234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902015$27F60DDC-938C-44E8-8360-1E6C86DC44E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e28f3b20e413d55887f2b6ba94931340bda48c1d","datavalue":{"value":"10.1007/B95400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902015$30194B14-EB82-46E4-B361-8251115DB4B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7b2fcb3956ae82d75aec5d6f32fcbb9e48c01d","datavalue":{"value":{"entity-type":"item","numeric-id":2769597,"id":"Q2769597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffa01e5d718e74af762c30c95a4338ed7fcd1ed","datavalue":{"value":{"amount":"+0.8208855986595154","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":"Q5902015$C8A131BA-0DF9-4D1D-883C-93D28BD7D548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c447de7492580e26e93ef69315966f2798b4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3166229,"id":"Q3166229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad180bbe70a4b1afa7714d5229df986b4f03bcb2","datavalue":{"value":{"amount":"+0.8104386925697327","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":"Q5902015$7DDDA8F8-1B01-4585-BE34-D8415E9BA7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80c5022c6ee79b946d22acb42b846e4e0a5ced6","datavalue":{"value":{"entity-type":"item","numeric-id":3000640,"id":"Q3000640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ea994c53b4999e0d36d7f1bbf40590e908f72f","datavalue":{"value":{"amount":"+0.8022013902664185","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":"Q5902015$2CFDCEF1-55A8-4CC3-8E7A-21098BD0B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70e1fb3b73a58d2cdaa6a5a95b15777525e4dc6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1986bda601c39d1b181ad8809cbb21de717abab6","datavalue":{"value":{"amount":"+0.7952314615249634","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":"Q5902015$A0DF076E-D07B-48B5-863F-E1AA79B91C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba288a73598037c7c5e82511a2056ed93f6f376d","datavalue":{"value":{"entity-type":"item","numeric-id":5710653,"id":"Q5710653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76308b04a96e0887e6590da9a5933d77d8954ba2","datavalue":{"value":{"amount":"+0.78596431016922","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":"Q5902015$D38E9EE4-BEC2-4885-820E-E25C312623AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Approaches to Software Testing (scientific article; zbMATH DE number 5561568)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Approaches_to_Software_Testing_(scientific_article;_zbMATH_DE_number_5561568)"}}}}}