{"entities":{"Q6166790":{"pageid":13301672,"ns":120,"title":"Item:Q6166790","lastrevid":102540449,"modified":"2026-06-06T04:42:52Z","type":"item","id":"Q6166790","labels":{"en":{"language":"en","value":"Static race detection for periodic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722317"}},"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":"Q6166790$687BA11F-ADBC-4FE5-8154-496A3E815A28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"885c520847dd4b731db1c74434d2e711b3bf273d","datavalue":{"value":{"text":"Static race detection for periodic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166790$D73F912D-1F71-417C-B881-F1E715219E8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9ca019651ced4a55c187c4cc02674cc0072ea11","datavalue":{"value":"1528.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166790$B9A9624F-242B-4DEB-B107-DBDA09E98068","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"256c0338c21c62a5af427432c34df67d1690ee57","datavalue":{"value":"10.1007/978-3-030-99336-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166790$F3D38B19-B720-4F04-A26A-BB465BEB00AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afe48110a3b0bdc03833f184fb119319c62f10cb","datavalue":{"value":{"entity-type":"item","numeric-id":6166788,"id":"Q6166788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$8C47EE1E-4BFF-4E04-A047-1E8DF6730092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7df5435725e46b6dc6176249de380f39b9187c5","datavalue":{"value":{"entity-type":"item","numeric-id":1749149,"id":"Q1749149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$B0D4E79A-02BD-43B0-9624-27DCE20376E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86cc07c2ea63b7814d94e9965d8de64107601287","datavalue":{"value":{"entity-type":"item","numeric-id":636269,"id":"Q636269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$D6F2A40B-ACB3-4F04-8F1A-0C1912E1E35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d574c2b547b58dfd60999c5ccd805a950ea9c426","datavalue":{"value":{"entity-type":"item","numeric-id":2147699,"id":"Q2147699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$A4A2A258-1E18-4B5D-A78C-73797208FAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d895ac34c64e9d404cc03bda0e9e5b42f7f19857","datavalue":{"value":{"entity-type":"item","numeric-id":6166789,"id":"Q6166789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$8C1D5EF8-1CE9-44BD-944C-EA51F75D55C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$9F615064-244D-45B1-B1DA-3909EE2B444F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166790$74376ECD-5C54-444C-AA01-950D00DD4355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166790$4705FD42-279E-4C36-982F-BFDF633FD6F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1586559bcbed9d469a518c93d2c420e0159706fc","datavalue":{"value":"7722317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166790$72B03A24-530F-40F9-B83D-C2A7A0299B2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166790$6E5A98AE-5FAF-4BD6-B1AD-8100586B18E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3fbd679826c4a012518a6d6ac3edf040a93752","datavalue":{"value":"periodic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166790$92A3209D-867D-4261-AA01-66B9BBEF22CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166790$75535AC1-BFF3-48B9-9213-1468EC1ACB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a489fcca12d84b4d2cfe05fed4ff89527072e","datavalue":{"value":"data races","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166790$89AB55EA-A232-4FE2-9456-106AA12F643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"179f85f6bd20fab7bae17c89f7af1b09bbd120ef","datavalue":{"value":"WCRT analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166790$19426B94-6095-4B8A-A5CE-ACDC6A7F7B0A","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":"Q6166790$34E59F87-9935-4FF1-BB6E-FCEBB2748216","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a62d9a564caa2391de185df3be25dd4bdb59cc","datavalue":{"value":{"entity-type":"item","numeric-id":844237,"id":"Q844237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$C9ADBECF-6FAE-40D6-BCD1-38F7221255E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f3c40c534014a008cdf3f568fd55145ab05c59","datavalue":{"value":{"entity-type":"item","numeric-id":2926663,"id":"Q2926663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$2C71F911-13E3-4F28-A364-9537BEEAEBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$2B2F18F2-D89B-4C8B-9D4B-56E7EB504FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db579eb79507852e8f165bd81dc3a8288d57adb","datavalue":{"value":{"entity-type":"item","numeric-id":813143,"id":"Q813143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$6BE4C010-CF6C-4D00-8E46-CB08A7277A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9198e1b19e77d675ae5f5fd7fa0d47cf2ab1a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":5408535,"id":"Q5408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$2363F6DC-5A27-43D0-BAB4-932C061BC3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58210b721d117aac58a156c767207930470ab37d","datavalue":{"value":{"entity-type":"item","numeric-id":5375450,"id":"Q5375450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$481C5240-B53B-4296-97EF-A69A070B4975","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d8fdb426c21e92a011e6bf6811b2597e21753f","datavalue":{"value":{"entity-type":"item","numeric-id":6070804,"id":"Q6070804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba0a2b528b4ded6ebf6434166c39711c70bff59","datavalue":{"value":{"amount":"+0.7920466065406799","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":"Q6166790$5FB0AD65-2641-4ED1-B4B8-F8A264B06852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89a2b3589400e89342c2bd9f340e4bf75822aa2","datavalue":{"value":{"entity-type":"item","numeric-id":5408535,"id":"Q5408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c824c3c7c705c9613c623bffccab535160002f3","datavalue":{"value":{"amount":"+0.785010814666748","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":"Q6166790$41466234-2DCA-43AB-8E11-FD159F2AC8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b118fa60cf029105d6800352fe02a2882188392","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b7783d52866bc15f71203133af58ba2290bdea","datavalue":{"value":{"amount":"+0.7719392776489258","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":"Q6166790$4E1CE720-3D54-44D7-B37C-C882EBDA606E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af41a07e76f72e32823250cc494ddfb025c18171","datavalue":{"value":{"entity-type":"item","numeric-id":2147701,"id":"Q2147701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fb1972265430071379ff4d8f2756054aa4d9a8","datavalue":{"value":{"amount":"+0.7588509917259216","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":"Q6166790$26AEEEE8-DD77-467A-A27E-FF026AE3E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afed11f72978d81204f8a2d7dbf84aec1785527","datavalue":{"value":{"entity-type":"item","numeric-id":6535959,"id":"Q6535959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228ec458d4ca0fd5961e75d0a0c666d98b191810","datavalue":{"value":{"amount":"+0.7587602138519287","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":"Q6166790$2EB6B1C5-DB6B-4A3C-85D7-6EE03DECD6C9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166790$24F147E1-CF8F-4C5D-9A9C-599D4CE3C70F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static race detection for periodic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_race_detection_for_periodic_programs"}}}}}