{"entities":{"Q3528915":{"pageid":5558819,"ns":120,"title":"Item:Q3528915","lastrevid":90251834,"modified":"2026-06-04T19:41:08Z","type":"item","id":"Q3528915","labels":{"en":{"language":"en","value":"Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5353381"}},"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":"Q3528915$C91D7ACC-DD8C-436A-BCBB-E5A650F9C926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beadb3c6c89d73bbad481831aa83aad7dc8fb24f","datavalue":{"value":"1160.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528915$1C0D3253-C311-4295-8BFA-F37F06549DA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c7b3bf120535410972f994ea529e2f32ffcf25","datavalue":{"value":{"entity-type":"item","numeric-id":3528913,"id":"Q3528913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528915$30122561-AF1A-40AC-8A02-5323D8BD63AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19369a7311f466cd911ad027daa276bda1e37b8","datavalue":{"value":{"entity-type":"item","numeric-id":3528914,"id":"Q3528914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528915$9B74BE78-0FBF-4604-945A-D5503F40224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7a80d6316002e3abdf9ba83c2188daab2dc67b","datavalue":{"value":{"entity-type":"item","numeric-id":2851232,"id":"Q2851232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528915$19A0B1F2-DD81-48CF-BAB6-E7B956698D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c035db3aee2350a0c43a4ef474e2e3a8a9739caf","datavalue":{"value":{"entity-type":"item","numeric-id":207994,"id":"Q207994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528915$A1A2D461-DBCA-48AA-8454-2CD82F310E7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f51f874f60a0661a38f64a7f4753a2a4e6d82d5","datavalue":{"value":{"time":"+2008-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3528915$5ED6C261-C138-4C30-86B3-A5E8AA8980E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528915$EEB7EB01-EE35-4159-95A0-482BDA5F894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528915$29C38904-B0D4-43DA-B8E9-B3743F391631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c4098ad58642c459cc37c90fc16cca8020e4389","datavalue":{"value":"5353381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3528915$FD6780A6-4141-4CDC-AE7C-C759B40844F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3528915$1CF22579-2299-4FB7-A34D-A0B30594881D","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":"Q3528915$6209C22D-898C-4E99-ACD8-9D54E8FA3963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3528915$88C6639A-69A6-4C29-A407-E07673D91E0B","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":"Q3528915$AFF5CD81-C1E7-433D-8DDE-3035A2CE26DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feca7f6f6c2212e475be0ffaf59b794582bbf172","datavalue":{"value":{"entity-type":"item","numeric-id":4509910,"id":"Q4509910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe13b99ec87cb14866d6ed84d3394f9e09dd8ef2","datavalue":{"value":{"amount":"+0.7144728302955627","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":"Q3528915$BB6B7E1D-7FB0-40EB-9870-32D5BF9F4F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe13b99ec87cb14866d6ed84d3394f9e09dd8ef2","datavalue":{"value":{"amount":"+0.7144728302955627","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":"Q3528915$47F0B094-83CB-4D8D-82D7-F09528CBEDB1","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":"a7997913a7ea51a41a4de0982ce9142807ffbc70","datavalue":{"value":{"amount":"+0.7034075856208801","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":"Q3528915$7FAC4017-E9CB-42C8-ADE8-0FC918A9FBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8087ef8be362ccf4bf18e98c60e1d6f024c289","datavalue":{"value":{"amount":"+0.7019801139831543","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":"Q3528915$54488041-FBFA-4FDF-9449-D26B1EE1AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69faafc396cc37ce56ba7f317e1689803b3e471","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8724e3d1f43083f3ef4c15016314387c3e024129","datavalue":{"value":{"amount":"+0.7003077864646912","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":"Q3528915$8CC31F63-F720-49E6-9748-A730B52E4651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_model_checking_of_actor-oriented_high-level_SystemC_models_with_interval_diagrams"}}}}}