{"entities":{"Q6488985":{"pageid":14067754,"ns":120,"title":"Item:Q6488985","lastrevid":55605097,"modified":"2026-02-17T19:36:31Z","type":"item","id":"Q6488985","labels":{"en":{"language":"en","value":"Local Nontermination Detection for Parallel C++ Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817491"}},"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":"Q6488985$17017BF1-AD53-4ABD-ACE2-059B744E0465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c2cb9ef433519e31f543e461a2bbee555934408","datavalue":{"value":{"text":"Local Nontermination Detection for Parallel C++ Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488985$3F147BF2-6399-4B70-9BE8-3FB4E5D2BD80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75db2feea1c34f0f738ae71d313045d056ba36ec","datavalue":{"value":"10.1007/978-3-030-30446-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488985$1D75E13F-F35F-484A-A4DD-64F66398D5D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ca6f12b527d5af846f8aa008754c5746d358bb0","datavalue":{"value":{"entity-type":"item","numeric-id":6488984,"id":"Q6488984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488985$08C5687A-F7F6-45A9-8C20-AB13D75A7C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488985$3D54AB4D-9989-4649-BE15-4811519E6046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488985$00B01848-9111-44C3-94B9-7E536CFC9F8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488985$893AA42C-E872-4A2C-8BC7-4C10C3370130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488985$64C2D723-A878-4151-93FB-ACA8CB50D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488985$010F81CE-72A4-413A-A6C6-BC7FFDB771B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31b9add032fcb5b3e14595eb026e72f0a2493606","datavalue":{"value":"7817491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488985$973F2846-59B1-431D-AD4A-48DDF433EE36","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":"Q6488985$736C17A1-1123-4EEF-8AB7-A4C1ABFE6E48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488985$2E095B77-15F1-4DD5-AD8C-FEFCE40586B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696f369b4c0894259ebfe727f1a9326063f199f5","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488985$2DE0DE2E-6E13-4A70-8C14-F1B58F45D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4d5a176e085d845297da6d7e528348bcee2093","datavalue":{"value":{"entity-type":"item","numeric-id":1623144,"id":"Q1623144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488985$49C3CEE9-AC8B-475E-B947-7B4FE45652F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b45fead44e15b3ba7a1a7537ba79dc4cfa9cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4337696,"id":"Q4337696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488985$1CD6980A-72CD-4F88-BEB4-DB1A7DFB8C4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d116656e08b4119fc6cdc2f4458b32706119737","datavalue":{"value":{"entity-type":"item","numeric-id":5458816,"id":"Q5458816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5cd441e72b9cb9a5775f1d7a57dff39ad70091","datavalue":{"value":{"amount":"+0.7055640816688538","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":"Q6488985$2AACA5C6-8818-4602-A2D0-6DD669875AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b4b035c274604c4b72f254bc8d206b9efd8872","datavalue":{"value":{"entity-type":"item","numeric-id":1293918,"id":"Q1293918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cc437573f06ed68baf53ddd07e9501bc13b329","datavalue":{"value":{"amount":"+0.6844140291213989","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":"Q6488985$1810F471-CA09-4965-A856-A7498200EEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c3e4bd612549d67644d174c49ba5f40e39f4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4366989,"id":"Q4366989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70958fcf4f9553eaf37c3412590ed27801ef1e43","datavalue":{"value":{"amount":"+0.6827436685562134","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":"Q6488985$CB8098CF-6918-4E6F-985F-AFE3979E4879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95680400054f0ffabcde3a78d53dac709f9f6af7","datavalue":{"value":{"entity-type":"item","numeric-id":1978397,"id":"Q1978397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a3f361cd3da2b1fbaf320c721289f7acdfe331","datavalue":{"value":{"amount":"+0.6814789175987244","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":"Q6488985$376C279F-C157-41B1-AE67-3AFBFCA849A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8786a472651488e17505bc6c5cbe01bc1b59590","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f6dc9ff3619fa7b014da47b066c6fe97caccb1","datavalue":{"value":{"amount":"+0.6752135157585144","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":"Q6488985$72C4B04D-53E1-4A40-A04D-71BF673D5D07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488985"}}}}}