{"entities":{"Q4957791":{"pageid":6987373,"ns":120,"title":"Item:Q4957791","lastrevid":58363815,"modified":"2026-04-04T21:45:29Z","type":"item","id":"Q4957791","labels":{"en":{"language":"en","value":"Type directed partial evaluation for level-1 shift and reset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7393567"}},"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":"Q4957791$3B26AA50-0902-4697-B367-81B5E6F79A98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eb3c31c281108f946afd1e9ef511cba57fb64c1","datavalue":{"value":"1471.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$8DAE9A39-5F0B-4B03-A05F-3C0A15E17600","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf340d7ff821e26d8a935bc7e4aa006ed3e278","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$CB0EE374-1493-4DF8-9B05-AD2B4BF44628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5717cd69276ad67376a7cd3a583eaef8897207e3","datavalue":{"value":{"time":"+2021-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957791$E694F9E4-BB34-441E-B01E-314F72392E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e0a9e87cafcef185df5b2fbea42566756592350","datavalue":{"value":"https://arxiv.org/abs/1210.2094","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957791$11E7FE99-33E9-4F17-BAB6-25440F31D552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"46e1b051a4f35fbd3756c3789742f03828f0f1ab","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957791$0690A7BE-7043-4D03-B80F-FAB5DAE25568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$49BE7DC1-723B-4A18-B980-F6946D881DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$25D92F4B-6662-40B1-8864-408AE2B9B3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$2C53F5F1-9E13-4696-BF33-3EC2577B31F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$724BA177-8213-4AC1-9F80-55ED4155B1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$BFD3060C-CB8E-4CF5-98C7-AD967715F03F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd647263ff02074ab0a2df62a6c8aef08c838bec","datavalue":{"value":"7393567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957791$48417A5F-FEFB-4F81-AF0D-656F0623CDB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$DDCE55B6-4300-4E38-9D7A-68C34DAB2F1D","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":"Q4957791$5727F202-55A4-4C6B-9DA7-A397045E3952","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4749998a63e8333eabd57d6ad134faa39446f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4525278,"id":"Q4525278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$029C8EA0-15D0-4239-B805-2A9507CB76D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$F99D3F9D-CCC5-4943-8292-829E9B9530D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$CEB51703-9738-403A-9A60-0F218A4E765C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22bb2c241ea80bd256983bab3954ba576c4cc464","datavalue":{"value":{"entity-type":"item","numeric-id":450950,"id":"Q450950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$ED9AAAA3-F4CC-465C-A2EE-B22FE130B17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afecb437dc3fe209f80586712ec2bd25abaaf75c","datavalue":{"value":{"entity-type":"item","numeric-id":1946671,"id":"Q1946671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$6C13E906-EE64-437F-8E9A-78A589106210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d543e3d3acd20511f9fe89e53a99853752ecdb5c","datavalue":{"value":{"entity-type":"item","numeric-id":636371,"id":"Q636371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$5F58BF6B-6FED-44E6-847A-45A8F3880290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625a3caccee933558a8fad6640a52ce9502e9397","datavalue":{"value":{"entity-type":"item","numeric-id":2464730,"id":"Q2464730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$3CD3F4CA-A873-415D-BC97-74EAA1D2A187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957791$2AD9C6A0-5950-4E83-890E-60A30FE284B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72aa8b6de59fa6a24dccaf7a741a4368f2d51bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4494371,"id":"Q4494371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2927636f846fbbf2b9b069d5998b9744b820ab5a","datavalue":{"value":{"amount":"+0.7975490093231201","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":"Q4957791$DEFCC2DA-0318-4294-B360-A14543B5D3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50193511f07b105bf1a9975e80ce225a7ec7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4813224,"id":"Q4813224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fb2062f184373c31d400345bbdfd257b27ed8f","datavalue":{"value":{"amount":"+0.7763514518737793","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":"Q4957791$3F6728AC-DD0A-4E31-8BF9-13C44573D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf019fe8bdfb83e5c4d6e25bd18014512b360e04","datavalue":{"value":{"entity-type":"item","numeric-id":3452250,"id":"Q3452250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cbdbbc4f65ce295b90ec47533b9ad4390f3005","datavalue":{"value":{"amount":"+0.7384124398231506","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":"Q4957791$DBCF8811-E7D0-41A6-8F85-7375D396F434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d02d05921309543fc1576c945e51bdc5e73a680","datavalue":{"value":{"entity-type":"item","numeric-id":4440321,"id":"Q4440321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1eabf02acdfd7e52d6506679e199bbb7a45870c","datavalue":{"value":{"amount":"+0.7363115549087524","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":"Q4957791$B12CDF26-9B78-4AB8-8E8B-B04994554F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4549abf388a5534cff81c79b19182b08e4a99ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4038724,"id":"Q4038724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1eabf02acdfd7e52d6506679e199bbb7a45870c","datavalue":{"value":{"amount":"+0.7363115549087524","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":"Q4957791$F1B5E775-7BF3-40F8-9D27-2B2C3BE65CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957791"}}}}}