{"entities":{"Q3010367":{"pageid":3021091,"ns":120,"title":"Item:Q3010367","lastrevid":51283856,"modified":"2026-01-17T14:35:33Z","type":"item","id":"Q3010367","labels":{"en":{"language":"en","value":"A conditional constructive logic for access control and its sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916711"}},"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":"Q3010367$394D3C9C-88EA-430B-A4E7-17DDD0885BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cdaf4c791a7b644adc2fe0a6eb2a453065dc2fd","datavalue":{"value":{"text":"A Conditional Constructive Logic for Access Control and Its Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010367$0574F91D-7E34-4B83-83FE-7E43B6EF161C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96cb663dacdf214390cd50fbafed3a5a54b1e725","datavalue":{"value":"1333.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$99378F74-15AA-4F7B-A40F-9D2F8246E1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daae31b16ef08279d6502f0aabd9358c545a0a55","datavalue":{"value":"10.1007/978-3-642-22119-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$529809A7-2EB8-4627-BB10-F8194D412AB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce51ff21352dce78c36e257ec880f5999dc2602","datavalue":{"value":{"entity-type":"item","numeric-id":1037606,"id":"Q1037606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$94E646BD-EB2B-4487-AAEC-AB10A045F789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$4938F010-25FA-4486-9C3C-47A4DCB388FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbec35a2e96f9d13a1123f98a466a76ce9d01080","datavalue":{"value":{"entity-type":"item","numeric-id":1602961,"id":"Q1602961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$E5D76F66-F297-4016-89E6-344D40D9A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$3EBEFA5B-10AC-4C3A-85F4-998EE0216F58","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":"Q3010367$941FB256-A5D6-46D4-BE76-D34A7DB3E727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010367$E67F588D-5D64-4954-B539-1E873A205CFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$376A5A96-86DD-4A3F-8756-04A03B0906CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$74659560-8CEF-4BE5-8480-F944F421773D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$24D075CB-CC07-491B-8AB6-1845DD1CA231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f213e2164eb82431ba3d583625f5691b73da4ab7","datavalue":{"value":"5916711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$156D285E-CE90-494B-A7CB-3961D496BFD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"15b3e75a570111f34cad479250035b0faed520be","datavalue":{"value":"Q58207605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$E745E04B-E106-4C90-B0D0-0FC9583CC4E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0722b682c655a36bdb24a42b09e0f9a3c4b58478","datavalue":{"value":{"entity-type":"item","numeric-id":38479,"id":"Q38479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$EB437795-A23B-45CE-AA17-6867B4D6E095","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":"Q3010367$ED468C6F-7A40-4146-9A42-7F1240218618","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d560d71a7f32e3cc29832c3e18acf604b86ffdf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010367$3EBE42B5-BDDD-4F66-AF2E-783B72110F86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3d5df1e46d99215f746baa8c3639a2c1c4d1919","datavalue":{"value":"W28472032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$A7446704-7199-44E2-B2CD-CC6FE6E88097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d97626ea5ff9be24bcc32ef8bdbf862e07f2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3522044,"id":"Q3522044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$C35724DD-5B26-43E2-8161-CBDAD915140F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1229669730c5a55ee29d50b9d09609650f973c0","datavalue":{"value":{"entity-type":"item","numeric-id":1037607,"id":"Q1037607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$C159A64C-DD5E-4BF4-ABFC-6C70BB4B9D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$20373E6F-930E-43D2-8A17-1ADF0DE8FC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d50d6d29a3bfa40d26b9207dbc4abbebc1a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$A89008B0-0A63-49AC-9624-95001B1F1CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a33fba52bb9f9fb6304ca5c0cb1d40edc995b12","datavalue":{"value":{"entity-type":"item","numeric-id":5458361,"id":"Q5458361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$AF56482C-7E10-422B-91C9-B59345A243C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aad20fb5e285b1e7eda9fdb9650a30b393650d7","datavalue":{"value":{"entity-type":"item","numeric-id":5392500,"id":"Q5392500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$E99052D4-CEAE-4A1B-A095-D0380654D7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$B917BDD6-B01B-4FD3-955D-6FA225486551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$84274DE7-3D7A-4DC0-B4F4-AC1691908383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$ED9F5166-48CE-4AF0-8C30-879ECF72833D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b80a374b3c6924c7ff54b10bc049ba49c7c861","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$DDF95471-40CE-419E-8F64-40B1F72DDD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010367$4AC7F1F4-FD66-45B1-9C72-9F79AD2DDFDF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6cccac9c24472c8e5ac64146c2ae0afb7f53b7d9","datavalue":{"value":"conf/tableaux/GenoveseGGP11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010367$2D7FB817-9CF9-424C-8EE4-6F9BDD94B879","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6926a61ad0da3bb92a415b2407842b803099408","datavalue":{"value":{"entity-type":"item","numeric-id":2937691,"id":"Q2937691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8467689c9fa7488c75b7966f2db10f5d92421c","datavalue":{"value":{"amount":"+0.9407733678817748","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":"Q3010367$C586BE3F-DDD3-453E-94AD-ED2ECE929CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08dd8192a2c549a69866a83de12f800a0505d925","datavalue":{"value":{"entity-type":"item","numeric-id":1037607,"id":"Q1037607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c61a78b086133b791ef1bc1c3f818d5d12a96b5","datavalue":{"value":{"amount":"+0.8200992345809937","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":"Q3010367$6371ECB8-9F7C-4DEF-80F2-C7013DD9948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6750dedc2a68bb45ad46fdef3ccd516ec33a29de","datavalue":{"value":{"entity-type":"item","numeric-id":5458361,"id":"Q5458361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f3d9c7cbb318d58b59841a4403275e764cbbe7","datavalue":{"value":{"amount":"+0.7976493835449219","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":"Q3010367$FE1E517E-C2C3-436C-A279-4AC0FCC83494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ceb16485a5168d5074a96b2cb7f7362a098a51b","datavalue":{"value":{"entity-type":"item","numeric-id":3522044,"id":"Q3522044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682df8610100eaee0bf6ab6ca9dd1f11a875af26","datavalue":{"value":{"amount":"+0.7695407271385193","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":"Q3010367$A1CB12AB-5B0D-4B7A-B9E8-F12BE66918C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebfafcb5674d81d3baeb5ea760c8fe02586f4182","datavalue":{"value":{"entity-type":"item","numeric-id":5392500,"id":"Q5392500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a3d3032522a0fb3ba413307f378e3804337033","datavalue":{"value":{"amount":"+0.7608405947685242","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":"Q3010367$C2DD9620-8FE5-435F-A0CF-2BF99468602A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010367"}}}}}