{"entities":{"Q3508521":{"pageid":5538425,"ns":120,"title":"Item:Q3508521","lastrevid":50395388,"modified":"2026-01-13T23:19:46Z","type":"item","id":"Q3508521","labels":{"en":{"language":"en","value":"Compositional Semantics of System-Level Designs Written in SystemC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294866"}},"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":"Q3508521$62781243-DA6E-4D7F-BABE-AFADABDF0269","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab3898d9454ded2f0e736731cd89e5f4cf704d72","datavalue":{"value":{"text":"Compositional Semantics of System-Level Designs Written in SystemC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508521$ABD22CE9-9CF4-4DFA-A346-D1B1FA7DF2A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbdc25262fa4da0ab42e280c1590805dc18d99bd","datavalue":{"value":"1141.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508521$71B9D776-1B9B-4FE4-ABAC-FF4AE6D979F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc0d30c9138cc6c6356a6b552ca96eabffcbc9af","datavalue":{"value":"10.1007/978-3-540-75698-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508521$C0BEF7C9-0759-4F24-975D-21A8C1734ECF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"964f728d2cd139be8f4ae46cd25fa4103f5a8958","datavalue":{"value":{"entity-type":"item","numeric-id":3508520,"id":"Q3508520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508521$1FAF00B1-A7C5-47DE-8F0A-B51106D8B0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9ea0ccde3d48050e3eb0636437332cb8d7497c7","datavalue":{"value":{"entity-type":"item","numeric-id":433342,"id":"Q433342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508521$5E416F2B-9831-460F-9C2D-5E52F0743A1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508521$ADF53C7B-CFE7-40E4-9494-3C883C9C11F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508521$1C002EE5-9ACB-4007-BE3D-2319C2F6A4BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508521$0D144A22-100B-4DF5-A882-49C23E7A935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508521$F2506458-2CB3-4EEA-B6B0-5DE5C84E489B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5b80fc9626521b81d4b3bc1862da16ebbb319c","datavalue":{"value":"5294866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508521$E9FE7984-17A3-4BFF-8B1B-1AB32F40BE5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e302df6493f10b25a5840c84fe17ead9d974e","datavalue":{"value":"hardware design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508521$39E6B7F0-52F0-4205-9707-BE236F2908E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508521$9D1B9724-EA2F-4A65-A7E2-84E552B6A285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d06a08bd127fd75955d50fdd5f150c72cf7cee","datavalue":{"value":"Reo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508521$ABDB13B5-5CA3-4B21-89D1-7A7AB25394E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa662b2b7ee896a11f94703cabb105ae5fd891","datavalue":{"value":"constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508521$21ACEF3A-4176-4749-9AC0-7EF61AE96866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3834586fe2407e1a581d5bbf4624cadad3ba7e1f","datavalue":{"value":"SystemC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508521$446CA47C-2765-415C-8043-80C7327FFBCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6120f2b75e3b962f422b7f4da948411de439246a","datavalue":{"value":{"entity-type":"item","numeric-id":19824,"id":"Q19824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508521$94469903-1D18-4A91-8ED8-D9595463B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508521$ED2B7525-57B6-4383-9032-AAB2C61827E2","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":"Q3508521$DAA47FE3-83FF-44D6-B9EF-D50DF2483429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e696c6b5fe069de064f9be1a7001591566a25d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508521$377CCADE-0CA8-4621-B9BF-06E1CCA393FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2126ce40bce33f42a2d49005de821daf53d08e1","datavalue":{"value":"W4251179263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508521$0AC27A6E-3E7F-4550-9C68-7A24E8F0154E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a02c15c9e8bcd07021f471a5dcf5c3a84637588","datavalue":{"value":{"entity-type":"item","numeric-id":3564035,"id":"Q3564035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eead43b6e74d2bc38ee89790ff562ba770950fd","datavalue":{"value":{"amount":"+0.7801165580749512","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":"Q3508521$6BA368FB-EE57-4A59-A3FC-28BDD61B5735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c8dedac3f874b6021a90fe102a579c93831ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5491854,"id":"Q5491854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd711728512f440709bb1b4001dbdde32a5c980b","datavalue":{"value":{"amount":"+0.7231442332267761","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":"Q3508521$CBDFD0E1-213A-49CF-BC90-346F0F2D8038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f36d1674491ec9d9ac14a22ef6973140accf65b","datavalue":{"value":{"entity-type":"item","numeric-id":4342060,"id":"Q4342060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a711d49611089acffd30acf737784b51bcbe11","datavalue":{"value":{"amount":"+0.7070409059524536","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":"Q3508521$B601A6BE-65C8-4B5A-BB6F-0322A9FE5294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12de385c49a24ccb3a19493a688a54dd777522ff","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a711d49611089acffd30acf737784b51bcbe11","datavalue":{"value":{"amount":"+0.7070409059524536","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":"Q3508521$6E9D0BF6-0508-4EC6-A993-F764D699EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130870ece5ecba0168811ae581b58b78bfd98f0e","datavalue":{"value":{"entity-type":"item","numeric-id":4421297,"id":"Q4421297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4e3f2fdd82f7feba06af13c5dbce536ff81172","datavalue":{"value":{"amount":"+0.7055962681770325","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":"Q3508521$3B1CAB13-037B-450E-BACA-F516D3CCFC40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508521","badges":[]}}}}}