{"entities":{"Q4535055":{"pageid":6564647,"ns":120,"title":"Item:Q4535055","lastrevid":47929315,"modified":"2026-01-03T02:57:04Z","type":"item","id":"Q4535055","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1754628"}},"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":"Q4535055$39B4A443-F914-4272-AF10-51AA262F7B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf498ccb2c9afc41f2b9f5711b21c3e5d9f4539","datavalue":{"value":"0986.94022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535055$FA419480-7808-475A-8BDE-0935965EDCF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61236299fa791b99e4b27b6369e8c14dcf94677d","datavalue":{"value":{"time":"+2002-06-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":"Q4535055$FAEF2EE2-04C8-47E8-9C70-E2AFC3D7533C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a332f45cafcb30631856f0a6cb6a182c7bc26dfa","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2076/20760667","type":"string"},"datatype":"url"},"type":"statement","id":"Q4535055$07F80757-01B5-4AC9-B69B-39BFC695EC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535055$17F8A231-C0E8-4F3E-97D2-E1BCBD8A65E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535055$C6EBED54-2564-4665-BD3C-0A527C0A06C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bb127c49be343aa8f70b4fa478832b8be8b7d4f","datavalue":{"value":"1754628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535055$00F4FE76-7A75-4FBB-B177-FFC547A66BCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c5155e7360bbd5352392460709b52f727db0e6","datavalue":{"value":"spi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535055$42C223C9-45A9-4A30-9537-BD9BE1DDF129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535055$0F1EF308-976A-45B2-BE1D-6BE29D516CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bfe8d78846b6922e7e37accdd1aa144562333f2","datavalue":{"value":"formal methods for security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535055$40766811-C472-40A0-8A7E-41367FC43627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535055$AA68C4C2-1EF5-4F42-BE1F-A882BFDA2A81","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":"Q4535055$DEFBB3C2-23D5-4DC4-B664-608038B9FB6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2540b35c50d2a10b47beb1af71b131c8a744a8b","datavalue":{"value":{"amount":"+0.8761401176452637","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":"Q4535055$0436A102-2B29-47BB-A040-031D7712CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b05a56e7634118043d700c34994d8c4408ef1c","datavalue":{"value":{"entity-type":"item","numeric-id":557806,"id":"Q557806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6b8fcbf5904b0ade09a3252f479f08b87201f1","datavalue":{"value":{"amount":"+0.8518983721733093","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":"Q4535055$6BD63E71-37D1-4B77-8A5E-1DD4F851966C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3001dbefa0131bf3994e5f32497248a60838ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bed3e8d83f766b2991c49f3f51633934728169","datavalue":{"value":{"amount":"+0.8083991408348083","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":"Q4535055$0FF14589-C162-4A0D-ABA9-6DAE039AB800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3146d6b7797fd70dd9aec99aa6dee4fbd49e4438","datavalue":{"value":{"amount":"+0.8044725060462952","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":"Q4535055$29715F8E-EECF-4C3F-A084-1A4BB191104E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b6f2408c7adb1238e6bd2cb530910381ef719b","datavalue":{"value":{"amount":"+0.8029164671897888","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":"Q4535055$BFE59280-E0AF-4C9F-BD1A-0A821F8D2C99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4535055","badges":[]}}}}}