{"entities":{"Q470007":{"pageid":471774,"ns":120,"title":"Item:Q470007","lastrevid":62119128,"modified":"2026-04-11T03:53:33Z","type":"item","id":"Q470007","labels":{"en":{"language":"en","value":"A dynamic logic for deductive verification of multi-threaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368386"}},"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":"Q470007$2D99D85C-368C-4928-B1D4-3A1A2465F15F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9c3694f3db160b25efe14ce3cf2132afb1a26e3","datavalue":{"value":{"text":"A dynamic logic for deductive verification of multi-threaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q470007$2EE4BF9A-F13E-4C03-9452-8DC11BAECF70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5235234db7d7a7232ed8707468f0ddd23f94761e","datavalue":{"value":"1298.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$95209033-3B03-43BA-A290-5323C3EC43C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$8023C67A-62FA-41FC-A6A5-330758E28C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f9ef1d44371910abd48a3e315686ed4dc2807a3","datavalue":{"value":{"entity-type":"item","numeric-id":470006,"id":"Q470006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$89DC64A8-3D03-48FC-B06B-71BEC03F30D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$83383DAC-10CD-4D5B-9598-3584FFAA1BEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q470007$DEFBFC5D-DDDC-4F16-9F2F-AB5CBFFFAE46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$4CFDB173-E07B-4218-B944-9B80844CE3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$F7F75B17-99E4-406A-A7C3-79F814053B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$1FF85612-5D8B-4606-B188-9D958F8B3F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$4C98FBA4-4299-4DC8-8A0E-FC1A4CD8C59A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfc6445e6a76cfd306f8641be82d4db03767a723","datavalue":{"value":"6368386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$E0285377-EE29-43B9-8F2E-30E87E39D160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ef8ded1c5825ccb2662f5978826acf94644f0d","datavalue":{"value":"multi-threading","type":"string"},"datatype":"string"},"type":"statement","id":"Q470007$EA58B4BE-5570-44C3-8A21-EF0EDA1CAB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q470007$1F8E2600-2110-47A1-87F8-BD732B57E552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q470007$C4843943-F165-4419-BC7E-B0630C7969A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f40314fbf84fac7d4dd7329f9ded95a0b46a0","datavalue":{"value":"symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q470007$EFEE6A00-3045-48B8-A6CA-99BC74B6FBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a148f158de143f5a2b58ffd888260fae13983b1d","datavalue":{"value":"input/ output reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q470007$20533582-1D1E-4E12-ACA2-DAF8F78D356A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$BA257D13-923E-4363-96B2-3D41BC45AE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$ED35CF05-2EE5-4DC1-8EFA-079ACFE56EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$CFD8D20E-B412-4EBD-B8DC-6BB087FD3D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$5C0778D7-615A-4225-8926-75FAF1B72892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0264c458824c0394336bb6cc942a0d1696a3763","datavalue":{"value":{"entity-type":"item","numeric-id":20920,"id":"Q20920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$C743C9BA-E1BE-4C43-80D2-C5E421A495F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$9CD64B34-BE43-4776-BFFF-173FC95B7C59","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":"Q470007$01993F2F-75C4-42E2-955A-DDE03FC30B99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"109c9eab6f750830e12379e8e3bb8eabda289ec9","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0261-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q470007$AE9CE0F6-7431-4766-AA13-22395454F67E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d96079cc8c91dca9a39c694d645bd76b7d7a86d5","datavalue":{"value":"W2081764864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$B0E28348-1679-4773-A952-5115EAA9D0B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0662e84b582f303e195cd1c71939304ef423cf70","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$352E13D8-6C63-4BA0-9C17-F741DA6BA37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c166cfe0e3a05c6a84e2be26185c9beeb7d177c9","datavalue":{"value":{"entity-type":"item","numeric-id":1215264,"id":"Q1215264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$D3D805C6-16E2-4F88-8FD4-58E8D72F8263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce598f61e45db0fc2dc509b5c6e22f8b0d305ca","datavalue":{"value":{"entity-type":"item","numeric-id":3146300,"id":"Q3146300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$E4ACC65A-6A42-40C8-97FF-2294F612A381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe4bf4cb7b2b69505eef7f586faf53b20c77704","datavalue":{"value":{"entity-type":"item","numeric-id":5428904,"id":"Q5428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$16920435-F079-45EF-B34C-E37432DE6FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$89DC3DC0-CBC7-4644-9E19-8B61074B7E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbf9d25227cf78ea27fadde317f06e53d6b36db","datavalue":{"value":{"entity-type":"item","numeric-id":2432217,"id":"Q2432217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$6AB77453-F946-4302-A284-186B87022F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b906ed7d699bbc4a79873ab988d4b6a49dffd5","datavalue":{"value":{"entity-type":"item","numeric-id":5428915,"id":"Q5428915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$74423957-290B-483C-BE42-87F2031B884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$BB7F84A6-694C-4C91-8B6F-DFDB17F5D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$F9CFA75C-6EA7-4163-B2AC-8E6D595CFCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3262ad51dba285425cbb0bc5080257dde6dc3437","datavalue":{"value":{"entity-type":"item","numeric-id":3452265,"id":"Q3452265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$404FF637-5F11-4206-BFD6-AC17A6EE46E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$7D91D69F-9993-4C7F-B04A-4091263830BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$170605AE-E854-4698-AD12-520A743BD920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e151b3b56a7d3097d6814e56a677b84a6c67622b","datavalue":{"value":{"entity-type":"item","numeric-id":2764132,"id":"Q2764132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$02DBACA0-50DD-4F59-9AF7-3B9269EE8F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$A16DDBE4-E252-45FB-BB50-FF6C207185C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$98C9C453-FD8B-4F33-8540-44FC5D638504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$616BCB13-EFBD-4FC9-9C41-1447A828F90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$F87801D6-EA4D-4BBA-B645-93B753C01269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$C990B760-BDA7-4378-A1EE-349FCC8AFA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$836936B2-1856-435D-AB33-2728655EE391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e549838a7cca337f64db57cef2f91c96560d151b","datavalue":{"value":{"entity-type":"item","numeric-id":2845504,"id":"Q2845504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$ECEDCF2B-59F7-4200-B0EE-2D8BEB440F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$95024CB9-293B-41A2-BF5A-68357D2B40D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$B9F13D70-753B-4CE7-921F-ED28448E2FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470007$1B34D95E-3B0C-49EA-AF3E-8DDF1ABD37AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2782ea21257cc8db6cf7c518fdd1a2a68ed8cfbe","datavalue":{"value":"Q130878649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$29C8949E-DD9D-41B6-B04F-FFA77F31C9E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c107688beadd3881eab3d2157f7b28f5e818ed4","datavalue":{"value":"10.1007/S00165-012-0261-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470007$6CEBFDFA-2990-480B-8929-853052EFB0DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92eae10ce6362351ae7e36a48dc5f4aecd87b257","datavalue":{"value":{"entity-type":"item","numeric-id":5897122,"id":"Q5897122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efc37fd7d043fd8e110b54805a30b5135b3ee27","datavalue":{"value":{"amount":"+0.7713236212730408","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":"Q470007$5BE29AF2-CF1A-4C93-A2D5-2102A8829D7D","rank":"normal"},{"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":"eaaad1fc95ab177bc6eea563fcc22a0f716fcca4","datavalue":{"value":{"amount":"+0.7624039649963379","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":"Q470007$7A1E3D91-E9AE-4A85-A833-03C2323904A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb9215e52f3915ac4a21cd6de68357f55b79d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f67e5841ee1cd826efa5e6d81479546ee28691","datavalue":{"value":{"amount":"+0.7623065710067749","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":"Q470007$C570DE4D-1F2A-453E-BF5C-51819DEB16F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c7cca977a6f65382d66bf40adb510cb63a15ec","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f90666c5a20e3e713e7e1ffdc0cabc9f30326e","datavalue":{"value":{"amount":"+0.7606713771820068","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":"Q470007$D662799D-A124-4900-A013-E0939DFC36D0","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":"04b365ab02eefdf76233b21e864ce506440914cf","datavalue":{"value":{"amount":"+0.7539205551147461","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":"Q470007$162A2CBA-0BBD-4F1C-9909-F5A6B38DC0A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dynamic logic for deductive verification of multi-threaded programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dynamic_logic_for_deductive_verification_of_multi-threaded_programs"}}}}}