{"entities":{"Q2848142":{"pageid":2858862,"ns":120,"title":"Item:Q2848142","lastrevid":51833000,"modified":"2026-01-20T06:38:46Z","type":"item","id":"Q2848142","labels":{"en":{"language":"en","value":"Name-passing in an ambient-like calculus and its proof using spatial logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211532"}},"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":"Q2848142$C61CA4BB-C0FA-4493-84C8-83376EF0AD20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b064a34fe25b00efb9745a92ac180ad556d53c6b","datavalue":{"value":"1272.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848142$680376CB-6DC5-418B-9223-63F5764AD37D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4645ff56ed6f598405baef9ff04c3204ceac5d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1607128,"id":"Q1607128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848142$0FE60593-9DE8-4F73-9B1E-EDCE55153727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848142$D8554B89-5B0F-4762-8D24-CF3417E2AB10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa4daa5d1ee8ddfb78867dd658b58b6f638f00fe","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001611","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848142$788D6A43-71A9-4D16-8B7B-F0E375436C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848142$84246805-02E8-459B-AA85-03E612DF8800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848142$23DDB030-F000-4245-9953-525AA80A2EFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f04b0b4cd12b44c9e58a7fa31812045eade972fe","datavalue":{"value":"6211532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848142$301535B9-E9A6-455A-AB63-1457B3A388EB","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":"Q2848142$77A99884-6F7C-42F8-A3E1-EDA1D0588857","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0cc51e6ca57fc5979a9fa8ee3029bb31e975ce1","datavalue":{"value":{"text":"Name-passing in an ambient-like calculus and its proof using spatial logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848142$60615C8C-F53C-42A2-B62D-69F6AD2DCC5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1727f813eac81022821fdeddbf3ccdbd5a35061d","datavalue":{"value":{"entity-type":"item","numeric-id":2491641,"id":"Q2491641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb0e1b82ddfc7de6dd01c328bb81fd4ec53b266","datavalue":{"value":{"amount":"+0.9849473237991332","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":"Q2848142$D5B9C979-0B5B-4E1D-B4C7-29F17FD0BE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fbc51a652d97f1a1935e521046632951123e449","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53b291c9981aa9bdcacbb9eaf6f7123516c2e1f","datavalue":{"value":{"amount":"+0.7419171333312988","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":"Q2848142$DCBDEF27-1F72-474C-A750-FAA31B4C022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1725feaf53bf8d1375b89f093885a013eaaf4f","datavalue":{"value":{"entity-type":"item","numeric-id":2844811,"id":"Q2844811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1805adc060ebb3bbd48481502022d29bf05fcf88","datavalue":{"value":{"amount":"+0.7384812831878662","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":"Q2848142$D376851D-9B62-4D6C-ADD5-6F8B2FE13DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cbe3a0297f9869abe73448a0a21488300f6d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4917029,"id":"Q4917029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3a05af4e57ce16d57fbc87aab764c7e32843a5","datavalue":{"value":{"amount":"+0.7362973093986511","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":"Q2848142$682A226F-E4FE-4DF8-8139-32B91928811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec47e1d901cc11fd90886073431890986be03991","datavalue":{"value":{"entity-type":"item","numeric-id":3401940,"id":"Q3401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f63fbc4a3da5885f5bef8026a7cf7b2ba8b7c9","datavalue":{"value":{"amount":"+0.7327240705490112","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":"Q2848142$935D1E8C-2E9E-4F26-85B1-06576EBC626B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848142"}}}}}