{"entities":{"Q4995379":{"pageid":7024956,"ns":120,"title":"Item:Q4995379","lastrevid":91898966,"modified":"2026-06-05T00:21:19Z","type":"item","id":"Q4995379","labels":{"en":{"language":"en","value":"A fully-abstract semantics of \\(\\lambda\\mu\\) in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362741"}},"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":"Q4995379$17643789-E707-4527-849A-AEB8582D951E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b19a0f359d506513ae24e71cd2faf9ad6439990","datavalue":{"value":"1464.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995379$B3DC098E-C58B-4343-81F6-93B9D49F4982","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995379$8958CCF7-453E-4EA0-94B2-5993AF28BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cae4c57ebf122bd6b07547962f7f89ed6a70304","datavalue":{"value":{"entity-type":"item","numeric-id":356425,"id":"Q356425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995379$62CD35C0-6893-416C-B30D-8C83A72CF1FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ccd645dac13aee75d2844835d2fad35a9a43cb","datavalue":{"value":{"time":"+2021-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995379$3919D5EF-659D-4F25-8317-924C4DA6EB8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"326b95599ece779ae143c426d12d9b6613d04270","datavalue":{"value":"https://arxiv.org/abs/1409.3314","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995379$CF0F8C7B-7B6A-499C-85C2-DFA3D194A4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a6d2e0acfcc9c6db25d35e2772030937a0606bc","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC14.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995379$4BF58B1F-F2D7-457D-9CEC-056716C035A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995379$C83A9E66-48E0-4C47-A97C-9790DB6F8B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995379$4CB43CB8-26C5-4992-8F18-69C366D61F40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c50a54fd782b81602a45efb3b8829f27dc62fe38","datavalue":{"value":"7362741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995379$CD90A211-32D1-4E01-A677-29426DF3D4DD","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":"Q4995379$60DF290E-8B3B-4209-B022-50EDA2436A9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4014899c5caa913f7297c52bca40a384410330ed","datavalue":{"value":{"entity-type":"item","numeric-id":2915182,"id":"Q2915182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab97c04ca172728bf28190db3946e3d6f8be7c48","datavalue":{"value":{"amount":"+0.8696265816688538","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":"Q4995379$3DCAB838-32AA-4141-9D3D-8775227EDCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e33dbb9901a6fdb1dfa25bb5af1ce184da30aeb","datavalue":{"value":{"entity-type":"item","numeric-id":4490718,"id":"Q4490718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f08cf64fc0db5746a52fbd2ebf0640e8bba8a0","datavalue":{"value":{"amount":"+0.7903522253036499","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":"Q4995379$8A3E8B35-3FDA-4B9E-B5AF-3D455AE264EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d26b9ff6e686cfe63697bfc0aed438c8cc53b09","datavalue":{"value":{"amount":"+0.775778591632843","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":"Q4995379$73CD4E8E-8121-4AF0-AFFD-ACC7AF4410DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfff69a94586b66e9d5f1d4f357c0143b1050f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4806298,"id":"Q4806298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c6c9b46487ddc9175e2b0454b99ec9f15349e1","datavalue":{"value":{"amount":"+0.7711682915687561","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":"Q4995379$78462A5B-FC43-4799-BA6C-8A39545960EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1d837a84776abb8838b2159d529d454dd0767e","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8938b78bdfefa2964970ee32351fd79cf21205eb","datavalue":{"value":{"amount":"+0.7628453969955444","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":"Q4995379$54FD5C2B-99E0-4A4E-A635-FB158289CB69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fully-abstract semantics of \\(\\lambda\\mu\\) in the \\(\\pi\\)-calculus","badges":[]}}}}}