{"entities":{"Q2852079":{"pageid":2862799,"ns":120,"title":"Item:Q2852079","lastrevid":83774657,"modified":"2026-05-07T11:15:04Z","type":"item","id":"Q2852079","labels":{"en":{"language":"en","value":"WAVer: a model checking-based tool to verify web application design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213752"}},"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":"Q2852079$A5AF80C8-6172-4C1C-8C87-0F6804D0EE65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcc17d7691e8436201701fafd785e51f11b42b54","datavalue":{"value":"1273.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852079$E31CE9EC-DBF9-4B77-87CC-D2C21EE52B53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852079$C5D09E02-7D48-4497-9832-6C741FCFA4E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7072454c6dd8cfe9461bf005c5a47bf2ee2bdd0d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002350","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852079$21DA2C3E-A8FD-46C4-B2D6-8CD60600648E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852079$6D80711E-4DB1-4EA9-94AC-BA26C18959FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852079$2432F1EC-DA9F-4E66-90B1-523849619517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"960c3227a6a49a7a7d39e1b13761a0e647413979","datavalue":{"value":"6213752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852079$ED599023-DC21-4BDC-83A2-BB9AD9BD33F0","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":"Q2852079$1209C616-AB24-4C1D-B6A8-C67310167418","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a2d5a99bdb96f046ea864e836a7a9ab0c1f8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":6772987,"id":"Q6772987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852079$3372F538-D3A2-4231-9194-9B754FEC1747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c7319dd7fb487207b07be5a325885f8fe8b9710","datavalue":{"value":{"entity-type":"item","numeric-id":2768254,"id":"Q2768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852079$F62FDF32-65F2-416B-940B-3BD3D0C21C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea7a3aa976c2b43255eb4d62f9316aaa19277d","datavalue":{"value":{"entity-type":"item","numeric-id":4486812,"id":"Q4486812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852079$704C53A2-B23F-420C-93A0-CA942C4EBACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f58b8799c1a939ef652801626748f504773d9687","datavalue":{"value":{"entity-type":"item","numeric-id":3510625,"id":"Q3510625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852079$123ED57B-FF8B-4928-A1A8-8BA81F22C6CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"381781dc38a02b40edd4d5c8b34bc0ce796ed435","datavalue":{"value":{"text":"WAVer: a model checking-based tool to verify web application design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852079$61746B55-B9B1-4E7E-A184-4138CCF3E69C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de8dd2e7011e5163257be4fda905b4c8423d53e","datavalue":{"value":{"entity-type":"item","numeric-id":5464484,"id":"Q5464484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c19d37e1bb7aa07b2f4a1c71e9cff41c6dc5da","datavalue":{"value":{"amount":"+0.7692583203315735","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":"Q2852079$6EE2354D-E2D9-4C2C-BED3-77B1EEABD5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbc027c90e91e43e67248d4a356a37f6d5a5ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4553259,"id":"Q4553259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd6fa11a678ad7035ab767271a01560a73bc39d","datavalue":{"value":{"amount":"+0.7175318598747253","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":"Q2852079$2C7BA550-F26E-4A44-B84D-679E960AA9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc3ce16abe84e913d3958075dadeef11a8e7a2b","datavalue":{"value":{"entity-type":"item","numeric-id":878758,"id":"Q878758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a22fe3c097ce46f1016992e61c78efc7c28575d","datavalue":{"value":{"amount":"+0.7124192714691162","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":"Q2852079$9C75DE34-A597-48CE-8ABD-2A9401779535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312e06f3a4b93fb0fc316675dc05036922ba812f","datavalue":{"value":{"entity-type":"item","numeric-id":5312941,"id":"Q5312941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d95760c60e74e30bd45f4eb28e6074475698f03","datavalue":{"value":{"amount":"+0.7051424980163574","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":"Q2852079$3047753D-E4F0-4CD3-9813-82AA67214D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f0ab1eb857ea21e8a0169da426e2f843b413e6","datavalue":{"value":{"entity-type":"item","numeric-id":2847799,"id":"Q2847799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e3af90f87073d59da13959382b6c85034a0baa","datavalue":{"value":{"amount":"+0.6973589062690735","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":"Q2852079$0F23D6D1-CC81-4148-9D38-7FEA89853B40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WAVer: a model checking-based tool to verify web application design","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WAVer:_a_model_checking-based_tool_to_verify_web_application_design"}}}}}