{"entities":{"Q2819673":{"pageid":2830411,"ns":120,"title":"Item:Q2819673","lastrevid":83361311,"modified":"2026-05-07T07:22:16Z","type":"item","id":"Q2819673","labels":{"en":{"language":"en","value":"Soft contract verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631187"}},"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":"Q2819673$26504E01-9705-4061-84D0-82DB32317BDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ffb750231e4ebeedba498eee008f8b5115d7641","datavalue":{"value":{"text":"Soft contract verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819673$8A24B1BD-B3E6-4772-BE00-07E099B43C77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78b624b5c8b8b1f1274deec2a970b0df82e4fbdd","datavalue":{"value":"1346.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$BFE9BA6C-5F71-4D45-BCA5-6B2B75A3E807","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f009be1506d27a8178d87af22f9d095850da48a7","datavalue":{"value":"10.1145/2628136.2628156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$91A7D884-D43C-492E-994C-9D516558A5BA","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":"Q2819673$A78F69D7-734B-4904-BA73-04023B2CC77D","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":"Q2819673$FDD70ED0-27B9-45C3-90FB-3A1BEF0860AF","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":"Q2819673$3ED16DA4-E7F3-4938-86BA-71C58C54CE2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819673$1E918DA5-D75F-484F-8BB3-633F60B282F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-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":"Q2819673$39B078C8-DDDB-42F0-8932-66031ABBEB72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fee2d79082fce25b0fb031096964ff32a9c99a3","datavalue":{"value":"https://arxiv.org/abs/1307.6239","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819673$67BEE592-D102-4DB2-BFE0-F33DA1994481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$5CFCC745-C566-4968-9FE1-8D9A5C80F26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$9EF44FE4-FCFC-4882-8C99-330AB992AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$7057369C-02C4-4471-BB91-9B2B4962E7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7b7ccd2965e20883423f2befa767795da338b09","datavalue":{"value":"6631187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$EA496705-459B-4EE4-8025-83F7EEBB2481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a46c790c2a167ea5610b1557526cad71d01c8d","datavalue":{"value":"higher-order contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819673$3E95C1B5-103A-4775-950B-4D043662BAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819673$ECFB4BDA-66DA-4331-A088-86B5B5B19073","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":"Q2819673$945D1404-99DF-41A4-93B2-09FBE8C30B88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce98f4c9ce7133a5abe59defc5ed6ef9279a5c22","datavalue":{"value":"W3099703838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819673$1AB38B0D-429B-4943-94F8-6D1B7C8EBA8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c172a3c426c39b7c5efa124cdd9741458b0a76e2","datavalue":{"value":{"entity-type":"item","numeric-id":4484204,"id":"Q4484204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2065c6ff723f1d23ea44b644c6d44ad3b4158be","datavalue":{"value":{"amount":"+0.75607073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819673$D80C3829-E97B-41D4-B720-4F52C3E351C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd61f6c0d247c4a95c9f0f9012a25e3d00880cd","datavalue":{"value":{"entity-type":"item","numeric-id":2769718,"id":"Q2769718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68357d51007ed1b52fa4c526af1d7f27101d82de","datavalue":{"value":{"amount":"+0.7479271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819673$FD4E511C-2ACD-4B2E-BF39-F54A23256846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd146a38b85611416c8dad7a10cff10dddd6e2a2","datavalue":{"value":{"entity-type":"item","numeric-id":6166532,"id":"Q6166532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5dbe358c99c9b53348aac9b73105b0cfed6b0a","datavalue":{"value":{"amount":"+0.74098325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819673$B97C1CBF-886E-4D6D-A239-686ED5DE03E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5eb569eda67a3c712d08f0e4e7bfd8e356f335d","datavalue":{"value":{"entity-type":"item","numeric-id":3393409,"id":"Q3393409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098c5081cee85b31b004971795e3c64d09fa26a8","datavalue":{"value":{"amount":"+0.7363188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819673$0BC1A7A3-E5CE-4C69-81C4-1FFBC480844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277786d5a35d9d84b52aee0af3de101e0824e05","datavalue":{"value":{"entity-type":"item","numeric-id":3568646,"id":"Q3568646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98e78e841ac2b034cc30278e3aa2b8dc670fc4f","datavalue":{"value":{"amount":"+0.7346864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819673$9B4042C4-EB5A-4EF4-8A4C-F8AF7192BC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e49f366cdcb859351f8b3897804390ca61d562","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b26db3ebfab05decdf1ac11b8e991917dabb26","datavalue":{"value":{"amount":"+0.73375905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819673$3314D5DE-2FCB-485E-8933-3F2C02B67F97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soft contract verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soft_contract_verification"}}}}}