{"entities":{"Q3163886":{"pageid":3174602,"ns":120,"title":"Item:Q3163886","lastrevid":51112316,"modified":"2026-01-16T18:03:20Z","type":"item","id":"Q3163886","labels":{"en":{"language":"en","value":"Proof system for applied pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5806315"}},"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":"Q3163886$E8EDDE14-E93C-4555-B1B3-8D05E5838332","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d783a821f32d481087d89c7daf73d078e8527bf4","datavalue":{"value":{"text":"Proof System for Applied Pi Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3163886$BA67275C-1EE0-4026-AE19-CD75651FC3C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"999bbfa36867b2e4f4140d2d47886172e769e716","datavalue":{"value":"1198.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163886$9082A62E-3B2C-45C3-8254-B83B03A1BF9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30c035ff9013411ba1e43dd2f23b5d532ea1a6e9","datavalue":{"value":"10.1007/978-3-642-15240-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163886$5254586F-3A49-4245-9DAF-7DD5332321DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e56ab8cd089a73503b5d81c591fa552ce18b3de8","datavalue":{"value":{"entity-type":"item","numeric-id":274964,"id":"Q274964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163886$D8377B6F-5F70-471D-9E00-B6881D26DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163886$31E55BF5-6801-4B67-AE6C-1B915BC57864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09144b649555c784d4a38ccd8313b58ed480e0c2","datavalue":{"value":{"time":"+2010-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3163886$BD2A4CAE-B680-41F8-8662-D53B3E3B8049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163886$05D8C935-82B4-4274-BA92-7C4F51ABB266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163886$B6C13657-A373-4E2B-A06E-7E475EA6EF5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e14ef593d51e4dac48748e901baec4dbcd8a1ff","datavalue":{"value":"5806315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163886$3D208C30-7AAE-4C32-8FA2-75660205CF9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3163886$AC2EB565-C3B4-4349-ABBE-D354CEF4AACE","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":"Q3163886$A46AC2CB-381C-401F-BF46-324D645789E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5faeafc882de6c4c8558246e7fbeb45817b3eda4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15240-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3163886$02A5482C-0FDB-4D3B-9CB6-FE7411A7FEE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b56b0fa0cebf5cef464327dcde3b8cbfd4c3539","datavalue":{"value":"W144241110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163886$03A168F3-1780-4309-8BDE-F02B7B681193","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1a08df4f009a38bcb483f9a74fc895bd0417396f","datavalue":{"value":{"entity-type":"item","numeric-id":152190,"id":"Q152190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163886$9815C6F7-335D-45CC-899F-5344D9628F44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d04f9ce4b281793a024fc97b6f355541c14f12d","datavalue":{"value":{"amount":"+0.8315005898475647","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":"Q3163886$7F094334-512A-4141-85C3-7985CD12E593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f06a554b506c9e5f41a5bfffab7a987a3aa511","datavalue":{"value":{"entity-type":"item","numeric-id":4219039,"id":"Q4219039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31867e0a33625c7064591336724e595bdc2313fb","datavalue":{"value":{"amount":"+0.8151307702064514","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":"Q3163886$E7FD29CB-E3B4-4BBE-958F-1B6B82DDEACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255d8ef32e88fb8fd96f1dba8dcb1489964549a3","datavalue":{"value":{"entity-type":"item","numeric-id":1758155,"id":"Q1758155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc9852175106625341f33c7f79785a70bb06127","datavalue":{"value":{"amount":"+0.8004890084266663","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":"Q3163886$A860031E-588B-48AE-9581-A6A4D04F8BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53780b2aabe51dfa7f619fafb9a362a52b7e25","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d38033944c05b9052c79f167af34657780972e","datavalue":{"value":{"amount":"+0.799516499042511","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":"Q3163886$13DBF320-103A-4999-9224-A6AB26197D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c4b71e9a4a2304388df29f4e53291b7c7d6bd6","datavalue":{"value":{"amount":"+0.7918298840522766","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":"Q3163886$C1DA79C6-3526-463F-98C1-038184F24108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3163886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3163886"}}}}}