{"entities":{"Q6091304":{"pageid":13225611,"ns":120,"title":"Item:Q6091304","lastrevid":57481905,"modified":"2026-03-31T03:00:07Z","type":"item","id":"Q6091304","labels":{"en":{"language":"en","value":"One step at a time. A functional derivation of small-step evaluators from big-step counterparts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770427"}},"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":"Q6091304$34312223-1072-43AA-8E08-554F4B15A261","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac89a0cfedea34469186e7da5675c31d2167dea","datavalue":{"value":{"text":"One step at a time. A functional derivation of small-step evaluators from big-step counterparts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091304$4A9EBD9E-5CF9-4A5E-B492-0F38AC97CDB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f9b794f7495d627b95b7d64006814c24bf5530","datavalue":{"value":"1524.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$97320ABB-7477-4E89-A3C9-EF1CBAFCAA0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"842b5fd059bde58d0465d6791941598324c03c57","datavalue":{"value":"10.1007/978-3-030-17184-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$CBE6B3FD-0BB5-4682-9BD7-7F48CC9022DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7303b677b56b4d3baa8bfe779b8d94cbe7a01f5f","datavalue":{"value":{"entity-type":"item","numeric-id":2945723,"id":"Q2945723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091304$1CBB2ABC-1D6A-4D90-9C85-6375203817EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1a6c7535b20d7452176d83f0851c39b81996235","datavalue":{"value":{"entity-type":"item","numeric-id":1854550,"id":"Q1854550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091304$E6842EAC-3124-41D1-8820-9AE8C9AA2DD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091304$7A499C3A-57C5-4555-8A26-8E376716E971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091304$ABF7CC6E-C584-4ED7-9A1A-091FAAAC8A59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$B07F5E71-8B3C-446D-ABE6-7AE9F2063CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$ED892D3D-ED9C-41BE-B748-A3CD2CD80557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$A475DC7E-6777-4CC0-814C-E3C0FEE0DC59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45d7fc4de7b7a211e11a0d18f1dd1e1689188b84","datavalue":{"value":"7770427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$86D90DF6-FE7E-48FE-B999-3F5AD25FA86E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$4FB1E9A2-51EE-4041-97CC-1B43875909BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faeb5d0135023e1eb500475334c837141ddc600","datavalue":{"value":"big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$14F57CD2-AD7B-4CE4-880D-B718E5B37D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e0844ef240e4441240d555db59921800e44368","datavalue":{"value":"small-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$E8109A93-CA39-4D2D-B78D-94AC47BBCC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a22c60ce21cd874341cbf4e628c32d83ead5d6e3","datavalue":{"value":"interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$D6DEC232-33BA-443D-B676-BA29A689E03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$C9948362-DBBE-4438-91A0-C1CFC2666095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$648B7188-F9EF-4D8C-A9E4-9D167A2E81BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091304$5406D140-E831-469B-8F1B-056704EEA6A0","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":"Q6091304$D7FC0E76-7223-4A1D-B9B8-19673D287862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b8091cfbca5ea0992923094a695f46f937a51a8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17184-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091304$29C31872-EDB7-435C-A8B5-FC690735461E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a48b0422a03d39f6c1673de88429bcc71b27605","datavalue":{"value":"W2930460095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091304$592AC5CE-5691-47C0-A822-8FDBCD05ADD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948065a2c9004ffe0ff950744ce35014b617d6df","datavalue":{"value":{"entity-type":"item","numeric-id":5410704,"id":"Q5410704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eb3a6ea9e4da90d90d23cc6a4eb7a6ff426d7a","datavalue":{"value":{"amount":"+0.8081237077713013","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":"Q6091304$8725EED5-FEED-413A-9645-BE7C94FD2A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46907edffa90a59f129ebf554ae0e690bf20adf","datavalue":{"value":{"entity-type":"item","numeric-id":428886,"id":"Q428886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40c736493be735c06bbb18cd33c2553482066ed","datavalue":{"value":{"amount":"+0.7827045917510986","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":"Q6091304$20FB10B1-A50B-486F-AFAF-EDC098761533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96c11de1f89c9f7525c4a02fffb26800a5bbb75","datavalue":{"value":{"entity-type":"item","numeric-id":4222934,"id":"Q4222934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8984160cf9c1a07853a36aa4d06af08f957bd74","datavalue":{"value":{"amount":"+0.7759474515914917","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":"Q6091304$CCFF8F00-6D3E-4B9C-9EC2-9AA57ED925D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216f74063e711476b25cd911a117e6312377850b","datavalue":{"value":{"entity-type":"item","numeric-id":5187820,"id":"Q5187820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b541b1772f8bc01711a7798954c847296f75d233","datavalue":{"value":{"amount":"+0.7725229263305664","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":"Q6091304$80FEDD98-AD2F-42A4-B954-9A32FFA7354F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53b1cdbbc406497b52d915d9ed90d37ed27eb41","datavalue":{"value":{"entity-type":"item","numeric-id":963342,"id":"Q963342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589e941474298df697c2b0401dff743a6a495e5e","datavalue":{"value":{"amount":"+0.7574458718299866","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":"Q6091304$793A52F7-BFBC-4DEB-AC19-78D40A7A90D0","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":"Q6091304$EEB8F1C3-F7A5-4D16-ABFC-B453C1253C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091304"}}}}}