{"entities":{"Q5953450":{"pageid":8130252,"ns":120,"title":"Item:Q5953450","lastrevid":47728219,"modified":"2026-01-02T13:24:05Z","type":"item","id":"Q5953450","labels":{"en":{"language":"en","value":"System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694304"}},"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":"Q5953450$EEDBE718-0165-4F10-A749-BD263080CCBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09d563043699c2d2cc6228253aa5f5bd11117193","datavalue":{"value":{"text":"System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953450$4777C852-2095-4C8E-9166-D321A3E73FE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46d39c4722aa2f37539a9f1fb80d64878048fd04","datavalue":{"value":"0991.68731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$729804B5-7595-4286-85CA-A6675DE06394","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccd04a7daa317f08c60e9ebec591f148c2e473c","datavalue":{"value":{"entity-type":"item","numeric-id":225071,"id":"Q225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953450$A604E9EC-B8AB-42F5-9910-46E063A0B22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c2b42857fb181c089687b92620289ed71190e40","datavalue":{"value":{"entity-type":"item","numeric-id":225072,"id":"Q225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953450$65D2733C-436D-4027-8896-85EA2915D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdab69c3365049ca3a4fb522f3499e3d80a52358","datavalue":{"value":{"entity-type":"item","numeric-id":225073,"id":"Q225073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953450$1E86930A-EFBF-4701-A151-F05303089971","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953450$31E7764E-C09F-4E3D-BC20-936F6B2C6AD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"376aaf1740af05b888daf45e8d11d5d06f385dfd","datavalue":{"value":{"time":"+2002-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953450$620CA7FF-D90B-4EF1-B2DD-DF760D6AFDF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a538b29f9186075e72d320cc8115927871257e5","datavalue":{"value":"https://hal.inria.fr/inria-00072597/file/RR-4041.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953450$E7F2A0AB-5DF3-4D24-9835-00D82FD28BF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$CD3805AC-9648-4918-9CB5-E1ADA2CE5857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$163EB758-7B5A-4690-8C61-8CDBD123823B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a9cb2575d5b268d4e2e5628b0457f8dbb2c516","datavalue":{"value":"1694304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$1D9FF839-40EF-44D6-A020-7A23310CEED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcb141a2b9591c4de2074f586df0057214474e0","datavalue":{"value":"Cache coherency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953450$2274603E-202E-4B8A-AE37-BC1A9CF95623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c8275e527319c4b3c9b5d8695b26d55eef97fb","datavalue":{"value":"CC-NUMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953450$D2189535-909D-43FC-B63B-BC9A456F7FD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953450$259F733C-016E-43D8-838D-9D47494B3AD5","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":"Q5953450$7C9A0138-D3BA-48CF-81CA-D31B3DD61131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00c9a70807e32bcb6e5ed24412759bb769ae11fe","datavalue":{"value":"W1591361873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$F838BE6A-A75A-4AA5-87DE-F3FD8CD33483","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f09a1050fcbc8bb4601f7063cf4c01ac6056f97","datavalue":{"value":"Q126579451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$F8CE5242-4E38-4F4C-BFF7-B463A5CFDB76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ea98489654e14c8d817f7a3f9d7ad8eadfd8c9d","datavalue":{"value":"10.1007/S100090100044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953450$7E8B5298-9B32-4491-A73B-C4CF65F7FB29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df44495c8603dac92b7a01268a2ad3ec37ecbc4","datavalue":{"value":{"amount":"+0.7383557558059692","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":"Q5953450$9F2A0689-F2BB-4176-AE1C-3F36E9F5B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c30314a2b21f3cd09ccb114356acc3c8bd478a","datavalue":{"value":{"entity-type":"item","numeric-id":1870225,"id":"Q1870225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9712c7c532a6251e185f04e72e7c8aac73a9718","datavalue":{"value":{"amount":"+0.7319658398628235","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":"Q5953450$FA5D970E-BFD5-4376-ADDA-AF86B4954199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7d5f4c27cb672edbf908371391dcfd7009ca285","datavalue":{"value":{"entity-type":"item","numeric-id":4824482,"id":"Q4824482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf63e0ef6016a71762d034831c5d41736de3b724","datavalue":{"value":{"amount":"+0.7251065969467163","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":"Q5953450$4C6D9974-4F1A-473E-8E5B-3C302AEBA7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70737d0756f65e0131eda41d8c7bb17a46148685","datavalue":{"value":{"entity-type":"item","numeric-id":3158282,"id":"Q3158282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9508ba447dc2dd1ecb411248390ec695414677ae","datavalue":{"value":{"amount":"+0.718043327331543","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":"Q5953450$7A7E15AE-F9C1-40F9-8F1D-33A0B21EE566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7963b574f5f52ab0cb7c9300710e3fcf461063","datavalue":{"value":{"entity-type":"item","numeric-id":4255534,"id":"Q4255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33e3d06ef4ea7fe7a085288a02f7a19a0921166","datavalue":{"value":{"amount":"+0.7144487500190735","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":"Q5953450$DBF10173-9EA1-4480-AF42-CA862130662D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5953450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5953450"}}}}}