{"entities":{"Q5371996":{"pageid":7401570,"ns":120,"title":"Item:Q5371996","lastrevid":58554150,"modified":"2026-04-05T17:44:26Z","type":"item","id":"Q5371996","labels":{"en":{"language":"en","value":"Higher order symbolic execution for contract verification and refutation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796942"}},"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":"Q5371996$B11A62B6-350A-4C78-9496-9D18503E9C33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6922b5401b33959d43f53468172b9d88cf36a5e0","datavalue":{"value":{"text":"Higher order symbolic execution for contract verification and refutation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5371996$EFD96B33-4183-413C-A21A-FC4CECEEF4E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c1d9d17d02aa58b0567fdaa4e2efbab5547f0cb","datavalue":{"value":"1418.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371996$98AC7CEB-087F-4321-AA75-F40815089DEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d64b04fc146806cdfa53a126324e9bb7e4dcc34","datavalue":{"value":"10.1017/S0956796816000216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371996$EEBF3EE1-E35A-4C21-8B4A-E7F76D734F55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2ecfa59d983d9a8dd77a0378672c14b1f3b8d10","datavalue":{"value":{"entity-type":"item","numeric-id":2819672,"id":"Q2819672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$1C81D09E-9956-4E14-8DF9-5138ADEF958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857f47005d5cd088f15dcdea31478d1f48895b38","datavalue":{"value":{"entity-type":"item","numeric-id":2802445,"id":"Q2802445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$131ADBFF-A9FB-4CBB-B879-2B50BE16D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$AE9E736A-A13A-4079-B510-128C802DABBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$6AE5AB7F-1735-4DA7-9C15-EFEBA548A575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5371996$24E27202-4919-4646-9DEA-80A0F5B24C24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"853a58178051c2b8b22797c84df7eba19bd886e5","datavalue":{"value":"https://arxiv.org/abs/1507.04817","type":"string"},"datatype":"url"},"type":"statement","id":"Q5371996$12603D68-A6DD-4D8C-AA19-4CA457A6930B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371996$D2273F31-0E32-42C8-B898-ABDE23A35929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371996$6E054166-703E-4266-BFD2-7A7EDA155177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32029a928e2a34b6356681aeeeb9f95a6d89d619","datavalue":{"value":"6796942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371996$1953B2C4-64FC-4A9F-AE2A-A22149AED369","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$B450BEFF-FA91-442D-B456-7968734C943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$08004071-9EB5-4A76-B56C-B3BC142AC232","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":"Q5371996$77155D27-EC5F-4029-A303-A394BBD2D018","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"939a6610d3899c9cf2285a0bd6e1b0abab8ce66f","datavalue":{"value":{"entity-type":"item","numeric-id":2942876,"id":"Q2942876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$29FB4A22-2EF3-445E-B606-8A3649047DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed759ad7519b3f88ab75ea891ee614d2ba57b037","datavalue":{"value":{"entity-type":"item","numeric-id":5408545,"id":"Q5408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$86000D48-2DF1-41DB-B74F-04A860ED202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591e620a8a66e1721a29c9b2b1fe684e9ab38463","datavalue":{"value":{"entity-type":"item","numeric-id":5176974,"id":"Q5176974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$DAE1899D-DEF8-47E1-8062-0CD83203A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$C1619AC1-80C1-4B9B-8B43-AB454F0B2416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$A1B34A34-3B91-4A47-9816-5104B967AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c4a5ba538113e776e922542f26f497fdd2f7e1","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$765064CE-27C0-41DA-9283-7973C7AF941D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$151E168C-C416-491F-A458-6F7298E20F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$B94DD77D-FDC6-461D-BB29-A48F01FEC0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"525b1b5aa44e7012097c2b019dbad7866df83e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5326300,"id":"Q5326300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$D44EC118-A836-425D-9D58-5A10BB32C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f1c4d780a5374e55b030ac066db90ef0de63fa","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$BA916465-131F-4E1A-860A-82A32EAE8ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50136f5614e9903a68f79cefce93a68c97529303","datavalue":{"value":{"entity-type":"item","numeric-id":5348925,"id":"Q5348925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$2FA5F412-59F6-4E0F-BE15-F5F23796B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$77DA5FB1-AD59-4C4B-BEBC-51A0A5C4FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bda0fccf3ff2b7740a15c6489fd19412a4c17b0","datavalue":{"value":{"entity-type":"item","numeric-id":2819673,"id":"Q2819673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$1DDE1DAE-AC09-4440-BF4A-234DC0270E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$369BA67D-8DF3-480D-BD8A-55075930A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8d9876fc4b1bc762aaa2e76ab4503f7e596a90","datavalue":{"value":{"entity-type":"item","numeric-id":5255067,"id":"Q5255067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$E1B6165B-E7DC-48B0-82A7-15CC35559ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1352a0cd6a494c3831893d7cd2151115357fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3557861,"id":"Q3557861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$03241EDE-4FD7-4048-B25F-BA6B2067668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acae650091b0525e6a892b3f4eacfc324b1d9d43","datavalue":{"value":{"entity-type":"item","numeric-id":5176929,"id":"Q5176929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$8BE6E52B-DA93-46B6-8F7F-159EA0F176EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ebbf32868bc0fbf6fdf9632bcfd58a90970151","datavalue":{"value":{"entity-type":"item","numeric-id":3165529,"id":"Q3165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$3A87F537-B3F1-430F-B655-E5646635AD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b63ef1959c1d3507c45fe9bb1d3548c1c276c9","datavalue":{"value":{"entity-type":"item","numeric-id":5326287,"id":"Q5326287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$044D491C-16FA-4A77-8D4E-80277024FD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e478b454a848e966dd19d4bc1adbaf619f7c7421","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$9147F59C-CE5F-458A-B424-3E692E00801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02fd528e40655eb782f1320fe4631a9826a756e","datavalue":{"value":{"entity-type":"item","numeric-id":2931819,"id":"Q2931819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$613E820C-2AE6-44C9-A877-55524FA99BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37000eb77cdcdfac04a3deb5cd82ba60621fbfd9","datavalue":{"value":{"entity-type":"item","numeric-id":5276159,"id":"Q5276159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$A6306DE4-91CE-4FD2-9661-671F4C869D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296d77b4fdcf0e960596a91f471af065b562b6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$9A0B3F24-EDB5-4480-9996-6C780F157655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb216eaea9ef5909bc774221bd6070ac3f48525","datavalue":{"value":{"entity-type":"item","numeric-id":2926649,"id":"Q2926649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371996$B6B6C945-0051-4753-9280-EB8AB5E6FBA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"862a1ba89d3262be26efb0d47cc13e4c65949b1c","datavalue":{"value":"W2963827670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371996$EA2C87CE-DFC6-4885-B7C4-96D5BB728CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2925dfab6a213bd7a3ad7e73a3b8e785b45fc6c","datavalue":{"value":{"entity-type":"item","numeric-id":2819673,"id":"Q2819673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4829d3a6be5c907bdda68397a8002e0761add2","datavalue":{"value":{"amount":"+0.8587425947189331","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":"Q5371996$6B202D30-0BFF-44E6-943F-9AC7DBFDD854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f143ec28b51448b75a636273b6c08e497e013c3","datavalue":{"value":{"entity-type":"item","numeric-id":4988925,"id":"Q4988925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ccbff6a47707d98d034f4cabfdd951e5b6c984","datavalue":{"value":{"amount":"+0.7229343056678772","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":"Q5371996$852F2503-43B9-437F-AE4E-3B00B22C693D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21efc034af96e008d34a3eb4aa44cfdc5225fde5","datavalue":{"value":{"entity-type":"item","numeric-id":287265,"id":"Q287265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca20a718e4711b8333a272674ff963dcea09643","datavalue":{"value":{"amount":"+0.7222199440002441","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":"Q5371996$60003BA9-48A8-44EA-B226-337B2DF5528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6982427bbea304dc218ad3b70c8796dbd703f10f","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d8f0bd27057c7c207325ca6345a9c66c01b496","datavalue":{"value":{"amount":"+0.7130738496780396","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":"Q5371996$D8F6FAB4-8CC4-4CD8-87F4-ABCDA3FFA1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5f133fabef26b0da1a52454921435f2f5b4e29","datavalue":{"value":{"amount":"+0.7068498730659485","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":"Q5371996$0D1C17D3-571B-4CC2-B837-67CBCB752656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5371996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5371996"}}}}}