{"entities":{"Q2493670":{"pageid":2504413,"ns":120,"title":"Item:Q2493670","lastrevid":78747482,"modified":"2026-05-06T12:20:41Z","type":"item","id":"Q2493670","labels":{"en":{"language":"en","value":"Using equivalence-checking to verify robustness to denial of service"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5032962"}},"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":"Q2493670$DC5F9D2A-EE87-4688-BE84-75D38A244938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62d16034ed3358fd24508c74ee6fa644c68d63b8","datavalue":{"value":{"text":"Using equivalence-checking to verify robustness to denial of service","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2493670$CF3EBFFC-BABD-4FAF-888A-2395C5B034DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c06f7b0e474d5665e5c0682ee2b4cc914a4348bf","datavalue":{"value":"1092.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493670$E52775BB-D54F-4E76-AEFF-07FA0FD5AF19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9a3a3ece59ce0ae038b07406123ffd075b731d","datavalue":{"value":{"entity-type":"item","numeric-id":2493669,"id":"Q2493669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493670$F60A88DA-91EA-47A1-9710-0F6B9AB05BCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5b6d2e589e4e15465d745ed9cba11a5a86e282","datavalue":{"value":{"entity-type":"item","numeric-id":551683,"id":"Q551683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493670$3D482E34-6158-49B6-BBA5-C5B237249635","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9867ede6d48380dfdfaea44fb9becad3e353add","datavalue":{"value":{"time":"+2006-06-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":"Q2493670$DF61EF75-408B-44B3-AF6B-9246C9135A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493670$821596F1-9DD0-4840-89F1-041A42201268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493670$DE2B8CE6-C6E9-4409-AE25-C0BBDE99D37A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4372dec5b59dda8a611653a79da53dadf723b5c0","datavalue":{"value":"5032962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493670$757D7AF5-2731-48F6-BCBF-374E48A3C452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ff2e28329a44d6ba0ae4192b27740d13522b30","datavalue":{"value":"equivalence-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493670$D9F77741-20A1-48CB-A927-4DFE24CC84B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff8cb5acaff43cc5ee3f124e6f028402ac78847","datavalue":{"value":"denial of service","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493670$A75C6356-15A3-4D4C-BF63-71C33FFE1F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493670$3EC05D0D-B508-434D-84BD-835D72F51BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493670$60B27603-1EFC-4F68-A8AB-8186B4593930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b55762c21384b97639b14b8d23a00ad3e3ce81","datavalue":{"value":"admissible interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493670$FA589568-19A0-4EDF-A2FC-1C5E11AC5F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493670$AE2CD9F8-63C4-4507-99FF-9FAF8B04AB30","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":"Q2493670$3DB227CB-70E3-4941-87C4-185464F3C510","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5165df30202b4758cc8cdfb33cf46f31f436b472","datavalue":{"value":"https://doi.org/10.1016/j.comnet.2005.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2493670$A8082672-BEEC-4998-AB2C-FC4DA2BE0887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4159b557acb2356c7d12e94910abd4fdcd0e40da","datavalue":{"value":"W1976558359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493670$41D6414F-BCC8-4DDC-BA8D-87AB09F04FBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd3f61b33b3b0148063714433df56d598b7a690a","datavalue":{"value":"10.1016/J.COMNET.2005.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493670$681711F2-E4C4-42FB-8B2F-E8D04C785D32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938c704fe410be264e1f2232654427d2215d804","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140de3c55c0e4c0cf7deb01b74306097e6c08343","datavalue":{"value":{"amount":"+0.7130961418151855","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":"Q2493670$39D6196C-4950-42CE-ADC5-6C82B8FF43E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97daad70c3e93b2303c7c0b5f9b7473a443eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4778711,"id":"Q4778711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b136e5001cc9c29f0af5d0f0491a16df586aa426","datavalue":{"value":{"amount":"+0.7100586295127869","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":"Q2493670$749CE30B-B46C-4289-9AE9-E8451D8ACD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206fb2333e843b84a862f154bfb633db182fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b136e5001cc9c29f0af5d0f0491a16df586aa426","datavalue":{"value":{"amount":"+0.7100586295127869","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":"Q2493670$E271433F-DD76-42BF-AB58-A96216EDF461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81df5510cf557fec893aa33b8577810dd189315e","datavalue":{"value":{"amount":"+0.7062445878982544","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":"Q2493670$465EA44F-D02A-4E25-83F7-38CC12DAE9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc841ec587f73d3d2b1ec6e8835c49b8652acaf3","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b33528a1af6f103e6dfb126568e24d3780e5812","datavalue":{"value":{"amount":"+0.696984589099884","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":"Q2493670$E70FED37-717C-448B-BEAF-7138DE4BF0E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using equivalence-checking to verify robustness to denial of service","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_equivalence-checking_to_verify_robustness_to_denial_of_service"}}}}}