{"entities":{"Q555302":{"pageid":557069,"ns":120,"title":"Item:Q555302","lastrevid":51300980,"modified":"2026-01-17T16:21:35Z","type":"item","id":"Q555302","labels":{"en":{"language":"en","value":"Automated constraint-based addition of nonmasking and stabilizing fault-tolerance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5931169"}},"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":"Q555302$6BD1A13A-55EC-41F9-A8B2-92B1004BC3A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a036b3906de37610ce62d939a3d1b1119b029c3","datavalue":{"value":{"text":"Automated constraint-based addition of nonmasking and stabilizing fault-tolerance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555302$1B5B5A50-7CF2-480E-841B-466B527C24F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05385e7dbae64c9174d8c95c09514b635a942d65","datavalue":{"value":"1217.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555302$6475E674-CFDE-40E1-8BE4-1E624D386873","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$6A8A2619-5F33-4309-912D-41BD6A1D70D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5df4dafb857e4cd4bb21e9474aea0b1df6d758d6","datavalue":{"value":{"time":"+2011-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555302$6C5ACD17-F51B-4234-B1AF-740277DB5960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555302$9DF7DFFB-1A43-4ED1-9F7B-30A4E60F9024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dfdd6ca1c26b398c37f6aa27a1b1337203a65bd","datavalue":{"value":"5931169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555302$2E693A3D-ED2F-41F5-83C9-FDB6A649FC0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0c36de8b7823d8e21414435c6747e5775e9467","datavalue":{"value":"nonmasking fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q555302$2B906AD8-A927-4B55-AE0F-C4BFA5844AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad61b946c4ce6b7a43fb8f8ee86dccadec2404","datavalue":{"value":"stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q555302$FEE6ED57-6BBF-41B6-AAE3-446CF6CBED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q555302$AE1B2C6C-8E18-4F42-815B-93093E429399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"539d259de3050f1c8ae6ca6a92da83f12a6165b6","datavalue":{"value":"multi-core algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q555302$D8CF1D3B-3EAC-47E6-BC16-6A5B2F9D6894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354c1fd804999f86e0101fe11e7b19e7f70e5f2","datavalue":{"value":"distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q555302$7B7A680C-8863-4E65-A0D1-54CDE6851EB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a9e0b9cf178a869f5b6aeaf228d3e9abad1645e","datavalue":{"value":{"entity-type":"item","numeric-id":1938356,"id":"Q1938356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$298069C0-4B6A-4228-8BF9-DD5B584F159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8deba388c1078de45653e1953b9d462190888a39","datavalue":{"value":{"entity-type":"item","numeric-id":287218,"id":"Q287218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$EB4FDDE0-8AD5-42B1-88CE-90BB7BB835B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63bf99ed325320df0d8cf50b18f52a3b8224b17a","datavalue":{"value":{"entity-type":"item","numeric-id":20209,"id":"Q20209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$D361D0E3-75FB-47CF-A2C9-4AADE93BA6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7326620be7b9d0e1c20f87774fe6360411fc41c1","datavalue":{"value":{"entity-type":"item","numeric-id":20895,"id":"Q20895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$0470A691-097C-4BA7-8CAF-754F66389E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$D0CFE10D-BC6C-4341-B393-7504DC1A0F11","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":"Q555302$0016CBA9-A0A1-4853-8250-2F7E9056F36A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e09ba119db72bea49fc585f1ddd777e8ed4eeb9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q555302$B3810A98-7EB9-4FFB-BABB-C19542FA1BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b64c3eac128d0163a23c77d0e9b4a1135d85449d","datavalue":{"value":"W2000676183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555302$F97E1AC5-BB9B-4030-88DB-A71C6ABE63ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$88B58F2E-22D7-4947-87B6-B769C5821CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e230b3728d10ba582373bbcad97e70c9be621d32","datavalue":{"value":{"entity-type":"item","numeric-id":2782251,"id":"Q2782251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$78308A56-5322-435A-A0AC-61EF4A1CEB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce0c192ec1dd4f65409f80a054f7ef513eb1a4a","datavalue":{"value":{"entity-type":"item","numeric-id":5705922,"id":"Q5705922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$8591A287-62A1-4246-A5F8-59A7700B8CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7a8e57f4ab65a0cf9bc68993346bf2f09d5433","datavalue":{"value":{"entity-type":"item","numeric-id":1310564,"id":"Q1310564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$AB1710D8-6BDC-4409-91E5-76FB9B93C5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fd548a5841a147444b62df421c484da13f14ec","datavalue":{"value":{"entity-type":"item","numeric-id":2431764,"id":"Q2431764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$9EC618EF-BC05-4B51-8F16-4BD69147D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14872bb46604258d207ee0277c897b6e7af8dad","datavalue":{"value":{"entity-type":"item","numeric-id":5493223,"id":"Q5493223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555302$11AC2D5E-633C-41F2-83A3-65002DAC1D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78c6ec1341716e057e44804153cbc28e30f95824","datavalue":{"value":"10.1016/J.TCS.2011.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555302$9DAECC5E-63D0-484A-BC86-929780A6DCC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e43a7d46e7f41a4771050849d96be1651fb6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1938357,"id":"Q1938357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b7cd31cd73c444fb84f5529f738f7388b630e4","datavalue":{"value":{"amount":"+0.8096009492874146","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":"Q555302$CF38B0DE-5B96-445A-A3CC-EB4835CEB365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9f0d92821a979f2878d2a5f39b94977c77e73e","datavalue":{"value":{"entity-type":"item","numeric-id":2766635,"id":"Q2766635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b815279dbba5df210c9a6dbac16fe4f9788206","datavalue":{"value":{"amount":"+0.7777178287506104","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":"Q555302$4205C0D8-BFD0-44B4-A371-129ADA5E2DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b88715770eec576e0f61503471aec42582d373","datavalue":{"value":{"entity-type":"item","numeric-id":903518,"id":"Q903518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97efcc5b3f0cbba7e9a6ffb1a9c6a5e18973d58a","datavalue":{"value":{"amount":"+0.7555487155914307","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":"Q555302$C0EC7987-9866-4475-9FC0-0FB9AEF44B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e07352e1ade3510c03cce432b448dd74a998140","datavalue":{"value":{"entity-type":"item","numeric-id":1041296,"id":"Q1041296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7f0d11e2750fdea785cf7ec03eea00c104f4cd","datavalue":{"value":{"amount":"+0.7527110576629639","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":"Q555302$F1D6467D-4ACE-474E-B142-34D4D999FD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6711c6822dc85e03007a13703991bf9c73b69a","datavalue":{"value":{"entity-type":"item","numeric-id":5170186,"id":"Q5170186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6d9d8cf0e7f8e322b2979306ea7f8e8b82e544","datavalue":{"value":{"amount":"+0.7477086186408997","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":"Q555302$D0BD65C9-0153-43BE-BFB4-EDC8486D04C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:555302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:555302"}}}}}