{"entities":{"Q3003314":{"pageid":3014038,"ns":120,"title":"Item:Q3003314","lastrevid":51254168,"modified":"2026-01-17T11:33:09Z","type":"item","id":"Q3003314","labels":{"en":{"language":"en","value":"Psi-calculi: a framework for mobile processes with nominal data and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900065"}},"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":"Q3003314$C133237F-89F3-4061-9BEE-9AD57A2DE72C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00e8e91c643d5a06f109689649ad9e4f841eb228","datavalue":{"value":{"text":"Psi-calculi: a framework for mobile processes with nominal data and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003314$79B39CF5-A176-41B4-8D33-ADA43352CD03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b72b506676f4221bc5cad2ed1e451f3acb651b5d","datavalue":{"value":"1213.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003314$1752ABE4-CC45-48E9-8428-C1BB79A59892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e89ada9d8650b979173e9d00385415b1055e3c","datavalue":{"value":"10.2168/LMCS-7(1:11)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003314$C89B2F18-4950-4550-A756-E32EC394EFB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4016e1f23463ca2cfa7c5bb34d7ce64f66d3ab32","datavalue":{"value":{"entity-type":"item","numeric-id":287320,"id":"Q287320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$13E4C9EB-6BEE-49B2-94D4-36B53A84558D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5757ffd53a105bd739ffe786c1d2226a702b594","datavalue":{"value":{"entity-type":"item","numeric-id":228211,"id":"Q228211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$F4D2CF2A-0F73-4238-BA3D-CEC0B16EA565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$5458B190-A81D-4D6F-B1CF-1609AB76FA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0ed4a778147dfc838492305e6341530d9443bb1","datavalue":{"value":{"entity-type":"item","numeric-id":444456,"id":"Q444456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$F66C4890-5662-4492-B335-83643EB80336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$FDAF46CE-61C7-48BF-BA5C-63EA1E161FE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003314$794BB35F-1744-4BA1-8A47-EA0092811F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003314$4EBAF885-D5D7-4BB1-B91F-52ABD2F00769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003314$A2E6D0A9-F221-4F50-8C7B-09B8D5E54CD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71048242cd8321f836048aae691881007397bb6a","datavalue":{"value":"5900065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003314$6DDCEEDF-0FE2-4ED0-863E-8DB691579DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003314$7CDDC58A-0F06-41F2-AF34-1F837AD93B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003314$F1E77126-2C53-4488-9BBE-C1F8A78D10D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003314$9B417EDD-FB0E-4DC1-AAF3-D19B5220C964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003314$575D6BEB-26F6-47B6-B5ED-2933233E767C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad3f72dc1b929f56613b03bc48eb902cf811682","datavalue":{"value":"theorem prover Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003314$028A1587-0111-4D4B-A6AA-263A769C63C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$87F20A39-12E3-4F6B-9B8F-F6459F9971AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$388454AC-23E7-4AC1-A57A-5E4C56B43406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c4c1126d2e4aefe4cff937dd992e10025c7d4a","datavalue":{"value":{"entity-type":"item","numeric-id":40287,"id":"Q40287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$6014F728-096D-4FD2-81AF-8AFD8C4DA0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003314$8FB7D428-DEA9-4F4B-9E9D-43B0B07B5E91","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":"Q3003314$86582F14-3B70-4164-9031-CB1D21A7C731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13562b4c4373e6196ad9a64b0ebfcaf092490020","datavalue":{"value":{"entity-type":"item","numeric-id":5141619,"id":"Q5141619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65988172283ca886d94a5fbbfa6ad2be02cd08f7","datavalue":{"value":{"amount":"+0.8295793533325195","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":"Q3003314$D4C12312-A9D8-497A-AFE7-3CE0A0E757E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504dc547c7968536a289d648e3eb87b06ac8d9f0","datavalue":{"value":{"entity-type":"item","numeric-id":5150128,"id":"Q5150128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6012ed1b57f99f2378cf4c64283883227ac49","datavalue":{"value":{"amount":"+0.8254414796829224","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":"Q3003314$45EBBE85-7371-45CC-8081-20B100D00DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11aa503535803b5754f661f66a3dea217e9cf462","datavalue":{"value":{"entity-type":"item","numeric-id":5895110,"id":"Q5895110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91b41c84914c11a31cf9e4eea707461cd0f5c13","datavalue":{"value":{"amount":"+0.8133288621902466","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":"Q3003314$4058AB57-12A9-43AA-B8F3-D2314D44C74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942d4f08f3dc8f56bfe2952715973c9440026c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3520306,"id":"Q3520306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e81e373e68690475ba4c53e8a162fb501fdef1","datavalue":{"value":{"amount":"+0.7983561158180237","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":"Q3003314$79ACC317-7FB4-427E-871F-6DAF98527D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae797030a40440b90f8d4f71dc88480ef5382e93","datavalue":{"value":{"entity-type":"item","numeric-id":5890661,"id":"Q5890661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbdcb989cdc90818632373032a4f8522c479bc7","datavalue":{"value":{"amount":"+0.7983464598655701","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":"Q3003314$6603C7DF-AACE-4E53-BE38-95199F0D6CFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003314"}}}}}