{"entities":{"Q2371975":{"pageid":2382718,"ns":120,"title":"Item:Q2371975","lastrevid":50127683,"modified":"2026-01-13T05:48:31Z","type":"item","id":"Q2371975","labels":{"en":{"language":"en","value":"An assertion-based verification methodology for system-level design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5170373"}},"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":"Q2371975$12834DFB-577B-4F11-9139-07C8BE3CA317","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd9cb611c19b02d047614739a5101adeb2130ea","datavalue":{"value":{"text":"An assertion-based verification methodology for system-level design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2371975$1DFBE53B-17C8-450F-BB1C-05B795B6ACFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"703fd172c1a4bddc974879c0d6065e0000175e43","datavalue":{"value":"1118.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371975$A0BC4117-4440-4A56-BE5E-3E389B2C133E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"878e02207a7e7d1de4a3bfd9c1398c35bd373705","datavalue":{"value":{"entity-type":"item","numeric-id":2371971,"id":"Q2371971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2371975$05D53DC0-8A28-4C56-BC78-CFB60DB8A876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b53a0d3f716e9acf4003dfe10c402eb41197c135","datavalue":{"value":{"entity-type":"item","numeric-id":2371972,"id":"Q2371972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2371975$0423793C-E4A9-4DA1-8F0E-669ACD26766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2d85cfa0db9ccd1c42647609c68e830891da66f","datavalue":{"value":{"entity-type":"item","numeric-id":2371973,"id":"Q2371973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2371975$BAEECCC2-F1B5-4CE5-BDB5-3878CFA3D5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7fccfefe6f36c9010ed8f0d0ac8477e0fee945b","datavalue":{"value":{"entity-type":"item","numeric-id":2371974,"id":"Q2371974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2371975$407E98F8-7AE1-4C9C-8E4D-9BB58977B92D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2371975$331FC2D7-FB57-4C43-ADAF-7A3DB4D0A843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f225f521aa18bc11d6dbbd071e41dbd21e797393","datavalue":{"value":{"time":"+2007-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2371975$B39FA534-396E-446F-A3E5-A8959444FCD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371975$CD78EE1D-EA0F-41F9-9092-7541E2FDFB3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e7d44829db848b8f1d4737c7eb0cfd0b58eb6d","datavalue":{"value":"5170373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371975$E4885951-80C8-47F2-B655-56DF8A4DD59C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d02a2c03774987c3a21f629a868d7e81c6d281a2","datavalue":{"value":"assertion-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2371975$8C9ACF68-6429-47C0-A098-0EB93CC44F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5e753385a39cf242d2992fd41e7b0f2210e230","datavalue":{"value":"system-level assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2371975$2F745875-9492-4A4A-B566-0699E08A9DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408a7400d7754cbc144308daf0a89b41214267d4","datavalue":{"value":"system-level verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2371975$0F169FD5-2940-4806-B534-A1227AE6DBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca79f1dd16bba4eced9ec0ea6f98e5d85b39c9f","datavalue":{"value":"system-level design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2371975$9A07B200-491E-4C09-B0E0-F274336CE3A0","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":"Q2371975$94D440FF-87F9-497F-97B5-83F9876455AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e38683952b94c74651b3984406aa32be5c0c2c93","datavalue":{"value":"https://doi.org/10.1016/j.compeleceng.2007.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2371975$48E11A80-D8E7-484D-85DD-8C4B1C9D2A00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ff80e4be65f4f3009ef45ddd59e3b3afcff9411","datavalue":{"value":"W2018827301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371975$6026FD89-3BF3-45E2-A13F-FA071D6EC606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de05950961830af78b75952665d21d6b9851ba6c","datavalue":{"value":"10.1016/J.COMPELECENG.2007.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371975$58907D0F-3D11-49E2-A1F0-BDA1BE1B12B8","rank":"normal"}],"P1643":[{"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":"5dec6a534b72f602404524060edbbc58aab706c5","datavalue":{"value":{"amount":"+0.7286301851272583","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":"Q2371975$8955E16F-6D9D-477C-809A-C1C20F50A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354b1ee967d95931c996b1f4729bc7c120fcf809","datavalue":{"value":{"entity-type":"item","numeric-id":1696592,"id":"Q1696592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358d0d639c25e1a608625ee24d608b708209779a","datavalue":{"value":{"amount":"+0.7242041230201721","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":"Q2371975$EEF98823-CC88-4537-A082-0520765F274E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d9653e6365e8a1b6f6ce14d67d20a24fba31d1","datavalue":{"value":{"entity-type":"item","numeric-id":3574323,"id":"Q3574323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b3d01c80a5de6b36e54aff5d2cc87488ee27c2","datavalue":{"value":{"amount":"+0.7226442694664001","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":"Q2371975$74666AB6-0DBA-4717-B5AF-50DB4B46EEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a72868b43dbc357846545a2e3cdcd3138970fb","datavalue":{"value":{"entity-type":"item","numeric-id":3628531,"id":"Q3628531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cb8242427293ad5cf9a0b2d82c7027859ec85c","datavalue":{"value":{"amount":"+0.7188416719436646","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":"Q2371975$40D50397-208C-41ED-9DBE-18F4578314E8","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":"3efdcea19b0ff98edd8a3f394dcce13aa91c8797","datavalue":{"value":{"amount":"+0.7160442471504211","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":"Q2371975$7D415EB7-4090-4F36-9C2F-A04094992003","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2371975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2371975"}}}}}