{"entities":{"Q5486065":{"pageid":7515625,"ns":120,"title":"Item:Q5486065","lastrevid":49909594,"modified":"2026-01-11T23:11:21Z","type":"item","id":"Q5486065","labels":{"en":{"language":"en","value":"A quantifier-free first-order knowledge logic of authentication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051656"}},"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":"Q5486065$8D3917AF-CE85-4E46-B81C-5E65AC2009C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac7df1f0cfa410511dd1310195d3559c41b3f7a4","datavalue":{"value":"1096.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486065$49A3D1D0-E0C3-4DC4-91A1-97CEBC454C41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e94a3bfcb7060bedfdffd65ed1424b52603946","datavalue":{"value":{"entity-type":"item","numeric-id":2201274,"id":"Q2201274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486065$5302D70E-4F92-4712-8AAD-0BEC7B4FA5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d83144f6ea6e9c01c04024a57aaf2da26999cebc","datavalue":{"value":{"entity-type":"item","numeric-id":396605,"id":"Q396605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486065$72926287-078C-4DBF-B575-F6C679272227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486065$E31A1F5E-187E-4CDE-B695-22025D9F07FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486065$D1E835B0-26B2-4EF1-99DF-C32E3B235420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486065$5F70565B-BD09-41CE-B825-056D021E3C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486065$283E0049-9836-433D-91CE-FB17B86BACBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e91df3f1bafe7e3eb265d3fae6b76c7a78376839","datavalue":{"value":"5051656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486065$F9724A21-CB3C-4012-861D-57B865F9036E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486065$DB44EBB8-ED01-40F7-9100-03EC20B20F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486065$43FEF32E-FD77-4103-AD5C-40237FF921BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486065$34BA9484-E907-4E9C-8E67-7AA35B13A5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486065$59D75312-38E9-4562-B326-2E984E9600AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486065$647A794E-F8FF-4E4E-850E-BC07032F3163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486065$191B65A3-AF41-4B1B-A22C-5ECB16CC3752","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486065$853BCC64-ED9F-486C-8F50-41D5CEE397E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486065$F8719B6E-5701-4AAB-868C-2ED802716A7F","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":"Q5486065$7E027753-00E4-42F1-9FE0-B08AD195FB84","rank":"normal"}],"P1643":[{"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":"76426416411fd1725c4b55a3d4744c63a018ff85","datavalue":{"value":{"amount":"+0.8144003748893738","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":"Q5486065$154C4EBA-2115-4DE1-B2AD-1C45447B2626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ff4958ede0a723e54156b73232e923af2cf13","datavalue":{"value":{"entity-type":"item","numeric-id":1734134,"id":"Q1734134"},"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":"Q5486065$ECA15031-9BD5-4A21-9D31-C4271A4885CE","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":"8632ccacefbb25fcb3748393e03c88b3bd997d63","datavalue":{"value":{"amount":"+0.8090234994888306","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":"Q5486065$7CFEEB33-5F75-4EEF-A432-BDA75F9FADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6366a3d408ef4e5077e6b97a7018260e5a1ecfdf","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe58a4d37742f24a021593bd85d3caa9ba53ca4","datavalue":{"value":{"amount":"+0.8049283027648926","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":"Q5486065$25735F03-1A7D-45AF-B450-50A40137B9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa90897b77db9fbf8f7c1ff268e1f15ab1cfb58","datavalue":{"value":{"entity-type":"item","numeric-id":5096417,"id":"Q5096417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aac5bf724539ae188298069c203c4c47df34b58","datavalue":{"value":{"amount":"+0.8043352365493774","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":"Q5486065$0083FA64-940E-42C4-B7AF-912A5D6E06B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486065"}}}}}