{"entities":{"Q5392500":{"pageid":7422074,"ns":120,"title":"Item:Q5392500","lastrevid":92621579,"modified":"2026-06-05T02:12:06Z","type":"item","id":"Q5392500","labels":{"en":{"language":"en","value":"Modal access control logic. Axiomatization, semantics and FOL theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5877350"}},"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":"Q5392500$676EBA5C-E961-45F2-9FD8-93287354135F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09f28c2d316703cc99546ed04b6c168fc9bd3b32","datavalue":{"value":"1215.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392500$03C970EC-A6A9-4ACD-ACD7-77A501EC0184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75db21553a01ded47d4224cee70bb1abb1bad951","datavalue":{"value":"10.3233/978-1-60750-676-8-114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392500$717A466A-2C64-4B7A-A48E-72EDA33C8A30","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":"Q5392500$F4A5C642-504D-4061-B29D-5A8FF67B6F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0555bd2e42c17545cfa47ce6d0f5ad1a52010096","datavalue":{"value":{"entity-type":"item","numeric-id":1935596,"id":"Q1935596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392500$F6055454-92CA-4F96-A3E3-B0D01DE5FC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8562637550295888a676099b1ca72fba25ae5858","datavalue":{"value":{"entity-type":"item","numeric-id":185573,"id":"Q185573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392500$7E151D01-47AD-4F7F-B8E2-E4EE96802F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392500$F841F1F0-CFE6-4638-B21C-782DBF4E95F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4478bf54e6eb8cc70545d84f27ef0144518f5e1e","datavalue":{"value":{"time":"+2011-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5392500$C515FA03-D145-4BE1-B26D-D6DA07FA96D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392500$C394A666-497E-45F0-82A6-77289B4D3385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392500$E23E4AA9-45AF-4404-889A-62528469103D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3e93afc7591092db5cd90f6ac4ca7d831eaa09d","datavalue":{"value":"5877350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392500$BC9E1A92-C63C-41C5-9030-3911ABB424AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392500$8CEE4535-6E3A-4073-BBC5-D728FBEF03E6","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":"Q5392500$97215A6B-20CA-498B-9B53-8B47260A4531","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff620bec9b287892264df2e84619ece96c57b1c4","datavalue":{"value":"https://doi.org/10.3233/978-1-60750-676-8-114","type":"string"},"datatype":"url"},"type":"statement","id":"Q5392500$17CC5C97-75FF-496A-AD5A-E5C62B00CB64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86755dff876900ecb96f3afe124184ce7e404a91","datavalue":{"value":"W1776981110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392500$8B48F136-34D8-4B47-90B9-17D0DAF5818D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"985537c92e6d58428f46612c06268c7423e47a2b","datavalue":{"value":{"text":"Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5392500$3644FAF0-80A5-4A7D-A354-E93419CCD651","rank":"normal"}],"P1643":[{"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":"d9e7441f97d2597d4e74551c51caa5323a1c9ce1","datavalue":{"value":{"amount":"+0.8357065320014954","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":"Q5392500$40ACA19F-367C-4B94-B7EA-DC751A6E9331","rank":"normal"},{"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":"9c73d424dbf3b03570e3c0d2b8b4d7eb1e6d738e","datavalue":{"value":{"amount":"+0.7889307141304016","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":"Q5392500$6EEB7EB6-56A8-4236-9BDA-C777F1B389D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2ef29a2bdbf47a6b8f0724c26cc553f2af7a94","datavalue":{"value":{"entity-type":"item","numeric-id":615900,"id":"Q615900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a22072023f999811c0cb8a6634caddf2e51355","datavalue":{"value":{"amount":"+0.7888480424880981","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":"Q5392500$5603BD53-6449-425D-A5FC-314B9CD11E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42695ed53071fdcc88244e7d7802c82d00438042","datavalue":{"value":{"entity-type":"item","numeric-id":4779553,"id":"Q4779553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c94258729b3ff583c07dfa9c1d36516825a997","datavalue":{"value":{"amount":"+0.777086615562439","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":"Q5392500$B3C7C1E5-ABD5-413F-8196-87EBFA4C7F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6473d520940403fc304b66e8ed85782861871324","datavalue":{"value":{"entity-type":"item","numeric-id":3010367,"id":"Q3010367"},"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":"Q5392500$58FD0FB8-E04B-4824-BAB0-B8E44BC5A8A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal access control logic. Axiomatization, semantics and FOL theorem proving","badges":[]}}}}}