{"entities":{"Q2131407":{"pageid":2142150,"ns":120,"title":"Item:Q2131407","lastrevid":54305657,"modified":"2026-01-26T14:51:26Z","type":"item","id":"Q2131407","labels":{"en":{"language":"en","value":"Automata model for verifying attibuted-based access control policy in systems with a finite number of objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7514311"}},"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":"Q2131407$9CB147F7-11DF-491D-90F1-5095DD16D4DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb888b5bc553f48e266611df4be7056eb277ca21","datavalue":{"value":{"text":"Automata model for verifying attibuted-based access control policy in systems with a finite number of objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2131407$469B9636-0A9C-483A-A6CD-3A7D2989CA56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bec601b11221240664a745aa42df66311d5cb3f3","datavalue":{"value":"1487.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$0812D87B-09ED-48EF-BD25-8550E596ED64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0cac95a55d007823670036cdb688d23283afbd3","datavalue":{"value":"10.3103/S002713222105003X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$3EE5715D-CB67-47C8-9C77-1CED3CBA5E91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"850dc21e149c10a144cfd01ca6074673478b6c77","datavalue":{"value":{"entity-type":"item","numeric-id":2131405,"id":"Q2131405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131407$CC7C56E4-FA37-41DC-A371-FC8410842D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"817db3a562350365f0a9c275f3e5e59b391bd510","datavalue":{"value":{"entity-type":"item","numeric-id":2131406,"id":"Q2131406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131407$32C6405C-3592-4A7D-B9A5-D79F5A77A702","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131407$493C2275-8DEA-43B2-93A3-CBEDD1A4BAC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45ac4c9f7d9a40d61b5a21997b7223bc5f1c7932","datavalue":{"value":{"time":"+2022-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2131407$F469BDAC-159E-4806-8FEE-4B3C3C46573E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$20A6E2D8-ACBE-47D4-857A-1FCB5B52892F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$5E29AFC7-D678-43B6-9985-BF04B89E1DCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7a40b9c15eb4a89c4be65576eec017567aec4dd","datavalue":{"value":"7514311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$6F427773-668F-4947-BEBC-3D54E25821AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4b9d4fa90f8be2cd6da9111a0c86356fa26d54","datavalue":{"value":"information security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131407$DF368BB6-1A31-4E01-994B-7FFE98D0E3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca125ac9439e30a3769d8a365e298020f5a798ed","datavalue":{"value":"ABAC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131407$B72B85E2-72E4-40CD-AFE2-656943BBDCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7229d89ad9e2199fa162f90ab3c3ba6c4887af8","datavalue":{"value":"policy validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131407$F8C29F14-C748-4023-BD91-073ED40C0156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131407$C0ED04C3-44EE-40B5-9E4E-CCC7F844D575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2131407$483ADD85-F2C3-495E-AF3D-CEDE78C9624C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d94d398029d539fde4079d289342fbc4b3a183c","datavalue":{"value":"Q114845116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$83356FE7-8D61-415C-AA85-9923452A8E8B","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":"Q2131407$719B36F8-8CC8-4B6C-AA96-803DC316EF67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"694d6d3c84e58c9e02eab9c2417bff9916e4db26","datavalue":{"value":{"entity-type":"item","numeric-id":3741058,"id":"Q3741058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131407$0644B27A-8899-4D62-8700-EADBD147FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04574615510d2f0e114891d56e5cffe6dbc88aed","datavalue":{"value":{"entity-type":"item","numeric-id":5310687,"id":"Q5310687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2131407$73F03496-6F92-4A95-B8BD-0BC8420AD400","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88ee831c28f486e15fcec1564d25bdc13885ed64","datavalue":{"value":"https://doi.org/10.3103/s002713222105003x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2131407$5A89C587-E8F8-47D3-8AAE-0382BD58C819","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f721ab668f9a95be266acd90157650ff36f5991d","datavalue":{"value":"W4210485997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2131407$3FE16A5C-1DE1-450F-9007-563C021454E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc19558c514bb19eb74ca88a533e10b85ad4a141","datavalue":{"value":{"entity-type":"item","numeric-id":5740636,"id":"Q5740636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d7766115f90081c857bd3274b96b9787190261","datavalue":{"value":{"amount":"+0.7766639590263367","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":"Q2131407$F3C98F97-65DE-49E4-9CD5-33CA502AA432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b54d8fb7b80488a575db3bbe079dcbfa0556016","datavalue":{"value":{"entity-type":"item","numeric-id":5178997,"id":"Q5178997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0309febfb1fdcbf0a2d2d6b3e1605aa1af5b6e08","datavalue":{"value":{"amount":"+0.7732741832733154","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":"Q2131407$A3452013-74D6-44DC-935B-9F94455CE11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49ec216d4f73ea63ee7f57cfc99fa0fb1a7a63d","datavalue":{"value":{"entity-type":"item","numeric-id":5492771,"id":"Q5492771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f4edda675a48be5d7adc381950e7ce78435eb4","datavalue":{"value":{"amount":"+0.7578625679016113","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":"Q2131407$B8B060B0-EACD-456E-9923-B8B572160243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc63a0321495fdbb5090ccf936c7f7975c9d70","datavalue":{"value":{"entity-type":"item","numeric-id":2889841,"id":"Q2889841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e48b30096c85125da8f053f7b35c26982dea98","datavalue":{"value":{"amount":"+0.7456508874893188","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":"Q2131407$22256682-CBF7-4CC6-B458-6344FD7D028C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e364bc61388387b4cfd68598fdab8bccd3bd6843","datavalue":{"value":{"entity-type":"item","numeric-id":5493195,"id":"Q5493195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc660164b916209d826f0765427c1e13a64f2668","datavalue":{"value":{"amount":"+0.7348937392234802","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":"Q2131407$BFCD9E90-2DE6-4447-80EA-9B104459BB9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2131407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2131407"}}}}}