{"entities":{"Q3017644":{"pageid":3028368,"ns":120,"title":"Item:Q3017644","lastrevid":86040725,"modified":"2026-06-03T13:36:00Z","type":"item","id":"Q3017644","labels":{"en":{"language":"en","value":"Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5927569"}},"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":"Q3017644$8EE6D3AE-45F1-445C-88F6-A7FA3B2A9359","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f898094da8e5375fe03673e22a6b5b2b17de87b","datavalue":{"value":"1240.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3017644$E04655EA-8C50-4234-A6B9-C830818C0C66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17ef9109bc91fdb1bfa909e0330a5de3ec8d2061","datavalue":{"value":{"entity-type":"item","numeric-id":1986562,"id":"Q1986562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3017644$9342DB1E-150D-406A-BA57-08BFFB5586C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3017644$13A7773A-C421-4701-95D8-D50562E69485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31178e5ce36c889b8693b47a1db458ac7d81a215","datavalue":{"value":{"time":"+2011-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3017644$C1A763D5-E4C3-4E1B-99AD-BC9D7702EDDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3017644$09037750-A627-4344-AA9F-FD8F7AC9CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3017644$0C8E1AB7-7B21-4947-BD62-7FD976CA2314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3017644$D9A3216B-D2B9-4DBC-86F4-7CE7596227BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bde5cf108ddb278707aceb610547e63cb7d2aebc","datavalue":{"value":"5927569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3017644$BE650380-0119-463C-895F-A4AF00C4B760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3017644$31C2FAA4-2B94-47FA-91AB-558E5A3EFED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000fc85e90d3cb6715cebdda7faa4d6fca19e98d","datavalue":{"value":"process scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3017644$7DD0C69B-AD52-4F63-BC75-8FAB969C235D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3017644$9BBC8AB8-B566-4A15-A7C3-5D2658E59C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9967645158ffcb84c9c54ece4d2ff55cca4cbf","datavalue":{"value":"multi-core CPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q3017644$7F440FD2-C343-40A2-8CF3-16832F884DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e203ce39ab3cb11ed117843f9112db619732d0","datavalue":{"value":"scheduling verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3017644$861D3731-564F-4B09-9D87-4CE52315EABB","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":"Q3017644$3F090620-0337-46A3-823C-C01A73114740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d216e27e46b27d6668414a77f4aa8b41fd4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5963639,"id":"Q5963639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc139a65c5a916cf55b9a8faff39f004a565c1d","datavalue":{"value":{"amount":"+0.7556461691856384","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":"Q3017644$5CB3A038-31F9-405C-B9D8-EE076E7ABE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ba328c99d55bcd0269331ee9f3762a9ed07754","datavalue":{"value":{"entity-type":"item","numeric-id":1708646,"id":"Q1708646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a23c9f45f8f2c6ee669c3a75a541d4bfbdd09c","datavalue":{"value":{"amount":"+0.7299457788467407","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":"Q3017644$79B9EB4B-2498-4362-A11D-08BD7699CCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88fb3cad8d86c8f87c7fc93460189a70cc5930a","datavalue":{"value":{"entity-type":"item","numeric-id":3163921,"id":"Q3163921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1323c33b0a727f45f0ff8a0c3e41f0eebd968d2","datavalue":{"value":{"amount":"+0.7240952253341675","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":"Q3017644$61EC7082-E98A-484E-BD07-A0E589FE3A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99edb253f5ddcee94fb06c4b2b2e038cef42256","datavalue":{"value":{"entity-type":"item","numeric-id":2424721,"id":"Q2424721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a924b9c36c5339cb98529f04d6e14cbfcd608e3d","datavalue":{"value":{"amount":"+0.7169366478919983","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":"Q3017644$3F66DC72-5022-42C2-8E63-54BEEBE41C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fb4573bb9fe07b93f992b29f542769ced4c69d","datavalue":{"value":{"entity-type":"item","numeric-id":744103,"id":"Q744103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744f9bb14718cf1ed23d89a91e14c002a550ac85","datavalue":{"value":{"amount":"+0.7005062103271484","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":"Q3017644$4319C5D2-DEA1-4D9C-9A04-301B49DE9EF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_verification_of_processes_scheduling_based_on_projection_temporal_logic_for_multi-core_CPUs"}}}}}