{"entities":{"Q5429323":{"pageid":7458897,"ns":120,"title":"Item:Q5429323","lastrevid":50224682,"modified":"2026-01-13T14:00:37Z","type":"item","id":"Q5429323","labels":{"en":{"language":"en","value":"Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216229"}},"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":"Q5429323$38EA764C-7657-4A63-BF20-ED91D84C72B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0c969cc6bae76cf19b60724344ba8b1169f2871","datavalue":{"value":{"text":"Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429323$EC049735-13EC-4C9C-B4EC-DDB27D5AA0AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cc498f4c92afdade071fb73257e19ecdfeef60a","datavalue":{"value":"1135.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429323$C794F30E-A6A2-4591-AD88-39394C03AADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aba1dc29d9e2271e8d36d5ab643ee8126f9ca605","datavalue":{"value":"10.1007/978-3-540-73368-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429323$BB919BBF-6193-4869-94DC-D92E022EA7B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429323$B546A0DD-7CAE-4A8A-A52B-41C65E8B2789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91df61f0be4ff8b4810156bb9435d79bc7f0c8b0","datavalue":{"value":{"entity-type":"item","numeric-id":764338,"id":"Q764338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429323$33F4AF8F-78F0-4CEA-9E5C-CB64C0DE7B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429323$3DF38DC1-14CA-47BE-87BE-BFCB23EDAF00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429323$50A74379-347C-46FF-8B73-6888134E4E1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-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":"Q5429323$D6ABA645-F4BA-42E7-B69C-AFE996F84AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429323$5933EF15-62AB-4384-A89C-DA529C751EB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5100501a6fc3bccd5b35b5b542005ccd1b488533","datavalue":{"value":"5216229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429323$DF3BC095-2907-4432-A5FE-66F8448B0ACC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429323$4E4E7017-C9E0-48D8-81D4-9BB62869A8F6","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":"Q5429323$FFCD03AA-A108-4E3E-A4F0-A24C4C7C3D4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a367d8c4546265dbefd6572921f508e6bbf5706","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429323$1F6912AF-5793-49CF-AAF7-54F3123C5E47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"526909f2e652f77fe88c655bf5d524cbbe40403d","datavalue":{"value":"W2099608328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429323$F5C16866-5B0D-47F9-AFC3-023B158536FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e671e823e3a6989aa37480b0c1bb47a4d7f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f748291a529eb1ac7cb617a4e0118d5c6eab27","datavalue":{"value":{"amount":"+0.8598731756210327","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":"Q5429323$D8267742-D216-4EE4-98AD-5DD17DF18663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c372af39a26ac6a90db42578e5f1e6f719300f90","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26515e1b213ec8b07b01b967594eaea17234bdde","datavalue":{"value":{"amount":"+0.8598725199699402","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":"Q5429323$28D0E69A-5DF2-4BE2-A003-8EFB8593A1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5631880233381d2c0969dc48027c0e2a4c4ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7648d503587d11183a10f661fd876578efe44a84","datavalue":{"value":{"amount":"+0.7955915927886963","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":"Q5429323$0DD55F9C-A42E-466D-B559-98D390EF9417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207fc26789e65b18874145e9467e94f580f1f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da503db0eeb952ef68f9fe58e88806313a197081","datavalue":{"value":{"amount":"+0.780348539352417","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":"Q5429323$C07DAA62-1C08-4654-8668-6919978A0F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d01039bbb25d3c7b33ed2d4a2a28c713b9441e","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dec875fe95b295c7b5189920e5194b37a04c06","datavalue":{"value":{"amount":"+0.7752472162246704","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":"Q5429323$0826F4E9-5BA7-4677-8892-3CB1A1AAE0BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429323"}}}}}