{"entities":{"Q5170186":{"pageid":7199758,"ns":120,"title":"Item:Q5170186","lastrevid":52046114,"modified":"2026-01-20T20:06:36Z","type":"item","id":"Q5170186","labels":{"en":{"language":"en","value":"Weakest invariant generation for automated addition of fault-tolerance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319545"}},"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":"Q5170186$4CC862F1-C642-4ABF-B449-B77488D13B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a77db665092cd49a12ec8f4807f147c37fc4a2ea","datavalue":{"value":{"text":"Weakest Invariant Generation for Automated Addition of Fault-Tolerance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170186$6B502CAE-05D8-4D9E-A2DC-88967FBE9029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04049fad4192a89526e7c92c9d03882379c02317","datavalue":{"value":"1294.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170186$2A29FD56-DC44-47CF-A1D8-9095FECA0A2E","rank":"normal"}],"P16":[{"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":"Q5170186$BA3EF6E8-44FB-47A2-A5E5-E40113C688F0","rank":"normal"},{"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":"Q5170186$715E05A0-0262-431A-BA8F-08EB0EBB407F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$28F50251-A294-4EDF-B7E8-0EEAE6EF30C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-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":"Q5170186$089CE8DB-69C1-43E4-BFFC-8DDABCA45D5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170186$C6C42E49-23AF-4520-83A3-2708B2CBF10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170186$8A42E28E-F805-4D7E-972C-5DA064D24709","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f891a6c04ea3c22879618d3de5ecda0be06c9b9","datavalue":{"value":"6319545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170186$5E4B6F8B-2177-4D58-B96E-AED34F05BEA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170186$418746C4-4067-4102-B673-E718AC7C47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170186$2107DF14-BE47-43F8-BDCC-F9A740971429","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$4EA024FB-8098-48ED-8210-00300A3D2EB8","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":"Q5170186$D93F44F2-F74A-4DEC-AFFC-598A80FC292D","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":"Q5170186$EF255E82-8102-4799-AB7E-5E32AEB690F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e41a5c2e63abf812490677362466120833e4f26","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170186$B4FC90EB-26CC-4F1F-BA05-D0499893DD76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22df0d5c0c538ab86cff064d22d4f46ea285ac45","datavalue":{"value":"W2089541995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170186$188D5F7E-8E84-460D-98A4-90DCC173EFA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8648065c5304ef1ccb162c9107cef4a4c44591f7","datavalue":{"value":{"entity-type":"item","numeric-id":1391929,"id":"Q1391929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$B85E5526-DC26-4B67-A94A-016A3B7F08A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$6F1F23DB-7302-4802-8AFA-F91383C2BF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$0D3CDD88-BF20-48E1-882C-75E27150E904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac40e2de3bb2389beb6586a5816072e0250834f","datavalue":{"value":{"entity-type":"item","numeric-id":2766635,"id":"Q2766635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$1FB81CAA-D91F-4C65-B014-04FC5EFCB8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$9A427296-BFAF-4FA9-931A-E41EF0A27DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170186$76A427D0-8459-4EDB-A4AB-E7D175FEFCC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac6b9d9bde1b647ccae0708a24aa1151cf50781","datavalue":{"value":"10.1016/J.ENTCS.2009.12.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170186$72AD5E8B-D15F-4DCC-B986-63751D3F3161","rank":"normal"}],"P1643":[{"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":"6f5ad515cf362a6dc2f3162361baac9f15253175","datavalue":{"value":{"amount":"+0.7604624032974243","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":"Q5170186$CE027E48-CE27-4BA8-B99C-E24EBC8F4F83","rank":"normal"},{"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":"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":"Q5170186$E992A0D2-416F-4B00-BB53-8A579F07059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d29a5c2d083b74bc19edbd6b2c04b93cb82b32d","datavalue":{"value":{"entity-type":"item","numeric-id":5464746,"id":"Q5464746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14eff8a301ddb9723e20cbc7702fd89fcad8049","datavalue":{"value":{"amount":"+0.7225155830383301","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":"Q5170186$E0D4F140-26A0-4B61-892E-DB8E7D578983","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":"7c893a33a453821f415852c10c54105ab488b430","datavalue":{"value":{"amount":"+0.7145944833755493","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":"Q5170186$1E2B85DB-23B6-4195-BA19-CD8E376271EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20f43d2f619d8890585786278725f9ba3655ade","datavalue":{"value":{"entity-type":"item","numeric-id":1733388,"id":"Q1733388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64275b35ba63e17fe72cadf8181e902333d2b9be","datavalue":{"value":{"amount":"+0.708370566368103","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":"Q5170186$7D9F88A8-BCF2-4FE7-9D15-2B19D4C3485B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170186"}}}}}