{"entities":{"Q3058451":{"pageid":3069167,"ns":120,"title":"Item:Q3058451","lastrevid":51134639,"modified":"2026-01-16T20:55:03Z","type":"item","id":"Q3058451","labels":{"en":{"language":"en","value":"Specifying and verifying organizational security properties in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5818174"}},"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":"Q3058451$3DDD274C-1CC2-472A-B741-855058A4D3C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fdb175efc211d987c15f96d8ed608a5f118c57e","datavalue":{"value":{"text":"Specifying and Verifying Organizational Security Properties in First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3058451$191D1658-21FF-472B-BA60-A35BA1E56FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38e58b76003d4cff57809fd9a4321fe69a660ee2","datavalue":{"value":"1309.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$AFA7FAC2-4CF6-48AD-B749-C8E90370DE1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a46f3fbbd681aa34189e20de49ee85e07d95ef92","datavalue":{"value":"10.1007/978-3-642-17172-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$516AE6C4-596E-40B4-9972-D953836E99A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06ab084b24f0fc0bd4fab986093332e956c261b5","datavalue":{"value":{"entity-type":"item","numeric-id":3058450,"id":"Q3058450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$CEB2920E-E9F5-4C9D-B68E-D19AD1CE524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$64498E66-04FB-4A71-884F-311200712A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$7E0EA588-E46D-4FE6-9E23-147EEBEAB37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$3D118EFF-314F-440F-BA67-E1D120324B77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45799abc9832f373d48a10466fe1bfbd3b97c8b8","datavalue":{"value":{"entity-type":"item","numeric-id":3058447,"id":"Q3058447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$8302CF88-102E-4023-96B6-84CCDE7B7F7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3058451$D114D64B-4929-4E8B-B1A8-B49CDB8298D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$8B0F287F-C513-4416-B6D4-B659D9236547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$CDEFD6A5-513C-48CE-8D9C-128E6E483342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f922ed572c459d541a1cb2edbcb542f34d01a074","datavalue":{"value":"90B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$EFBE9149-8F15-46EF-920E-CF26A80ED676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f03375085ae9a93392e4b1fd03648c670a6fbd1f","datavalue":{"value":"5818174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$2A179350-345A-4B6D-BCA9-B848FBCB129F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$9A1EF209-3E5C-45A9-B3AA-9E10972C2F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0e5ca571328a057f6ab009557e2ed878e9fa47","datavalue":{"value":"first-order-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$4616B5A2-F803-403E-9D17-5504D90C993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d165d31d5d416c9308cd83917fb67e56463cf8","datavalue":{"value":"Chinese Wall","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$5DC45092-B2D8-4874-9F97-1836710C09B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01ad888ec18b64f4be20d9a134370782b9a15c42","datavalue":{"value":"Bell-La Padula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$B792A83A-9A73-4DF3-8FD4-AA26CC611FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f63eff3e7e92a6f04fdddd1b9cefcab91ebcc12","datavalue":{"value":"organizational data-flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$F05BD1BB-4B34-4CCD-98CF-647806EEDA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$9054D9BB-C443-417A-B1C7-F2C8B29D116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83dd96256f431f2f7cc7f0e8dc86e4b766b899ca","datavalue":{"value":"\\textsf{leanCoP}","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058451$0EB9C1B6-8F93-4466-A217-A0873BEF42F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$F72BB243-E6A1-401B-8359-D05811A09DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daf1126f3bf58ae583160328d0dec0da3aedc25e","datavalue":{"value":{"entity-type":"item","numeric-id":40434,"id":"Q40434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$B16D2D35-822F-4070-8A40-3177F3FBDD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$AC86902C-B1AC-41F4-930D-5821016C8DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$9084C9D3-BD96-4C7E-95D6-25B2F86C6107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$80CCDE1C-503E-4030-9730-8122C4411B81","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":"Q3058451$9D2D7DB2-14C1-42DA-B2DC-E77943D72C63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdef3fe4ccff21129541861d7969ecbedfc43909","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17172-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3058451$5321BD1E-0C8F-4C83-A308-870902D2FAB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d9bb12f25ebc72c1db8c1bbcb8838af500de245","datavalue":{"value":"W1500978174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058451$DD69DE5D-F435-424C-B638-20A63100D139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a65c33cb005617e97f0e29bd4909f3571c3824","datavalue":{"value":{"entity-type":"item","numeric-id":1776573,"id":"Q1776573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$5F6D2221-1869-4756-A2AA-9FF19D76445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850ca39a94aac87362042c94528de0b33c665341","datavalue":{"value":{"entity-type":"item","numeric-id":3668887,"id":"Q3668887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$DF0BF692-538A-43BA-A53A-6D49E9A5C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$E6A45942-E1ED-4185-A4C0-419B6536BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffc16544718d83a4fdaaf484258616599c048b4","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$BE0B3C54-F297-45CB-A6F0-4AA55AD64223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$2ED75B33-65D2-4B41-8464-C4E304E01C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd41301b78a03236dc27ccdfce83b246065d0cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2751380,"id":"Q2751380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$A65A4564-4DB3-48EA-84D1-9107F00F65EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$2CB027FA-A961-46FC-BE22-A7F369A1D154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe69fc028355d5cb639899e284adf226488cd64","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$7D8AEA56-850A-4BE5-B926-3AB16973CFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a75f053a353053f076c4579a8bd7588f50e677","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$030323E8-7BBD-4D66-8DEF-EECA4010BC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$9E760C49-DB8F-42DF-96BA-C0890D318FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c457a666c164ef29255c6b7cd6ede7a4060493d6","datavalue":{"value":{"entity-type":"item","numeric-id":2702604,"id":"Q2702604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$87360D50-8924-4199-8FDC-D1BC9B85375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$A23ED9D6-EDE6-4822-842B-9F6C8A8F8E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c66f03ae58a1984709b26c2c3abbc1577f8d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":3561621,"id":"Q3561621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$6E17B63E-D320-4585-B84B-F4FAE59FFCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f0d7bd7291721847e88579cf9c539e3f140b71","datavalue":{"value":{"entity-type":"item","numeric-id":2751374,"id":"Q2751374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058451$8D890F70-19EE-4273-93DC-5E9C86C68138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b09ced9dc8e6d68022dcbb2be0604863c477106","datavalue":{"value":{"entity-type":"item","numeric-id":4366601,"id":"Q4366601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4c3cb84f7eb64e978a4f21c1b1a8902422ea0f","datavalue":{"value":{"amount":"+0.6866745948791504","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":"Q3058451$4F4E0DB5-3BD9-4806-B2D7-CF2674DCFC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2adbf85125e44625664514d0df6b281cabe4b8fc","datavalue":{"value":{"entity-type":"item","numeric-id":2889828,"id":"Q2889828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2192c8cd30e602c9f22eca9a1abe4a2d15e77ebf","datavalue":{"value":{"amount":"+0.6778669953346252","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":"Q3058451$8F0721CC-02F2-4682-9AD1-B2EC42D19ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d9621a5e729c8f6b8045572625dfa2839710f1","datavalue":{"value":{"entity-type":"item","numeric-id":414857,"id":"Q414857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670064af272b07de939054d62eef825c594fd88a","datavalue":{"value":{"amount":"+0.671120822429657","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":"Q3058451$547EFC03-02D2-4784-A7AC-88E97B3EF8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6ec887bb6796e28abdfde6728b032321ac33ed","datavalue":{"value":{"entity-type":"item","numeric-id":4782258,"id":"Q4782258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e7949284cf7969031d73b20ec3dc5e9ac799b0","datavalue":{"value":{"amount":"+0.6626366972923279","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":"Q3058451$1B4B2DE8-2DA9-4E56-9F79-91C297F525EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca11aadfb27060e7b1eeb6c22fdbc3548ac5094b","datavalue":{"value":{"entity-type":"item","numeric-id":1990507,"id":"Q1990507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d81d2a9f1fc806bf57cbc8e5fe23fdf43b0e8a2","datavalue":{"value":{"amount":"+0.658852219581604","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":"Q3058451$1C43E4E8-5E6F-48A2-8D7E-97EB43F57938","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3058451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3058451"}}}}}