{"entities":{"Q2229237":{"pageid":2239980,"ns":120,"title":"Item:Q2229237","lastrevid":57799932,"modified":"2026-04-02T14:17:17Z","type":"item","id":"Q2229237","labels":{"en":{"language":"en","value":"Semantics for first-order affine inductive data types via slice categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314154"}},"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":"Q2229237$BCB11088-96DA-4F58-8BA5-13C8FE7F9CE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced654821341d67c9c34055c25b912acbbfdbdbb","datavalue":{"value":{"text":"Semantics for first-order affine inductive data types via slice categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229237$66CD08BC-EBFB-4461-88FB-E60974834A49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a407f7c50b08bca90c713b76eb87f61fa2d7c1","datavalue":{"value":"1480.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$6FB9D128-F645-4676-A364-B6D471C9AA85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb47895d9260ff479f7be094389f4c5c9d98a03b","datavalue":{"value":"10.1007/978-3-030-57201-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$E5E207D2-1EA8-4C5F-B282-E0C933AD5F10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c53ee96c25258a099adffdda89c42403a08a832","datavalue":{"value":{"entity-type":"item","numeric-id":2200847,"id":"Q2200847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229237$C2C09F82-1333-4F82-B36D-D1DC6AA28DF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229237$A59963BE-ADF9-4BC9-A525-4DD7F66851EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b59ce6bb1449f58724aba12b7e141ca90b764cb7","datavalue":{"value":"https://arxiv.org/abs/2001.06905","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229237$E4786068-AE0A-490D-93EF-008AE628944E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$AC3A645F-6232-49A5-87C4-5A85CBC40310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$6A66B10A-F0C4-4E09-90A9-45ECD69486D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$F2B25324-571C-4138-925E-524B4A56CABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f7a69d14a16b3783a29d881d5d0e2d9521b59a","datavalue":{"value":"7314154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$B15DAE5C-3501-4BA5-895B-21B485030AA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f088e9007bf00b56b44d080702a4ed8bf45f2049","datavalue":{"value":"inductive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229237$7E1A9384-95D5-411F-ADBC-EDBBE72DA29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229237$7EFF9F06-0230-48E4-B916-C52F73A76C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cceea51bfdbaebfaaba3cc09874e29a418969c6f","datavalue":{"value":"affine types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229237$279F2B49-15F9-4526-8BAF-6FDFADA62E28","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":"Q2229237$A2DC4264-B530-4A20-AAA7-82631077AF18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58ceff9dd844ba72e6e8905553c3235f2fede54f","datavalue":{"value":"W3081905930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229237$76854124-0551-4CC2-B9EB-8DC8471A127F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a2da101a63b289fa1935e0d6fba47abc388d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2200848,"id":"Q2200848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b99ab793be0f96d0f70b735de8502957625f3dd","datavalue":{"value":{"amount":"+0.7346336245536804","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":"Q2229237$D01DB7E5-6BDA-4F53-8BF4-EE48ACE50227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95dc5aa3712119c5e15245df45736abe6aacc47","datavalue":{"value":{"entity-type":"item","numeric-id":673963,"id":"Q673963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57aab50975a24a2e0ac22f07fae79ea7716e1c0","datavalue":{"value":{"amount":"+0.6650266051292419","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":"Q2229237$D8C89DFB-7EA2-4AF4-8CB3-3C3A65732FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86ad39613f47706eca659299cfc834184c01e16","datavalue":{"value":{"entity-type":"item","numeric-id":4997288,"id":"Q4997288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4adc40312fce99426203b5072d3201a0346d3df","datavalue":{"value":{"amount":"+0.6647810339927673","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":"Q2229237$92D6FA82-EF1C-4F45-A10C-2D3B0C12FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bbaf4ac62c9219d9eff9a0184957908b903405","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3aadd3803c569f237a239dfaa786a5bc5c5915","datavalue":{"value":{"amount":"+0.6599449515342712","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":"Q2229237$6A3AFBBD-6BB6-4146-ACE2-8F9CFC90AE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a75480b427d538bec9553fe2521913bdff9a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2333669,"id":"Q2333669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def3981b204b3590c3724a13d3a19b1e766d23c7","datavalue":{"value":{"amount":"+0.6595492362976074","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":"Q2229237$DB5D1BE8-ED10-47D3-BC5D-2477708D6CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229237"}}}}}