{"entities":{"Q4857862":{"pageid":6887442,"ns":120,"title":"Item:Q4857862","lastrevid":58350537,"modified":"2026-04-04T20:21:20Z","type":"item","id":"Q4857862","labels":{"en":{"language":"en","value":"A General Type for Storage Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824544"}},"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":"Q4857862$02675CED-BCA3-4D4E-8496-86432E41972A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bdfd8ecccff0f9d5bfb762e46729318af7a42d7","datavalue":{"value":{"text":"A General Type for Storage Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4857862$92D962DB-67CD-44C2-B563-3CFF5E224B94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2233cd0745a6f2a3f8bb1ab2999dcdfda3ae13ee","datavalue":{"value":"0837.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857862$A3E55F26-938F-48A1-A1DD-7671B819FDAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857862$422DF6C5-32BD-4EBC-BBD6-EDA38D505A3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4857862$D61298ED-6A38-4727-AEF1-356B2075C2F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cce16419bba17728fd44f2f595b60e3ac4dc2fc","datavalue":{"value":"https://arxiv.org/abs/0905.0549","type":"string"},"datatype":"url"},"type":"statement","id":"Q4857862$DFFA15AD-E92C-4B77-B74F-E12E220A90BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857862$1E27B499-912C-458E-8928-FFCC1EF57106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857862$9EDF0734-2E2E-4F7D-AB35-AFF62D052D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbc582d6703350019156c95486ee43e619ec5bea","datavalue":{"value":"824544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857862$1E8ED35A-D508-4EAF-98E7-2180104F4508","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$83CD092F-D14E-43B5-9FC4-4E2D0E6E78FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb5852318314247a24ee2ca0ab6f00609686ba0","datavalue":{"value":"\\(\\beta\\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$72FA88B6-1A30-424C-AE72-E97DAD54284B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44879bf9e240d04340594e1b6b5c54ddb118567f","datavalue":{"value":"head normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$4C9F960E-3D98-4B60-AFC2-52815831BEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e94b821003739a6c053dd26268b48fdf6756cf9c","datavalue":{"value":"head reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$6C4536B8-4EAD-440F-90FA-11A37774FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$2B242B87-D691-4BDE-B192-CED3EBABB107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$E78401D4-CDE6-4CDB-B860-C221A0429167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e8e9ee81c91d6964bdbc4566ef9ea328acf08d","datavalue":{"value":"Church integer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$C567857E-7611-4BA2-AF1E-8C483B3A16F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c086c399a69aaa1cc93221592f19846d5c22769","datavalue":{"value":"storage operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$271AFB3D-40D6-4876-A1C4-C60553ED27AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae76ca837ce42b47a62c8aab3ef578815d84744","datavalue":{"value":"AF2 type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857862$C6F4066C-CFB8-4D09-8987-3EF5FC759B31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857862$3A2A8C22-D535-49F3-B0B8-27D9058456C1","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":"Q4857862$9755FB44-7CB6-46FC-A877-139A9C06858B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5004e7ca21c33ae636e3aeabd9b976e29a5ccbdf","datavalue":{"value":"W2963573047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857862$A4EC5B9D-0DA5-441C-A126-65505841126A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"392dab6cd63a064b495d3a1d17dad7adca06f06f","datavalue":{"value":"10.1002/MALQ.19950410407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857862$57254806-A2AE-4149-86AC-FF596F16D120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eae7543e92b0b2629281f1bdd3c368ab9f278d2","datavalue":{"value":{"entity-type":"item","numeric-id":4717043,"id":"Q4717043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5677c3507bd89a42a498f3a3b60f48120ab5b14","datavalue":{"value":{"amount":"+0.923767864704132","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":"Q4857862$92B995A9-47BA-4210-8659-CD0E118F75F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04091ac4a236633d9f2b07e72a00931784b75a7","datavalue":{"value":{"entity-type":"item","numeric-id":1570018,"id":"Q1570018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5677c3507bd89a42a498f3a3b60f48120ab5b14","datavalue":{"value":{"amount":"+0.923767864704132","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":"Q4857862$4FFBA86A-ECDD-4904-BB52-CEE563B1374B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ccbecfbc626beea6f239547add4cea8fa0c237","datavalue":{"value":{"entity-type":"item","numeric-id":3142911,"id":"Q3142911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723cfc8dda6ccc3557d846badb3a47f4fdcda0a7","datavalue":{"value":{"amount":"+0.8924204707145691","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":"Q4857862$F40AFBE6-AF91-4B03-A875-41F9FF33A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1d25b797a0da0b2a9a3071197c0157b9e3a246","datavalue":{"value":{"entity-type":"item","numeric-id":4291250,"id":"Q4291250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16ebf33ff7a8563e8b9b42fd3b00956d27c03cb","datavalue":{"value":{"amount":"+0.8924203515052795","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":"Q4857862$8FB38025-5E24-4182-A2E0-F0F7069D6249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49f1ced8d0bc003652f3e84c305d6b439ebf23a","datavalue":{"value":{"entity-type":"item","numeric-id":1382182,"id":"Q1382182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2d22f75f26de9b10e6fd826a5d6d881e0ba0cd","datavalue":{"value":{"amount":"+0.8829461932182312","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":"Q4857862$2D0D6237-478C-4155-BE72-9F37BD790C00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4857862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4857862"}}}}}