{"entities":{"Q2506264":{"pageid":2517007,"ns":120,"title":"Item:Q2506264","lastrevid":72748338,"modified":"2026-04-14T07:27:58Z","type":"item","id":"Q2506264","labels":{"en":{"language":"en","value":"A framework for the functional verification of SystemC models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5058231"}},"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":"Q2506264$A255BAB3-0D7B-43AA-B8E4-AD966AF98184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f482cd303f89a88083b1f6f8af9118e1404389","datavalue":{"value":{"text":"A framework for the functional verification of SystemC models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506264$026E37B7-37A1-4D88-AFA7-77011380F99E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e40a4f2e00d01c54b343c36ec13c5e97e7f4cb","datavalue":{"value":"1100.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506264$E7F3ED45-C3D0-4B60-8C4C-510FC3CB5AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b0edbe86756f3a888c750e19e60760a559340aa","datavalue":{"value":{"entity-type":"item","numeric-id":2506262,"id":"Q2506262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506264$00A7F139-95ED-4B1B-8E7C-4CB0B2EFA565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4bff15db201e346a9d2415c1c2d746f6827b626","datavalue":{"value":{"entity-type":"item","numeric-id":2506263,"id":"Q2506263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506264$F6BE4F06-69DB-4B36-A78F-A3A9280B5F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc9bffc8a1aaa1d303c818cdf234e3689809653","datavalue":{"value":{"entity-type":"item","numeric-id":1857155,"id":"Q1857155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506264$CE2CB759-A72D-4BE7-8231-986619610683","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506264$96B0D812-B819-46E0-874B-CE0C2F05146F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-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":"Q2506264$FAFFF5CF-4600-40F4-B3CF-A751EB9A8AAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506264$9E6D4485-35EA-4DFB-8FA3-2E52163888CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86cfc2d954c71ecbf4821341623e62b9762e53da","datavalue":{"value":"5058231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506264$3240DBB4-9B4C-4C33-AC8A-E0126E3D3893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89dcf8556e1243aab4523a57cd1a0508d406c64d","datavalue":{"value":"Functional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506264$D9F8BD51-FC91-45B4-875D-6466918FC3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3834586fe2407e1a581d5bbf4624cadad3ba7e1f","datavalue":{"value":"SystemC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506264$73C31C91-9792-4690-9B0C-5C929E400840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275f989c0e7ee50a4057a0f72446a0d6105d4932","datavalue":{"value":"test pattern generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506264$F95FAEB5-87C0-4AAF-AB0B-23EC61DA90A8","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":"Q2506264$EB0B7C93-973F-4F34-8E09-037984E3E0E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8380184496e81d682ce251455685e6d49758e39a","datavalue":{"value":"https://doi.org/10.1007/s10766-005-8908-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506264$CCD6A521-9F6E-4B89-AC06-D26F953B06A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f25f6ed2000edf152a54b4474975e3dea0d8beb5","datavalue":{"value":"W2057212170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506264$196ED910-363C-4912-89E7-E1AE94D91EEB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c61d19e7136935f7fa08d6b8a4602aefe2616003","datavalue":{"value":"Q57610079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506264$869B38D9-BA26-4821-B0B2-40C0986A12AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fed029ce194ccf7afd1dd7d89b28ec74ef0ecee8","datavalue":{"value":"10.1007/S10766-005-8908-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506264$39D63C83-BB4F-4D0F-86CB-6671025CF85F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b07ca00abca46622bd4e53e35b3b3ca0d746ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6895889c02f459403bd9a3bc1667556fa3fb7e9f","datavalue":{"value":{"amount":"+0.89098823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506264$D051F686-50A6-4B27-ADCE-0F2CB3AFA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1052ae5fff4416f08d055a557cdff6af32a6bca9","datavalue":{"value":{"entity-type":"item","numeric-id":3105095,"id":"Q3105095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c537e0d5862fc3fc2c9626454506268278bddeca","datavalue":{"value":{"amount":"+0.8841387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506264$FDA870C0-B978-4906-8708-BBF53C89357D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9288dcee0d908336b7b11fc5ded5e7ce7bc4f0d9","datavalue":{"value":{"entity-type":"item","numeric-id":633296,"id":"Q633296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbb7d6c821238a968968103ab1107dc3a77f449","datavalue":{"value":{"amount":"+0.8767332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506264$CE976F37-7D15-4719-8794-A4CC544C09F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for the functional verification of SystemC models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_the_functional_verification_of_SystemC_models"}}}}}