{"entities":{"Q5166687":{"pageid":7196259,"ns":120,"title":"Item:Q5166687","lastrevid":52037120,"modified":"2026-01-20T19:39:13Z","type":"item","id":"Q5166687","labels":{"en":{"language":"en","value":"Synthesizing masking fault-tolerant systems from deontic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314153"}},"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":"Q5166687$841EAA85-F3E4-46FA-9FAE-AE2CEC4690D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b16fbf2effdc72f282ed8bfc395a729cc0c0a415","datavalue":{"value":{"text":"Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166687$2BF38B26-2092-4935-9B20-13CD6BDA6AC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e006ad82c76cb56e594a674621cfe7d57118c4f2","datavalue":{"value":"1410.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166687$76DE0951-5A75-4352-A022-393BEFE17A59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19adc3fc32eb4e73c450e792c9daf339ae94026d","datavalue":{"value":"10.1007/978-3-319-02444-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166687$AA5E5554-AD36-4461-A13A-CE0B1F1AF29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48f905ed0f4ec80785865ecbe89af4c52267121d","datavalue":{"value":{"entity-type":"item","numeric-id":1654564,"id":"Q1654564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166687$4B34AA2C-3AF2-47C1-A14A-FBAE0EC7BEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166687$7FA6FD70-D938-4591-B465-E6B94F23061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166687$2DA639BD-1C03-498A-A7D7-4E609C5E7177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e2ff6960fc1a368be50c0bbe7a73042d86b6f9","datavalue":{"value":{"entity-type":"item","numeric-id":903493,"id":"Q903493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166687$8AA767F7-CEBE-4E08-8038-CACDE844266A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166687$1F31D2EB-B62D-41B7-BDE1-508208480AB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-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":"Q5166687$5783A444-C3AC-4F1E-B363-E409AD99CA64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166687$F0F8647A-C3CB-4B9B-8EF1-783D1A2B8C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166687$B088D8A4-4517-42A3-AB37-4A13519EF1E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9831608f1370ca99663dc0b0158ea0e85cd41918","datavalue":{"value":"6314153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166687$B77DD914-E06C-421B-852B-3C9940C66531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166687$B347254A-6612-42F6-8EFF-E06223EFCE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166687$D1E6EE62-0201-479E-926D-7F1638D199C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166687$1CD41D1A-72DD-406C-AF0E-31099F92323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166687$1280ED1D-054B-46EC-A5AF-00468DD6A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7467f6ef1545fc1d9bfc78f50253441b6eddc707","datavalue":{"value":"deontic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166687$C4BCB67C-9F8D-4DA2-97A4-C32B94CB02EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccae2af0d0131fa7ebbc64962313914b8a21499","datavalue":{"value":"correctness by construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166687$47541D49-CDF4-4145-BDF5-79F912BADD6E","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":"Q5166687$A7DEC4EB-407A-4019-9066-4144782A1271","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fbb3b6d1a700759e015a16b8b621b184ce3c908","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166687$AEFAE94A-D09D-4472-AEC6-ADCDF34A5979","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3a515c211a642abda40a9e4426172f2a98dc995","datavalue":{"value":"W64759968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166687$3393E292-1977-4770-8055-0E5493B7BDC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b95f69560dc81eaf6e323e898ecd802495a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":3648709,"id":"Q3648709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2466e9b10ec0d1a1812c9f352cdf798ad4ae1d3","datavalue":{"value":{"amount":"+0.7900549173355103","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":"Q5166687$946FC102-2EFA-4ADF-8D66-A6ACAC737651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c630436ac7f3b35957d09d38f4aaedda69cb94","datavalue":{"value":{"entity-type":"item","numeric-id":3095236,"id":"Q3095236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412669ab37ee47454a718f27b7a612087e5e3a14","datavalue":{"value":{"amount":"+0.7767934203147888","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":"Q5166687$FAA4B407-36B3-467C-B4B3-631DF266B55F","rank":"normal"},{"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":"154edbb85eff19fcb4ada01043c369950317d836","datavalue":{"value":{"amount":"+0.7643058896064758","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":"Q5166687$71944BF2-5139-4641-B15B-0C20E327D446","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":"7504d22b97bfebf465bc572db12dbf34c01118a7","datavalue":{"value":{"amount":"+0.7282270789146423","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":"Q5166687$8FB8ACB3-1561-46DE-AEFC-A041DDB359EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0039d6ede212906ba686a1b4775e727d89797","datavalue":{"value":{"entity-type":"item","numeric-id":3075475,"id":"Q3075475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a7fef96744411203992787379d4eb0aa7bb0e0","datavalue":{"value":{"amount":"+0.7216518521308899","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":"Q5166687$87E9647E-111F-455E-B1CB-302361234FE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166687"}}}}}