{"entities":{"Q3460047":{"pageid":5239447,"ns":120,"title":"Item:Q3460047","lastrevid":46599642,"modified":"2025-12-25T04:28:42Z","type":"item","id":"Q3460047","labels":{"en":{"language":"en","value":"Analyzing Internet Routing Security Using Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528777"}},"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":"Q3460047$7DCE63F2-1356-4617-9F86-EE50DB3E42B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f70e7d2dd07ea462804ee7f15e6aa0ce2852b9bb","datavalue":{"value":{"text":"Analyzing Internet Routing Security Using Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460047$A4EFE371-F9B0-4AD0-B525-FA409E1C39A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a731631c3b61f7bc0225e39366cb409129d2a57b","datavalue":{"value":"1471.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$90D65351-B1E7-46FF-843C-14587C44C908","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b009a498d9f3af72aa063f46adc78f3d0af7709","datavalue":{"value":"10.1007/978-3-662-48899-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$3D93A34B-608E-4C4F-A061-E772352C6012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b49fb613420ab375fbe62d8b85ccf4e7c4b5d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3460045,"id":"Q3460045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460047$65A4AE10-95B1-4D50-B280-D134AEF5B88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460047$3324947F-98BD-4763-A905-473AFDAB4E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d35f1563a2efce2e45e5cd67390b3765a87d1ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3460046,"id":"Q3460046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460047$20664ECA-D8E4-4264-9085-9A62F2AC618C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460047$A13CFCDB-7511-4A16-A448-24D4D2D087D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460047$F4062F57-BB13-42D6-AB8A-41AF1E34364D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$08302715-EED3-4F7F-A7CC-A91199C6A9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$D93038D2-3BFD-4B2F-BE2A-99EBB879AF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$44BF2C26-E211-474B-9C07-30BC6972AA71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e59fd561f1b01ad3023894d7b382bf1bdd24fc58","datavalue":{"value":"6528777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$E70AEB59-16E7-4925-B995-9A8D91C70E63","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":"Q3460047$1252B542-41A4-483E-9069-1F0F13BCF7D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12bba98e7e94fa366c638489ddf6fd322497b62f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460047$41698AD5-AB28-4DA8-8A37-77EF92308403","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ba92c09189fc064bbc18d66c39e389eec2b0d5d","datavalue":{"value":"W2253212629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460047$657316C9-7D08-4E56-916E-F3021606EAAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ca72b8875e3dc9ba63b6bea6dea98bc9b411c8","datavalue":{"value":{"entity-type":"item","numeric-id":462483,"id":"Q462483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8e60fc52650c71cba596869d05a709621d553d","datavalue":{"value":{"amount":"+0.86324066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460047$D91ECF03-B017-4866-A298-840D00B6B4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e2a7747b731a7010871a1b09c3d1e8e4c93844","datavalue":{"value":{"entity-type":"item","numeric-id":3176380,"id":"Q3176380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdd1e2fe205ea282e6bcb831832384cc3a681a8","datavalue":{"value":{"amount":"+0.86022675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460047$898ACD43-28D0-4C62-ADBB-AE43E850D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d3319830feb829580e6343e381e52eaa2242ce","datavalue":{"value":{"entity-type":"item","numeric-id":4817037,"id":"Q4817037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852be45a2563dd35cade71e72852c2e9eaf31908","datavalue":{"value":{"amount":"+0.8564072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460047$062F4FBA-CB7F-4CB3-AA05-49B7BD2C2338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ff4c06c27fba4b29f00dbfb262f65010f25679","datavalue":{"value":{"entity-type":"item","numeric-id":4437047,"id":"Q4437047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7aa582657435345d8807102afb6278dba47c192","datavalue":{"value":{"amount":"+0.8538006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460047$EFF5A50B-26F6-497A-AD55-EF1EEA983275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798ce3f8e563ba0a7ea89c7af029d2154db50b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3460424,"id":"Q3460424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768c696323516fcee2d04dfd2c23716cb5c48f70","datavalue":{"value":{"amount":"+0.85235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460047$D37AD641-01D0-4B75-843E-534B8B5AB777","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460047"}}}}}