{"entities":{"Q2403528":{"pageid":2414271,"ns":120,"title":"Item:Q2403528","lastrevid":52896506,"modified":"2026-01-23T18:19:16Z","type":"item","id":"Q2403528","labels":{"en":{"language":"en","value":"Fault trees on a diet: automated reduction by graph rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6773443"}},"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":"Q2403528$13467CE9-62F4-4E06-B0EA-D77F740595F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"552e39ae62a20838aa184b6e53baae024ae960cc","datavalue":{"value":{"text":"Fault trees on a diet: automated reduction by graph rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2403528$280A032D-12AD-4320-A75E-3548DEAB8EDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae38ab38b0d655b3083ad2416a0adca837c2bcf0","datavalue":{"value":"1370.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$37C11A61-D641-43C9-B150-9C88DBB822D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$7B477EAA-C375-47A8-ABA4-07BEA0C1EC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f66e2a4b07b301338c958f9bcaa7f366eb37c05","datavalue":{"value":{"entity-type":"item","numeric-id":2403527,"id":"Q2403527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$464FB8D6-F860-4D95-B8F2-C0A38C757E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89238439472c677fdc6823725c455d61dc5d1d2e","datavalue":{"value":{"entity-type":"item","numeric-id":865622,"id":"Q865622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$612FF49C-E14D-4B41-A2F2-863CE4479C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$7CCCE536-91EF-4226-8317-F405D0307E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$C9AA6510-F247-46EC-AC83-DBE49E910C23","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":"Q2403528$3C988801-D342-4D32-A19E-BFDC2807E7AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2403528$F395E07F-BB94-4F85-9E20-A877F5B9A465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$13F99F31-5EC2-420B-BED8-E78694BFC239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$2DA864D6-BF2A-47B2-A2FC-6D7733147663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$C210552B-ADBA-4F12-A506-C9E675BE50B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$CD090DE1-4198-47EF-ABB2-55E95640A4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d82a7e2d9922f68941b033fbe0de798018d82e1c","datavalue":{"value":"6773443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$DFE66BA5-CF01-40D0-AE8D-1F43FC9D9EC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"910ed4c85f559b0ef1b916642c0db8e6449fcb1a","datavalue":{"value":"fault tree analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403528$A5F7EEA7-3D69-4E53-848D-5572B8560A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765230987958dfa74c2e5837d9383261790a6541","datavalue":{"value":"dynamic fault trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403528$B7059919-2A5D-4F2E-851A-B4F6E775EFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403528$6FA521CB-6E48-402C-B350-9CA78E9B3C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403528$79646F86-F198-48B7-8C19-286B3F6A6DDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42cc331ddc774b915907d04d7c352c3a6e2b2755","datavalue":{"value":{"entity-type":"item","numeric-id":13077,"id":"Q13077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$80B384F1-06E2-4C56-B4B4-0E6726B544EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$1A00F8C0-A54A-48AD-9FCC-29DEF85C0A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$D16F7714-A046-4D77-A367-44A7D79FA88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"299c990e0b0703ccc3d6a962217e9352b2004e9c","datavalue":{"value":{"entity-type":"item","numeric-id":24468,"id":"Q24468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$866410CE-F289-4041-860F-231465A371F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7dcceb77e44c82f19393ab07bf588c26bfc03723","datavalue":{"value":{"entity-type":"item","numeric-id":24472,"id":"Q24472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$1428AC67-D611-4E80-900A-C1332046735D","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":"Q2403528$BCDF053C-5FC6-43CF-9ADF-662B26F8D84F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53505a181f5209e08b80a40f4b143753e67e3b2e","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0412-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2403528$89EE9298-CF4B-46BE-AC91-8AEC289435F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0d2f67960eb90f21f9455e9aaf1d327e1a55c22","datavalue":{"value":"W2192694265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$4F056EC5-10A0-4377-B5A0-EE12243BAC2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$C79F34EC-455C-4484-A454-8CF9268595C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562116689012ef1bfe49988e191f4c05d07af9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3541025,"id":"Q3541025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$6A96ADB3-C015-4A04-AFB1-610DE70BAB12","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":"Q2403528$EA61E0D5-F96A-4062-90BE-73F43B0D8D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$BEAE5B32-F1D8-4488-91B8-B6056025D8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef15b3970454943801ea6f54009a29a9b0eb4583","datavalue":{"value":{"entity-type":"item","numeric-id":4194478,"id":"Q4194478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$99468E79-3EBF-4EC9-82F2-BAE32D77C67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969c74baa5b03ff64d51dc3c56b6ebc913d9d1a5","datavalue":{"value":{"entity-type":"item","numeric-id":2921114,"id":"Q2921114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$DBA62A91-0CE9-4D63-ADFF-9F4D6EE04ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$86DAC718-84CD-47B4-9AF1-6FFFDECA336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$37B38D9F-CD1A-4314-B806-1519AEA690AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bae6a57bb3ecd21f54e2aa59923bdda73a2cd5","datavalue":{"value":{"entity-type":"item","numeric-id":2352775,"id":"Q2352775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$AAAAE384-DE29-40DD-9BF1-03291C8CA887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a2f009971bb46c7e4c1ee417f525cdf382f25f","datavalue":{"value":{"entity-type":"item","numeric-id":5351872,"id":"Q5351872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$8416E9DC-F1C2-42BD-888E-893E202DACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb5fcd0d7d414fb8b206683aca9e4c44d2d648f","datavalue":{"value":{"entity-type":"item","numeric-id":2848075,"id":"Q2848075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403528$F517425F-DBD4-4D57-A88E-A9589DC6BB3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1beca637398941409fc188a8c913b69b4f83057","datavalue":{"value":"10.1007/S00165-016-0412-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403528$91C9DF5F-6E8C-48B4-ADD7-82A85605365A","rank":"normal"}],"P1643":[{"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":"864ee8b1632229b6e7ca4a6dc3594e20dc605f9b","datavalue":{"value":{"amount":"+0.9967824220657348","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":"Q2403528$B86C3C42-E6D7-457D-967E-DA11F98DF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3bddb4799248d185ac22facf46e49db4d275a2","datavalue":{"value":{"entity-type":"item","numeric-id":4257331,"id":"Q4257331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b2560ab87c32577dd08bcfb9be0398530fceb1","datavalue":{"value":{"amount":"+0.7685067653656006","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":"Q2403528$083874FA-E7DA-4BF2-808A-01F29C13DA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb26d6e23667bf0205ce103b15787864d005275","datavalue":{"value":{"entity-type":"item","numeric-id":4399156,"id":"Q4399156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89900f86bc48acebd9db7faa0ac6dbc6b2b0b87b","datavalue":{"value":{"amount":"+0.7663601040840149","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":"Q2403528$1BD1E8A7-6A73-445F-BEB2-A7238A3E0C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd93b9ccf27d4261e2b64f8b3267f39b36c95cce","datavalue":{"value":{"entity-type":"item","numeric-id":2848075,"id":"Q2848075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5504294bcf98912686b636bb4988674c4e9d5295","datavalue":{"value":{"amount":"+0.7582939267158508","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":"Q2403528$B6CF2FBD-FB4B-4E6D-BC1A-0920B179826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1377f2eb309535a0406b970121c5b1c8a008e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3510814,"id":"Q3510814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae362759a725c9a4d3f9a59225eea95dd800bad1","datavalue":{"value":{"amount":"+0.7478584051132202","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":"Q2403528$84B51856-801F-4CE0-9DF7-491311803D46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2403528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2403528"}}}}}