{"entities":{"Q6567710":{"pageid":14178865,"ns":120,"title":"Item:Q6567710","lastrevid":103707962,"modified":"2026-06-06T07:57:36Z","type":"item","id":"Q6567710","labels":{"en":{"language":"en","value":"Implementation issues about the embedding of existing high level synthesis algorithms in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876659"}},"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":"Q6567710$606D6D06-9DE2-46AA-9AE5-2439DEEED976","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf8b4d4952fb91f7b9ddd12bf9dea814e516dc6d","datavalue":{"value":{"text":"Implementation issues about the embedding of existing high level synthesis algorithms in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567710$380D95C5-BEBC-443C-AC50-5F46706C1810","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b563cdca9c23a997dab200c5f572621b8d379611","datavalue":{"value":"1543.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567710$B370CB54-4101-4EC3-806A-B00F96C8A388","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529934e16b89c126f4d4035da5986b785c850605","datavalue":{"value":{"entity-type":"item","numeric-id":3024869,"id":"Q3024869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567710$698197B2-A94B-42F3-9749-52F84C976036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1249ba32fb1f6bf7d0b80f88106cdf1d5bbc371","datavalue":{"value":{"entity-type":"item","numeric-id":3043813,"id":"Q3043813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567710$F601152C-7D08-4C7A-88E1-72EE67A7EAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b613b892263361cb1bc1187045a1170c6b77935","datavalue":{"value":{"entity-type":"item","numeric-id":1334903,"id":"Q1334903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567710$280B0E5A-26B3-4710-ADE5-B9E5DF88B84C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567710$EA756808-F8DA-47E1-BBD7-0C21693B2E1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567710$7E7B1367-DAE3-4CE6-BB42-92893C39441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567710$82B7E36E-3CD7-4A09-B30A-5C079A376790","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"758f4eaeba78ecc1bb2e3535cc6c134a3b93a328","datavalue":{"value":"7876659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567710$1B92BB91-BB8F-4608-A717-463F7B112A86","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":"Q6567710$66729993-B5F5-48FA-A61D-456C8783B003","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e5d842bbedc32a8b67057927aa496767144213","datavalue":{"value":{"entity-type":"item","numeric-id":4003832,"id":"Q4003832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567710$A0637F46-1766-4C58-BD1E-E5E76B896D6E","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":"Q6567710$10DA6632-CF8F-483C-B5C0-894D90E1368C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17f73aaf8ec2a1fcaa93c732037b1093dc7ce158","datavalue":{"value":"10.1007/BFB0105403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567710$2985CAD2-F775-4C1C-A18D-341BA39D04CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a699f20dc7fcc6861b4f1856ddbe896276e8de05","datavalue":{"value":{"entity-type":"item","numeric-id":4545093,"id":"Q4545093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84dbedd564ae5db140d1696ff5df1097b08b167","datavalue":{"value":{"amount":"+0.7568473815917969","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":"Q6567710$23C5EDCE-26F5-44D3-9F3D-D69C0802CD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9b2e0e7a48b87b638f7840ada1e11772807153","datavalue":{"value":{"entity-type":"item","numeric-id":3512510,"id":"Q3512510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48edb713df3079918498a26572aac4f3a4869329","datavalue":{"value":{"amount":"+0.7369389533996582","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":"Q6567710$8617F107-CCD0-4E7D-A83F-2CAD8D8B63D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f07324365c5d2c6c50ba287b2d668fdb8dafed","datavalue":{"value":{"entity-type":"item","numeric-id":6567702,"id":"Q6567702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1e3c3a4f67510b6e4b84e798bb1baa005385e3","datavalue":{"value":{"amount":"+0.7335370779037476","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":"Q6567710$C7F72C5E-9406-45AC-A404-3407BACC8965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba1396d16808f2269d307a92b839f3523d489ca","datavalue":{"value":{"entity-type":"item","numeric-id":1901492,"id":"Q1901492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57291e6ebe24957b409a5064470847967ffb9d3e","datavalue":{"value":{"amount":"+0.732804000377655","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":"Q6567710$51796593-5C6E-442F-8FE0-3B4D05941B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9279441428cd9b7f7e1ffeda72c2afefed92a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4003832,"id":"Q4003832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb3c20a3a27f03df4c83bfe9acdadd7ca4ba8cc","datavalue":{"value":{"amount":"+0.7181791067123413","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":"Q6567710$8233B508-7AA0-4459-AB17-F637BE4C4B75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation issues about the embedding of existing high level synthesis algorithms in HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementation_issues_about_the_embedding_of_existing_high_level_synthesis_algorithms_in_HOL"}}}}}