{"entities":{"Q3100198":{"pageid":3110913,"ns":120,"title":"Item:Q3100198","lastrevid":51371681,"modified":"2026-01-17T23:33:50Z","type":"item","id":"Q3100198","labels":{"en":{"language":"en","value":"Proof-carrying code in a session-typed process calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977501"}},"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":"Q3100198$26D81E38-B916-4800-A7EF-C7EF2FE7C2B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"649c0b1c4f2bbae21bbb523fc5974823caff02ed","datavalue":{"value":{"text":"Proof-Carrying Code in a Session-Typed Process Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100198$040BD5FB-E698-4304-AA9D-1BB82BCB8C41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de70d64607714d8c8721c952ebff43dd9b02e191","datavalue":{"value":"1350.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100198$0D370849-1C35-4DDA-8FFA-C9D56562F4BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbeda5e206c64648f7db2dc7c99daab14607ff45","datavalue":{"value":"10.1007/978-3-642-25379-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100198$434F4917-70F8-4102-A5E1-D00F763D3FBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$429C988A-7D05-496D-B68A-5A77513087EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$54ED58D4-A4D8-497D-A8B6-0DECB24E2050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$234AC906-3B97-47BA-8B5B-FA8707D759D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$E578B942-42A2-46A1-B48C-0A9D51A4C6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100198$92CA268D-10DA-4E5B-ACA1-A87B06F5D717","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100198$3CD38CC3-8BD7-4C3A-A424-7B823B0672F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100198$38431623-5315-4630-B401-9BD1AF27E7D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a2a903e987017818cb5b38f538b0f5e3be771f","datavalue":{"value":"5977501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100198$78DEBAFF-E715-4AA6-AB2B-EDB076C2BCF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100198$3667AC8D-40B1-48FE-AC30-9EE675D32363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100198$B8B60058-7128-43E9-A154-D4399DF6EE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100198$F193A694-AC11-489C-840F-1C0DD4C0011A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100198$A3564A0B-94C3-4A0E-8DA8-E3F235236997","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e54b689c49b379d0a9b625c99f2abfbd67c8aff7","datavalue":{"value":{"entity-type":"item","numeric-id":34415,"id":"Q34415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$0990A0B8-FE23-4524-ACA0-38F881CDAEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17b6bf936b27bf52d41c01b7a092635fe801ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$56B16757-CD60-4F75-942E-E8DF0D7144AE","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":"Q3100198$74995A05-0041-4E21-B291-F0EAA1ED3C53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"745a7cd0af2ef0e4246da92782ea0db74591ed68","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100198$86B1151F-0896-4281-8016-657288B48BD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2df8e23ce2ba43a654c2016ec4e078fa092b189","datavalue":{"value":"W1886109164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100198$68F7A7B4-C291-4794-92D8-B0477D3D2701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$D1AF3141-F594-4DBA-B88B-B83062701E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76196bfc8a5999c90817decd450dc1fca8f46717","datavalue":{"value":{"entity-type":"item","numeric-id":4676156,"id":"Q4676156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$E53E5603-168F-4114-9AFA-16E727542AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$C2D35DB9-594A-4572-A58A-462474646AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$E32297D6-C69C-42B8-8240-1388D42074D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce6dd46049aee124b4ab878d31f8ce6f4d85731","datavalue":{"value":{"entity-type":"item","numeric-id":5176928,"id":"Q5176928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$E94A6A8D-2D33-4EFC-89B7-D6E05F7A7421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faedb5eb035340aba27d850f49f8ac4b5191800f","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$EB78A726-C324-46C0-84E0-8084FD3D21F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e1b57f934a5ea607e669ba21b3d69c7da2cfc1","datavalue":{"value":{"entity-type":"item","numeric-id":3100198,"id":"Q3100198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100198$B854CC98-DD11-4D3A-BD1E-309E25B031B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0e6b0aa6086972424089a0735646f6346026ce","datavalue":{"value":{"entity-type":"item","numeric-id":1652972,"id":"Q1652972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874b3e986b77a029fd1df4465e5ea1d22db701c8","datavalue":{"value":{"amount":"+0.7896868586540222","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":"Q3100198$75DD7AA9-D398-4638-A8D0-77342591DCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b949d7afb15257f210bd988be9c9c7631b5885","datavalue":{"value":{"amount":"+0.7594256401062012","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":"Q3100198$18C47A7F-C46B-4FD7-9D10-BA624C9DA887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819958bde3dc83dd98ed5313d34828b638033956","datavalue":{"value":{"entity-type":"item","numeric-id":4995157,"id":"Q4995157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530ec2b5b752215b25becca35fedcb237150f2ce","datavalue":{"value":{"amount":"+0.7462198734283447","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":"Q3100198$C28559DF-C99C-4CBE-B7D4-DE734986EDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963dc170400286646b7fc91e32b9fd5cfefeaf3b","datavalue":{"value":{"amount":"+0.7446231842041016","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":"Q3100198$F3E892F6-E3DC-44FD-A871-601BB3727CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6f8797470b48b735dd415a61580b9e4aa644a3","datavalue":{"value":{"amount":"+0.7445048689842224","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":"Q3100198$D2C87298-A94B-49DB-ABA6-AC9AEC0132C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3100198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3100198"}}}}}