{"entities":{"Q4551644":{"pageid":6581236,"ns":120,"title":"Item:Q4551644","lastrevid":97196927,"modified":"2026-06-05T13:33:55Z","type":"item","id":"Q4551644","labels":{"en":{"language":"en","value":"Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1791712"}},"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":"Q4551644$521D98D5-8588-498D-8DE6-4BE5940C1146","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50cda07b50aaaa68b0a6604b9700a4600e76dab7","datavalue":{"value":{"text":"Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4551644$A1AE3DBE-07CF-418A-9E80-D65DA95B0850","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c67c6219bdbba10d9ae87516f301c9e3efa025b","datavalue":{"value":"1002.68817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4551644$87157FB0-0AD9-4B76-8BC6-A33B7558993C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56e992a1ebab66e67a2ab1e823ea360dfebc6857","datavalue":{"value":{"entity-type":"item","numeric-id":334925,"id":"Q334925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4551644$D3469D26-F811-44E3-87E0-A9EE490BF306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c74ffa709f5f96994e2f4d1b6d52227eb575f067","datavalue":{"value":{"entity-type":"item","numeric-id":2689065,"id":"Q2689065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4551644$7CF35CEE-19F1-4443-993C-09B60F70DDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6066e5a464cffb9fe1d22ea1ff348f66684ae00","datavalue":{"value":{"entity-type":"item","numeric-id":2689064,"id":"Q2689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4551644$D6798834-56AB-401D-9450-76A093121652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c69a361db1e65d944f68cb147b1fa62f6ef7c5e5","datavalue":{"value":{"entity-type":"item","numeric-id":1129676,"id":"Q1129676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4551644$5E40FBEC-89E1-494C-989D-992BBDAB5084","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4551644$B8A8BF56-A51C-4FFE-B4A1-936AF46182D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee4012f63d8c0386b5e585353e232cad4e813fb5","datavalue":{"value":{"time":"+2002-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4551644$C3491979-592A-4841-9C08-88E72BE56D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4551644$A6AE8911-AA7F-400A-AA57-221211B638EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4551644$4494CFEC-1BCE-4195-982D-90BA94EDB2ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45d18717a97149357c5e4a56d2d78ce61042645d","datavalue":{"value":"1791712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4551644$65DE8B33-9152-42AB-B1F5-5A80A32E00FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd04646ea64802fe9fb23832d87500fa62bbebe","datavalue":{"value":"high assurance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4551644$7BE54541-799E-4CF9-A65D-0E713F0FC593","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":"Q4551644$ACD5307B-D936-437F-BC8C-109890A765AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecee391100de1f9062f5741eac3cabea3f2ba03a","datavalue":{"value":"https://doi.org/10.1093/comjnl/44.6.544","type":"string"},"datatype":"url"},"type":"statement","id":"Q4551644$C8661B44-4FE4-4F78-AD12-FA9B1A669F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f13a89a5ff4c59321b1728df3e9cf44b175c81f","datavalue":{"value":"W2091989787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4551644$9CDE75C2-45B5-4158-B631-55026D47B59F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51d2102b55a1c63594894c7dc317261a067fb974","datavalue":{"value":"10.1093/COMJNL/44.6.544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4551644$E7BB1E4C-6FBC-42D6-9640-0779ED27C914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e701a5a142d22630ceebe8900c91195eb80c39f","datavalue":{"value":{"entity-type":"item","numeric-id":3785717,"id":"Q3785717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bf889f6fa30e1e10c40575a29c3ea14c8cfac0","datavalue":{"value":{"amount":"+0.7186568975448608","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":"Q4551644$A3DE0FD9-D9DF-47E1-B22B-BACD1F2BAB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fd50f3b4d1c339ea13430cb2d1b471527b29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4306940,"id":"Q4306940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68793a387dd77e69fbd38258543cb244c21f78b","datavalue":{"value":{"amount":"+0.7126304507255554","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":"Q4551644$C2CE93DC-2C47-4952-BCF7-AFE541859BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74127bf83edf6eb08b61ec6b80ea65b0ea064c4d","datavalue":{"value":{"entity-type":"item","numeric-id":1323384,"id":"Q1323384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7edd421a1282570e0ae2d4c1ad9cec06c2a2246","datavalue":{"value":{"amount":"+0.705864667892456","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":"Q4551644$055519B6-B223-49F4-B695-E601BE9D1FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190fc3ab0a11ff930648b2a4bf333e272b369aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3997967,"id":"Q3997967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f29e3c5a31b11c04aadc64e5672dea5641b6f2c","datavalue":{"value":{"amount":"+0.7044240236282349","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":"Q4551644$1424B401-2169-41D3-AB92-62CAF8D6D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb5e58024881979f7b53491ddacbc374e7188c0","datavalue":{"value":{"entity-type":"item","numeric-id":5757006,"id":"Q5757006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444875c7b9b5969a5e5fbf5f1ca94dc2932a08aa","datavalue":{"value":{"amount":"+0.699632465839386","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":"Q4551644$46FA3506-D4B6-4559-8025-FCAD8E2E1F0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications","badges":[]}}}}}