{"entities":{"Q1041296":{"pageid":1043144,"ns":120,"title":"Item:Q1041296","lastrevid":50839814,"modified":"2026-01-15T09:05:07Z","type":"item","id":"Q1041296","labels":{"en":{"language":"en","value":"Automating the addition of fault tolerance with discrete controller synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641454"}},"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":"Q1041296$B269E801-9007-4EC4-BE85-C3FA666D869E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aa0604a64319c1a173f40ceadbaf064f3ebbf4c","datavalue":{"value":{"text":"Automating the addition of fault tolerance with discrete controller synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041296$BFE73964-1195-40F4-A547-148E006B2AB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"689ad746828a7a29b1aafa54fdd0a13babbf6202","datavalue":{"value":"1186.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041296$2625687D-50E2-45DA-9CCB-3F06BEFD22C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e3a12a64611dab07d8aeb77abf4493285ad1ab","datavalue":{"value":{"entity-type":"item","numeric-id":236319,"id":"Q236319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$9C85395B-95A8-4D83-9C53-F64B33C151AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa2db029d3cf0f64610920c9dffd83b4038034e","datavalue":{"value":{"entity-type":"item","numeric-id":1041295,"id":"Q1041295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$B58BAD41-89A2-45C4-B437-8D2A27A7827B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$3868F742-94D7-4D33-A2D1-CEC845C3BB16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09edcb4ef610a5a9d29c1fe122117b2d598d7dc1","datavalue":{"value":{"time":"+2009-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041296$6290724C-89CB-40A4-9A8E-AFB471871CC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dde9e927a11613a7da165bd7154bc40c28dcbcfe","datavalue":{"value":"https://hal.inria.fr/hal-00748687/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041296$EC021592-9568-4471-A647-9718AAC224CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041296$71D2540F-3E7D-49E1-A7A6-563BB5BDAFA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eaea8f38032008e7039d0f4145460806f9b30f5","datavalue":{"value":"5641454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041296$6759E5F7-970A-4C1A-A8A7-214C58AAB296","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb65ae598a66f387eb25561e6e3e3a5e499c19e4","datavalue":{"value":"fault tolerant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041296$46505230-C5BC-4035-A7AF-CBD675CFA42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00133cf9922b0a21707928f43068607ad6f43e01","datavalue":{"value":"discrete controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041296$7C9DEDA1-CCED-42EC-BBE7-88565BBB8698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e46a09317f188bdaaf4f84296286a64102d31066","datavalue":{"value":"automatic fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041296$21D1FA07-97BB-4657-B48F-1133528EA0E2","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":"Q1041296$9EAAB1D2-1DB9-41DC-9FB4-BB72B3B8BD29","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":"Q1041296$D4EC4549-9EC9-4DEA-A8C3-319453968A9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf47de7ec2596b43969d5e49705cc31003f63fd3","datavalue":{"value":"W2089237214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041296$5513189E-ACFE-44EA-8A90-9EE87505A29F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a9378daf68166e67fe1a55e410ce2e9105a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":4417893,"id":"Q4417893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$9E34A4C2-7D1A-443A-84FF-3845A9E06027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40b375c01a9c4ec0f890009df77131b36b96152","datavalue":{"value":{"entity-type":"item","numeric-id":698466,"id":"Q698466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$E2450126-981D-4FD2-8833-33465BD6A85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$9E4354E8-296A-4BB2-8831-41757E5B758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719a676435e9a57f74efcdc940be10ed3369b0d7","datavalue":{"value":{"entity-type":"item","numeric-id":2730080,"id":"Q2730080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$6FB2696C-3CE4-4C36-AAAA-E3F3B9F24F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$6256CFED-097D-4B39-84CA-C552BCDA51DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$5967F9B3-89F8-43FE-85BD-6F3E70FE2675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$B30466E7-34F0-40B2-A7D7-FE4BBEB93D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$17A9E7AD-63EC-42F0-B88A-113416B38E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$0939D319-85C3-4E7A-BB58-7AA6E6644339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a11c054d3df6fbeeeaa015764a3da98992fc5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1424999,"id":"Q1424999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$083D50E4-8AC1-4D28-8CC5-045C27F19AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403627710eac64b8e79bd219756099ed0b4be47c","datavalue":{"value":{"entity-type":"item","numeric-id":4698793,"id":"Q4698793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$BDFD653B-B689-4C90-963B-702C4112E5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c60cd2a547f5bc571d8b2f3dd4c64ca607fbca","datavalue":{"value":{"entity-type":"item","numeric-id":3942378,"id":"Q3942378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$272D8070-9CA6-47DE-B38E-98F4AC6E10B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$B8849FD7-77BB-45F9-AED7-48F453DCF70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$D9D79DF0-1559-468A-8420-35E8BB9D1EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8762429455d88d459876b47afb6551be52bbc56f","datavalue":{"value":{"entity-type":"item","numeric-id":1870864,"id":"Q1870864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$7DB8F890-5B36-49E6-A82E-4AB2CFC81D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7e484163cd016fd54496fc4cf2ac68e7a0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":4507466,"id":"Q4507466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$930AF03C-5AB6-499A-9312-E55E77159CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef31a34651ac5825f6161d057d225e2472fad742","datavalue":{"value":{"entity-type":"item","numeric-id":1592441,"id":"Q1592441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$049B6C10-8FAB-4ED3-B028-789649749086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5840c53d031bc7e0006e6c0258cfa94f406ae07","datavalue":{"value":{"entity-type":"item","numeric-id":1858865,"id":"Q1858865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$10757097-E82C-4532-BAC2-E366CD251FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$5CE5C87F-BBC7-4BE7-9DC5-0F5DB8D60584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$B48DC1DF-4460-4BB8-BC15-65CFA59E748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a37e9c7e369f220903238ddadd6dceb0a269279","datavalue":{"value":{"entity-type":"item","numeric-id":1330425,"id":"Q1330425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$2E34228D-C033-4F7B-A05D-A2D05AC21024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa67ab27b8fa6893bc147d3ff72b4e6a8e9e545","datavalue":{"value":{"entity-type":"item","numeric-id":4388922,"id":"Q4388922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$3EB3D883-12D7-420F-A934-C27842D5527A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6484148434bb6bf09207722b95c9d690bb339110","datavalue":{"value":{"entity-type":"item","numeric-id":5273868,"id":"Q5273868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$455DB055-58E7-4D79-BAD5-4223421996F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a45415c61f5a2543c1c923c13cbf76075f8e90","datavalue":{"value":{"entity-type":"item","numeric-id":1123861,"id":"Q1123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041296$73E4A481-FC57-4DC8-8C4B-4A43B4844A53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b17374be9ce377d7836200c5b648e72420bfb29","datavalue":{"value":"10.1007/S10703-009-0084-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041296$DA462069-E2F4-4AD5-89E3-4EFC9306590C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ca7f74c671f327390e0b8942a377a5d184e8e2","datavalue":{"value":{"entity-type":"item","numeric-id":555302,"id":"Q555302"},"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":"Q1041296$5094515F-93B1-422D-BDEC-B088B655273F","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":"8117c4c17b23bdd5365c1786d82c61c407a737d3","datavalue":{"value":{"amount":"+0.7435384392738342","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":"Q1041296$E4728795-2D4C-4FD1-85BD-34F53635788A","rank":"normal"},{"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":"dab8dd0a7f40cb740bd7f4d4adda0efe944efc8e","datavalue":{"value":{"amount":"+0.7430249452590942","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":"Q1041296$D859E891-E623-4951-A546-0A0C525A8104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706132c4f847fe146974b37aff86c988ea9b6fab","datavalue":{"value":{"entity-type":"item","numeric-id":5458792,"id":"Q5458792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5430fc8292000658ff79902a7a7c00dd4e04602d","datavalue":{"value":{"amount":"+0.7391248941421509","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":"Q1041296$C2F0DA90-07CF-441D-B859-ACAD15E62E55","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":"e338126f325356ba141087b0130fb9d7f837a6ca","datavalue":{"value":{"amount":"+0.732610285282135","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":"Q1041296$1D70CEC0-8DEB-4CF5-8915-BC06863EE15B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1041296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1041296"}}}}}