{"entities":{"Q5902014":{"pageid":8010691,"ns":120,"title":"Item:Q5902014","lastrevid":50669921,"modified":"2026-01-14T18:15:41Z","type":"item","id":"Q5902014","labels":{"en":{"language":"en","value":"Formal Approaches to Software Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5561567"}},"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":"Q5902014$9B40F49E-F573-4A6F-8075-4612D497EBE0","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":"Q5902014$C5A37359-1105-493D-AB35-FE945C6B6C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b168a15ad8ebde4e1c7f4dc52e9f5ff42e0efb87","datavalue":{"value":"1185.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$FC43C27F-DF9E-47D7-AD88-5316DAB9839D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90ce37d231dcf6aca38ecb40fbc2823ce4c3b171","datavalue":{"value":{"entity-type":"item","numeric-id":3276542,"id":"Q3276542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902014$1C514A75-7581-4A4E-A305-68BF66B85E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902014$967558A7-2007-4160-9D60-3EFEA7D9DC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd4a5905996b9155c693737af794b0811054c3e","datavalue":{"value":{"entity-type":"item","numeric-id":633289,"id":"Q633289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902014$7CCD166A-280D-4AAC-82EC-220345B893E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902014$E73CBCCC-D3DA-4182-93BF-065EF654D932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cec17731054b6430f8195f887b8e0fafd1abd5","datavalue":{"value":{"entity-type":"item","numeric-id":1175939,"id":"Q1175939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902014$08A6D880-B73D-4346-8E08-71096A2B5D1A","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":"Q5902014$1FDF5DBA-7147-4E20-B8F9-20320381187D","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":"Q5902014$4725523F-EE8D-4682-8FF8-104B10A1CE87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$4A504ACE-B3DE-447E-B130-499D2124243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$45AF4003-12DB-4D97-8A7A-145FC12EE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$B27F9831-1A25-4CBD-89B4-BF3F1CA699A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"246f78169affbd4ce3f9dfd32ccb06a52a96d0d6","datavalue":{"value":"5561567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$4C2F191A-31C0-4F8A-A936-7A1D2092BE2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902014$81A21E53-A8E8-4178-910C-FB3845C8C84C","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":"Q5902014$608B4014-AF77-4857-9301-3B3BE4505FDA","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":"Q5902014$0B8FFCC8-A322-43D8-93C6-70A405FEAC96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b8a3374171e20624daa4afd34bfbe7d25884e4e","datavalue":{"value":"W2765906234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$D5D749B9-58BB-4F72-8924-9B87A1339D7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e28f3b20e413d55887f2b6ba94931340bda48c1d","datavalue":{"value":"10.1007/B95400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902014$4C6874DA-09D1-46B0-A3AE-3ED92C86C19E","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":"51ef495f8ec7f90b336dde13834d4580bc98e58e","datavalue":{"value":{"amount":"+0.8522926568984985","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":"Q5902014$98FF8351-C0C8-432A-9B2A-86D1142430AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a494f76c7f53d2412d0db24a84cdb39b10ce58f8","datavalue":{"value":{"entity-type":"item","numeric-id":5710654,"id":"Q5710654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccdd89a6c8a53f06f2870b6d3ce5994444d58a8","datavalue":{"value":{"amount":"+0.8012104630470276","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":"Q5902014$FECCC97E-0F03-49C9-811B-D808F6C06F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4c1cf11c0288f8582d758d24249e7e1da0d12","datavalue":{"value":{"amount":"+0.7998555302619934","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":"Q5902014$A705185B-3648-4453-AADA-E116F934CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1434798dfd9c93a9198252345f82afa163e2c25","datavalue":{"value":{"entity-type":"item","numeric-id":5464743,"id":"Q5464743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cd2967da96365eb08cfa8331b1b7deb1772ee7","datavalue":{"value":{"amount":"+0.7970350980758667","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":"Q5902014$53431D22-3747-46DC-8128-20D63A69195C","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":"0f841e71ff9d7c961f8de0abebb3f21126ddc9a8","datavalue":{"value":{"amount":"+0.7858873009681702","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":"Q5902014$6E06838D-0C38-4C2C-B8C0-240FC8137743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902014"}}}}}