{"entities":{"Q1854437":{"pageid":1865179,"ns":120,"title":"Item:Q1854437","lastrevid":69361410,"modified":"2026-04-13T06:29:37Z","type":"item","id":"Q1854437","labels":{"en":{"language":"en","value":"Static analysis for the \\(\\pi\\)-calculus with applications to security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853183"}},"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":"Q1854437$0897046B-D38C-46A7-B1AA-E07725FCD56B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ff0ea9af4da238684a20c1b0dc82fd090cc8a1","datavalue":{"value":{"text":"Static analysis for the \\(\\pi\\)-calculus with applications to security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854437$8485FE6D-E8E9-489B-B783-FFF462DD0620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"699ba5181d6ee4393741eb5adc7c0fc2cc5aad6a","datavalue":{"value":"1007.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$DC9A31BD-71A7-48DE-AB22-0B6C652D6BC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7bb162510b2b0d71f00b9cc3b462417f1dfa69","datavalue":{"value":{"entity-type":"item","numeric-id":275995,"id":"Q275995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$E495653A-3419-4B0A-B883-EA4FBDB66038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$8B544736-09B8-4B2F-AC3B-40A153D324D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$DA411779-27C5-4BFD-A454-6D7AE2B1BF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$7B095D9F-8ADE-479E-AD00-837DF78D0FD0","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":"Q1854437$FBD4C4AF-9FE0-4B5D-8500-27753E22D183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854437$CBA597E4-A932-4AF4-93B8-B3C4CE8FFBB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52c42d377d2b7ec14d34098c03b30f66bf162c5c","datavalue":{"value":"https://semanticscholar.org/paper/f04100c06eb601057a96adc8a42472cb9443eaa7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854437$307A2C5F-7F01-4728-AB90-60AE76AFAE6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$CAE99047-9DCC-42AA-88DA-F00E14330ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$B3FEC470-F595-49FD-B8FA-D0792D50429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$03F789C1-7096-4548-8E6B-D19592A3D31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$41F07F05-46A2-4125-A721-A1349C664657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60023da1502b267040ca557bd42536c88d571611","datavalue":{"value":"1853183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$BAEE058B-1B1A-4C96-AD22-0CAE1E100826","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$2F7CBE55-1018-4654-8518-48ABD8B6762F","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":"Q1854437$FC5197C4-9916-47B3-B143-63932488C426","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03f1d907e92ea0d5f8c36f5273eec8adc887cd0c","datavalue":{"value":"W2002622794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$FC875722-6204-4F5B-920E-94DD20A11EC2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f86abdf9a9abe2e0b949e93be0d195fcad98469e","datavalue":{"value":"Q59416359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$B7DDB1A4-D88D-4F1C-866C-6988B4C429DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85120675be4dafaaf247bdedf9c9b3c4696f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$C0E7BD8D-9F23-4A49-BEC8-70B57C59C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$1D6F69BC-7377-4589-BAFA-C5DBF85715AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$9E2621BE-0D09-44AE-804C-F11E347DEA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2db87cffedc20fc6b5050f1cb5deb31fd799e4","datavalue":{"value":{"entity-type":"item","numeric-id":1575157,"id":"Q1575157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$1B225603-D880-40ED-8A48-B0BBEE3F9E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04c5ed6af2609950d2dfa03d08d7bb208eb9f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3691050,"id":"Q3691050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$849E2FA8-E9F7-40B1-9A78-CA69ECCFA4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189fc814691f7724896a311b991849bff42e7c34","datavalue":{"value":{"entity-type":"item","numeric-id":6044118,"id":"Q6044118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$0E5FF857-0686-4D3B-B49D-78EE7392057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657456275a75a21088df267154948921e809e00e","datavalue":{"value":{"entity-type":"item","numeric-id":5348864,"id":"Q5348864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$6147B8F6-F30B-41CE-BF4B-2F83036D0887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4869a038f4c639f28be8068d5455d2405880fee","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$AC8C5E75-C770-43DC-B955-D4633AC0049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$BE6A8DD9-AF9C-473B-B1FB-2E9D432C0A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$8F1DDE88-4AC0-4538-A352-DDEFD90113B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$78C1F26A-21A3-4F21-A437-83B2BE2273F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$5F7DA7BF-6E8C-400B-A040-E6D3E94CFF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b870e74f38c917487c9e466f7eb7a12db2d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":2763677,"id":"Q2763677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$BC871E88-CBDE-4AFC-8FF2-2247D2419CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0e4fe4df7eee42e283837d93d8d7b7e14a7b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4234769,"id":"Q4234769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$E23A390C-5982-4C35-9E8B-13F50D7EAEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25a4a8232222128f4982fa9c99ead81adfe344","datavalue":{"value":{"entity-type":"item","numeric-id":4319801,"id":"Q4319801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$265886D5-763B-4731-991A-3DF9A64231F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$B3EBA5C3-33BD-40A2-9655-7C45A90342AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7b7b495e1316a081d2c741d60b9aebbc2455e5","datavalue":{"value":{"entity-type":"item","numeric-id":4219047,"id":"Q4219047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854437$7B00E649-9AA0-4AFA-8813-3218F8CB3F5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9419622a471cacb3b316df8fd749546ceceac84","datavalue":{"value":"10.1006/INCO.2000.3020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854437$93385511-CF27-484A-A09C-74E3B59FEA8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f720549a86b27708478b15676cbfb16e1b4ebb35","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12a68679105c7bc1f58ef3fdc27b38534810797","datavalue":{"value":{"amount":"+0.8140162825584412","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":"Q1854437$33BC7AB7-8688-4A67-BDC3-4E7AC06EB829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1817eca82943c69437688f168280374ea27829b1","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1913c5a5d818d101e002cfb7d1220ef262cc22d","datavalue":{"value":{"amount":"+0.7843561768531799","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":"Q1854437$7C49472B-5D0A-4649-A768-F35BA841C104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5259722466f86b150b2493af0363a40f486688","datavalue":{"value":{"entity-type":"item","numeric-id":4779098,"id":"Q4779098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d2c5db2a4c89e25a80835fbee1f74bf48a4230","datavalue":{"value":{"amount":"+0.7839541435241699","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":"Q1854437$8AE1E4BF-9327-47FE-8399-C05FA646DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5affcca25d67690b69fda5da20a56ebcaa18d981","datavalue":{"value":{"entity-type":"item","numeric-id":2643083,"id":"Q2643083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e11634f1403af3200c4922d0aa2a1c2b945b85","datavalue":{"value":{"amount":"+0.7822697162628174","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":"Q1854437$12594BC4-3DB0-4B02-A565-C5AB42928A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3943588c8167b57f935c20c9e659265b848a14","datavalue":{"value":{"entity-type":"item","numeric-id":4676159,"id":"Q4676159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725dd627eadfbe85a3b6b6a1e4f6e1adb308f0e6","datavalue":{"value":{"amount":"+0.7755478620529175","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":"Q1854437$639E80ED-700D-4665-8F4A-F79439809208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis for the \\(\\pi\\)-calculus with applications to security","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_analysis_for_the_%5C(%5Cpi%5C)-calculus_with_applications_to_security"}}}}}