{"entities":{"Q2469153":{"pageid":2479896,"ns":120,"title":"Item:Q2469153","lastrevid":50265752,"modified":"2026-01-13T16:55:04Z","type":"item","id":"Q2469153","labels":{"en":{"language":"en","value":"Denotational semantics for thread algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231970"}},"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":"Q2469153$6459B862-E841-4BD5-8DD1-AC5B9F4A95AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dea78acb4bdbfb60c7cb936e91acba46ffe909e","datavalue":{"value":{"text":"Denotational semantics for thread algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469153$9FD90F88-D6F6-4A7C-A99A-CC073DC491CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bebdcdd44b89df4f7442eb2a8e2575afbe5f750","datavalue":{"value":"1131.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$5A62C44F-75B9-4C6D-A06C-CE0CA52EB744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a80c4b274f4bdbe6cfe8407987da766fc202ec","datavalue":{"value":{"entity-type":"item","numeric-id":955711,"id":"Q955711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$43BCFAF6-425C-41CC-88B5-3722F9454DDF","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":"Q2469153$F705D09C-F5B5-448D-8415-0598B48D4824","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7d92ceb78f78f49389a1027568ad4fd3f39cc02","datavalue":{"value":{"time":"+2008-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469153$FAD8A6EB-4E5D-4D92-96A9-D7D38EFED75D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$3DD50EAE-50F6-4171-BA1C-05042D01F570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$3A0E9542-4C08-461E-B6EE-7FD27D194013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$A1569090-890F-41D5-ABF1-07F2E9FE2F63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc2e59ebb3ee731bbe6339b9262cffbdca2d51c9","datavalue":{"value":"5231970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$02F879CF-5236-497A-ADF3-7410E45411FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d235fa3ac1188412742ce2cc3566f249a5718377","datavalue":{"value":"thread algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469153$6E8CAF4E-7B86-4234-9175-5546951C3359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2aef8692d3aa45360602328b579b3f8fca153e0","datavalue":{"value":"metric denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469153$E3FAFA35-7D63-4C97-8B16-F86E4DE26C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5187535c727604c5f2b83e80b3162c3ef4ea8c03","datavalue":{"value":"strategic interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469153$6C9F346C-B445-4E29-B19B-418079916E36","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":"Q2469153$4588C243-2303-43E5-8554-3A6938E5DE34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"091fd43e81ae9b855fc89dd296c763c7562be781","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469153$FBA30B7E-63D1-4B80-A539-1C14CF37DD4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dc526192a5d14ebb49cfa7e11c8b0bf0353aec4","datavalue":{"value":"W2142757043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$5E6D3137-63AC-45BD-B34E-085A6CDEBDA1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"094d3977ff44a6b9a7d34323aeae88880901b20b","datavalue":{"value":"Q114851557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$8D975317-4098-4E04-BC6C-0963225A8093","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$C23A6017-DC83-4F12-9F0D-10E8B9F20026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$BEC578C4-E7A5-4A2B-881F-316E756471F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed3ed7ae448edbb5daa7c01fa9554b7dee4d425","datavalue":{"value":{"entity-type":"item","numeric-id":1377300,"id":"Q1377300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$AE5C59E3-7D29-41DF-974A-31DFA62DD8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$AA351071-69BD-44F7-B9F9-4FF77F9D7B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b86c8b7539c4ebb487075a4ff73bf8c316eed5","datavalue":{"value":{"entity-type":"item","numeric-id":4449159,"id":"Q4449159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$10111D9E-1EF7-47B5-92B0-960A859C5DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff2bda72bc35fa87aecb52a2f4bb08727f21185","datavalue":{"value":{"entity-type":"item","numeric-id":2571202,"id":"Q2571202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$5D001429-98D7-4A23-ACBD-D37B8D2EBD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$F55BA2BE-81D3-4BDA-9211-7A4753EC1ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd04c46264bb288085662e17b6e498a9e39c983","datavalue":{"value":{"entity-type":"item","numeric-id":1858432,"id":"Q1858432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$8AC6EE03-C300-40D4-BF2C-71D03A2A6559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37841ba30fa0ae5849e4df0504e256da649b6138","datavalue":{"value":{"entity-type":"item","numeric-id":5717067,"id":"Q5717067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$6EB39A36-8101-46BD-BBE0-52D9194B5B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$28F73BA1-9797-401A-84C0-1A2827C76F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8f4acaecc585026cabd219c7505beba3aa039a","datavalue":{"value":{"entity-type":"item","numeric-id":2743132,"id":"Q2743132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$CA7814A3-6954-45C7-B53A-7D6E137A4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$B43359C7-AE47-4B86-9650-9736EB5C1267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$4BB607C2-31AF-488F-8BB1-9FBB589FC372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469153$52D90E2B-446F-4028-BBB5-9B9CF8719C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4091d6c3e32b5ae2357a0cbed4cba78a6f1edf05","datavalue":{"value":"10.1016/J.JLAP.2007.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469153$54D20A1F-4F48-4DB9-9A4F-F32907AACF0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9bc9bb8d219642bb8de3b6b0dfd49438786c61","datavalue":{"value":{"entity-type":"item","numeric-id":5898842,"id":"Q5898842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4f771cc584b043a0f0c5f6b216c4e1f4fc4777","datavalue":{"value":{"amount":"+0.7829664349555969","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":"Q2469153$9ED03832-EFCA-4FC4-9515-D1CBCDFAF506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bede620526f64173268f5df6bf2df2c27fffcec9","datavalue":{"value":{"entity-type":"item","numeric-id":3625692,"id":"Q3625692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6a23573715b3992e452c86a7c4f82ac5732f68","datavalue":{"value":{"amount":"+0.7770113945007324","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":"Q2469153$9B43E258-A064-4077-8FC9-D27142C38F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c94088766678bb396f5b0ef7bf9227f7aa97ad","datavalue":{"value":{"entity-type":"item","numeric-id":2461536,"id":"Q2461536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2262631cc53e0463cbb550bf1fed08593e0bbe9","datavalue":{"value":{"amount":"+0.7625219821929932","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":"Q2469153$F5E28BEE-4FB3-428C-A3C7-3D696330905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7d4b669b11aa55c1a6323bd393c288d1d3598","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401a2bd350ed6b469eae1d35f2c46643a033f83f","datavalue":{"value":{"amount":"+0.7553824782371521","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":"Q2469153$74B936D2-3200-4D71-95CC-D63AD9574805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef48e030b594b48bb16b5d8713606559c6c96427","datavalue":{"value":{"amount":"+0.7339287996292114","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":"Q2469153$A6C66890-0BF5-4AB7-A75F-1363DCBEB200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2469153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2469153"}}}}}