{"entities":{"Q3558242":{"pageid":5588146,"ns":120,"title":"Item:Q3558242","lastrevid":49559185,"modified":"2026-01-07T19:14:30Z","type":"item","id":"Q3558242","labels":{"en":{"language":"en","value":"Faulty Logic: Reasoning about Fault Tolerant Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703419"}},"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":"Q3558242$DEA68B09-53DF-4FB3-A591-D1B21DAE953A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"323e024c144c0f12d0bfc61ab3de53431a3dddaa","datavalue":{"value":{"text":"Faulty Logic: Reasoning about Fault Tolerant Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558242$525F320E-EE23-449D-8B3F-CEEA825CB2C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a3cc286662a3cd5a7d7525a5e77222f96f3bf49","datavalue":{"value":"1260.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$D9698FB6-28F4-4398-B00A-B755C7156385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d9e1e92d963f92737765f3c11545eb0c9965992","datavalue":{"value":"10.1007/978-3-642-11957-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$B1BA9210-111F-4816-A44A-CF9D3E383F2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558242$81ABE785-35E6-48E5-8571-2E63FFCEAEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558242$901F61B0-31FB-4DEB-A97A-80793D2DDD0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$6C49F95A-8798-4CF4-AC04-98FF3F65A24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$450BAB05-86BF-4E86-9AB9-5AB531E10E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$33B20521-3CAF-4624-B60D-7AA778D590C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0f385da9c4f4498ba5f386edb885697d29d9ffd","datavalue":{"value":"5703419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$EBA10934-35F7-48D2-B0E6-9B9BA7CD760B","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":"Q3558242$87625EBB-C212-42F1-A14A-439A8F710A55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a82061a2029c4daa645c29d270718404aa8ba7dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558242$E1032896-C4DF-4C6A-B97C-F9B2B8C0DDE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36ebce67c359101860fda05acfab4e750de2f759","datavalue":{"value":"W2108399962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558242$2F081C38-7969-40AE-945D-52F85553A4C8","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":"c213bb71f319e5bd96cd3af1859859b8d13822cd","datavalue":{"value":{"amount":"+0.9082191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$EF411F65-56C6-4E28-A934-19AAC9B310BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a3473d1b4dde1c282d33d41cbd0091f75bcd22","datavalue":{"value":{"entity-type":"item","numeric-id":4819004,"id":"Q4819004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6c1ba14f07e034eac4085264822ffebdec5caa","datavalue":{"value":{"amount":"+0.8905673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$D8B33A3F-BE5B-40BF-8E45-56DD1F68A396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b54fd7b39431feb0673fca0ec53731cb9b694","datavalue":{"value":{"entity-type":"item","numeric-id":2767053,"id":"Q2767053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f072b81f76574e185277aa594a88c33651286d0","datavalue":{"value":{"amount":"+0.88111323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$4950372A-8F9C-4513-80B6-3335502E09F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dac19eec9612fd97bd98c584c555caf779324d8","datavalue":{"value":{"entity-type":"item","numeric-id":3493217,"id":"Q3493217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1204789c086a6aa05cebece88e19806f5aab02f","datavalue":{"value":{"amount":"+0.88031405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$301D44C9-E925-4E66-B398-61B62EDEA970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca891000ace132e2a8fd09b3098318249039157","datavalue":{"value":{"entity-type":"item","numeric-id":3522081,"id":"Q3522081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b583b418736a5e30a02fd4bda5b40c9ae0c7ede4","datavalue":{"value":{"amount":"+0.8708801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$718CDDEC-C8C4-4185-B323-20B370D9DD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63c0ec450d9dde1fb68c6a903fa9d5350f891b7","datavalue":{"value":{"entity-type":"item","numeric-id":1031864,"id":"Q1031864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77a33e3abc2fdd0560a29301402d41bed3b8048","datavalue":{"value":{"amount":"+0.8674123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$F2557300-D76D-4415-A2B7-9F28D7B5719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d83121bf9732b6b52e5fbc80b9b11dcb5dd8905","datavalue":{"value":{"entity-type":"item","numeric-id":2849551,"id":"Q2849551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3aca49d0b79e2701db839faf0ed35a8e1ee7574","datavalue":{"value":{"amount":"+0.86718124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$1971DE0D-857A-484D-A716-86A7F796A4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f31e86f45c563be4a57d58b223ba48252e7aae","datavalue":{"value":{"entity-type":"item","numeric-id":1085970,"id":"Q1085970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a20ee85c9cd78d5bc77b0ec304a1e3b6d6e96d","datavalue":{"value":{"amount":"+0.8644758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$BA4E9BC0-C4BA-4A35-9EC1-B99BBDC963FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358d285ae9b1937d8e4f6b00914eb056783102f4","datavalue":{"value":{"entity-type":"item","numeric-id":4499240,"id":"Q4499240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b652f19253867a1ab01bcb7d902a7d05aaeebca9","datavalue":{"value":{"amount":"+0.86359596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558242$57AA7F75-B727-49DC-ACAE-C3B8F599F619","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558242"}}}}}