{"entities":{"Q2482438":{"pageid":2493181,"ns":120,"title":"Item:Q2482438","lastrevid":73475895,"modified":"2026-04-14T16:08:29Z","type":"item","id":"Q2482438","labels":{"en":{"language":"en","value":"Rule-based static analysis of network protocol implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5264847"}},"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":"Q2482438$B3377A98-B71B-4E1C-8BBD-52F99FE7BF2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54cc88b3ebb0d3fc22cf67054cf385220c6543cc","datavalue":{"value":{"text":"Rule-based static analysis of network protocol implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482438$FF5BB840-9035-4719-B509-E8095D9793B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef659d04ed24e7612c55668955d7e710c13a19cf","datavalue":{"value":"1146.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482438$28E27EC8-77BE-457B-9508-7744F38D003A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df25ef4764c59bd743e258b415968fb52563ea6b","datavalue":{"value":{"entity-type":"item","numeric-id":2482435,"id":"Q2482435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$5A05B67D-3A3C-4FAF-A22C-516CB35B1C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9d4faa716b58c8db70e8728e011483b52830877","datavalue":{"value":{"entity-type":"item","numeric-id":2482436,"id":"Q2482436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$CB956131-B49E-46C5-915F-45E5C971F1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c998d1694ed82434d9591da5a17b5156805699c1","datavalue":{"value":{"entity-type":"item","numeric-id":2482437,"id":"Q2482437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$EE7FA6A5-F4F6-4D62-BCDF-87571AB25B8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$D3F252AC-0826-4521-89E5-4BF8B222BFF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a5658e642f3500324f78b23f55b5ff809190c23","datavalue":{"value":{"time":"+2008-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482438$8F096DB5-9BD0-4804-B6DF-08ACC3D3F334","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482438$F3445E96-2043-4113-84A5-3E899B00EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482438$EFECF443-4300-494D-83FD-107C13E8A368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faef8df830757486a0a81a3bbb8606e32cc6abac","datavalue":{"value":"5264847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482438$133BD327-1831-4AF9-BBFC-67CC6F640F65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$A532A687-F96C-43AE-8D63-4FA0C03FCFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$7D12044F-D3FF-4D39-AFF6-29E7A2B7A0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$3CC7A492-2DD2-4ED6-AB2B-B9CB4794A334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$BC590FA0-F955-409B-B560-7E6544AC4F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$8298CBE7-2CB6-47AC-93CF-5975E14414CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$1478DC83-4807-4C21-BDDA-1FAAFBFEFA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$1848C5CA-5D4F-42C1-BA5E-E398A2A598EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4a576df40a56f4caeac99704b4faac3f837354c","datavalue":{"value":{"entity-type":"item","numeric-id":22086,"id":"Q22086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$D895F09C-7D0D-4AB3-8303-60F0B180ED21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$1F051383-C290-4D8E-8A30-33A245FD0BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$52D44B09-2CAA-45F5-9A5A-E70237742420","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":"Q2482438$78C12311-F8B6-436F-9EEA-AEE16F69F018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f26a2292fe027949f652dd0456cec8467cd6e9eb","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482438$157766D6-C997-4234-B731-983F48FF5400","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe99f7d689710c3f7f33c933bcfc842277075761","datavalue":{"value":"W3022140103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482438$868E4646-871C-4623-B587-65FD8108B8B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f9fdf1624ad527a34636a17a7fe5a1d38f99d0","datavalue":{"value":{"entity-type":"item","numeric-id":2482438,"id":"Q2482438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$ED7C85FD-A8C2-495B-894D-0769415A4C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$8FE0C377-55AE-4B9F-AFAD-D186C00FC1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab01ef5fd31d50274abf07dfae6d20a71b68f12","datavalue":{"value":{"entity-type":"item","numeric-id":4551148,"id":"Q4551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$0C034D18-40CE-44EB-84E5-5E7AC5C165AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6027468ee6b0aca44d81edc7a0ca83c91789f5","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$FC51609A-7812-48C6-9701-8907C98A25D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6749097b3d24a4cc9ba62580498b90d1488191f9","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$84C6C886-5671-4933-9DFA-FEA76F3E3CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59913fe185c6401611a45f959636e2872d075951","datavalue":{"value":{"entity-type":"item","numeric-id":2482453,"id":"Q2482453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$B4386683-2DE7-441A-A210-4FBD4F53C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8a3ac4639dd4b337d27b26782bc37c2b08b219","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$927A292F-86B9-4938-A9A4-B7FAD1762FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$19B89211-ABD3-40BE-9AA6-C52CE5980E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$5D8E31C9-17A0-4207-ACC6-5B03653223D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482438$82297B22-3232-4163-A71A-BADDAD212BCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e4630c4aca15d30178d5a5c8b3eadf7e9e1ffe","datavalue":{"value":"10.1016/J.IC.2007.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482438$7D1C16EF-F5BF-4074-B40F-755FAB30C26B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a3ad61bca57bc001627870be62a84230b30d74","datavalue":{"value":{"entity-type":"item","numeric-id":5711502,"id":"Q5711502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4895588c9610727b12fb889b45b63b179a26cfd8","datavalue":{"value":{"amount":"+0.7244171500205994","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":"Q2482438$DCCD601B-DFEB-44CA-A5B5-3D671E5C9661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8285d2b7c787b44a15dd0f1e9960cb972b7dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4551148,"id":"Q4551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cefd0372865328c6a7333c5b7bbd4e944d8e443","datavalue":{"value":{"amount":"+0.6795233488082886","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":"Q2482438$E4674A9E-B109-42F1-8D4E-ACEDAF189032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95992f9367184e98b2c0b886df3ae4e27ae22c11","datavalue":{"value":{"entity-type":"item","numeric-id":3522926,"id":"Q3522926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e18a60f6e2282c17e366567d92f2c3fd5c0570","datavalue":{"value":{"amount":"+0.6622328162193298","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":"Q2482438$14FFE1F4-9C23-44EE-BFD0-743716EE1140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2707d576d657f68f9b70fa6633e1fbf32bdfe08a","datavalue":{"value":{"entity-type":"item","numeric-id":5394807,"id":"Q5394807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd30adb239bfa58a04db27456750f4f10ade29b","datavalue":{"value":{"amount":"+0.6544247269630432","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":"Q2482438$7A747F25-CFB1-4364-BDE8-767F5B5310EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464471a0880afdd0c80c8680e884416a4cfe7313","datavalue":{"value":{"entity-type":"item","numeric-id":3600113,"id":"Q3600113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7f4449c17eefe14976f29108d4b5479de829e6","datavalue":{"value":{"amount":"+0.654090404510498","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":"Q2482438$15CE1071-1FCA-4824-909C-66E2AEC4EFBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rule-based static analysis of network protocol implementations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rule-based_static_analysis_of_network_protocol_implementations"}}}}}