{"entities":{"Q5262939":{"pageid":7292515,"ns":120,"title":"Item:Q5262939","lastrevid":52303811,"modified":"2026-01-21T09:46:20Z","type":"item","id":"Q5262939","labels":{"en":{"language":"en","value":"Sequentiality and the CPS semantics of fresh names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457556"}},"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":"Q5262939$C12676B1-50E1-429C-A556-AB09AEB6DE5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071d86e4fb97fafc29d6bd30eaae4445740e745d","datavalue":{"value":{"text":"Sequentiality and the CPS Semantics of Fresh Names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262939$AB21F241-EF52-4996-89E5-FA617F809234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b91fd1bc7519f9788f93dbe38f4ac757f3088d1","datavalue":{"value":"1316.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262939$C7D21233-2275-4E41-868B-FC92A66A143B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262939$E125353A-273F-4F8D-97AC-D69AC108EE6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262939$7A40AA1E-EE01-4F0A-AA57-89039FEFA60B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262939$25D822F2-06C3-4AB1-AF24-834112D8B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262939$B9E7C77F-98D2-4CBE-8697-F42F4724C3BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34b11cd6a07aca716a9488783f2380a087e3a401","datavalue":{"value":"6457556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262939$D4A4E935-DBFA-4C10-A196-65F447539A55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262939$8C709B1E-DE84-41AD-94BC-D6DD91D47CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4b060544a831983b7a06c7f694065fed129dc09","datavalue":{"value":"fresh names","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262939$72E124F0-BC36-4937-BAD0-370B708B2AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabb11f0794f0c88c3161873efa13fd23e9f2016","datavalue":{"value":"sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262939$AF208729-EA79-40A6-A1AE-9C9A10F86C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2194158a36771d55d33490cb9f7913567d6fa8","datavalue":{"value":"FM-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262939$1B950E5D-77A4-4FEE-AD31-EC699A6B5439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262939$1A89268C-DEB1-41DE-88A6-AE2CF9C6BFCE","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":"Q5262939$68F2BA1D-3D28-47B2-AF89-4207EB474447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d9f71cdf5612e9741af17489b76148d0b6c7a7b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262939$D6A68A43-333F-44B8-A48E-BA51C95916C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da532793bf576c00f7d66b405767c67b6f7401ca","datavalue":{"value":"W1994230003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262939$2AFA3C90-C747-4432-88EA-A4F7FCE39840","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd53f5a9bb88544b66e40e8c34b8a55ff6c9ba07","datavalue":{"value":{"entity-type":"item","numeric-id":5292651,"id":"Q5292651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262939$FB607CF7-74FE-4D23-B53C-6ADA8D4109A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16f978b19ff461de1876c12ebfad350cb92104f","datavalue":{"value":{"entity-type":"item","numeric-id":5308457,"id":"Q5308457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262939$EBC1F865-D1D9-426D-871C-9A7ADAF68A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17487a7f14a77d4717902f575881731891b75ac","datavalue":{"value":{"entity-type":"item","numeric-id":5310690,"id":"Q5310690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262939$11C3DF1B-2395-4861-A1EC-D83DCF6494C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262939$39B5DB40-FBB1-4192-90D6-E58BC2682F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cb571752706c0bf4628a52352a1a7f232000b9","datavalue":{"value":{"entity-type":"item","numeric-id":2566026,"id":"Q2566026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262939$5CAB97F3-9396-447D-BB26-0A7A5D759DC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78456a28374acbf5bb60fd5f01add970bc10fbeb","datavalue":{"value":"10.1016/J.ENTCS.2007.02.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262939$2A4F928C-A9D3-42F2-BF59-B2FB180EB722","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6504d6cc2d3685f0a3b9f2263ae5d7da0875b15","datavalue":{"value":{"entity-type":"item","numeric-id":2566026,"id":"Q2566026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b9ae0a2d4a21192bc2a9889f4e8e27c16eb1cb","datavalue":{"value":{"amount":"+0.7853456139564514","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":"Q5262939$EE2CE2A7-59A1-4929-AD67-D64BF97AC5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537da182244980031d5b39c5ce2a0c149fb79069","datavalue":{"value":{"amount":"+0.7583215832710266","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":"Q5262939$D6D5FF99-5A3B-443B-82BC-5EAB48CC84B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f994887d1ef4fa587679eb6314bd55abc14a2875","datavalue":{"value":{"entity-type":"item","numeric-id":2474444,"id":"Q2474444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afb4599623a8faec8bfeabf6a9660346072512f","datavalue":{"value":{"amount":"+0.7410904765129089","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":"Q5262939$65313CB6-A6DA-4FB8-8073-F4A3580990FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bfc388b626f5d42cb9e646cc0c8378e99bdd24","datavalue":{"value":{"entity-type":"item","numeric-id":5308024,"id":"Q5308024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899ea34977b8406546d84adcf506a769ae0a7550","datavalue":{"value":{"amount":"+0.7379541397094727","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":"Q5262939$CFD65768-5A5C-4E8E-8A2D-DBE0F2C4380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9976950aded8a467b9ddc3c071f459a75237e2","datavalue":{"value":{"entity-type":"item","numeric-id":5890055,"id":"Q5890055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23dc34d86552003b8ffe6c5ea7dc98eec7ec221","datavalue":{"value":{"amount":"+0.7350159287452698","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":"Q5262939$38D58DF7-387D-4838-9875-7E4C8CCF9DF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262939"}}}}}