{"entities":{"Q5758048":{"pageid":7787599,"ns":120,"title":"Item:Q5758048","lastrevid":50161214,"modified":"2026-01-13T07:45:29Z","type":"item","id":"Q5758048","labels":{"en":{"language":"en","value":"Formalising the \u03c0-Calculus Using Nominal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188981"}},"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":"Q5758048$93F41293-5553-40F0-8C2A-15C1F0C08369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a16f6291a55e81496c0f428118623d9e0a3f39c4","datavalue":{"value":{"text":"Formalising the \u03c0-Calculus Using Nominal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758048$5B15E52E-92B4-41AE-AD9B-F4F97E1CA76C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1119cfdd89d868f09e589aeb8c4a0d8c21453773","datavalue":{"value":"1168.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758048$11B5A352-DAC2-49AD-AF0B-28DFC445557D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb02f2bf01226004ffaecaf278228d8dc6832a0e","datavalue":{"value":"10.1007/978-3-540-71389-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758048$D47F9C5A-6E3A-4514-8475-6D1B64250CFF","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":"Q5758048$3579A8E9-BD0C-4899-993B-0ED1F2864CBC","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":"Q5758048$0CBDFF70-8FFE-4599-A425-713E3CD52910","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758048$9815C2CD-050F-46BF-96A0-84E069637B1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-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":"Q5758048$C5D213BD-2C18-419B-9A21-62C3BB030B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758048$710087F0-55DB-460E-9BE5-A1DD39180D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758048$C367F56A-0C12-474C-8C2B-5652013B71F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84715a0b65682e4efcd6ee851d9fba91c5b48aa2","datavalue":{"value":"5188981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758048$345C9B2F-2D4C-4F4A-985A-B6C5722F27B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758048$EB2A8485-3278-4058-808A-DB1B1AE5CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758048$97E83BA0-B584-4568-AFEA-CC0F1A3FE3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758048$2B14717E-BE77-4586-80AF-344B3C343CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783a8e31b6fd21c5dfc549a3922f74b426989bc7","datavalue":{"value":"implementation in Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758048$6B581F08-460E-4A6C-8F2A-4EF3C717FE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758048$60213018-AD8D-4A2E-896F-0FE826090192","rank":"normal"}],"P1463":[{"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":"Q5758048$8C5101E8-69AA-48C1-83B6-25CD10A3479C","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":"Q5758048$E8342783-4B05-4881-A52F-A8F2ABBCD45D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50c40876c440f519f5c18dcc4319de9f9cad7c9d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71389-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758048$4E4EE937-735D-40A4-A047-D8D44B9EC678","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9fbcc35d88afc6076c19984db7a25c6cb1b54a4","datavalue":{"value":"W2142929144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758048$9D428BB9-9393-4298-9CDF-76D6819B95DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404f6afbb7eec6187725b2ac097aaa6232258b4","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56102e16a7cb1d5f28bb87d8344514bd5aa1247","datavalue":{"value":{"amount":"+0.994379699230194","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":"Q5758048$7387343F-CD91-4B81-93A3-160241899027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd43fecbe1b973c7160bee313563e8f28858e09e","datavalue":{"value":{"amount":"+0.8283105492591858","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":"Q5758048$5C181239-1551-497D-8011-B4B6B8F36F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84378cd87a12d5500bd0dcfb1f36fe1e234b90a1","datavalue":{"value":{"entity-type":"item","numeric-id":4790662,"id":"Q4790662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd43fecbe1b973c7160bee313563e8f28858e09e","datavalue":{"value":{"amount":"+0.8283105492591858","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":"Q5758048$EF930D44-339D-4C5F-B0AF-7671619F994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a025efa84a18592663102e949dbcff0b082431ca","datavalue":{"value":{"entity-type":"item","numeric-id":2871830,"id":"Q2871830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cf8fcb539c7c3add1b2ecfde05ac0b6209100e","datavalue":{"value":{"amount":"+0.8244903087615967","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":"Q5758048$9F5E79D5-C81E-4771-B7B4-2E1BD04E3558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c857725aa1c56fd137ffd99c857e022b08239","datavalue":{"value":{"entity-type":"item","numeric-id":3507444,"id":"Q3507444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd87cad96be0c07afeeaf49f6c7c0ffd801f45a1","datavalue":{"value":{"amount":"+0.8232344388961792","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":"Q5758048$AB3B8FD4-B49B-4F68-B700-72B5A92B35D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758048"}}}}}