{"entities":{"Q5179364":{"pageid":7208936,"ns":120,"title":"Item:Q5179364","lastrevid":100597367,"modified":"2026-06-05T22:32:22Z","type":"item","id":"Q5179364","labels":{"en":{"language":"en","value":"Mechanised wire-wise verification of Handel-C synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6417340"}},"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":"Q5179364$0D480F08-8336-48AD-9FE5-87A96711EAC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ba1b613ec4875ec8abf23fbf3f80d1081802413","datavalue":{"value":{"text":"Mechanised Wire-wise Verification of Handel-C Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179364$A06C7000-1A33-41FA-9701-7EFC02B02A62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05146f03a4b6adf1d15d0b58e7dff56282b69923","datavalue":{"value":"1347.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$19832AF1-7088-4CC2-8C13-302EE3079048","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":"Q5179364$B0DCA5CC-33A7-44B4-8390-90522C0A24FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179364$F3817BA3-CBC2-4517-A0B1-74FB96ACDF19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$141C7CA8-5442-48B1-8E67-B7C3015CF720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$D2D9195E-2C6F-4C4D-B00D-844B1A8A48FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$0D7EBA24-8DB5-4E6C-9F26-7595AF10811D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$6757A7E8-CD18-4335-BA09-3EE0CC7AE630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$4E598908-5EC0-4CFD-8394-93F425ADBFE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fea53e472ed874bdb99781d6cfb5fb4c45ea196e","datavalue":{"value":"6417340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$0F4F961D-4308-4031-A91D-7E88AE740630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e04668c5ffa7ef830b5bef06d7d9a7b5c614c04","datavalue":{"value":"Handel-C synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179364$90DC2465-E892-4CB4-BFCF-34A2864617B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179364$DFF49C0E-A959-42B8-9877-8E3E97EA527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179364$A96F9795-4D69-49F0-A56F-0533C0255C81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54077b1904367429d569be0be97dd786280777c3","datavalue":{"value":{"entity-type":"item","numeric-id":592816,"id":"Q592816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$8744FC3D-329D-4173-8BA4-091174CCBDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$18910427-0955-42FD-B5B4-AFB2D7734F1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$B5858DD0-473B-41E3-86A6-6DD399264364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d4bdb73491e177f1a038997091051689ccb97ac","datavalue":{"value":{"entity-type":"item","numeric-id":23922,"id":"Q23922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$57B873EF-C2AF-4056-A0D5-649A0A364E9B","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":"Q5179364$06525C16-4CFB-42C2-91E9-4EA701F213EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8ce8d491e0b9222b0728ec0a182e7bd6959aeb7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179364$62ACD1D7-9337-4E59-8D49-D0E8C67BF6B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e15b1dd7794bcd6332c979ddba2acd7ee33d75","datavalue":{"value":"W2027849364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$F1098F2A-02C0-40DC-B682-80C550101A5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"978817eb6f805a5dfc484c7091de2b83f953edc1","datavalue":{"value":{"entity-type":"item","numeric-id":3526925,"id":"Q3526925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$FB52A2C3-FEBD-48F6-8168-916682B725EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$693C1194-97BC-4B76-B2AC-EE375BC3EF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179364$F73AC177-7FF2-4078-9C68-AE4D1F7844B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df000b2a593168cac81fd88bdb237e9b1b2e8b9e","datavalue":{"value":"10.1016/J.ENTCS.2009.05.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179364$A78918BF-0B86-4410-8950-CD2AE93C4C68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad7e13f5022cbe1e9848e6e7966fe10b1b15749","datavalue":{"value":{"entity-type":"item","numeric-id":436367,"id":"Q436367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5036542ccaadc247c81b4320a7841f310d14671d","datavalue":{"value":{"amount":"+0.9916204810142516","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":"Q5179364$FD3A0975-8219-4A60-AC8F-146C8B373153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbadd5b3c8ca410d0eaa625b7c911cd0c83d0367","datavalue":{"value":{"entity-type":"item","numeric-id":4942020,"id":"Q4942020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1fb9f0a5ee55bd1145c0fbdfc85c84a4092406","datavalue":{"value":{"amount":"+0.7945846915245056","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":"Q5179364$4BCD88C0-5CA4-4A7C-ADA9-195B67AE2D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf956b8b56f9371aa645fcd4dcde9a6e27d197","datavalue":{"value":{"entity-type":"item","numeric-id":4873998,"id":"Q4873998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1fb9f0a5ee55bd1145c0fbdfc85c84a4092406","datavalue":{"value":{"amount":"+0.7945846915245056","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":"Q5179364$4A550FD3-B05B-4D2A-BB73-D811F37BC7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f405c8fbbbcf8454b5857f04dda184c715ccb462","datavalue":{"value":{"entity-type":"item","numeric-id":1267038,"id":"Q1267038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5143a2bd92323f10e77e427a3f752310b0f9d632","datavalue":{"value":{"amount":"+0.7361064553260803","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":"Q5179364$4A81D5C3-8581-4AF6-BAAD-6D2C09022FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f009a307ce9755e2255ed29e035c2e77c0dff4e","datavalue":{"value":{"entity-type":"item","numeric-id":766178,"id":"Q766178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9928a41d4ec8666c098f3ced05d52c00337fa1c1","datavalue":{"value":{"amount":"+0.732133150100708","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":"Q5179364$C516D3FE-DB89-4E6F-ABC8-F1FDF6E805F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanised wire-wise verification of Handel-C synthesis (scientific article; zbMATH DE number 6417340)","badges":[]}}}}}