{"entities":{"Q5370882":{"pageid":7400456,"ns":120,"title":"Item:Q5370882","lastrevid":92249267,"modified":"2026-06-05T01:14:49Z","type":"item","id":"Q5370882","labels":{"en":{"language":"en","value":"Thread modularity at many levels: a pearl in compositional verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794672"}},"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":"Q5370882$F63EDBC0-B1A9-40CC-853F-F59019FA25B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ac258313696d5db648d2b281861042763cd5543","datavalue":{"value":{"text":"Thread modularity at many levels: a pearl in compositional verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370882$5A0C6126-8377-444F-A7B5-B5C10C3761F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82df306b00b8e9ada5ca27d600d6a05d93381898","datavalue":{"value":"1380.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$0757CC68-16BD-439C-9B02-103BD3B8D558","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f20f8c7c3f0fdb31f2bdb8b1c6f1910fa61f43cd","datavalue":{"value":"10.1145/3009837.3009893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$CEED991B-F2B2-4D58-AFC5-B9BFE4B38641","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48954c1a0cd2148a60dfcecb4d54e447f7acb36c","datavalue":{"value":{"entity-type":"item","numeric-id":286736,"id":"Q286736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370882$79972D98-1365-4776-848F-D80BA8947CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370882$874E7C18-1AB9-4268-9B02-489282FA0EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370882$EA45B144-EA5E-4764-BC1D-E94E0268080B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370882$1F5BA4D2-A2AA-4260-8212-1C6569594ACA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370882$4ABBF560-6535-41E9-8195-B6578F189193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$89320B56-F2AD-4D6F-B1D5-6FDABE584FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$06AE4402-8812-4D5C-8481-73B26EBBE525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$02C93DA5-F6C1-4311-B34C-6E3C9E441F13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92624c7b825b611cd5ba90430d68154990df4219","datavalue":{"value":"6794672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$340C06B0-BD3D-4A23-82B0-126B9C32007A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370882$2C0180DD-0AE1-4B71-84E8-9D9F0D2F6CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aaaf7bd659464062f402485e03b48584e585d65","datavalue":{"value":"Owicki-Gries","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370882$90ACD6C1-7FF7-4EF8-87D5-8809173CC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370882$3CB86006-B101-4BCE-84B0-E16992C1BDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50385feaced5f153863c75642d0f342d63233e0","datavalue":{"value":"thread-modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370882$AF81006A-C9ED-48D3-9D81-266817BDE791","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":"Q5370882$62DC75A4-AF6F-4A00-A81B-FE64C3A4474C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17a0cfdb760f871b3f8df519c970bbca59666f86","datavalue":{"value":"https://doi.org/10.1145/3009837.3009893","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370882$FBB65C83-04E3-420A-947B-55D2C528D539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ede0806209f00e0c11d366e5d80f0f43b8d0a40","datavalue":{"value":"W2566058028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370882$63F8C08A-3B35-4A3B-BFC1-5611330A2BA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feab49b0df772c87693a01d02c9cb442632c1252","datavalue":{"value":{"amount":"+0.7408276796340942","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":"Q5370882$73750ED9-9700-4E4D-B2FF-18DDDF52DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe084456746ed8876665802a8a052adfab45592","datavalue":{"value":{"amount":"+0.7400791645050049","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":"Q5370882$82218D88-AA39-47FD-ACDE-362B97198507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f83a6bc04d9e714480577eeb1e3d2fdb1e692a7","datavalue":{"value":{"entity-type":"item","numeric-id":3612004,"id":"Q3612004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d446c82bb9f8683e5a7423911804eafe97739703","datavalue":{"value":{"amount":"+0.7370907664299011","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":"Q5370882$6F6FC1B9-2574-4680-86F7-7A88F4B692A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a612fbdd8dd023140c1134671601f072bbc161e1","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad586815cc7e70957e047044578357cb29b9b00","datavalue":{"value":{"amount":"+0.7360461950302124","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":"Q5370882$0548B918-E637-41D1-A527-80610A7694D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928ffddde892e1817bc819ab21baaf4913e314f","datavalue":{"value":{"entity-type":"item","numeric-id":3189809,"id":"Q3189809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5580694ebac5902b491ad3fca088f4b03e9ad9","datavalue":{"value":{"amount":"+0.7320922017097473","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":"Q5370882$6D2CBCBE-462D-4534-9BD2-13056C53ED6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Thread modularity at many levels: a pearl in compositional verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Thread_modularity_at_many_levels:_a_pearl_in_compositional_verification"}}}}}