{"entities":{"Q1603656":{"pageid":1614396,"ns":120,"title":"Item:Q1603656","lastrevid":74125227,"modified":"2026-04-14T18:30:35Z","type":"item","id":"Q1603656","labels":{"en":{"language":"en","value":"Validating firewalls using flow logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767868"}},"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":"Q1603656$EFF0800B-A0AB-4E82-B5C6-2E988981C31A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74a97002a663e0e097b0782b882b7efc772e264e","datavalue":{"value":{"text":"Validating firewalls using flow logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603656$97CA2C32-A77D-454A-AE54-06BAE5FA165C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12da012a1174780e34fb0d21c94e4b746bd85f70","datavalue":{"value":"1016.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603656$A06908C2-3042-4A8E-B3CC-2DF7CA3E7864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348bc97d543a149ea691d990a491654aba82ae72","datavalue":{"value":"10.1016/S0304-3975(01)00140-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603656$9E77215A-4C21-43FC-A22F-2C1F0516CC3F","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":"Q1603656$718F74A3-33F3-4B56-B2F8-D11BC5F92592","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":"Q1603656$3D0E685E-BD1C-4748-8589-FC90FDC33223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79f55d4de7d71bb4ffb5333a5d009d1cab68942","datavalue":{"value":{"entity-type":"item","numeric-id":964493,"id":"Q964493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$4867B33F-3AA0-4382-97C7-06C73DC2E8AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$483B3A79-EBE2-469D-B543-2F9992BA25E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603656$CABEF7ED-C8A9-432F-93AC-F512C26C1A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603656$C7E4A0EC-3C41-496C-8186-F0842F4640F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603656$6ECE6C74-DDE2-494C-8B8B-F9499FDBF78D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e3c6f0df4cb47114792abd0b3d6bca2094f6ddb","datavalue":{"value":"1767868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603656$ADC59B32-FC16-44E7-A0B5-1DB18ADD0AB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ba142262bb0d547b8367ee84cd566f96d8645ad","datavalue":{"value":"hardest attackers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603656$6FB9F1BF-4812-456B-A775-5ABD87D6C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603656$CFAC2B16-C35B-42E4-9079-0A24196EA48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d13caaa0a74f2b53cbc4e9b57ebb52314ee417","datavalue":{"value":"control-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603656$6601C295-D797-4DCD-974B-A4A2B1D80EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1907030968675558cfe60e2f6ec5a5dab6159d10","datavalue":{"value":"flow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603656$F7B9E08F-59F9-448C-BE40-A22C7D9FD1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603656$58919650-85E6-4589-95B9-DCD97061CE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f604d1bb89db1024aee7fad2f2bcc3de0195f184","datavalue":{"value":"firewalls","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603656$602C77A5-8598-4454-AA1F-2BD4DB5B71EC","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":"Q1603656$CE1A760E-E147-4CA4-9AAD-BA57C8151AAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0444f180abec0cddd3ea1900c859c5fecb70523f","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$F9F92D47-12EE-4257-BF43-EA387814D7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$51219C48-2138-42B5-889B-BD3859200C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$AD208EC1-83D9-4E0C-A528-FB39FA4CB0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$6DE1A01F-3B6C-4603-81BF-2DBE786709C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4869a038f4c639f28be8068d5455d2405880fee","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$37065CBF-7C44-44D2-AE40-2C08F8FA7E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$6A9D9549-398F-4059-9E10-A45DE34A517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$AB4CB9F9-C798-42C5-86EA-56AECE54D27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33e3ad4bd1ae26aa88ab06b119c8408c960c63f","datavalue":{"value":{"entity-type":"item","numeric-id":2729057,"id":"Q2729057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$D43DE9AB-0F96-4510-B591-10AE8F4A5FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b870e74f38c917487c9e466f7eb7a12db2d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":2763677,"id":"Q2763677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$EE15AF5E-3467-434C-9755-6162B319A03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e92c50522e5891f6b6c7be4f89dc306a567f76","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603656$C266E928-F8E9-4563-A90A-C66F584A1990","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868ee61e027100d2b1a5e567c9cb1022ecdf504b","datavalue":{"value":{"entity-type":"item","numeric-id":4222941,"id":"Q4222941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a834b9e730224567e3b98fad80ce649fadfd125","datavalue":{"value":{"amount":"+0.7477965950965881","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":"Q1603656$FE030891-02A0-4AB3-8375-E079DDCF806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d6501a4000a888a3b266cd9dbac4b015ddcc34","datavalue":{"value":{"entity-type":"item","numeric-id":2482455,"id":"Q2482455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5dce216c0f4b4e25824882d0fe18c91382f58c","datavalue":{"value":{"amount":"+0.7457965016365051","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":"Q1603656$DF418A50-FC14-426D-957B-27F4D62F2992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065f683fc679d0029af9b309407cfe9a5920954f","datavalue":{"value":{"entity-type":"item","numeric-id":1029816,"id":"Q1029816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a0341c6ecb7f7ee65aa44c24d3d306d2507915","datavalue":{"value":{"amount":"+0.7426656484603882","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":"Q1603656$BA9E5341-2F25-42D8-A50E-0705EB627B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251f20b556af2de2dca9c4ed82d006fa3b3a3029","datavalue":{"value":{"entity-type":"item","numeric-id":1884885,"id":"Q1884885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197fcea506c2bb8cee6618c8b949f1df224cabaf","datavalue":{"value":{"amount":"+0.7190335988998413","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":"Q1603656$BF1A694F-2ADD-49FD-9EDC-ADBBEADBAD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed468d34b0213669dd95010ca68ae1fd3ffc9a6c","datavalue":{"value":{"entity-type":"item","numeric-id":1869979,"id":"Q1869979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd92dc2615999165f610fcdc69fda8d02eb2fc0","datavalue":{"value":{"amount":"+0.7180615067481995","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":"Q1603656$E6475FCD-FBC6-41B1-833F-352ADD791999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validating firewalls using flow logics","badges":[]}}}}}