{"entities":{"Q2796035":{"pageid":2806773,"ns":120,"title":"Item:Q2796035","lastrevid":52489856,"modified":"2026-01-22T19:16:08Z","type":"item","id":"Q2796035","labels":{"en":{"language":"en","value":"Viper: a verification infrastructure for permission-based reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559851"}},"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":"Q2796035$EFE1C189-FB4F-4CD5-8ADF-31CD16C9A5B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"878253454f0353cf114b7afeab45762e58420315","datavalue":{"value":{"text":"Viper: A Verification Infrastructure for Permission-Based Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796035$C30D75C2-BBAC-4578-AAFC-7DF159C7D90D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4407b29cb4bca7250976d4353ffc48e61075e4c7","datavalue":{"value":"1475.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796035$FF87BB37-BBB7-4DD6-AC56-ADBB119C3F8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"459b2bea4cf9287ccb6767c5b12bcefeb59ac7db","datavalue":{"value":"10.1007/978-3-662-49122-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796035$A00ADB8B-D145-418B-B671-EA048B3CD96C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a35f7bcc35ecef12900b8d681e0c43da878793d","datavalue":{"value":{"entity-type":"item","numeric-id":240898,"id":"Q240898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$54442687-F2FD-40C9-85C3-BDEB943CE5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7806a0e30c5fefb27da104c283adf3df9d71c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2796034,"id":"Q2796034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$5898358C-BDEE-47F8-B35C-E2CF4C82E9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6c7004fc536fad03d07451c8142aa101f1c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2324212,"id":"Q2324212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$BF6CD2A2-A5E7-4B33-A958-44B7D6566EDE","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":"Q2796035$15F9B6EC-FA9B-4074-BACC-6DB463D78E95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796035$D8D07FD3-8D08-44CE-ABA8-FF664773BA6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0ba6b7ee7758e7abe6db5336fed38b6723f8c55","datavalue":{"value":"http://hdl.handle.net/20.500.11850/85086","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796035$2A434E7C-461B-4A5F-A908-D4505C03AFB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796035$B90C8E66-4030-4B20-B23D-2A2D0485A9DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46ec1ee0edf337855ebc468db6c146ba5130f33c","datavalue":{"value":"6559851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796035$3DE44FAD-0EFD-4728-B804-2F98EEBC96A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$21921D40-2E3E-4B96-8C4C-756B057FEF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$46A724FF-E6CF-4172-B1A6-35AE55204825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa3e15f325ed150088c4e410d88474936a717bb7","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$97651BB2-EF89-4DE2-8A2A-470BE8091A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$795090AC-F2AB-4F89-9389-A70E9B0AD809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$9D19C85A-54D6-42CC-BAB8-05AE27AD0200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$1B0CA7B1-AC17-4BF0-9DEA-2A4029EAE9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$4BB39B85-C311-4BF0-AD19-F550687DFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$03B9561A-524A-4E72-98B7-8BBD6ACBB876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$AEC91314-39F8-4C15-9769-114A22CCDBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$FF3EB4D8-E726-4645-B0CF-C86383A45DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$99418DAA-26F0-447F-B755-21B91BC6AAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3915ee590f5c98c9124d51cca6f3b2163b5bf72e","datavalue":{"value":{"entity-type":"item","numeric-id":19721,"id":"Q19721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$3CB8A902-BF68-4F24-900A-E7279EEA03D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$648D7C77-4126-4321-A3AE-4DEEE6995512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae6263ffb26547bf01d46d562f0b860446e453df","datavalue":{"value":{"entity-type":"item","numeric-id":25672,"id":"Q25672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$3C2D494E-BB07-4BD6-97D8-2B4F6E879F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31a7c423f5230e323db862a54941340683f5907d","datavalue":{"value":{"entity-type":"item","numeric-id":30359,"id":"Q30359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796035$1BB6BCEB-DD89-46FD-AD3C-8744E4A79E21","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":"Q2796035$EB556706-BA2B-4CAD-B317-F09E03D181E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d37c54a7774d56fdb6f1939fb95af05d49ea86d","datavalue":{"value":"W2294722445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796035$3B99313F-3219-4D10-A3A1-3DCDDC469F99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21402857bb6adcf186ac4cda2f8889d9a0bffda9","datavalue":{"value":{"entity-type":"item","numeric-id":2891412,"id":"Q2891412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a8c846995919510aa0dd0f8b39515a1d2d5964","datavalue":{"value":{"amount":"+0.7359444499015808","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":"Q2796035$8FFB307A-5B81-49B1-B9E9-7F8BA00CF1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd3c8256a17bf62b8d8214fd70ee5247420291e","datavalue":{"value":{"amount":"+0.7270179390907288","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":"Q2796035$40C17618-EC76-4840-A66D-88AD3BE9DC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c317c6f690196e7387433c70f19fd90a1d53647","datavalue":{"value":{"entity-type":"item","numeric-id":3585053,"id":"Q3585053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c6884e167d22b0ca1eb472c3e8468c821f0478","datavalue":{"value":{"amount":"+0.7090761661529541","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":"Q2796035$0147BEE7-5E66-4C12-B82B-246CE6E6001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5d84271b0bf1a4ec19ff7bfe686d92013bf2ae","datavalue":{"value":{"amount":"+0.6968380808830261","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":"Q2796035$6924358D-C226-4B54-ABE2-18B83D242DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31e66b42973a37bdeee8eb6d519d6e5a6d0b926","datavalue":{"value":{"amount":"+0.6941707134246826","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":"Q2796035$88B2B916-D742-4FFA-A6A5-D050864032D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2796035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2796035"}}}}}