{"entities":{"Q1734134":{"pageid":1744875,"ns":120,"title":"Item:Q1734134","lastrevid":53392862,"modified":"2026-01-24T21:26:20Z","type":"item","id":"Q1734134","labels":{"en":{"language":"en","value":"An omniscience-free temporal logic of knowledge for verifying authentication protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7040729"}},"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":"Q1734134$B74BA967-102A-4A6C-BB66-0B98E34DE990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57c1b898818433d7fca705b520edc90ecaecfb8e","datavalue":{"value":{"text":"An omniscience-free temporal logic of knowledge for verifying authentication protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1734134$55D7E94B-1110-4035-8512-F34362A0A364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e271db1118b8645ee1b88b0beeb65faa622d3c88","datavalue":{"value":"1486.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$D8800B05-2209-4ACD-852E-2DDE8A3F5232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$0709006A-6647-48BA-BFC6-B726F1B7B46E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e559c2da8d64c3fc4f585ef31bf29afc7b517c45","datavalue":{"value":{"entity-type":"item","numeric-id":193074,"id":"Q193074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$4FA733CB-91B9-45AB-87B1-2A4A65EC1244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ceaad3109c8087add2d818d54e02cdc20cd0bd1","datavalue":{"value":{"time":"+2019-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1734134$443886CD-8436-47B4-8900-60C4A6539D60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$B040FFFF-EF8A-4E80-8BDC-3B72FB4CA185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$CE279167-7AA2-426F-A60F-51A2C4A722E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$1723B4A7-C36D-47F2-9AAC-36FD06058469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$FC6E3EA0-23FD-408D-96E5-FF2CD3386A7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ed37f3dab60f5f4a090ee11831528afaa4465a","datavalue":{"value":"7040729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$8F3ABD65-CAB9-4EBA-B114-A8C0FAA177A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734134$B7E688F2-55B3-48D5-97C7-21990BD0CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1b0f4652fda2e0729255f76ed9a501d42f6c80","datavalue":{"value":"authentication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734134$0468126F-5896-41C7-84F0-9906A7010CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8709f65fb3a7ca73ea643c1d576e05e987540d1a","datavalue":{"value":"temporal epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734134$148B173B-6A94-49EE-A876-A5444A56B1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb306d64a27fe24e658c6f12a47062d134b4093","datavalue":{"value":"logical omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734134$B43C2044-2638-4840-8066-F33EA99DBF8E","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":"Q1734134$42E19CF5-7537-417B-BE79-093936113B38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f92837a3bd475855d810664a75737b122268cf36","datavalue":{"value":"https://doi.org/10.1007/s41980-018-0087-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1734134$D765FC7E-6EF0-4B4F-8E28-76052C570C46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9468454a8100136651da9db979778f1b9e780cff","datavalue":{"value":"W2784270315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$4F74BC82-F19F-4EFC-AA3B-E37DC39AD5BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$E61E8222-561B-45D8-9866-98E74C8F5E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33142aff432f46099a4c312e6f6950d01903fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5255820,"id":"Q5255820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$28FD519E-C49E-47DC-AE86-0211D8783026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deac8e4739febd2e58c74094514d50b36375099","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$0E7FE07A-F399-47E5-894C-30171B0B4471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1d816694345f77ee49057584a9e1503df8dac","datavalue":{"value":{"entity-type":"item","numeric-id":5188176,"id":"Q5188176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$D58BEB9B-53E6-4852-A705-0623D5266361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa8b378673ce8efa2d995b078f2adb6d547ac48","datavalue":{"value":{"entity-type":"item","numeric-id":625717,"id":"Q625717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$B056D25B-E6C6-424E-9014-6C81F4D7FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$929A6F7D-BB6F-4E5D-BCA6-0C4B2A067188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde4c37bf352bc3f1ee8303c5550622f0e7a23ea","datavalue":{"value":{"entity-type":"item","numeric-id":2881088,"id":"Q2881088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$B77BBD18-4B83-4453-B6E2-789A263DEF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea4eb1d17b0cd2772c9c138878ec1f5d92e5aed","datavalue":{"value":{"entity-type":"item","numeric-id":543593,"id":"Q543593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$516B5833-0FF1-4F35-B66C-7B9DB13F6C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a21694dcd1bea63c546083b5a5ccc1152366ba0","datavalue":{"value":{"entity-type":"item","numeric-id":4475162,"id":"Q4475162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$54DDAD17-A433-4360-A191-0A7462AB2FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3764b754a018ad25880066706393b859f00b44ba","datavalue":{"value":{"entity-type":"item","numeric-id":456722,"id":"Q456722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$CC620E56-F3AC-41FB-B44E-8B1BAC4E55EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58304ff52aef0a90c4570576ce3bc5fc79ed195f","datavalue":{"value":{"entity-type":"item","numeric-id":3063980,"id":"Q3063980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734134$7E470CB5-5BFD-49B7-A4B4-830933D84D25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bea46868bae92c3ca70b43e7d3b7136914eeb80b","datavalue":{"value":"10.1007/S41980-018-0087-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734134$F587D6A7-FB8E-4AB3-815F-CE768F28D9BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ebe381be4250d48f3a5bf66f2df0c3397e0151","datavalue":{"value":{"entity-type":"item","numeric-id":2866724,"id":"Q2866724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0f26ad777c02637dfcc1be683014c16f96c4aa","datavalue":{"value":{"amount":"+0.8154744505882263","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":"Q1734134$E25E8828-5926-467D-88ED-204F55FBDD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5211db9dd28e851dbec80f2ff085af8d5de81b9","datavalue":{"value":{"entity-type":"item","numeric-id":5486065,"id":"Q5486065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d67163f91dc2627c01c6302a0be5aaaa62e70f","datavalue":{"value":{"amount":"+0.8111799359321594","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":"Q1734134$786F0419-ED84-4608-9AB7-F1104B48918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517678da449e1b6d17e2cbca64d0d59c2f1110dd","datavalue":{"value":{"entity-type":"item","numeric-id":3384076,"id":"Q3384076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38705c470c3f6fcb693b873a52bd06b27163313","datavalue":{"value":{"amount":"+0.7910870313644409","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":"Q1734134$FEC5B742-29E6-47B2-929C-75B01B557508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2af3386762c248f57d06893de62720e96d42e98","datavalue":{"value":{"entity-type":"item","numeric-id":4473641,"id":"Q4473641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99be464b3eab21388d89cd43cfbaeb40f6658b9c","datavalue":{"value":{"amount":"+0.7766114473342896","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":"Q1734134$40F923FB-5735-4BD2-ABB3-73DFED9D40DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3622f32b04cbb8feb46ca3a97b5b0b7547ea01b","datavalue":{"value":{"entity-type":"item","numeric-id":625717,"id":"Q625717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137aa164d61617888f9f669fbab52d8a078278f7","datavalue":{"value":{"amount":"+0.7672151327133179","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":"Q1734134$EFCAD7E4-F156-486E-A0A8-60E80E30199F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1734134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1734134"}}}}}