{"entities":{"Q2894275":{"pageid":2905000,"ns":120,"title":"Item:Q2894275","lastrevid":84892451,"modified":"2026-06-03T05:03:43Z","type":"item","id":"Q2894275","labels":{"en":{"language":"en","value":"Compositional termination proofs for multi-threaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051089"}},"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":"Q2894275$51F22AB6-6B70-4F2F-A59D-3D95E5B7859B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1635bdaffe504a5cec9328fc76cf340bd646dcd5","datavalue":{"value":{"text":"Compositional Termination Proofs for Multi-threaded Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894275$EC2B47EA-3158-4752-9A7C-FB6FA471F2D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"683245bb94cc6a83e6cd80b3008f633466f80294","datavalue":{"value":"1352.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894275$59AE95DF-BAA9-4CC7-8C8E-CA173B2D62E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c153237966763ba9692ef8bfa688ab944d4e196d","datavalue":{"value":"10.1007/978-3-642-28756-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894275$CE0771E3-5AD6-4FEA-864F-C113314DBBEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894275$CC3973A7-FE22-4259-A501-C7BB2C113A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb5194b074431f4ab5210cd57ca7a7f1a1e79525","datavalue":{"value":{"entity-type":"item","numeric-id":948221,"id":"Q948221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894275$948F5B83-5C97-48D6-AC82-60CC9EAF94A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894275$05F644EF-CF92-4623-ABA0-889CD8AD8A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894275$7AEEDA5E-F7B4-4CFD-A613-F1681646C6C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894275$E19533E7-24C0-4654-A869-CBA80C088163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"201e7ec6e4b95fd9edab9195a45e2bb03f6b14c3","datavalue":{"value":"6051089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894275$EA61E1C7-0E36-497C-A4AB-195AD714F9A0","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":"Q2894275$73B11E76-3573-4CF1-BF9D-5994556DAD0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f053a747166a8b85dbeba0cc0dfbf98bb77e99f8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894275$57ADA274-5D59-41B9-B274-9007BA039CB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15d8dd395b61846ca342b635578d4efe14196d95","datavalue":{"value":"W182717014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894275$ACD0BC7E-2743-43F9-A3A9-67AA763CA0DB","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":"c8a738f1ca4dc8c3a45b0b61f2ad0f84e914501f","datavalue":{"value":{"amount":"+0.7720532417297363","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":"Q2894275$2B563D88-F9A6-40F8-8B68-C30F79158467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4c2d31bedd4d37c446a8611d46d3282ef66e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabfdec14e06086eba8919a5718b042b59e7d91e","datavalue":{"value":{"amount":"+0.7658226490020752","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":"Q2894275$D61002EE-2C4B-4405-9609-1EAA8B6B3AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd8fe519b64cbc856a832a8dd1f77f177c5e155","datavalue":{"value":{"entity-type":"item","numeric-id":3656886,"id":"Q3656886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4448810c405ce3e9c09773ef9b9df1f44cbf48b","datavalue":{"value":{"amount":"+0.7388182282447815","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":"Q2894275$BF318683-D142-4A80-903E-CA1F02BA88E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfe103a237343092c56f9a884431017e84d83de","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245f2e2b2aa78f2d650cb321edfb3fcaeebc2e18","datavalue":{"value":{"amount":"+0.7373313903808594","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":"Q2894275$E2B37AE3-15D6-4567-9BF8-47D1969B309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c08fd3e981f640ed135843b91b0d017176d0f7","datavalue":{"value":{"amount":"+0.7308520674705505","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":"Q2894275$D03F74DF-3286-42D1-91D0-8E6C2D4FE0B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional termination proofs for multi-threaded programs","badges":[]}}}}}