{"entities":{"Q2864162":{"pageid":2874882,"ns":120,"title":"Item:Q2864162","lastrevid":57476298,"modified":"2026-03-31T02:13:41Z","type":"item","id":"Q2864162","labels":{"en":{"language":"en","value":"Heuristics for safety and security constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236118"}},"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":"Q2864162$B5E5F965-76D5-4AEC-8308-F844C9D957D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce04d022e06457b98fe0312aa3b6fe37a35c2169","datavalue":{"value":"1277.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$5E9A3BD8-4A21-4FA7-BC72-B78215F8DE10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$61B716F4-5C7E-4DBA-AD75-AD80BB513671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$554D101F-7D19-4E16-9AE0-F277E8663C0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$870A0E39-AF5E-49FE-91A6-2B79972B5137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864162$15C4F6BE-6DAF-4A2E-A737-CB0B8F164B16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$D7E9CC16-E3E6-4C2A-9E3E-3E92EC280A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$E2ABE486-6716-40E4-B13F-B749D7794EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$B8A78078-4D1A-462E-AE61-E434B1B10F9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be8d938e0a36c538ed92d1ae9b5ed95916ee744","datavalue":{"value":"6236118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$D44949BA-D862-4530-B203-A696AAC239DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864162$4A288251-4889-42A7-8E5E-5ABDCB5001D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1907030968675558cfe60e2f6ec5a5dab6159d10","datavalue":{"value":"flow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864162$E05975BF-A73F-41FD-AEAC-67EBA694CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15bdfd9a6e285e72554ab325f4a875db61915394","datavalue":{"value":"least fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864162$651B35AF-DD96-4D5D-8C26-44488051F700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225f51b6cb6d12ae1298f6527a5bacaaa7fa84d3","datavalue":{"value":"security properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864162$3C55FF81-66E5-4C34-B71E-293DD2F50D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b39aa5b0b18e17c30d869e8fdca5ac6cd621531","datavalue":{"value":"Bell-Lapadula mandatory access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864162$A18EA01F-22AC-4246-A54B-D1DEF83C4702","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$03A9B3B9-74F9-4DAA-9E00-B66B413B2974","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":"Q2864162$89955747-921D-47A8-9CF0-E1BDD59320EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a96f18d0cd95a2c6e5e19c43a3fff7cd4dfcffe","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864162$CFB6962D-7807-4BD9-ABF0-00B1FAE6EEFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3afe3851b499931647d0bacc6a897125716f37f9","datavalue":{"value":"W2050411875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$A35B80ED-8602-4EE6-A662-08202ABD435B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d890f50b81fbdd07655c7cfa1a47e4cab91b2807","datavalue":{"value":"Q59416352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$D7FB8DF5-2100-4EE7-AADA-1DF3AA2DC973","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$064C4F96-0250-4EDD-9B21-6ABDAA21E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a09fd37d047d884c164f2f18fd4dffd22fd449a","datavalue":{"value":{"entity-type":"item","numeric-id":4134910,"id":"Q4134910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$F6CDA3A2-5B9D-4357-9134-3363B673AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$2393EEB3-4BEB-4D52-9D47-4DBD625D96FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$F896831D-2A7E-4E0B-ABD7-7B28C8931803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90132798de528037702877f0ef7ed4a83f99ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":4654726,"id":"Q4654726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$103A5BA0-0E41-45A7-AEE9-755D4DFD55FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a532def81281161c623ddb165b53de574787ba07","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$FFAFB2E2-FC4C-4F49-9546-C3663D2F8689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"254af03bd756c2575d0cbcf0ea19b56d73e0dbf1","datavalue":{"value":"10.1016/J.ENTCS.2007.02.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864162$C0357A0C-1A39-449C-8266-A17B4B075973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b53813b079c08ba5a5cb88b8c36144fc2dbc912","datavalue":{"value":{"text":"Heuristics for safety and security constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864162$A815F61F-3B34-43C4-9C2E-FBFF7216A858","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b670bbf2e4ee70d70efda4054bf205f77d9ad7f","datavalue":{"value":{"amount":"+0.7457766532897949","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":"Q2864162$99BA4BCD-3848-4FF9-9B9E-4D6CBB535555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a67c486914d22d2945b847de9f00a9c0040d868","datavalue":{"value":{"entity-type":"item","numeric-id":6165812,"id":"Q6165812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966a76b678f10ae3dc5032b1ea85a34298d28200","datavalue":{"value":{"amount":"+0.7144140601158142","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":"Q2864162$F0DB53E2-8964-41F9-ADB5-D9B0EB647910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cc0591b33a0ccbed9d812374e44193e404935c","datavalue":{"value":{"entity-type":"item","numeric-id":3557851,"id":"Q3557851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c047014dc837b9fdb74aabe753f64a2b6378f2","datavalue":{"value":{"amount":"+0.7043899297714233","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":"Q2864162$3ADB5C90-E525-4354-B8B1-08E74AEAAA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be23927f8161f44b22e891a1e3fafb4aeda7092","datavalue":{"value":{"entity-type":"item","numeric-id":4972740,"id":"Q4972740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06de44ea75535e5218dd12d7ea14b9f5fcef197","datavalue":{"value":{"amount":"+0.6896901726722717","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":"Q2864162$A8395B87-C382-437A-8799-F7E3CE8D2E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4bf8ba2fda894883395d697d19ca23c26fdf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1feb4cfddb70f8961d6093120fd1ad485546128c","datavalue":{"value":{"amount":"+0.6888454556465149","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":"Q2864162$2AED1758-A927-452F-BC71-8112CDD7814A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864162$6AC48C2F-4CA3-4983-A955-DB62354B5006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864162"}}}}}