{"entities":{"Q6588078":{"pageid":14199235,"ns":120,"title":"Item:Q6588078","lastrevid":99851285,"modified":"2026-06-05T20:51:01Z","type":"item","id":"Q6588078","labels":{"en":{"language":"en","value":"Four notions of fault for program specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7897382"}},"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":"Q6588078$164F7A5D-C689-4D7A-891C-31580D9B2912","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c46830cb69089236154bcb6614893caf74f55e11","datavalue":{"value":{"text":"Four notions of fault for program specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6588078$0297A17C-EA8C-49F2-B29F-DC175C522469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588078$6716954D-A2A4-4DAA-B5D0-1608F817DDFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588078$BE81D296-300D-49A4-A4B4-79C021D5783F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c5bff37f7f9c7ee2e9efb4be809422c70dc245d","datavalue":{"value":{"time":"+2024-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6588078$E9E50539-B27E-415C-8269-33198F9FB2D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588078$71066EA1-656C-43EB-AF21-BEB9F6F53469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9955e5b0a658f445641444aa671ef0994c0e8815","datavalue":{"value":"7897382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588078$F27692B3-7CF3-4422-BE1B-6E792FA7EB7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2958946ef5652f5ce0491c8ecd66135eefb248d6","datavalue":{"value":"technical specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588078$12563D84-53AF-4726-8983-5C5500B78E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfd753539decc8d399a03372be48481e055217f","datavalue":{"value":"requirements specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588078$6D567D1F-2FB9-404A-B80D-7BDBB24F0005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f34eadb2472af5a5223a4acac00c4df2c51c50","datavalue":{"value":"Laski fault","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588078$81DBA1D7-1E2D-489D-A749-81ED4B1AA3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64abc51e7f3bef70b4595a731cc0d64dec8b0b92","datavalue":{"value":"MFJ fault","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588078$FF2622C5-929A-4A74-A17A-2321E5F227F0","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":"Q6588078$32751395-977A-451C-8AD9-DEA0DB47E7F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0bd75f64527a604408cc301f88fbd8706000810","datavalue":{"value":"10.7561/SACS.2022.2.183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588078$92BB880F-37DF-40FA-AF96-3A782B3DB45E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19746a27349dbc84a0df419ba38f9e87b7f1656","datavalue":{"value":{"entity-type":"item","numeric-id":5410485,"id":"Q5410485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0282d047545c300f002687b07a4bb9792d9c972","datavalue":{"value":{"amount":"+0.7963675260543823","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":"Q6588078$C30DB941-0C64-47E7-81A0-506948A9B7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9c18cb7ec18be7ca9f7eb5f253a7a36cda3820","datavalue":{"value":{"entity-type":"item","numeric-id":5089616,"id":"Q5089616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0af5ad69f5c2e610cfcd291eb346eb344a5416","datavalue":{"value":{"amount":"+0.7300387024879456","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":"Q6588078$E1B11516-83E6-47C4-8BDA-7F5B827D7F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6d63872d79e73ab41bbf1aee390fa977a48d35","datavalue":{"value":{"entity-type":"item","numeric-id":4370276,"id":"Q4370276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9374dd88a733a3aeb4bb01e33e291d4de0596ce5","datavalue":{"value":{"amount":"+0.7206408381462097","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":"Q6588078$43C4650E-D626-46D0-8178-4C095AC5BB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f704ca496673b8ccb4e56d8c641a583b8a04a463","datavalue":{"value":{"entity-type":"item","numeric-id":5089619,"id":"Q5089619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3330d6d29041cd65fdfbf95346521585aedd12","datavalue":{"value":{"amount":"+0.719721794128418","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":"Q6588078$D2679360-8A09-434A-8776-0B2A49959EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdbc844f51fe8839313a507c4bedf7019dc2109","datavalue":{"value":{"entity-type":"item","numeric-id":6588073,"id":"Q6588073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0853b0d6ce57055f893adcec2a2b371eb9a5b62b","datavalue":{"value":{"amount":"+0.6857436299324036","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":"Q6588078$8356D320-3B27-4546-8272-EC12AEEE1383","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Four notions of fault for program specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Four_notions_of_fault_for_program_specifications"}}}}}