{"entities":{"Q3000588":{"pageid":3011312,"ns":120,"title":"Item:Q3000588","lastrevid":45231673,"modified":"2025-12-03T14:03:56Z","type":"item","id":"Q3000588","labels":{"en":{"language":"en","value":"A Testing Theory for a Higher-Order Cryptographic Language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897351"}},"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":"Q3000588$123E968A-B9F5-47D5-8C05-969A41799CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d00fc8536344899283eebc3e9f9bda91d5573c0d","datavalue":{"value":{"text":"A Testing Theory for a Higher-Order Cryptographic Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000588$E63DE33F-8DB1-44B8-939A-9A372C6650E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d320f3a8b2f8ccd4925fdd6df47d2cf3b71eee00","datavalue":{"value":"1326.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000588$BC12CC73-6205-40CE-BFEF-E468C2DBB74C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e8dfbd1aea1fcb9301b4d74f697c6734e99de4","datavalue":{"value":"10.1007/978-3-642-19718-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000588$8FE03C90-1058-4559-B8F7-4FC85D5D8F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$3226DF02-327B-4247-8F9A-48A6B573E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$D92A614D-37D2-4123-9F1F-9E23BC4A5E58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$DBBD1F27-368E-419F-A642-DA09B1EEB382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000588$CB27A0FB-6FAF-4CFF-A9D0-329B3C30EE0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000588$DF3C73EF-E3D1-48AD-AEEC-9442DD1792D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000588$C077D824-DE8B-49C4-A5A9-EC3D933DD6AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d3a1adef36c53425539cabd55f85503c681d6e","datavalue":{"value":"5897351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000588$12596BF8-69EB-46CA-8169-4C7679BA9AF5","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":"Q3000588$0A23D039-10A4-478A-9A2C-B9E274E24176","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"375517e1c80f78d5fad6a85697efd1841c70941d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19718-5_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000588$B8E52945-D4A2-469F-B2B6-3E5F484F9F74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fc9bbea4b76fe6a8e24bb3972075b28da6f3d0a","datavalue":{"value":"W2158293316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000588$A1A3A972-26CC-4F57-AA1F-4D78F5BA7179","rank":"normal"}],"P223":[{"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":"Q3000588$7A3C0659-CE25-422A-81A5-25A2A57A12BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$D6CE12E7-37EF-4632-920F-85AF1CF36BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$EAA6FDE6-45E6-44F5-A715-D78B592F3A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$AC9E2949-79D3-4B5F-8F57-E3700D37F38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$01716B68-4013-43AA-B357-ED0684BE37D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e9f3619ca3d6b2ce6e8820f8ce4979ea0cf459","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$64466216-A911-42AA-88EB-C7CFE9288D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$98F85344-19D6-4916-85BF-88FB7D623DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7ade54cc3f3d6daecae2d2fac3051c53f7ae8c","datavalue":{"value":{"entity-type":"item","numeric-id":1772311,"id":"Q1772311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$3B0529A0-E1CD-461E-B022-FE4B4E9281CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1dc7f6cfd1bcba36f6b78c2feb82d8ffb024cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$514AC829-080D-4F51-9FCB-A6A0CC98F324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fca26911de288e552a95cadfd34c3dcedd6ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":456466,"id":"Q456466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$29FDAF2E-DE98-43DF-854E-69C2A20106A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dd6a0185a982d063bc5e3c14ea609468ea8771","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$12D006EA-BFC6-4EC8-9CFC-49052253EC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$F958D880-4DB0-429F-9D1A-017ED0DBD655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$CE47509B-1FBD-40BD-9F56-8AA6A72926CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$3893383E-1DEC-4F53-A817-5C186CD96488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4750cca92184ae4b471328f5c701fe49a2c218","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$1FB53777-F850-4383-947E-8B7722624D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000588$5C8C53E8-B6D9-4BD9-ADE0-78B1588B138A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f051fcc386a23b29fed32cdd2dbd0de04fd699","datavalue":{"value":{"entity-type":"item","numeric-id":3656838,"id":"Q3656838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e97ce976a592d1b2645b0bd6b4f3cadc7ec5eaf","datavalue":{"value":{"amount":"+0.8703065","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":"Q3000588$B2E17D28-5F8F-4241-A9EB-3F4766361EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f0d1e19e4cc46ad4d17dbe5356b794aeae2f47","datavalue":{"value":{"entity-type":"item","numeric-id":5394794,"id":"Q5394794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efec498548b473e244fdf9d584e2d36fe8d05213","datavalue":{"value":{"amount":"+0.85984564","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":"Q3000588$F73DA634-4F2C-4C21-992A-B0C339BBD8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7256a431b701e54c22ee2b5b886112355fa6e5db","datavalue":{"value":{"entity-type":"item","numeric-id":3211248,"id":"Q3211248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce99d65e00586778f2a28753fc80dbb12da8a5f","datavalue":{"value":{"amount":"+0.84470177","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":"Q3000588$F6DACFC4-EEFE-4639-8DD6-0D49564EF3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f15b3f267d6a1005dd7e6d63ad509abf30d6bb","datavalue":{"value":{"entity-type":"item","numeric-id":5900826,"id":"Q5900826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24dbadc38b26f22e7a5af15862c82f140291557","datavalue":{"value":{"amount":"+0.8434973","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":"Q3000588$2BA9C69C-08BB-4AA2-9300-791406E24F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ea166715a651b57d0d53c959094461424595c7","datavalue":{"value":{"entity-type":"item","numeric-id":4418691,"id":"Q4418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a46c3ec753ed5dfef521904a2bf5b6cf870697","datavalue":{"value":{"amount":"+0.8432327","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":"Q3000588$64E877D3-158F-42FA-9755-C483E66D943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a7e9394548ac48d310043f93024b8819a15522","datavalue":{"value":{"entity-type":"item","numeric-id":760215,"id":"Q760215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0cd5c7e1a538d78ee3f4638668aaa69cd6efc9","datavalue":{"value":{"amount":"+0.84238523","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":"Q3000588$8D5757BE-4355-4FC6-B25D-B49E9395F516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fbb7d53fb5a8f83eef66b0f4b0832b989953d2","datavalue":{"value":{"amount":"+0.841425","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":"Q3000588$927C2F53-1A09-4EED-8FF0-812A07D0B56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7fc4bbfec9a355ae3e1fdf54420f797ea0bec8","datavalue":{"value":{"entity-type":"item","numeric-id":3608895,"id":"Q3608895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07f81ab43ece342a2b915ca4d53d7c4016a74d6","datavalue":{"value":{"amount":"+0.83957124","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":"Q3000588$8989DA72-772E-4E46-AE6C-0DE982BE429F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000588"}}}}}