{"entities":{"Q6178673":{"pageid":13313561,"ns":120,"title":"Item:Q6178673","lastrevid":102468134,"modified":"2026-06-06T04:32:03Z","type":"item","id":"Q6178673","labels":{"en":{"language":"en","value":"A coherent differential PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7788979"}},"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":"Q6178673$88E710B5-9AB0-4949-857D-38B1295AEE57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54547a71a1bce5ba52f033f20172d0ee04fb5d6e","datavalue":{"value":{"text":"A coherent differential PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178673$9C7E2875-F883-47C1-91D2-3E05E4EE8F23","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":"Q6178673$378472F8-C1DC-4BDD-8935-ABA2F7A6BEAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$0C60F28F-B8E6-4552-95E5-E9F7BAA57B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc8cd618aba52e258fe3cb0e097a7203f8486d94","datavalue":{"value":{"time":"+2024-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6178673$DDB40D12-64D7-49A9-B72D-DD921A6BC388","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc10e7bb53b450bfd6f14cebe16b6b5dfa899379","datavalue":{"value":"https://arxiv.org/abs/2205.04109","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178673$8E53BDF0-1777-4FAB-BE1A-F04172C0E39C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178673$01AE718F-985A-4956-A1CE-74417747EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178673$1C7167DF-4F59-426F-8640-4E0E099CE0B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c440661d23263ebc517c269a36b98e2a3f2eab","datavalue":{"value":"7788979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178673$25D7275D-5D19-4DA9-9C77-08CB4D91DC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178673$EE66362F-DD7A-4FEB-BB46-9DA6E4618B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178673$2369FA94-B95D-423E-888E-4A3058CD6B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178673$E7F9E4F1-F8A1-41CD-8F9E-DAB498EE99EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178673$B931F452-2F37-42F5-8210-91B1FBF71A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178673$EF2FB5C2-4E53-4213-BEC9-BC3D78B509B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b04f229715692ca83b8cfdd2e5368c06bd807f","datavalue":{"value":"differential \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178673$5967C868-2B72-47C7-B615-790C8FEF9625","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":"Q6178673$E7A4E9CF-DFBE-44EE-AF40-536EC13BF598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50cdc0db18c9deb8a686a14a2077340fc9e456bd","datavalue":{"value":"W4280552757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178673$00CECB05-DF1C-4D5D-9AE0-0B82B97B5715","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0a722f872a3c74374b748635c0ff52a893539","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$AA144EAD-B6B3-4AFD-9A9B-9F68EBB36F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07970aa28977be3de77694e5c7098cf41b9f3ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2015833,"id":"Q2015833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$1CACEBF7-8EA8-45CA-9966-F120D0181C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7835c23a7ac046640d44b2fee71c6cbcdd1d8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2988358,"id":"Q2988358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$07933B44-4417-4984-9350-5558C414DE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$684662FC-A06B-4CC9-AD40-38D6C91A9527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0416d22b6d417998acdbd51ba5d219f4e0cabc","datavalue":{"value":{"entity-type":"item","numeric-id":5089018,"id":"Q5089018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$CD20F32D-7A3C-4017-BCDF-A3CF43B2395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd7e34e85a00dbaa9a0fbb4fe96d3c64f5a4110","datavalue":{"value":{"entity-type":"item","numeric-id":6149933,"id":"Q6149933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$4FE1A318-5B4F-445E-9124-7882211FA3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5092172a9d96267994c3d144ed0cc13af7a30fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3525647,"id":"Q3525647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$8730DAF6-E86E-4A78-A26E-B9FA5412A238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b3bd6ce0a08530e3ec54b2b2ed9934f85b7e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2786128,"id":"Q2786128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$25FFE169-6E03-49B1-BAC4-65825BA1BD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80fcdcb1d8ca6c690b4c886cf334588a552bab2","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$B5755CB6-0D20-45DA-B559-45710560A681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$1EFC7232-3C9B-473B-AC16-2E8A48EE88EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980d6edb2ec6a3f66086ec160babe4fe574f3059","datavalue":{"value":{"entity-type":"item","numeric-id":4611384,"id":"Q4611384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$BF985E27-B826-4BE6-9294-58AC223F34A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$C8A10FD3-4AF9-43D5-93B7-2AA3293D8F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$F6712FCA-6DED-4900-AE8A-F5C5B35BBDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1fb924fcf29abb9707bb3fb5252afb521c30d","datavalue":{"value":{"entity-type":"item","numeric-id":3053106,"id":"Q3053106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$5CC10AD4-A604-4650-9445-DE3E2A546519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$B8BC09EA-DEC3-47F6-814E-8EAE1E0909A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6848f772f8224a3a5181ae6b847b783aab313d2","datavalue":{"value":"10.46298/LMCS-19(4:7)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178673$D1792F38-EEF0-4E84-BE71-B31829C20D4E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178673$423A5B83-836A-4AAB-8C5E-D067D2944C8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coherent differential PCF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coherent_differential_PCF"}}}}}