{"entities":{"Q2937782":{"pageid":2948502,"ns":120,"title":"Item:Q2937782","lastrevid":79857944,"modified":"2026-05-06T14:52:18Z","type":"item","id":"Q2937782","labels":{"en":{"language":"en","value":"A Hoare logic for SIMT programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385642"}},"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":"Q2937782$CA1A4CA2-9E6B-4DDA-A308-86D313ED6FAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b97d3e7903073ef619d30e8140c7670d58d11af1","datavalue":{"value":{"text":"A Hoare Logic for SIMT Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937782$2DC3DFD9-7669-42B0-9867-A1A33D6C5606","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb52d77d4020fe5ebb6254218e186dc592dda36a","datavalue":{"value":"1426.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937782$D3DF7CD0-D60E-457D-B117-1B01BDD56FCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6960f3dc603c01ab1d71c2dd738ebdb944d7bb8","datavalue":{"value":"10.1007/978-3-319-03542-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937782$19EEDA27-5AE9-4D56-A639-399665FF156B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0179ba61809acd8ce680c7848183f60ed14497ab","datavalue":{"value":{"entity-type":"item","numeric-id":764260,"id":"Q764260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$583E1592-34CA-49A3-A1AC-BAC18FF4F167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$4CC49BDA-689F-420A-9F3A-D6418FC8F57B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$E3F99E4A-0900-4E20-A38A-35AF37180086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-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":"Q2937782$CA8570EB-9501-45A9-B75C-166BF1D8C017","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937782$11D8D23B-DDCD-4EE1-9D0D-07219506DD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937782$5D791AE4-A523-4AD0-A90F-DB08354BE7D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f934db4f69365789fea6c13aeef392b3d6c8b141","datavalue":{"value":"6385642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937782$42C98036-AE2F-4136-85A8-6DAD35DCE401","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4d6f87be2e6a2647ec74e7f56eb9f5bc9f19e1c","datavalue":{"value":{"entity-type":"item","numeric-id":19119,"id":"Q19119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$EAFB5BFD-C53D-41BC-9506-455DA4ED1B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3a054baa4efca75beada6ac9f2f664c52ac32a0","datavalue":{"value":{"entity-type":"item","numeric-id":15791,"id":"Q15791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$8D85C32B-A8F7-44B1-9AA1-6DA293AD415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8d8f10a93b523882fb84087e4f3ec3a91618d463","datavalue":{"value":{"entity-type":"item","numeric-id":24718,"id":"Q24718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$D1961457-6F43-4995-B446-63106CEE56C5","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":"Q2937782$C6E4E022-5A08-4EB5-A1D8-53C66CDEA86F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d08166f13b0a4329a2142581523a25b2076e7679","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03542-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937782$DA3EBF61-D79E-4C68-94D1-EE53D1E5C53E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91924815f033625f6fd67add365a95ebc52b6684","datavalue":{"value":"W58661141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937782$D8FC8210-2714-4ECC-944F-A23C60D52124","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af7c6d4ca8ff3392b0102f2c9bf153ad55b0f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5326291,"id":"Q5326291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$56FCFD5E-A06B-4808-B75D-F6851262F34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$A7CC4A95-CAF2-4572-9CB4-65A611088A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7eb7e3fe7dc50a96b6b916639660dfe74519b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2892735,"id":"Q2892735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937782$A45FFF15-A6B8-4775-8C92-809D63D9787E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e9232811e22e8604e26bb02b35fde2c001ba34","datavalue":{"value":{"entity-type":"item","numeric-id":5278201,"id":"Q5278201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361abc9d29497df5620e2c31737dfa0cd4d436ef","datavalue":{"value":{"amount":"+0.923790693283081","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":"Q2937782$426EEE1D-4B48-45F5-AD91-3A222703B39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7265c1beccaf1b4ab5b43c909ec3f85e9e97b42a","datavalue":{"value":{"entity-type":"item","numeric-id":2892735,"id":"Q2892735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba41b8723338b34995118e48aa004dcc128e898b","datavalue":{"value":{"amount":"+0.7530515193939209","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":"Q2937782$5D33F3F8-EDE5-4AA3-AEA0-723E0F0DFEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5555bd553a019fcdf079c7139717bb35a55ff","datavalue":{"value":{"entity-type":"item","numeric-id":1703009,"id":"Q1703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56be76c21cf30872bc62ca0dd32078329568916","datavalue":{"value":{"amount":"+0.7475559711456299","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":"Q2937782$385441DA-9E10-46F2-980A-D99CECFCA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d731c358774dd377db3bc2580d7be5f161926ebe","datavalue":{"value":{"entity-type":"item","numeric-id":5326291,"id":"Q5326291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b3db94c32ec18a16b635d964750b60bc2b76a3","datavalue":{"value":{"amount":"+0.7247548699378967","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":"Q2937782$8E4F750E-97AA-4682-8AE6-010906D1D0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d95eadbae451b1eefb03dac2735a57557a53ad","datavalue":{"value":{"amount":"+0.7031432390213013","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":"Q2937782$338602FE-265D-4C08-8547-2DE859D89F71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hoare logic for SIMT programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hoare_logic_for_SIMT_programs"}}}}}