{"entities":{"Q2402552":{"pageid":2413295,"ns":120,"title":"Item:Q2402552","lastrevid":55851748,"modified":"2026-02-20T12:25:16Z","type":"item","id":"Q2402552","labels":{"en":{"language":"en","value":"Formal analysis and offline monitoring of electronic exams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770894"}},"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":"Q2402552$8C86F763-D7FE-47DC-B2AC-2F216E02AFBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f10644b9c0d01a88e1b4ca18ff9055ddf8fb0cf1","datavalue":{"value":{"text":"Formal analysis and offline monitoring of electronic exams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402552$0EBDA9F6-AA5A-401E-A7E0-492BFA9F3CC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e0b5bfecc8da9ddef6aa6d84fff854ac6f3c342","datavalue":{"value":"1370.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402552$7A25AB97-9396-4D7D-96FA-AD5DDFCF6BF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91bba5fc8914ec3a99609cc053f2255f6071300","datavalue":{"value":{"entity-type":"item","numeric-id":2034694,"id":"Q2034694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$EF30E4CD-77E4-4F70-B0CE-2749931D8536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$11D8AD52-155F-4CDF-8C85-3266707A0726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fd1fea852b6877e35d514e318cb594590c429b","datavalue":{"value":{"entity-type":"item","numeric-id":287324,"id":"Q287324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$CBCFA867-41A1-4342-B726-0294F9D68C8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$730116B6-E35A-450E-9B68-692EDF4B8550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402552$F0AA3125-4934-4934-97AA-B4F2CADFBB8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81609b2d40085c3ff07a817115cc0c5f39807c83","datavalue":{"value":"https://hal.inria.fr/hal-01653884/file/fmsd6.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402552$65DF6498-9DEF-46B5-BF73-5ABDFD1755D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402552$096EA7CF-1FD1-4B4B-9E3D-10184E82F8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402552$E9E1C4DD-FF01-4755-AFA1-3DDF0003D9A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f8a6362eb0a5973aea3d60529158f528020c5ab","datavalue":{"value":"6770894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402552$02FEEE7C-31DB-4077-809C-A2EFF7326700","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402552$E018D8DF-ACDA-4439-B144-CA9706236DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8fb60b8dbdf5fbaebe2c28317aaa88759da2de9","datavalue":{"value":"quantified event automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402552$DF1A3C9E-F49A-4B13-B79C-22E9D7279907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1eb1c28fd07a2ab1a27f959e77488b81c78f082","datavalue":{"value":"electronic exams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402552$DD9D9518-C6E5-41E5-BCEE-255D2C24EE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402552$968B273B-18B4-4FA4-8DBB-39CFBCA5848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5e51d26742388b28cea7e1d73168b48f1ce944","datavalue":{"value":"proverif","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402552$D53CBEF0-7751-4633-8F97-5132FCDC7427","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b894aa7fcefdfef3a018481d8b748feb3376ab0e","datavalue":{"value":{"entity-type":"item","numeric-id":28309,"id":"Q28309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$99B99601-60E0-4F22-9292-685A989BBFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$108B25E9-C345-477F-B812-90DA283DA9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"288412d9eb32982e2875240db7a8acc8f2a94a85","datavalue":{"value":{"entity-type":"item","numeric-id":25181,"id":"Q25181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$7AE82AB7-F459-4B40-8EA4-250906CF3888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$83A4BFFC-3ED1-4C95-8B34-2DA46F03F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$E7D4B33F-E415-4F5D-95D3-0922992642DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2fc64fffeaea70a069713ebb8f2a7eb573aca821","datavalue":{"value":{"entity-type":"item","numeric-id":21450,"id":"Q21450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$59B2E6D7-F90D-4821-96F4-0C6C1E1138E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$14123353-720B-4B4E-BCEE-A8925A93411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$DE22D9E8-006C-4F6F-BBF7-CA456A1CC6C0","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":"Q2402552$F78BB645-68C6-4401-9C99-6EE2C9EF1F03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52f338144a444d7de96f74f97b3109d467e0f39f","datavalue":{"value":"W2621295426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402552$E28A7BD6-72C0-43BD-83CC-5E31B135FBF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$EB445C66-6D6D-4E3A-A5E1-77F146FC9D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ff7e3391f56bd9714082bdb39578ba50ce9428","datavalue":{"value":{"entity-type":"item","numeric-id":3636852,"id":"Q3636852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$22801450-C917-401D-9991-468793A55104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$052C0953-100C-4D46-B12E-77D9F938171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$D9B7068A-97F4-4846-9717-CCCE489BF39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5e7ba960ad3d2f37b1d49078179f4e830d1428","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$05A6B439-2D68-4A54-8341-706D0762AF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$7BA6E5D2-229D-4D46-BF0C-D85426DAA8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc80de5e893a5b77080b572ca974b996f9dabf8e","datavalue":{"value":{"entity-type":"item","numeric-id":681469,"id":"Q681469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$5534CDE7-BAED-4564-805F-3F4614992F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c74a330b5c89ffa6afb6b93e78391cfa3ed028","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$F6066EC5-5784-47F0-A2B1-EBE2A7BC5798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fb8784558a30a692d3c7c77bce487a97118804","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$80F7237C-C190-4436-BC3C-9AC62BFAA4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093ba17f34df8f4fe5be21dbc0561047e5788d","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$7E130129-0843-4107-A0A0-838B3F747846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e33623459b0b0b83b5830c53d63c2c295780885","datavalue":{"value":{"entity-type":"item","numeric-id":3631370,"id":"Q3631370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$7A247835-85FA-426D-A57A-3E81D95FFF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ea0a643f47d98fe0a2100f1979a323d1d8b8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$6586A7ED-E07E-4B37-9EB1-6446CB9B343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e76e38e02621bd0d79d12e67381f92fa252c6b","datavalue":{"value":{"entity-type":"item","numeric-id":441461,"id":"Q441461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$AAA6C085-7E08-4515-81E7-1C2F26376A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d689e6406c853b309a537f85b5ebd02fd2454a","datavalue":{"value":{"entity-type":"item","numeric-id":2402552,"id":"Q2402552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$1D554633-2AC4-4207-93B9-00D39F344C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$1E898FFB-C1FC-4D66-84CF-1D7AEC4713F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de666b213d9bd70fd942d9a41932a562de107650","datavalue":{"value":{"entity-type":"item","numeric-id":5187984,"id":"Q5187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402552$BCF35E55-BFA3-4DC9-90C0-DB2D4499E953","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb16aa62380fcfa63fd2d2567a15b5010b59403","datavalue":{"value":"10.1007/S10703-017-0280-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402552$A6286968-DC08-4CF6-9C0B-64813E2620CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358cdef93cdfc75ae72da046f209e8d9c6d7adb5","datavalue":{"value":{"entity-type":"item","numeric-id":3106068,"id":"Q3106068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75cc6bbc8b449f0cea3faa504c41feae90466443","datavalue":{"value":{"amount":"+0.7533061504364014","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":"Q2402552$1D0644B2-D50F-4A49-8FA0-1625040383B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d09e1e99d07b1d59171eb5b7ef923604a7987a","datavalue":{"value":{"entity-type":"item","numeric-id":3192178,"id":"Q3192178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6201f4828b494672ce16ebf94d00caca2cb4907","datavalue":{"value":{"amount":"+0.6540852189064026","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":"Q2402552$652C5D02-BB8E-4985-9FCD-2BC188D4FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8a906f665c9028da49e8557fb73a2d9d47b202","datavalue":{"value":{"entity-type":"item","numeric-id":2769583,"id":"Q2769583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8e844b29d3c5bb3007a9ed6596742f063f0d08","datavalue":{"value":{"amount":"+0.6285749673843384","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":"Q2402552$2B3698E1-4C9B-4AE5-A75F-55136D31B2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6280fc6005b98e383578e4b51eb72e6a0a14012e","datavalue":{"value":{"entity-type":"item","numeric-id":3638672,"id":"Q3638672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5d72265aaa1fbfa3edc4e848993b549681983f","datavalue":{"value":{"amount":"+0.6240315437316895","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":"Q2402552$17AFB013-DCED-4608-A84C-7A42A46224E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7100e250ba854b256678adcf72a4d6cdf8e6806","datavalue":{"value":{"amount":"+0.6181567907333374","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":"Q2402552$726C5C54-01FF-4D55-BC12-66BC95EDD595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402552","badges":[]}}}}}