{"entities":{"Q953526":{"pageid":955374,"ns":120,"title":"Item:Q953526","lastrevid":65634777,"modified":"2026-04-12T03:56:51Z","type":"item","id":"Q953526","labels":{"en":{"language":"en","value":"Models and formal verification of multiprocessor system-on-chips"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5362184"}},"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":"Q953526$D2A0E2F0-8CDA-4501-9A66-F904BA3927CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b4530e536a36255e17b2af33a79dcb2e82f779c","datavalue":{"value":{"text":"Models and formal verification of multiprocessor system-on-chips","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953526$FBC85D58-8CEA-4209-B3B4-11901B3B521E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9cc0fc0695ed72bed77153e280a2f86f8be22a8","datavalue":{"value":"1151.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$1BC036BF-7770-4C03-A7F5-4C83CCF99905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$E3487FD5-7D8C-4C6F-8221-401C5F586032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b863cea75daa442a9ee933e3d7b7692eed845e","datavalue":{"value":{"entity-type":"item","numeric-id":953525,"id":"Q953525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$CD95FFE5-1566-4915-9686-9448F61B59CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d9bc6337426905d9eed488bf723aa3c82d653be","datavalue":{"value":{"entity-type":"item","numeric-id":2251130,"id":"Q2251130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$81FD1B59-EC91-4037-B1DE-89550F11A648","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$69A71B82-CE2F-4E1E-A9CE-EC95F3991471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e676b345923800624f916d2a2c8d52ef91c50b4","datavalue":{"value":{"time":"+2008-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953526$F7DA17FE-D6AB-4DEA-A13D-43EDC48F9664","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$99C927D4-3C4F-424C-8A6A-8CE304DEF4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$BC3D6E86-9B96-48C0-9361-5CD9D5169E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3a6ab7a9e0c8b0c5b0019a250d94495fe5ca743","datavalue":{"value":"5362184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$FBF08AC3-26C9-49DB-9E01-0A890DD8FBC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b95991dff43a5e7a56e5c3398ae1195b33ceee96","datavalue":{"value":"multiprocessor system-on-chips","type":"string"},"datatype":"string"},"type":"statement","id":"Q953526$6257CD66-5C0D-48CD-AA77-343BF9609CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267727d71138c8af8df1fe0229813b961c7e4aa1","datavalue":{"value":"schedulability","type":"string"},"datatype":"string"},"type":"statement","id":"Q953526$01722A7B-046A-4EE7-843B-567CD2A0C478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q953526$262A5DCA-1251-4DD5-88DA-78EB68F2781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6d98a85943d0b73998b1c350d0c100b1c75456","datavalue":{"value":"uppaal","type":"string"},"datatype":"string"},"type":"statement","id":"Q953526$EC230CD3-0348-4A11-8907-5FD6AACE0620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q953526$FF05C3CE-0967-4B7D-9D70-C0A58DD2E4B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"facdf200105caa9a8346d7f6e980c631ef5276ce","datavalue":{"value":{"entity-type":"item","numeric-id":14142,"id":"Q14142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$A1963192-F8B4-4086-B866-8A5033D8FCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$8E4BD9EB-04C2-4FAB-AD01-39FD5BB238BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$0B892A02-F008-4C7F-B4C1-B632BC15F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811e5984588d153ced2dc1ec56c75e5be865d00e","datavalue":{"value":{"entity-type":"item","numeric-id":32988,"id":"Q32988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$8ACCA8F6-46D6-4FBC-A514-F2441EBE5F52","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":"Q953526$53EAC147-4AFB-42A4-A312-A5C7F36CD3B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de34569719b0a38b07fde6219e22be0af60c9ad3","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q953526$0B4773D9-D82D-485E-83CC-512620B4A691","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fc9f6d043789e40b4ac8290cd60f9b109d4e47e","datavalue":{"value":"W2047516333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$EDD36C47-5071-4E59-92A1-98BEE5AC087B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a5e0aa3840c163935b390a25b248de38df8b481b","datavalue":{"value":"Q54483958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$EAB44210-4019-4CC6-8E51-ADB6165E5F6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767748581495151d2f33bff227c72e47614d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$AA1436C1-A0CF-4C8B-B16C-687B2A936EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07dd10781fec219d4e5037d85aa8641413cd12d","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$78F29DBE-B0FD-412F-93C0-EF1EBB886209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$D022F323-FFBE-462C-8AD9-703BDB87340C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e2f7bf41a2058a3e9116bd7a2da831d9a59e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4472261,"id":"Q4472261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$C6BA1761-F2EB-4554-B8B0-2F854B0663C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$44A64CB2-14A8-4341-8616-42E86620D055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c28cb0c60d36a6b02cff002e350a60a5cd6bac8","datavalue":{"value":{"entity-type":"item","numeric-id":4472228,"id":"Q4472228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$E6950CF1-5A04-425F-AF02-D274B6913F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7470519bc10f2a005ff140469be5d8d581b53250","datavalue":{"value":{"entity-type":"item","numeric-id":5582060,"id":"Q5582060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$C717EAA5-F351-4FB6-B9C3-E51CD6DC1FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb42e9c88c784c80bd936392ffe3f7b3fab338d","datavalue":{"value":{"entity-type":"item","numeric-id":2703732,"id":"Q2703732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$C0653530-A0E7-46F8-8674-C00982725667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$C4BA08C7-2570-499B-955F-4A017D4C0297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6587e784d496e2ee419584782e6996985cf45aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897968,"id":"Q5897968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953526$3C6A5B25-28D8-42B6-BEDE-5560CDC2DCDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"261c22a4e1ee59a13f2bcd74d8e5cd73af6d6ba2","datavalue":{"value":"10.1016/J.JLAP.2008.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953526$7C7A6C40-DFC8-4559-973B-9309FBA59887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a393b47c99a4523fc0f24bcfab2a914938e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2475307,"id":"Q2475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fa7c353158fb21602d500a45a91b3060b59ae2","datavalue":{"value":{"amount":"+0.7207282185554504","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":"Q953526$CEA8FA32-4AC9-4A41-9514-D9E7D274662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e548b7711055240762a00db92496a8a3ecfcdd","datavalue":{"value":{"entity-type":"item","numeric-id":4935948,"id":"Q4935948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fc29fd52db1ba1b9c900069c5a7e454f536dd4","datavalue":{"value":{"amount":"+0.7182035446166992","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":"Q953526$602ABF57-9094-4C34-84DD-D9F195ECF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe574f243821f7a53840457d3b1d1608ee191ef","datavalue":{"value":{"entity-type":"item","numeric-id":1707342,"id":"Q1707342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247b9177081f34f39d9c5230b5b606740b8401de","datavalue":{"value":{"amount":"+0.71076500415802","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":"Q953526$B4B54138-691B-48A2-8645-40E4D1FDD318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd784231969c9a6df6ff0a223392656be2fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":438179,"id":"Q438179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ad5d2a7134c21f01b5d417b0c5733fd40696d4","datavalue":{"value":{"amount":"+0.7081436514854431","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":"Q953526$0CA3F50E-319C-41D7-A564-40B261D554D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5820dcfdcb461e6aac3a3aa8991fa240defd80fb","datavalue":{"value":{"entity-type":"item","numeric-id":5483029,"id":"Q5483029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa90f5d085d04f4c9449ecf6d19e4e63ce668f8","datavalue":{"value":{"amount":"+0.7068329453468323","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":"Q953526$E3A1B847-E1C5-4413-8670-50ED29B9B24A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models and formal verification of multiprocessor system-on-chips","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_and_formal_verification_of_multiprocessor_system-on-chips"}}}}}