{"entities":{"Q2847805":{"pageid":2858525,"ns":120,"title":"Item:Q2847805","lastrevid":51821636,"modified":"2026-01-20T05:27:06Z","type":"item","id":"Q2847805","labels":{"en":{"language":"en","value":"Modeling fresh names in the {\\(\\pi\\)}-calculus using abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207606"}},"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":"Q2847805$0911654F-EDC9-481D-BCD9-16B8EA7AE6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"520f145784489eae9ee0495f80bf4fd8fbf895b3","datavalue":{"value":"1271.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847805$F51F51BF-E5E7-4521-9766-605E92149E3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847805$8309C204-3370-4FC4-AF8C-E528ECEED993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847805$0DEE6F42-35F3-4CA2-B9B5-97BC33D56A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847805$CAABDB21-8321-4E14-92FC-7C7BA217CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847805$F4BE83B0-FBEB-4944-9EB0-25D815F6271C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fc63ddad5a8e5398cdc0fb5eaa54d5d147370a1","datavalue":{"value":{"time":"+2013-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847805$FCB13A84-90B5-43AA-8ECD-18F98C9A8B84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25d8f3b78138a5c049d1daa2d5cd91aee5ace622","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104051850","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847805$DE587DE6-CCB1-4DEE-9BF3-16B851C5BC85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847805$2861C3D4-71ED-4AB4-85CA-7C9F0BF3C41B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"102de64de7e4b218d16b2c80a0910c85478b9cd3","datavalue":{"value":"6207606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847805$A49B4134-BE43-4068-8CCA-FEB941A74488","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":"Q2847805$DACE10F3-1AC6-4831-8AAA-2A8E8C1712D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4ebe6b50315693d50bd6b25ae876308a15fbc9","datavalue":{"value":{"text":"Modeling fresh names in the {\\(\\pi\\)}-calculus using abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847805$00B658C7-58A8-4BE7-AC2D-53EBAE320802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16f32da30e36d31c18fbd80b7a2cad06904a64b","datavalue":{"value":{"entity-type":"item","numeric-id":2474057,"id":"Q2474057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b355297d715b8e212072bdf2bf9d5bf39e74c60a","datavalue":{"value":{"amount":"+0.7875381708145142","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":"Q2847805$AA090BBA-A1CA-4077-9EEC-A7FA5E18B5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fcffddc6d47534ec880c714fd82b11c2d77bc3c","datavalue":{"value":{"entity-type":"item","numeric-id":1350998,"id":"Q1350998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7610b71490f2fb2d8f101632fa0a66cfcd38b41f","datavalue":{"value":{"amount":"+0.7854215502738953","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":"Q2847805$ED65351B-C8A9-423A-9A27-DB07A890CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a2e7d520e7b0cb842e260a1a932c3c312a5328","datavalue":{"value":{"entity-type":"item","numeric-id":5096892,"id":"Q5096892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5575bb6422b133e4b50e677be80e30e942af44","datavalue":{"value":{"amount":"+0.783955991268158","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":"Q2847805$7FA379C9-4E9E-4B0F-92D3-7124F4504D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773b06d9bf3b5b899dc1f79bd8f9a4e3f741cab5","datavalue":{"value":{"amount":"+0.7829256057739258","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":"Q2847805$A53477E9-FE44-416C-ACF7-FC71676397AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8023fcce5ddd1af02b62869a6999edda59c3da6","datavalue":{"value":{"entity-type":"item","numeric-id":4536393,"id":"Q4536393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a815f5684fb27a041950858884618353f4b28f","datavalue":{"value":{"amount":"+0.7816758751869202","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":"Q2847805$B867DE1F-B457-47FF-B32B-4306DAF85C2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847805"}}}}}