{"entities":{"Q3395094":{"pageid":3405797,"ns":120,"title":"Item:Q3395094","lastrevid":50749589,"modified":"2026-01-15T00:56:38Z","type":"item","id":"Q3395094","labels":{"en":{"language":"en","value":"Formalising the pi-calculus using nominal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597483"}},"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":"Q3395094$B19D03EC-9827-4ABD-B506-BCC467466185","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba522f5b091729e0b646a64f88f9d4b9d6ef51d5","datavalue":{"value":{"text":"Formalising the pi-calculus using nominal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395094$8266C5C9-6793-443B-AD0E-A71AE4462E27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d340dd80742b22d8002e0c3eff157a6686e098d","datavalue":{"value":"1168.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395094$F1556E85-052D-405B-A373-9E958B0CA982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3db2fdb8556af062ed34ecebbebc5744eff60f16","datavalue":{"value":"10.2168/LMCS-5(2:16)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395094$B9903227-DB34-4733-9E34-FBB906540E5B","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":"Q3395094$3A9C6D21-B6D8-4645-A5FA-928354F00B55","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":"Q3395094$A47991B7-00A3-47A7-AD20-561A605BBC72","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":"Q3395094$63BF10DA-3558-47B6-8F94-D6C4C2EDC999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395094$ACDB101B-2DA9-4125-824A-36055F4EB37F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395094$30605970-882A-4CD0-A410-0BBBAC1277D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395094$8F7AB084-EF65-4F11-922A-70E290A824CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239d94c992f7991c71a72be2dc8dc4ffd086904e","datavalue":{"value":"5597483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395094$54233378-1A94-405F-A170-B97DCC16A26B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395094$3D0A513B-C382-428C-8C01-5884BC6C5F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395094$8C509A3D-F2F7-4F27-B558-46136724C7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395094$CF6FBD14-CDC5-46F4-BF4E-A2C589EBF37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783a8e31b6fd21c5dfc549a3922f74b426989bc7","datavalue":{"value":"implementation in Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395094$1DA02A30-283B-4008-A3AB-3362B5103B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395094$DD567D26-2253-40D7-8DF2-6AB1D9EC7744","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395094$4822313D-A028-40B6-8821-B7F80A350CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395094$33B5E133-133B-47DB-9F6F-CFAB9B8777F9","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":"Q3395094$B6062C88-40A3-4F1E-8B7C-A80EAC690B62","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":"Q3395094$89B787AF-3B20-4B94-A0F9-13163D80CA91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb48cb7bedc08c9ea202a315d981bb139155841","datavalue":{"value":{"entity-type":"item","numeric-id":5758048,"id":"Q5758048"},"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":"Q3395094$A6711184-7E4A-4351-9D28-357D1954B66E","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":"9f63edf81c54c3571f236fdccbcca197154d4eb1","datavalue":{"value":{"amount":"+0.8291098475456238","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":"Q3395094$04F7C2C6-72D1-4945-9489-73E00FBFAE49","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":"f497caa91784417f07ddd23b2391269dd906d203","datavalue":{"value":{"amount":"+0.8290247917175293","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":"Q3395094$89AF32BE-81DB-455F-B7AA-FD1044A701DD","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":"974945227a376b5e6de62f4d77e6cac695d1d4ab","datavalue":{"value":{"amount":"+0.8233693242073059","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":"Q3395094$F73F77A7-A54C-45FD-B8DB-5C82DE077FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974945227a376b5e6de62f4d77e6cac695d1d4ab","datavalue":{"value":{"amount":"+0.8233693242073059","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":"Q3395094$4F10D3B9-6478-48FF-BA01-F6D3142786B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395094"}}}}}