{"entities":{"Q6165810":{"pageid":13300691,"ns":120,"title":"Item:Q6165810","lastrevid":93955028,"modified":"2026-06-05T05:31:51Z","type":"item","id":"Q6165810","labels":{"en":{"language":"en","value":"Logic meets algebra: compositional timing analysis for synchronous reactive multithreading"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721064"}},"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":"Q6165810$1A5A689D-6D5E-4E0D-A239-563283690F99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d99a2c1d96b7ca1c7c4da627a8f15a7aad6c0d80","datavalue":{"value":{"text":"Logic meets algebra: compositional timing analysis for synchronous reactive multithreading","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165810$4ED0AF30-D623-49CA-964A-EE0F2E8AE6DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51c72278f0f1e338354bb64e9f314f98dbc1d733","datavalue":{"value":"1519.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$BF1E0796-3EF8-4754-A902-E75C8EAEFFAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cf80965967f9677302401b1957afa277350b0b3","datavalue":{"value":"10.1007/978-3-030-22348-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$9435B508-F907-43BC-A076-1BC910E7442A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165810$92F0C7E3-2061-46AB-A4B2-9DDF79CDD952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df9fc7d0550119a1d93fd411470833995ab03e9","datavalue":{"value":{"entity-type":"item","numeric-id":631752,"id":"Q631752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165810$9A96C855-24BA-46B3-972F-8D6555A4A493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da385aa7232b531fa042ad419a595c99c622faed","datavalue":{"value":{"entity-type":"item","numeric-id":4603570,"id":"Q4603570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165810$C89DF75B-23DC-42F4-BABE-3565CE4B30B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08062c549305a892bcd66aa35cd891003cb8441f","datavalue":{"value":{"entity-type":"item","numeric-id":2178225,"id":"Q2178225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165810$19A87B6E-2EF4-466B-BBD4-65DC1E2F0CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9689e5f8ed67ae45e03ccd1d462c59feca7e5e","datavalue":{"value":{"entity-type":"item","numeric-id":2075764,"id":"Q2075764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165810$0286CED7-6A93-4F0E-B092-83273E28DB72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165810$84B6059D-F5E3-4F86-9B8E-D932B84CD0C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165810$BA992F29-633E-4AE7-8F71-54182458D27D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$131BEC51-0CE7-4C92-A39B-4F25EEB5822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$0D198302-D571-44A7-BC71-CB78520232FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$637C3CF3-9EDD-487A-94C6-07DF33894046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$D930BDE4-1558-4F31-990B-786DC0A155D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$00B04928-9304-4726-8CD4-8CBFE3017DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$B37E54EA-E137-446E-B118-6B7C9D7BFE34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ab310c5a297e1992ce9bf30aed0006e6acdafb1","datavalue":{"value":"7721064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$C93E29D8-91AE-4F7E-8E28-D943B15AF2B1","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":"Q6165810$26916E80-4100-4AAA-8A38-6C3E704EB425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae113bc12d2f9f4599bb219fc7af8746508410e4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22348-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165810$287126C5-64E2-4F18-AF3E-6984736D3C6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb70552ab0c0f33f7727429b9a54c10849d41ba6","datavalue":{"value":"W2954542115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165810$34416AC5-061F-4CA3-8A72-299E55DF76D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd548764868f55a786ec7e42464e75c9ab3ef2e","datavalue":{"value":{"entity-type":"item","numeric-id":4603571,"id":"Q4603571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4b1227f5a0d044706eb3c812973624bdc1f1c1","datavalue":{"value":{"amount":"+0.7518765330314636","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":"Q6165810$8E9F85F3-E8D9-4CC6-9A54-9B3D4F766644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdda57ce28babb3d5500ef26e0d614094efe3eea","datavalue":{"value":{"entity-type":"item","numeric-id":2915135,"id":"Q2915135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d33b7ad23af08e03963af94d7fe2c663af97f98","datavalue":{"value":{"amount":"+0.705338180065155","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":"Q6165810$E7208273-5025-4D0B-AEF9-33E9DBB666CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5113239c9cedb9427ed7de52bd3cfb69d19d0c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4250362,"id":"Q4250362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0cfa723bb9e80750fe6157df183c1f9839d2bc","datavalue":{"value":{"amount":"+0.7044676542282104","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":"Q6165810$BE57A9AE-EC6E-4924-A885-7EFF64756AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c3ed6051b36d0319ea6635b97f6be07552c74c","datavalue":{"value":{"entity-type":"item","numeric-id":2350494,"id":"Q2350494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a159f50898c4e5f206ef32ffdc896e9425284be2","datavalue":{"value":{"amount":"+0.6971923112869263","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":"Q6165810$34351D02-232E-4E3B-BE11-3ABE8F585925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b6247faf4e7ead9fa1930ad9e371922a24961f","datavalue":{"value":{"amount":"+0.6970049738883972","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":"Q6165810$396C7576-C071-4E27-A9EC-01CA9C2E07AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic meets algebra: compositional timing analysis for synchronous reactive multithreading","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_meets_algebra:_compositional_timing_analysis_for_synchronous_reactive_multithreading"}}}}}