{"entities":{"Q2842113":{"pageid":2852833,"ns":120,"title":"Item:Q2842113","lastrevid":51799088,"modified":"2026-01-20T02:35:53Z","type":"item","id":"Q2842113","labels":{"en":{"language":"en","value":"Causality-based verification of multi-threaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197905"}},"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":"Q2842113$97B2FC09-DE49-4866-ABC9-CC63C9D7B649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"933d141b8bf0d824c9f01f3ae6f7b87f9b9e4568","datavalue":{"value":{"text":"Causality-Based Verification of Multi-threaded Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842113$7840D1D9-0135-4B6A-BB98-E663E5892A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d40f89db6698e7ae7f13c5ecfd0addb9cb0356a9","datavalue":{"value":"1390.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$1F17D286-31B3-4C8E-B8D9-0CE7CD4C8CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25af622a9d2c2bd17110e01ad4c9fa75a769630d","datavalue":{"value":"10.1007/978-3-642-40184-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$F4BB3497-FFF0-4989-AD58-55C23B0CDA1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3b1e3f70334ef3d93af3cfb4b8ea607b864619a","datavalue":{"value":{"entity-type":"item","numeric-id":2842112,"id":"Q2842112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842113$980C3D32-A302-4F23-9CFD-4F72DA2246BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842113$F29447F3-9166-4DB2-B165-D1B9AB1A4C28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842113$71B9A270-7AAE-4ADA-A3D7-15C4DF29E451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842113$ED04517C-A719-46AE-B163-E1DE18633E5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$B3D969B4-1E86-430C-955C-0AAA5CFD0D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$A7720E0F-2012-4847-96C5-790DC5BB1847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$EC118994-7373-4BFF-BFEE-49D9386CC3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$F8FE4D7A-73B7-4A9C-88A6-01640456410A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d420faae6dd45afe2fab38945aaf96a77ea263cc","datavalue":{"value":"6197905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$A245519C-5C59-4750-B84F-13D637101D4F","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":"Q2842113$50D6C587-EE2B-43FE-8622-582C7E4CA829","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f59e128d94099bf3f46a9d55437246be047eff6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40184-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842113$8181849A-AD11-407C-B746-2C05EE5F0FE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fabcd25f96e734e37025fba97359c02a3883cb9","datavalue":{"value":"W65858999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842113$0EE7DBC3-396A-4EA5-BE1F-343644D92100","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":"c363a952170ee483d7caa1dfe8b4d16636c62fdc","datavalue":{"value":{"amount":"+0.7750804424285889","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":"Q2842113$2FFED4C0-2762-49CF-B5B0-9D90734E4D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae57df94706e64c7dc987a9e4962fc92e4537ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08329c36d0f63ec458c34d75b2aee153eaca7bf5","datavalue":{"value":{"amount":"+0.7718541026115417","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":"Q2842113$73465D56-416F-49F9-8228-9B50126BD131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813badc9ae4f751c27ba55a6bde15cb613aad8b0","datavalue":{"value":{"amount":"+0.7600104212760925","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":"Q2842113$30A3E21D-321C-4FC5-9DA9-264E5F5FEEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91731193b4f93b084a95ad588f670662502a94b","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d0569908e224f6a4dfe0377bc17859c1547b24","datavalue":{"value":{"amount":"+0.7591897249221802","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":"Q2842113$4FD99A83-7288-48A7-84A9-BD54AAE718BD","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":"f0891814b94da0815aaaa8b3a6155c2b0767002d","datavalue":{"value":{"amount":"+0.7517133951187134","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":"Q2842113$D6ED9556-235E-4AF4-9768-70D3D61BE367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842113"}}}}}