{"entities":{"Q2418653":{"pageid":2429396,"ns":120,"title":"Item:Q2418653","lastrevid":53434823,"modified":"2026-01-24T23:08:57Z","type":"item","id":"Q2418653","labels":{"en":{"language":"en","value":"Formal verification of synchronous data-flow program transformations toward certified compilers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7059967"}},"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":"Q2418653$BD3430E1-6C76-48B1-B9D5-4B00C9D6E8F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61059c76da92e8c3f5c766abac0d34c62b342b08","datavalue":{"value":{"text":"Formal verification of synchronous data-flow program transformations toward certified compilers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2418653$504E188B-6B27-467C-96ED-F8B0F7ED442D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b359fc5745f8c4a16bb294fa21ef4ce8df184002","datavalue":{"value":"1425.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$8CB22ED5-3704-4F0C-96A7-5802ACD38571","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"880670c54a906114c7f52c23e6b61bbc0d092a63","datavalue":{"value":{"entity-type":"item","numeric-id":2418652,"id":"Q2418652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$16157AFA-771C-4484-8E7D-F6DD27458208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$FD3F7379-0E12-4EF8-96CE-9DB04AED2602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa132c85e5a7eeb3692436b4b63f88b3a83e5016","datavalue":{"value":{"entity-type":"item","numeric-id":456399,"id":"Q456399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$9F1E6F56-A7F7-471C-8D25-9C17CD334EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9002b54f9ea3e71e9f975fbfebd4a7437809872b","datavalue":{"value":{"entity-type":"item","numeric-id":456401,"id":"Q456401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$259E980F-DECA-488C-9DD8-FFD83F9BE341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d25b6655e41088f7162a04c5f21d8467b76ef6e","datavalue":{"value":{"entity-type":"item","numeric-id":456400,"id":"Q456400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$5873AB2F-37E6-4D47-810C-690B86381D10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$8C6E73C8-47D0-4D35-9A7C-3AC982D19A96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2e877fa523921850d74687393da0a2675a6439d","datavalue":{"value":{"time":"+2019-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2418653$E9A1D59F-F990-4817-8180-9FED3BDE3C98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f37268f00e055a72c36b8bf51e9e3f021db354c","datavalue":{"value":"https://hal.inria.fr/hal-00846279/file/FCS_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2418653$F0348340-0EA1-4AE3-8335-3645C1F75F65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$134BA0F6-6D9E-4AE5-AF6F-87913A988405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$A773F611-D5FB-4FB5-9B36-DF55FD1FD05F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94267cbbde6f469947b4cc86775b54b978bd237d","datavalue":{"value":"7059967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$E194C6B6-D84D-435F-8927-E421EFE50D1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418653$F1A66269-A8E8-4E1E-AE3A-3323F6088189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418653$11A8598E-FDB2-4F8D-A3BA-64AA9B5C8A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4261cd6261363a51e66dbd8bbfe52fab11ebe57a","datavalue":{"value":"certified compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418653$DDABA059-C43A-472D-BA2F-237688BD97B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0895627322e905de017e95e1b7f4c23007c8e","datavalue":{"value":"multi-clocked synchronous programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418653$2E193442-3840-4566-AE31-1A393A347902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418653$C1A1138A-4DB4-4393-AEE5-D29D7F945A1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e30f7acbfbe426ce59df14cef8e93016abb9c518","datavalue":{"value":"Q122703171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$CD24DB45-174B-4C6E-B47A-18706DF35946","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$EF9CAAB4-923F-460D-9272-B7312135A9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$C2D1F42B-DFB0-4F81-8A71-8C4413C45C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$9CDE8ADE-C8F4-4FFC-9DE7-4A635CDD192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$111362B3-590F-456D-9672-48097A8B19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$B9700711-8D22-41AE-BB3F-F0C42E80D141","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":"Q2418653$9B329E4C-E3D5-4C46-862A-8C14616D70CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3859911de74a4aece3c43918da806ce050d6b1a9","datavalue":{"value":"W2111859821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$DEFB23AB-AE95-4EE4-95E3-30CBCE54701B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac608a31c9d0d9b8d5513c3bb0674b46d14f424c","datavalue":{"value":{"entity-type":"item","numeric-id":3493220,"id":"Q3493220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$F2B77CAE-C9BD-4F86-BF2D-43243AD3CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71fb103acb70d4239a5519d46e0ca0514db14fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3026316,"id":"Q3026316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$C0B9FA51-4B2E-40AE-B777-09A7EE7D7FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$5BAD3AAF-0619-45CB-9799-0DF514973680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$6775D21E-B8F7-4395-A26F-2210714D873D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$42A6EB16-C8D6-4A81-AF3F-98B4B98CC3C1","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":"Q2418653$E5B0DD75-EA9B-4AF1-A08B-5A9A85EF80A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$A62EC0E3-F9B3-4B38-B2E2-8C4E03F342E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c4d13e64e774df67c32e2b107d032519ae98e2","datavalue":{"value":{"entity-type":"item","numeric-id":5255064,"id":"Q5255064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418653$CAA7203C-17A1-4339-B24B-034861D187FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"037b088f73d172c098ca66c23788518c99b63689","datavalue":{"value":"10.1007/S11704-013-3910-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418653$3AD3CFFD-076F-42D4-B956-FD6B37C3FFD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e582f858bd35925726a755a13af036eb880c2eda","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8b0636d4d6d49157ac30d307338afc969a4de1","datavalue":{"value":{"amount":"+0.8107663989067078","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":"Q2418653$87D38649-09AA-452D-A07E-F877F16AE7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c3fde556b29f71e40c9aa0c37937de2de7b554","datavalue":{"value":{"amount":"+0.800149142742157","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":"Q2418653$A4B72260-922B-4AB1-9E35-1FEB47976383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724ce26a6487a212644bdd84e1173f09b73e9f00","datavalue":{"value":{"entity-type":"item","numeric-id":3452245,"id":"Q3452245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d352716b6ce794f71c7b4b57a828d5153df85ee","datavalue":{"value":{"amount":"+0.7455980181694031","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":"Q2418653$0F22223D-2FE2-4D31-9828-B2BE4AB438B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b395b2c135e94b5ff8cb5d9adfbd9f09005c79e","datavalue":{"value":{"entity-type":"item","numeric-id":2766648,"id":"Q2766648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f0bcef79cc655884701ad0f528bb8a426ff27d","datavalue":{"value":{"amount":"+0.7389891147613525","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":"Q2418653$7A0A9B9A-05E5-46AC-BD38-8D45BF877587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3353af92dd78cebd40747392ca6e9e8796f8b63","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de8373d85e4b769184732a00112499a11e0fb22","datavalue":{"value":{"amount":"+0.7365019917488098","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":"Q2418653$B10A802C-D1E9-4EB2-8596-AB0975B6A373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2418653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2418653"}}}}}