{"entities":{"Q470020":{"pageid":471787,"ns":120,"title":"Item:Q470020","lastrevid":62119266,"modified":"2026-04-11T03:53:36Z","type":"item","id":"Q470020","labels":{"en":{"language":"en","value":"The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368392"}},"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":"Q470020$26783033-7A15-4AF8-8AA5-0E88C4268DD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"546046caa2e05eee29fba8c56007bf8a09d773a3","datavalue":{"value":{"text":"The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q470020$8866011A-FC7D-417B-A621-F966513B2220","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db3bbb68422821c98a25c64f29634ded6a9a8d7","datavalue":{"value":"1298.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$708E871A-264C-4CB1-926F-59A8035148A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647a97c372a5d4c8dcce8ebf8c15a7dcfc380752","datavalue":{"value":{"entity-type":"item","numeric-id":470017,"id":"Q470017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$92BEEC19-1E46-484C-8755-2F5C1ECC68DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$9A661456-05F2-4359-A788-E75001722470","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":"Q470020$CC2556DE-4AE7-4722-87EE-D87555B6946D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q470020$4A8B89F9-F06C-4800-A1EF-567F473F3221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$E6AB4243-A68E-485E-B02F-9E033442C3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$D7C849D8-7C08-4FE4-A708-E9CA7D931DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$2FF22FC9-A1E0-40C4-BB5B-BB1599539137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$7139EC88-ED67-4810-9343-27D387556257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$1AC81A15-9F02-4BF0-8664-9C03FFED67D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8fa45454b757ebcb5df296510525bc871c5f60b","datavalue":{"value":"6368392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$A75A483D-25F5-4895-80B9-0900DD6516CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"910ed4c85f559b0ef1b916642c0db8e6449fcb1a","datavalue":{"value":"fault tree analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q470020$6091519D-3DE4-4A31-9D69-AF9553A2FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837a3f9dea5df5396533e42286c9c156e117ba6d","datavalue":{"value":"fault injection","type":"string"},"datatype":"string"},"type":"statement","id":"Q470020$B7B83F83-A6B4-40B8-A784-B7A176A75C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5542802b26e7f1129bc04a5bdce146981815013","datavalue":{"value":"retrenchment","type":"string"},"datatype":"string"},"type":"statement","id":"Q470020$DFFFB4A7-0E62-4C7A-82D8-6CFE78CA7B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b11d990556d46cb8ffebd50b8951cd1dea488e","datavalue":{"value":"mechanical fault tree synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q470020$45AA6C00-E4F5-4F51-8509-6906C9DC02EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bccf529d2efe214de1345d4f28b7ea600e86307","datavalue":{"value":"timed and feedback circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q470020$6F33B950-9FE8-4FFD-9CD0-7C5B64935F07","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":"Q470020$2393B894-63E7-4B20-8353-8E7F9B2FC9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2dc32922267374b3297f4aac48559d283c37da6","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0203-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q470020$89EE2A98-E2AF-40F0-AA06-8B40072574D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c40e95d3f39174615edea5a41800f319c987e8dc","datavalue":{"value":"W2143208582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$03C289E0-4C5E-43D4-834A-6D36CACAFF00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3454f3a645ed85a6be746ccf5175533ccf6d9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":470019,"id":"Q470019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$2A0E7066-C583-4673-A7C1-CEF93A2E2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683bcef649b0849fcdb32ca1afac6708148c0ad3","datavalue":{"value":{"entity-type":"item","numeric-id":5941194,"id":"Q5941194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$04ED1C96-5D02-4B86-AE6B-B82C048AB641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d4011e22342f62f64305d66fce64acf08de820","datavalue":{"value":{"entity-type":"item","numeric-id":3510794,"id":"Q3510794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$5BC402F6-2F11-4055-ADCB-6CFC2D34D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91319f20906d52657d5d658c143944c808bc1be7","datavalue":{"value":{"entity-type":"item","numeric-id":5740620,"id":"Q5740620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$D02043CF-A788-4B8A-8BC6-DA1FBFBC427B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fff792c17445e5b4902d81b5eb3811b0f921866","datavalue":{"value":{"entity-type":"item","numeric-id":2426521,"id":"Q2426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$6CE8E9DC-7666-4A4E-B200-AC40A4645BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e57a5ad88ffa86858c490d1020244bda3116a22","datavalue":{"value":{"entity-type":"item","numeric-id":997238,"id":"Q997238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$2DC73333-4BC1-4E68-A9BB-9773D31D8E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$BC53B2EC-0883-4E54-B195-47D3E8567394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$98DE170F-A0F7-4B7D-BBA4-0A97A6CDD03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431751b119da95deaa8e369b274ab12c549fc420","datavalue":{"value":{"entity-type":"item","numeric-id":4021349,"id":"Q4021349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470020$C63DC3B8-2F6A-4247-8875-21B6DD09D529","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a77aeaff16bf9ac1480a18a08407d0c6cafac5c","datavalue":{"value":"10.1007/S00165-011-0203-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470020$2FA9A24D-763D-4CD6-B959-3264D56CABD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d51a91f106fdedce543a40588815a536bfc9fd","datavalue":{"value":{"entity-type":"item","numeric-id":470019,"id":"Q470019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff0f8f2560fc71d4f71f9de0fdcb5b4dbfc3fe5","datavalue":{"value":{"amount":"+0.905012547969818","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":"Q470020$EC6F459F-735B-487D-95D6-D7A88B1EC903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786ef836313095dcac7d19104784f9dd224fc7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3510794,"id":"Q3510794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3338f5588db8da31ac5eab7604cb4d33f5758e","datavalue":{"value":{"amount":"+0.7257453203201294","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":"Q470020$94CF803E-CDD0-4C7F-B96B-22AFF7D15DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288a239754da6fb113b6dfa9b574969ca845199e","datavalue":{"value":{"entity-type":"item","numeric-id":5351872,"id":"Q5351872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947fa61baba0166607ab28e84f354ec88e6f5207","datavalue":{"value":{"amount":"+0.6839015483856201","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":"Q470020$31B24F46-B87E-447A-9388-7BC97F71710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e5461eaadc0e666190fef77667b5ddbfb6db1e","datavalue":{"value":{"entity-type":"item","numeric-id":2403528,"id":"Q2403528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd185da044dbd37cd21fe17f759431e10aecf0ba","datavalue":{"value":{"amount":"+0.6828545331954956","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":"Q470020$11B935B6-4924-42BD-9943-6A2065099B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff64f43a4a0c46da967fd5658ce307b57f27d81","datavalue":{"value":{"entity-type":"item","numeric-id":4206546,"id":"Q4206546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f4e03a7c276e40b4d6152baa356d222a8c2d7c","datavalue":{"value":{"amount":"+0.6695773601531982","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":"Q470020$276DF082-BCD1-471E-A3A7-6E26AA3171AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits","badges":[]}}}}}