{"entities":{"Q436367":{"pageid":438134,"ns":120,"title":"Item:Q436367","lastrevid":61814757,"modified":"2026-04-11T01:51:26Z","type":"item","id":"Q436367","labels":{"en":{"language":"en","value":"Mechanised wire-wise verification of Handel-C synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059135"}},"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":"Q436367$77DE2AD7-B9DD-455E-9E91-5BE8BD377243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f2ed8fcda65a9cbca76807e2081284f663679d4","datavalue":{"value":{"text":"Mechanised wire-wise verification of Handel-C synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436367$88FD43C5-819F-4C9B-AE03-84E84F8EE2E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b2da95e59c8117a45a321e7548ce93d67cdb2aa","datavalue":{"value":"1243.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$01A34201-6057-40CA-9F91-6E0752BD28BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$89DEF2F3-39F1-4D61-B785-2AECFD5D5529","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436367$9126DEFE-94F6-4864-9B6D-C66AF54480C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$C03E4922-2364-4CC6-B4DD-2767D4461F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$81B9C0E8-40E0-4181-A6D7-2668A9C49452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$9EFC575C-496D-450D-89F5-2E3C4502FB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$4676E83D-A33D-42A8-B13F-719BDF60B905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5c780461f7f62aa839c1f5d8141ca3a502046ae","datavalue":{"value":"6059135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$251BD8DB-A060-4A5A-874F-8CBE60EFF768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e04668c5ffa7ef830b5bef06d7d9a7b5c614c04","datavalue":{"value":"Handel-C synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q436367$81528894-04AA-4554-8B4F-CF1E9B60821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q436367$4A5C816D-46F4-46E8-ACEB-18BB7EEABDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q436367$6384FACF-62F5-4AEB-8DB7-4087A7F186CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436367$EFB8EFC2-881B-4464-BE40-8AEC237E8A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q436367$4D927663-1C15-4DA1-AF08-248E3713493B","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":"Q436367$B9BC5C38-6343-4889-9369-A1091DA6E9D2","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":"Q436367$0CE43FCA-1FEA-42E3-AC01-5C25C9B998A5","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":"Q436367$D1B56EB8-2B74-4219-B7DB-F3C35D6CE2E4","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":"Q436367$622323C0-0EA7-46FB-8746-56E814059E9B","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":"Q436367$3AC61A97-4FBC-4EFF-8F50-922E2DB5C020","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bb0c63593482dca79ff62aab9e527575c19e695","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.02.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q436367$B6FC234A-20EB-42A5-BEA4-409EC52064C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9066f1ceeb55ba225d862bea06cd43b00528792a","datavalue":{"value":"W2016401360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$1FD2CBF3-2A9E-4F79-ACB9-8F2C53381646","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57eba23e696f30adb40d28716bce27bc27cbd9","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$03FDC152-1734-4920-B8DD-11C41F96B9CB","rank":"normal"},{"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":"Q436367$B9C35B2E-E575-4FB4-B72D-63738A9290BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$DC464F2B-0788-423C-AA24-FD402B5EAC23","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":"Q436367$41ADB975-34BC-4D97-A87D-63496E51D6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$DD3C3049-5DB7-412D-9647-9B6F757A6C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$3C6F8F00-5D5A-477B-BB2C-2198A98A66F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea781952ee29ddc900e481ff0b4c20e5c00fd6f","datavalue":{"value":{"entity-type":"item","numeric-id":3992625,"id":"Q3992625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$185C6A21-67E9-4D52-AA29-506352094DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc124dacefb987c3ab55cc19a55a89314cbe8faf","datavalue":{"value":{"entity-type":"item","numeric-id":3680250,"id":"Q3680250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$4559EA38-78C6-4B09-AC0C-27C73E03D22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74789688ac51b7ade23d361083007c0a41b1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5966707,"id":"Q5966707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$A112C6D1-DBBF-4D31-9A03-44C698FECD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7834aa6746dedeac38a3aafa9eef90724ff86","datavalue":{"value":{"entity-type":"item","numeric-id":3585027,"id":"Q3585027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$AA3F9F69-92E1-4986-8E01-C510BA9CE86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2f57a2875097546d96b10a1fa53cb8afb15585","datavalue":{"value":{"entity-type":"item","numeric-id":5179364,"id":"Q5179364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436367$D3E3B565-BBD9-4934-883B-CCCF2B8330BF","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":"Q436367$A17054D2-FBC5-4D7C-AA65-27B0312AEF3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20a26bada999cea2537bbea6148a1ed4a90be35f","datavalue":{"value":"10.1016/J.SCICO.2010.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436367$1D44C1BE-CCFD-4EC2-BE7A-00980BF037F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b35d99fd91b26ccbf1e66ba1813042da47e53ac","datavalue":{"value":{"entity-type":"item","numeric-id":5179364,"id":"Q5179364"},"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":"Q436367$B2260F16-FA2F-4910-8F27-DFBE28C10914","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":"1f845d9842d6a7c04e14ed060ba69f147613f806","datavalue":{"value":{"amount":"+0.7937427759170532","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":"Q436367$A37D0C49-C307-4577-853A-50D4FAC21A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ea0da66b44dec5f9a2e759ecd3bf5888881eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f845d9842d6a7c04e14ed060ba69f147613f806","datavalue":{"value":{"amount":"+0.7937427759170532","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":"Q436367$2D5E6D64-939B-4122-9456-797910A2EF43","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":"083c6f6141e914e839de47a1be4f66c852607eed","datavalue":{"value":{"amount":"+0.7407855987548828","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":"Q436367$C26C2D16-BDA4-4D1F-9569-E8A1776A00BF","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":"51a02a3329709e0b683dcb45dfd838516abbd40b","datavalue":{"value":{"amount":"+0.738420307636261","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":"Q436367$CBE336F7-648C-492F-8961-E455C02B8B99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanised wire-wise verification of Handel-C synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanised_wire-wise_verification_of_Handel-C_synthesis"}}}}}