{"entities":{"Q5756645":{"pageid":7786196,"ns":120,"title":"Item:Q5756645","lastrevid":50157872,"modified":"2026-01-13T07:25:37Z","type":"item","id":"Q5756645","labels":{"en":{"language":"en","value":"Automated Security Proofs with Sequences of Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187302"}},"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":"Q5756645$0C16BE23-E9F2-43D9-A94E-1E4953D2745E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a657ea7375804a11b3498403debfdce0abdbb4e5","datavalue":{"value":{"text":"Automated Security Proofs with Sequences of Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756645$6F81EF09-2D49-4403-896A-012F6BA12A52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba64660155459bf6c34a741c03b709ff7ccbfe09","datavalue":{"value":"1161.94388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$372E91B4-C8D6-4A6D-BE90-7CFF86852559","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ca22fc4984f677aad548dbe30e2e8294332ee42","datavalue":{"value":"10.1007/11818175_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$5DBB8F67-BC6E-43FB-8E03-56D1C30BEE4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756645$DD5B61B1-7FF1-488B-8D88-535304236F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7206eeea66ee155877839ac8ac96118ee8069d07","datavalue":{"value":{"entity-type":"item","numeric-id":378262,"id":"Q378262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756645$23174578-5416-49DB-A1BA-B60538EC0899","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756645$5460E06E-6583-4F4F-9C06-3FBAA353B1CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756645$6157A946-3932-427E-8F29-70E733CAF63C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$C1366D79-7D44-485F-A462-33C1A20C77F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$3D19BD7C-2C39-471B-A188-A4248F653FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$3B527956-0FEB-4912-88C1-CB283F83F964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b73ea10a8769d8ebcb9dcd71c407810f283e0e8a","datavalue":{"value":"5187302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$F36CA74D-ED0D-4765-A79E-8BB42E1B8ABD","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":"Q5756645$18592873-744D-45D5-9CE2-F00BCB2DEEFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c75edd95ebe315f0f35ce468dac55e4b31de176c","datavalue":{"value":"https://doi.org/10.1007/11818175_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756645$15F8B509-84FB-411D-96A5-799837519B21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2becbd0426b5d03165e1214eb3743ae86d9c8efc","datavalue":{"value":"W2110172854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$4AFC6ED8-0B90-4F9E-AE16-AADF9D5508D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"37818b3826739b6e72c18cc524b2254ac58f7324","datavalue":{"value":"Q56921212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756645$07399F87-E84B-4036-A160-3DA359F839C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7bdb8bd55bdeddb7b2aca0d1ffe3ace97771ed","datavalue":{"value":{"entity-type":"item","numeric-id":5443571,"id":"Q5443571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb964cede1df8cd80413566a2929eaaaa537250b","datavalue":{"value":{"amount":"+0.8283767104148865","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":"Q5756645$8D7356EE-E7CD-41AF-8D6F-AA21A8F9A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e23925897fc5eb5e368b5103bf38f3ebd06bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc85f85d2a700b390e010c6005f3cbb147c7d77","datavalue":{"value":{"amount":"+0.8241291642189026","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":"Q5756645$5263D01F-4C9B-4F2B-A0B3-5C1403FC13B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a2c16f7c8b357fcb42e86886c5543a914c46e2","datavalue":{"value":{"entity-type":"item","numeric-id":5187835,"id":"Q5187835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32256486a6405993b4c4d5204facd73600367e5","datavalue":{"value":{"amount":"+0.8125953078269958","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":"Q5756645$97FA8E2F-6F7B-47D0-B61C-115C388C340C","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":"77abf7593bc42b78f5cc34f5b1660793dad3ccc3","datavalue":{"value":{"amount":"+0.811033308506012","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":"Q5756645$35734A25-7D89-4778-B011-5E5CE5782783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7efcd0895ae747b7d475ed3e70d27a12e716b1a","datavalue":{"value":{"entity-type":"item","numeric-id":540682,"id":"Q540682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b99f216f98c203a31ef7aaba833b08b724e863","datavalue":{"value":{"amount":"+0.7968753576278687","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":"Q5756645$9AC6F7AF-FF18-46C0-B944-5D6CDB267DFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756645"}}}}}