{"entities":{"Q1583243":{"pageid":1593983,"ns":120,"title":"Item:Q1583243","lastrevid":72720294,"modified":"2026-04-14T06:58:12Z","type":"item","id":"Q1583243","labels":{"en":{"language":"en","value":"Parallel and serial hypercoherences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1521727"}},"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":"Q1583243$603BEE2A-17D5-4231-9584-E7E371F13846","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc3cc4324ecf7adcac5edee9a927835ca311bf04","datavalue":{"value":{"text":"Parallel and serial hypercoherences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583243$1C8C5244-2689-42F8-972C-4C3B7C4D4A84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87e6638df5608c3905cd85845726275d6c39768a","datavalue":{"value":"0949.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583243$14E85C96-D8FD-4A5E-8083-AFE87F768F2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74ae607673c0b96b20812ff212a424e2fb8ac4d1","datavalue":{"value":"10.1016/S0304-3975(00)00173-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583243$76E404C2-1403-47C2-BDF8-91A5C3427114","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$0C7AEEE0-B448-4E20-9F0B-F43AF1DD02BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-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":"Q1583243$11FEE7E0-D87C-419D-A761-2ACC1FB14E92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84ec6934a879dee339b044701b6b43b07c5198cd","datavalue":{"value":"It is known that the strongly stable functions which arise in the semantics of PCF can be realized by sequential algorithms, which can be considered as deterministic strategies in games associated to PCF types. Studying the connection between strongly stable functions and sequential algorithms, two dual classes of hypercoherences naturally arise: the parallel and serial hypercoherences. The objects belonging to the intersection of these two classes are in bijective correspondence with the so-called ``serial--parallel'' graphs, that can essentially be considered as games. We show how to associate to any hypercoherence a parallel hypercoherence together with a projection onto the given hypercoherence and present some properties of this construction. Intuitively, it makes explicit the computational time of a hypercoherence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583243$692EBF64-1C23-4AD1-885E-50CC5AD76150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583243$A42BC10A-FAB5-4BE7-97B1-ABDDE3D9244F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93f9d0e4e353f018d4dc0eb492887fc94f2526b9","datavalue":{"value":"1521727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583243$04DBA98E-B02B-46DE-8621-167D22884BD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583243$9A436D77-CA4A-469C-9AE0-2CF4CCCB4E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabb11f0794f0c88c3161873efa13fd23e9f2016","datavalue":{"value":"sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583243$1388E13B-A643-42A0-9A69-D60A2002E113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583243$BA5D1C77-CA1B-4A3A-82ED-27FAA87BA6EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$8AFA15F6-836C-4E25-9C81-04FF49558B8C","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":"Q1583243$8FA76385-7A7A-4CB1-A867-DD3B50DAAA41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a1510f4538b361d4257c4f49fb58819ff03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4490717,"id":"Q4490717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$39535520-89A3-4917-919C-588AC803F7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282d88b529308441c287f6c692de7afeae122bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4243764,"id":"Q4243764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$043A7BF9-4C0A-47A7-B407-3022616D9B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bddb2bf403cf3f7ecab42f1faa3b67ecb48b91","datavalue":{"value":{"entity-type":"item","numeric-id":1327401,"id":"Q1327401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$BD0DBDE4-430D-4B36-ABEF-45E61CE9D284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72096ae2d6ce0fe5a2a0048e1b6519e4ac5d6a06","datavalue":{"value":{"entity-type":"item","numeric-id":5890040,"id":"Q5890040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$E52618E2-E328-4058-913E-FCFE1270DAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780a9ad4c86d73c5a3a0d8fefdaaf36e7ad91501","datavalue":{"value":{"entity-type":"item","numeric-id":4286525,"id":"Q4286525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$C73E54C0-0902-42A8-9475-F9AEDFFFD91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eff7cb5ed11f446d8da0f5206f95fe1da90e8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1919532,"id":"Q1919532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$D0F05DC0-3AB3-432C-82A5-DDBD6280E228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd1a362a389b0a1dd7dd7ec544f81bd60ae0e01","datavalue":{"value":{"entity-type":"item","numeric-id":1854294,"id":"Q1854294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$0E684AB5-FDA0-44E4-815A-1A7A3D183897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$0C10B546-B3E2-4C58-AA8C-9D119ED5E8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$4AC89942-0620-439D-87C8-45402D795B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$A00A5089-7F3C-4115-904B-A37BD136A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bdb5d956e90424f31a7cbce2d1ceb47b4dae16","datavalue":{"value":{"entity-type":"item","numeric-id":4395610,"id":"Q4395610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$F5A35B85-F587-4A8B-A986-C0357F2DC55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16fee7bb900c6dbb3530fbcab9ef2bf73b8c9d5","datavalue":{"value":{"entity-type":"item","numeric-id":1849853,"id":"Q1849853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$22841ADB-6B7E-447C-BA05-D04EBDF0A5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$AB62E752-28F4-42D9-8861-CEA5012128C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf723f5f87a7ab4e09645f0f134fad2698e3bf42","datavalue":{"value":{"entity-type":"item","numeric-id":4938567,"id":"Q4938567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583243$2E3038FB-3172-42E7-BBAA-48BD5F87888B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2dfd0f1e688c2e8ac8aeaaebe43d8b1920e8c38","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00173-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583243$23E390B2-3EC8-4DB8-A938-4058B5336E6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d016e5b1a09e6c29b9f8bac4344bf4252c7e2833","datavalue":{"value":"W2029659108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583243$7BE09D41-646D-4708-B4FF-E1A7482BD825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb50475ca0b4a0e095861d5c4b28376739decdc","datavalue":{"value":{"entity-type":"item","numeric-id":2570134,"id":"Q2570134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83810db43b3a672919e9cd5636a576d4bcd22a1c","datavalue":{"value":{"amount":"+0.7984229326248169","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":"Q1583243$5F025CBD-2558-4F50-9F12-CBE5A4C7A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f39e3da8fd7e45e1ccfe8285f82f51ff04b685","datavalue":{"value":{"entity-type":"item","numeric-id":1194326,"id":"Q1194326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fa5bf2cb4cf001aef45b9fcbac2611e29b54a3","datavalue":{"value":{"amount":"+0.7732338309288025","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":"Q1583243$0425E5C8-624A-492A-8BB9-BFB4984F96E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8adaf1d145935ab18520ee31ddaaeed00f44d2","datavalue":{"value":{"entity-type":"item","numeric-id":1919532,"id":"Q1919532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325b5297de6ef720034d9bbd88c3c6a76bfb2cb7","datavalue":{"value":{"amount":"+0.7577522993087769","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":"Q1583243$3B6288B5-D708-47CE-90C3-6C48D552E792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b212492ccb89ffdd99e59c4b30969152210ba54","datavalue":{"value":{"entity-type":"item","numeric-id":5466467,"id":"Q5466467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862f758af9ca9844ea5c0226c77969587e5b05cc","datavalue":{"value":{"amount":"+0.7562658190727234","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":"Q1583243$4B7021BA-8385-4173-9E83-5394BE503855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da5139977db4e82ae5c115a2674a4934b7f0244","datavalue":{"value":{"entity-type":"item","numeric-id":5308442,"id":"Q5308442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b71ff478a598800eee3ecd0b23df4d0bb4c953","datavalue":{"value":{"amount":"+0.7468634247779846","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":"Q1583243$17BA8CFC-3FA8-40A3-A274-DD4BA2E0587F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallel and serial hypercoherences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parallel_and_serial_hypercoherences"}}}}}