{"entities":{"Q3564035":{"pageid":5593939,"ns":120,"title":"Item:Q3564035","lastrevid":51000383,"modified":"2026-01-16T03:51:23Z","type":"item","id":"Q3564035","labels":{"en":{"language":"en","value":"Compositional reactive semantics of SystemC and verification with RuleBase"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715364"}},"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":"Q3564035$9DA071D2-9354-4ECE-9915-1533DFBECC75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a20671c41364a7ad1e0ea78aa8878b6074ea8509","datavalue":{"value":{"text":"Compositional Reactive Semantics of SystemC and Verification with RuleBase","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564035$EEB6DBF1-706B-43ED-9CD7-87CD5A62FC7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"591113be1335aafb5c7d627404ecb2d3b8dda593","datavalue":{"value":"1209.68537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564035$6FEBD7E6-4360-4BA0-BBD7-B26C5F25140E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c337f728421960da88f67d8d5032b08fc331bf5","datavalue":{"value":"10.1007/978-1-4020-6254-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564035$6A71E818-D6F1-4143-9455-41611CB35E21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea9a224e7533f22d0095b32e6030b47be676381","datavalue":{"value":{"entity-type":"item","numeric-id":1696590,"id":"Q1696590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564035$CE56E17F-8F91-4915-9D33-8606951345BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce3ea14cc355e1765b5a01f534b4225e0696528","datavalue":{"value":{"entity-type":"item","numeric-id":270565,"id":"Q270565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564035$9111FCFB-C7AC-471F-82A1-7B38CECB6B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bce976095aeadb7899ba92e2a4cb25cf3444a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1606613,"id":"Q1606613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564035$25F37D87-20F9-4EA9-A210-318B9C24C9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e169b57195ba199568844c5f0329cd366749c5","datavalue":{"value":{"entity-type":"item","numeric-id":553360,"id":"Q553360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564035$3EDAC18D-7A5C-41DF-8C4C-FE89029F4543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564035$2573359B-8B84-4A61-A64E-90D349C3EE7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564035$E353D307-6F2A-48A0-9E4F-D9DE87E90AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564035$0108B57B-704D-4BD4-8BB4-96C678E50162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564035$44DE3CFB-6239-495E-B057-8CEE299B20AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fd44aacd9fdbe8832ceb7f43940b0ace344ef42","datavalue":{"value":"5715364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564035$A890A9D0-FECE-480B-8B09-AABB5B8FEDC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea448e1b41823034f2ce54ce1c79c5ee9c8e1930","datavalue":{"value":"behavioral semantics of SystemC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564035$41EC47FA-0C3F-421B-8047-3F74F293DC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f1f45bea31c5e84cc58e74711ad5def6d1ad41","datavalue":{"value":"central locking system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564035$BC4C0DF1-1F5A-4C4F-BECD-776B4F533AE1","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":"Q3564035$8749F4C6-B2D5-43C1-B91C-8E051ED67748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12def4ad4ba89d861ba79ffd9058a10d3727f16f","datavalue":{"value":{"entity-type":"item","numeric-id":26813,"id":"Q26813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564035$018DB805-C40D-43F5-8678-476254C1D4E1","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":"Q3564035$858CECC4-3989-4BEB-B296-392BD254EF19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e622692d050b55694ce983c2295dafd68e375506","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564035$1051B23E-CF40-4E4B-8645-228C6A401EE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f4af9aee712d2bbef66eb85c316182e66acc6d5","datavalue":{"value":"W131057313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564035$ADD1F129-1942-4C8D-A793-84707C8D2C8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b64e6f6dadd0ec7fd70602efdb584c1a192b220","datavalue":{"value":{"entity-type":"item","numeric-id":3508521,"id":"Q3508521"},"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":"Q3564035$9C7F6098-0D27-4E71-9D8F-6932805E3711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1212f604a3da1dd8c73d775a2d7fdb5cf80f2b82","datavalue":{"value":{"entity-type":"item","numeric-id":2506264,"id":"Q2506264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143b3d107a5fb28e1b66c7ffcf23869b72a685c9","datavalue":{"value":{"amount":"+0.721049964427948","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":"Q3564035$CF2082C9-F9DE-427F-87D5-CD03C05D6AFA","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":"ee34805a4cc5301a3ab100f7b0d2ea989568230e","datavalue":{"value":{"amount":"+0.7197864055633545","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":"Q3564035$30755BDA-EC4E-4516-90A9-D5842F48E2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3936da20a3a1a93c2bb42f9f2a2ed85c36d712","datavalue":{"value":{"entity-type":"item","numeric-id":2441724,"id":"Q2441724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f259692a5aa6764c4b7017154be29d5663e6c061","datavalue":{"value":{"amount":"+0.6894696354866028","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":"Q3564035$A1A7BDF1-1E46-42F6-9045-FD43C078A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49da0cdabfdc101e79ac28316a6419c8cf31b85","datavalue":{"value":{"entity-type":"item","numeric-id":3840911,"id":"Q3840911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb144d1dd7284971a5da3fdc82228d6975b0be0f","datavalue":{"value":{"amount":"+0.6882019639015198","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":"Q3564035$A242D8C9-9858-4D20-9B5A-393ABF6E32F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564035"}}}}}