{"entities":{"Q5327429":{"pageid":7357003,"ns":120,"title":"Item:Q5327429","lastrevid":95969753,"modified":"2026-06-05T10:07:38Z","type":"item","id":"Q5327429","labels":{"en":{"language":"en","value":"From security protocols to pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196327"}},"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":"Q5327429$3A58D69B-FA1C-48BC-BD0A-87E15E239B0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cdbafe8f2f66bb49364109e32d3c5e6acd6138f","datavalue":{"value":{"text":"From Security Protocols to Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327429$F23758C1-5DC6-4CA8-83E8-6FF717782F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b86374e7289bb8572abbe49c92b31d393fb9784","datavalue":{"value":"1335.94040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$E3320530-07D1-4040-B054-F1771A5564F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d93b93d623f4ab4f5d3681a5d31062ec09dec867","datavalue":{"value":"10.1007/978-3-642-39212-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$B3583E6F-94B0-4CE1-80D9-70E41D72ADDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a0da12c7a1222e7363417c2fb3e05731d0cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2165458,"id":"Q2165458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327429$FB47EAE7-F5B8-4098-B241-068AE43B67D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327429$4CA30CF7-D6A7-4560-8205-CF2C09BB41E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327429$7E1A20A1-4E34-4DAA-900D-9727EAA109E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327429$3428400F-036D-4394-8DE9-8AE1BC79F7EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327429$6072D029-68D3-49A0-92C6-82F1CF45E78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$E7E563AE-B829-4153-A3E1-193F006A5F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$0A8564FB-AF83-4CB5-BD85-CA0B26B0DBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$E844D28C-7634-4E91-AC58-87B4BC9DDCD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f844db7dc8013db3534736126bbc0e74859f11e6","datavalue":{"value":"6196327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$F4E63F0A-61A5-42C1-B87F-DA49236CF76D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327429$2A8AB496-5B1F-43C9-B6F9-4D05C57CD15E","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":"Q5327429$F73065FD-8069-4519-95D8-4577C086733B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d596d453fd3d64788eca63558f6a3a26380c7427","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39212-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327429$F3C93016-549A-468B-A30A-854C4C96E615","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f60d494b35eb8133ea7d741ef824439194400964","datavalue":{"value":"W1966049700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327429$E22C639C-5EDB-4126-96A9-29024436F838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0606e370b53576d9740ca173544db8e1c615de2","datavalue":{"value":{"entity-type":"item","numeric-id":5277904,"id":"Q5277904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4213a75d0f8368cd78143678c002fd0bd1e3c28d","datavalue":{"value":{"amount":"+0.979378581047058","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":"Q5327429$14F5378C-8147-4514-91CE-7C824590B5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f435f3012babc53f42f320d4a5a005259a3606","datavalue":{"value":{"amount":"+0.7973410487174988","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":"Q5327429$9FED6CF8-CBC7-402E-B9C1-A85D1C806F0F","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":"d4625379626d79c795b78e043bc85055b16ab48a","datavalue":{"value":{"amount":"+0.784129798412323","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":"Q5327429$CD4BB04B-BEBE-4A06-9E70-E2C432828F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a15116b1be972d2907d7920a038c033b8fdca1","datavalue":{"value":{"entity-type":"item","numeric-id":3190130,"id":"Q3190130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ac4c4db7c8b8aa091bba25b76298f7ff7a189e","datavalue":{"value":{"amount":"+0.7833878397941589","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":"Q5327429$07C49010-1A2C-477C-B3C3-D12F4033989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa905b017c22d00c6283fd22ebae86a7781bd0b","datavalue":{"value":{"entity-type":"item","numeric-id":2167736,"id":"Q2167736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6977ad7a752aa6ce30bc6753c79d5aaf55b9de0f","datavalue":{"value":{"amount":"+0.7741156220436096","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":"Q5327429$062E8450-9C60-4906-92E0-A52FC57C228D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From security protocols to pushdown automata (scientific article; zbMATH DE number 6196327)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_security_protocols_to_pushdown_automata_(scientific_article;_zbMATH_DE_number_6196327)"}}}}}