{"entities":{"Q2848670":{"pageid":2859390,"ns":120,"title":"Item:Q2848670","lastrevid":51834695,"modified":"2026-01-20T06:53:08Z","type":"item","id":"Q2848670","labels":{"en":{"language":"en","value":"A proof search specification of the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212122"}},"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":"Q2848670$DE428999-D3B6-484F-8FDF-2087BE829A18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c626f06c4dec5475e8897958160a1fb0c8f1886","datavalue":{"value":"1272.03143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848670$0A88FCBE-0E41-4314-A721-1752BDB54E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848670$BBB43AC2-315C-4EBB-B006-5FFE87BE6128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848670$FFEA7800-48B8-4637-AB2F-7CD6E5CCF9FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-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":"Q2848670$41E0F2FC-58F9-4CDA-ACD2-A8F9EF141EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a72c4d6af4356d387367111087670401f74ac6f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051121","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848670$0CD1147B-04F7-480C-9F0E-5C9A65DD91A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848670$94FC99EF-D6AD-4F1D-A534-E5159B265778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848670$382961E0-76AF-4C8D-8D26-695527A0ED0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848670$C72740BB-0349-45DA-9674-8144CAF67453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"149dcad079d51dfbc4bfb1b7319b5c077051db11","datavalue":{"value":"6212122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848670$6A7B1C96-36EB-4857-B10C-84A5AF2ACDF8","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":"Q2848670$04E1580E-6C7C-4C6C-8FE9-89A53ED4E9B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a775a69e6162dbff1edaebad1db2dc8c96e277c2","datavalue":{"value":{"text":"A proof search specification of the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848670$84A2C4C0-056E-4660-85F3-ABE0782B5058","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51443693fae9fcd517bfd04a049ceb5eeaaad094","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af995e6419e2b4dd1bf0ccb817033dd16bbf0c65","datavalue":{"value":{"amount":"+0.9326319694519044","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":"Q2848670$3D1FB12E-8074-4B20-A046-10F229A8C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9821a508d4a2e7d97b4965ae2d789ace52ee0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5311281,"id":"Q5311281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bce243e4b0e11eaac676efef1b133ca5264dcb","datavalue":{"value":{"amount":"+0.8609610795974731","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":"Q2848670$B3197F65-9015-4750-80FF-406DF602CA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ed1ff046149b21a3ec2c8d4a731f50c711513","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f14c7db85cc41e41bdee8fae60a5f172995749","datavalue":{"value":{"amount":"+0.827462375164032","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":"Q2848670$89D64CAB-6655-46A0-8FFB-54C9B2BF4259","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":"0e13ff6e2db4f76fe711f94692b551baff8d59c4","datavalue":{"value":{"amount":"+0.8052983283996582","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":"Q2848670$A9523EC9-E8CC-4D17-8578-68DDE6B7401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b99959876c66e570d48291a8898a4c58992bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa68be43562160f14875045919448dd9ad57417","datavalue":{"value":{"amount":"+0.7871201634407043","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":"Q2848670$9699715D-B139-43AE-A03A-7BDB02EADB4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848670"}}}}}