{"entities":{"Q6177470":{"pageid":13312358,"ns":120,"title":"Item:Q6177470","lastrevid":58745103,"modified":"2026-04-06T13:52:03Z","type":"item","id":"Q6177470","labels":{"en":{"language":"en","value":"A Survey of Practical Formal Methods for Security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7732879"}},"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":"Q6177470$AFD4013A-3593-442E-A546-CB427E987E66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c4d8012da7287ff933e3d292f7effce639f8089","datavalue":{"value":{"text":"A Survey of Practical Formal Methods for Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6177470$D6F6903B-6E41-491C-99FC-455B5E22FFF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"522288dd8b86d710450531df48464e91d39bf89a","datavalue":{"value":"1522.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$5C9D291F-06CF-4263-B1CC-A531D2590F38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed04c59d840ecf5efd0bdcafd5684b936d2ee312","datavalue":{"value":"10.1145/3522582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$B31B5A52-AF2E-4C64-B5E9-492DF29E850F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57330ce43a8c11cb3737b25496206b972fb4fa67","datavalue":{"value":{"entity-type":"item","numeric-id":6177468,"id":"Q6177468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$C6719EB7-9E53-458B-AC8B-FEC0CA037E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$DF9EB361-DEC1-41B3-99AD-B75DA7EA3CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bcaf435e3085e48d5de3c74d7c5c98ba7eb05cf","datavalue":{"value":{"entity-type":"item","numeric-id":1343866,"id":"Q1343866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$FF4B7911-7BC4-46AA-A451-EAB38C7E1B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73b9c7d4810d3c6890cabb548490444f9329363","datavalue":{"value":{"entity-type":"item","numeric-id":2355380,"id":"Q2355380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$16B96C94-F004-4013-B788-0B2044129569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$464CA771-2F86-40FA-9647-5D5F99348E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5c1833aef600bbad72055f2ef46d7caaa4ed8b4","datavalue":{"value":{"entity-type":"item","numeric-id":6177469,"id":"Q6177469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$45D76213-0EC8-4C59-992C-6C4E72280D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$0590E3D1-75CD-47AF-A13F-7B79122473C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177470$2B889D15-41F7-4C8E-B474-24B3B9446B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ed1b97c874aa96cebcf9bd9f2d490f4bcf42073","datavalue":{"value":{"time":"+2023-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6177470$79F165AD-0926-4E4E-BF23-AFFF7F8DD993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca339facd1be4e253fc761d727906288d43961c5","datavalue":{"value":"https://arxiv.org/abs/2109.01362","type":"string"},"datatype":"url"},"type":"statement","id":"Q6177470$654E0B27-3806-4D74-AA92-29F0EE2667AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$235592F7-33F8-4FD3-836C-7D81F351F72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$F9F80D95-92B0-42B7-AC7D-DD4227239D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$9B4C5CB2-212E-4D71-92FA-2FB2DAC02E88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b36e6d0368c76e689e2cee6c5f4ab10618b79b4f","datavalue":{"value":"7732879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$65C37329-EC68-4C86-A44B-DC9B0C99921A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177470$C71A1FB0-FA66-4762-9C79-9C223796344D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177470$6D04345B-A211-451A-BE2B-273C5CBAE396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177470$88B362E4-805B-448D-AB8C-37FAF69DFE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adca50e4a63cd91c433adb9a29826649c0d5c1af","datavalue":{"value":"cyber security","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177470$3956672F-8BF9-46E6-9093-5833A1999DD3","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":"Q6177470$3987FB94-65C7-466E-9023-5BB97E69529A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13dc7300934a028c614cd7f23358038eb31499e0","datavalue":{"value":"W3196878016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$F9A2BC2D-545D-456D-BB95-349853DA7985","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6e5ded78df98b5e654b522f8fca9f1ad0f9a5db8","datavalue":{"value":"Q131120909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177470$212E8D30-9D55-4F0B-81B3-5156E283BE8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453dcd3f5c94aba4659ee803c984c4ff77882e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817299,"id":"Q2817299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ea3d833a8953bf30b1ccc5461807eaca5ab2fd","datavalue":{"value":{"amount":"+0.6923059821128845","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":"Q6177470$B6EB8D06-EA42-4DBD-A46B-2600878D9FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9241ec8b6abe329f9d8cfc2a86434af613982be","datavalue":{"value":{"entity-type":"item","numeric-id":4532081,"id":"Q4532081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c65a6bf967588c96dc92163a97d727fedece7a5","datavalue":{"value":{"amount":"+0.6751592755317688","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":"Q6177470$6211794F-B1E6-44A0-9141-58AF6F5B6291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa6197f6f1faa7773976bbdf8dd87c8c8dfbfa1","datavalue":{"value":{"entity-type":"item","numeric-id":3164588,"id":"Q3164588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8666fad1fb5717b880ab2c27f276559e132a090e","datavalue":{"value":{"amount":"+0.6749991774559021","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":"Q6177470$1700382A-21FA-4396-B53B-415B4A80E825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a767c94cdf2e612abdb8b82fc45631285e805028","datavalue":{"value":{"entity-type":"item","numeric-id":610283,"id":"Q610283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d26eab8642c36616e0591b8e4cb80cd0f688d17","datavalue":{"value":{"amount":"+0.6711359024047852","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":"Q6177470$1F94E7BA-D572-4C45-89ED-4A83D01FEA46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6177470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6177470"}}}}}