{"entities":{"Q1203129":{"pageid":1213878,"ns":120,"title":"Item:Q1203129","lastrevid":66473214,"modified":"2026-04-12T10:18:16Z","type":"item","id":"Q1203129","labels":{"en":{"language":"en","value":"Machine checked proofs of the design of a fault-tolerant circuit"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 110533"}},"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":"Q1203129$7C14A5A5-4952-4F16-AED1-B911633462A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f53b1a125fc2d4d1d2190afbdb4321ec60206e98","datavalue":{"value":{"text":"Machine checked proofs of the design of a fault-tolerant circuit","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203129$DCA9570B-DBCB-4B08-AA26-FD189D2599C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7af3819e81c226950c80d00a58490085f92d1583","datavalue":{"value":"0760.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203129$8DCB22A3-10B8-41B1-B859-39E0ABD97D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c72e8c7132c19287d6f9764e2882d278d9df2564","datavalue":{"value":"10.1007/BF03180571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203129$074EA0F7-1613-498A-BBF3-A158C1768239","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db17786bc75f2c91301e0ccc429f5eb4d4cccf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1203127,"id":"Q1203127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$FA4B2E37-381A-4F0B-8F7F-984BE822CFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76d73521294abc9bbb570387c9e6f7a5f373cddc","datavalue":{"value":{"entity-type":"item","numeric-id":1203128,"id":"Q1203128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$2CC54758-580C-4E31-9EDB-9C5544B009DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$A134E7F2-3201-4857-B7DD-97C4A7CC81D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6804e778601fe2c7ca2ec610584daaeab1b8f8c8","datavalue":{"value":{"time":"+1993-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203129$675BD8C5-4F8E-468B-AF03-829923751D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203129$D3E3B384-5592-409B-8350-F00046199415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203129$444C1629-A346-47E4-966B-E8FB8D29BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203129$16878DE5-CAA4-45A5-9A01-376F93EBD0B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e63b302f1cbf161bdd30dcfa5471887b2cef14e6","datavalue":{"value":"110533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203129$E49B6101-0554-497C-819C-3955F202C3A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951491542ec86a56f91029e65c0118b3d2eaf0e5","datavalue":{"value":"machine checked proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203129$2A6F993B-0304-4799-8C42-37FE9347F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d396758ec236f5fd198ade6e0de63a1df8dfee","datavalue":{"value":"fault-tolerant circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203129$5429A609-F5E1-4F5F-9CBC-4680275D54B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e25f75d83b9413f4cb3c3ca9164633a803cf55","datavalue":{"value":"implementation of the oral messages algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203129$98C06C21-DE64-4EA2-B997-5CCE7C369074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203129$E4E9870D-E397-41BF-A17A-D7D95CAEB7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03df4cf2ac74cf101dd3e49060dc4eebcedcd7e","datavalue":{"value":"fault-tolerant device","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203129$BEB3444B-0001-48EA-8618-AD7EBC367F6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$B0B727C0-DEFB-4218-BD39-D395EFB941C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$356050DE-6AD4-4BEB-8113-AFC1F8DBB94F","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":"Q1203129$5BB36609-C3A6-47E4-9EBE-E66EF9F430A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$6FCFEF9F-8662-4FE6-8D9C-19EA26A30230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$7384A143-F4D6-467B-B092-28D0AA7B388C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$C1126712-A620-4BC8-BF6C-F5602A7B1795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$B3F2A33F-1071-4789-AA8F-70A46831F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$D23D2C49-FEC3-428F-9764-6281D977B189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358313e7682912930a4d2e3508a5704de0dffe0c","datavalue":{"value":{"entity-type":"item","numeric-id":3766833,"id":"Q3766833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$6B020940-40AE-4BC4-AE94-10B529CB5E2F","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":"Q1203129$EF3C338B-CED8-451F-8F82-E2ACBC3DB205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203129$E59DC4EE-35F7-42E9-8729-518E45E5D657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf1213574183c6766faa9d8a7838a13633bcd5f","datavalue":{"value":{"amount":"+0.7701357007026672","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":"Q1203129$F56E5E26-651E-4A18-AF07-67FE085EBFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32044f3fb51ddb3f58f94d35bdbb3753cc44f9ad","datavalue":{"value":{"entity-type":"item","numeric-id":5464653,"id":"Q5464653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39ed880a2f7f8ef391717c7d8de195d2a458577","datavalue":{"value":{"amount":"+0.7612160444259644","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":"Q1203129$03DB270F-815A-425E-9602-040E179F8370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70af52d3f63897dc7577fdb57c747815034fea93","datavalue":{"value":{"entity-type":"item","numeric-id":5754538,"id":"Q5754538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c9a8509a882e4cd595ac6364af5bcbfa6620e1","datavalue":{"value":{"amount":"+0.7552022337913513","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":"Q1203129$312A4948-4489-4E62-9F26-C09DF03E356C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840413a97a81c5aae3b4b290eef25c08019e7976","datavalue":{"value":{"entity-type":"item","numeric-id":2730080,"id":"Q2730080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e90772bf410e44d3829e50e947aadf349e67eb","datavalue":{"value":{"amount":"+0.7523181438446045","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":"Q1203129$2FC7243A-A831-41A2-BC9E-51CA28EA7B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25da7d976585c32c93f898b4e60e55c41a593ce6","datavalue":{"value":{"amount":"+0.7411243915557861","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":"Q1203129$F2BFE0B9-A220-47EB-A77E-EC916B8C8717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Machine checked proofs of the design of a fault-tolerant circuit","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Machine_checked_proofs_of_the_design_of_a_fault-tolerant_circuit"}}}}}