{"entities":{"Q4247307":{"pageid":6276908,"ns":120,"title":"Item:Q4247307","lastrevid":96630083,"modified":"2026-06-05T11:48:42Z","type":"item","id":"Q4247307","labels":{"en":{"language":"en","value":"On Storage Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302062"}},"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":"Q4247307$C20DE407-7B3D-43A5-9223-2E1905FB1A1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c09f8dcfbeb6555db96eaeeda9e275ebe750d3c","datavalue":{"value":"0930.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247307$DC616DA3-62E9-478A-B711-DB6E76A8CE62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247307$1A29B55D-9453-4084-BC2E-3FBE38AF11F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c202ed489ba64cf9d515020d392e10aa9977949","datavalue":{"value":"https://arxiv.org/abs/0905.1099","type":"string"},"datatype":"url"},"type":"statement","id":"Q4247307$FBF84E3B-05ED-4911-884D-CC2ACB21F018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247307$1CB284D2-AEBB-400F-B4BB-D2DB62E28016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9cf5f9fa0aac81212c3e94613f923058b61a1de","datavalue":{"value":"1302062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247307$22FEAAC1-1A10-4D86-8084-047AE03A362F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae76ca837ce42b47a62c8aab3ef578815d84744","datavalue":{"value":"AF2 type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247307$EA842585-9D6D-4B3F-AD92-82801B7E6E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784e8372994e1e41c203f83eb4b7c4db4664aa30","datavalue":{"value":"construction rules for terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247307$B74A95BF-0AA3-47EC-B554-9197E2162222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247307$5427BE05-EFA8-414D-9002-01D6D61D7837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8878e625151059b1c61c55ca9b8307d6fe0e91d","datavalue":{"value":"\\(\\lambda\\)-calculus with left reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247307$C3C0FFB0-AB6A-4619-BCCE-7D86BFDAF635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8237243ac39caa3580f4136f84722538eb343898","datavalue":{"value":"storage operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247307$30664901-229F-445F-9366-28E2E3432480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247307$8C3AE10E-3133-456E-8566-967639770C22","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":"Q4247307$C6DED5EF-CC61-4C31-873B-48114DC381BC","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":"Q4247307$0668FB71-72CF-45B5-99ED-3D3E5968E3C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ef3ee42b8c7e2dfaf16858a78f7243b36dbe60","datavalue":{"value":{"entity-type":"item","numeric-id":4876311,"id":"Q4876311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062564fcf5133a7b11efd014dc640f7c97077246","datavalue":{"value":{"amount":"+0.8875542879104614","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":"Q4247307$4F8382CD-B103-456E-AE09-58CD8CC3A014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c07f282afbe8a43758987596b036e7de351b8b","datavalue":{"value":{"entity-type":"item","numeric-id":923069,"id":"Q923069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca7b00ed60a08e6f5eb48a99df4d55dc14748fe","datavalue":{"value":{"amount":"+0.8703371286392212","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":"Q4247307$F9CA1DA9-4781-406A-A052-3D1A6B78EA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db78fd63e4377c07a547e19509873ac907360e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291dd18ecd68bfba4716cd1c0765f05a2937869e","datavalue":{"value":{"amount":"+0.8571507334709167","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":"Q4247307$3B837B01-9F99-48C3-9459-E99E991E0BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Storage Operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Storage_Operators"}}}}}