{"entities":{"Q5351872":{"pageid":7381446,"ns":120,"title":"Item:Q5351872","lastrevid":52888526,"modified":"2026-01-23T17:50:51Z","type":"item","id":"Q5351872","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 6767243"}},"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":"Q5351872$E0DF4AE0-58DB-4A3B-AD55-45110C8B9B65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b23c2b1a7e22fe0dc046b8bd7975df493a2f183","datavalue":{"value":{"text":"Fault Trees on a Diet","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351872$C86B952C-1A1D-4DE2-ADB5-33E7EDB5CFB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"208ab8a4a2a4b3ebd8e10981a2856bbd284389ae","datavalue":{"value":"1369.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$72BC7D46-8910-4155-9327-2BFB2F21694C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8070f1702822c21ad9eb6c2fa30a9eaa58b716aa","datavalue":{"value":"10.1007/978-3-319-25942-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$2EA22892-25B1-4FF9-A5AE-1D67BD5D4CF8","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":"Q5351872$27ABBCC1-E03B-4C2D-8263-ADC43E9C45E2","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":"Q5351872$CCED3C5E-CF26-43E9-9F29-1C06B9E43E4F","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":"Q5351872$73CFD27E-4057-4A90-ABCD-2E2437204251","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":"Q5351872$46292540-807F-413D-AB2E-D0CB27DDD0E3","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":"Q5351872$EC84EDE1-93C1-40EA-9A70-F1F14C1A840A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"71ef82372ac64a154c3c6d755148f7315f06d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":5351871,"id":"Q5351871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351872$C6CCC3B5-05B2-48CB-9381-D5436067E1A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351872$F736F8F3-7F37-4507-9BD9-1A2BAD99C1E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$68CA9D53-8F99-405D-828E-A560E3C75F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$80608D34-0E13-4F4C-8034-BB2ED1A00EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$C5E970F5-E41F-47F7-A0DF-AF61E74642BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$136DBD4D-4D8F-4114-A61C-E6A9284749DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5bef1260fb5d0d1e0d8fff03f37edd353d6bc55","datavalue":{"value":"6767243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$4C08F26B-5C60-43AF-A4E8-9E9B287BC9A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cab8e684d84c9b6ed4bae4f3ab1d9ead389fb473","datavalue":{"value":"Q57800660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$AB9D0AB8-3A21-48D9-80BB-8BE9A07A438C","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":"Q5351872$D0521225-6C14-4F0E-A11F-72559B51A49A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38da0980efca847fa0bc9088a372039591ddceb0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25942-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351872$AB4A464B-C279-4176-B3C6-6FE82810BED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5ac0e47c27103159c00420a52d033de6fdd9aa","datavalue":{"value":"W2294571247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351872$FEFF1A9A-8F67-457B-A6CD-BA477C499767","rank":"normal"}],"P1643":[{"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":"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":"Q5351872$32563E2E-0F45-45AF-838F-54BE944CF047","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":"7cf0d885b1217956e3233d2f27ea8c8c831abcdd","datavalue":{"value":{"amount":"+0.7693519592285156","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":"Q5351872$EE710537-C197-4B15-97EF-8F20817AC4AD","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":"5fcd74c5ced0098cd59a2005854fa6e1435f4aaa","datavalue":{"value":{"amount":"+0.7652485966682434","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":"Q5351872$5C00FC37-BF99-4D1A-87C7-D9C7CEA56039","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":"966c0be59bcc7b3b27b8c1f6599877473e367cef","datavalue":{"value":{"amount":"+0.764664888381958","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":"Q5351872$5D0893DE-BBCE-4914-8FA2-82B4EBE44213","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":"f2f935904a70d4ccb267b05ee223fd5242fd825b","datavalue":{"value":{"amount":"+0.7528817057609558","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":"Q5351872$A5414A31-3661-4C3A-9CE1-BBB55B7A1FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351872"}}}}}