{"entities":{"Q6535536":{"pageid":14146679,"ns":120,"title":"Item:Q6535536","lastrevid":57343743,"modified":"2026-03-30T14:04:45Z","type":"item","id":"Q6535536","labels":{"en":{"language":"en","value":"\\textsc{CoqCryptoLine}: a verified model checker with certified results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787555"}},"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":"Q6535536$AB7EA225-70C6-4045-98D6-9510CD460546","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77acb65a62d7956abe0ce8d9299895e9a652bdd2","datavalue":{"value":{"text":"\\textsc{CoqCryptoLine}: a verified model checker with certified results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535536$2729CAA5-4650-4E75-8D91-9D5A5B82DB73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1238bffd4bbdc17b52ed1254d3f9b03e746b13fe","datavalue":{"value":"1545.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535536$CDDCAA90-954D-4BDA-88CD-C09A95AC74C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34bb6eac82a22a61d7f9e93b8902d3a2629a87fa","datavalue":{"value":"10.1007/978-3-031-37703-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535536$AA064A97-EB00-4ACE-B198-B9FDB2AB7423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9764996bae6bd9b17d23d85978b18dacf299f6","datavalue":{"value":{"entity-type":"item","numeric-id":832258,"id":"Q832258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$81B01B65-2CD9-44FF-86FA-DF9E2D9A91E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eb7c0b90fb0f585db1cd09c147664e442631e7","datavalue":{"value":{"entity-type":"item","numeric-id":832257,"id":"Q832257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$F94175B4-67E9-4D4D-A96F-3C29B1CAE197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d64add4224d48d3e6a017692fd022ede79a50f","datavalue":{"value":{"entity-type":"item","numeric-id":823307,"id":"Q823307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$B55AD43F-8168-42E8-9044-45A906980D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad905386b7c3383cf03d357be2b73ba68ff5e22a","datavalue":{"value":{"entity-type":"item","numeric-id":832256,"id":"Q832256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$C8E9675F-9DF7-4322-AC2F-4CF7F6DA1695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$90A7D936-2E26-4F25-9AD1-40ABD6BFE035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d27ba47383ccb663a9a6898fa9f5d7c3a6d15e09","datavalue":{"value":{"entity-type":"item","numeric-id":678877,"id":"Q678877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$862D12FB-B9A8-48D5-9616-931B82F42D93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535536$B1FDE37C-013C-49B0-A3B0-FAC7F61A9F32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535536$3B4F2E6A-B4CE-49E8-BAF3-0514017923CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535536$83CFEB23-A1EA-4876-B737-A4FEF4C6D9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535536$79F7691B-E4FF-4F11-9B25-5A76B7B458B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"322b2039a7bf72db723d29d1bc88385cb059dd7c","datavalue":{"value":"7787555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535536$A7D62074-EE54-4200-B32A-5553DEAC4FFC","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":"Q6535536$189390A7-DF43-45F3-A48E-C5A0B2A1A6E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$108A38F0-C5C2-4EC4-B102-D7500A7474CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$26617CBB-F359-4610-BC67-B4A2DF79367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$DDD60445-F9AD-4F80-B8EF-8A69CD8FA431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb4e9df0ff6844170026cd86381c1dd17473","datavalue":{"value":{"entity-type":"item","numeric-id":2781760,"id":"Q2781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$1D3D3821-4D7E-4C34-AD7E-C0F7F438AE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7902ad05fc58101eeb009f9da7bcfeb90392bef","datavalue":{"value":{"entity-type":"item","numeric-id":3608762,"id":"Q3608762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$C81C4A8B-AC19-41F4-9805-2277331E9CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$76C3211B-63CE-4140-9722-106033872B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$95BDC3B1-5190-40A7-A8CD-17390698B72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8963c27a223020a3d0ab46c3570fab93816de414","datavalue":{"value":{"entity-type":"item","numeric-id":5009416,"id":"Q5009416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$D7839C98-A00D-4DA7-8334-09A2EA8BD85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddb24524f9492b2f7ff2452a65248a4e7e83461","datavalue":{"value":{"entity-type":"item","numeric-id":832260,"id":"Q832260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$25D3126B-C00E-4285-9004-0C3015FB2775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abc4c653f1a49315933e87e0214c05e6687fccf","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$782D9CAD-6976-4AFB-8DB4-2C6F417BB942","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387675cb7d2e393d6227785876182d87f9c8e30c","datavalue":{"value":{"entity-type":"item","numeric-id":832260,"id":"Q832260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbff0ef8fa98f9469a6ffd4fea04ac603d1b7d6","datavalue":{"value":{"amount":"+0.7490241527557373","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":"Q6535536$934751CE-893D-4307-8704-2FC47A1C07A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2899b59ed0a03a5899dd6f87a9d20f03f6889e93","datavalue":{"value":{"entity-type":"item","numeric-id":6535691,"id":"Q6535691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9832a981a00d90524d774342699942dcbddcba93","datavalue":{"value":{"amount":"+0.7355642914772034","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":"Q6535536$49049DAE-AE27-4987-BA10-1CF157675875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cadaf031c9fd85e583aad9ed7daf3b5d8afe4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c71c06fec8fa6feeb77727836636ab93738c3a","datavalue":{"value":{"amount":"+0.7327339053153992","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":"Q6535536$287692CF-FF7A-4B46-8528-05BD53149BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02896020df20265d0c5f6e1eda20f3af14ce9af7","datavalue":{"value":{"entity-type":"item","numeric-id":832216,"id":"Q832216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57a10ad43e01be5d1b10faaa0f9ef40e5a074d5","datavalue":{"value":{"amount":"+0.7326975464820862","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":"Q6535536$D49302B2-06A5-4D56-9736-27862DEE0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58c93bcada01046c18883fce4c420453a959361","datavalue":{"value":{"amount":"+0.7190524935722351","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":"Q6535536$763119F8-972C-4C45-9F52-09AAAFCDDD72","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535536$253B6F17-185E-430F-BFD7-EF3AFB959D6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535536"}}}}}