{"entities":{"Q1870494":{"pageid":1881236,"ns":120,"title":"Item:Q1870494","lastrevid":69157980,"modified":"2026-04-13T05:09:41Z","type":"item","id":"Q1870494","labels":{"en":{"language":"en","value":"Axioms for recursion in call-by-value"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1909837"}},"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":"Q1870494$84679231-2E78-4801-BAF6-A7ECE28B6AA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0c2c5865bfc83260d8714302434e2b50b6658d6","datavalue":{"value":{"text":"Axioms for recursion in call-by-value","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870494$AB03D6C4-5F09-4B37-A635-297DAD263D53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6daae8e684ad43a211bdc3496522216f66c191c","datavalue":{"value":"1030.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870494$CA6172B2-1C00-4A05-BB40-CBA293E6D92F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41339e52c27389102dc158d9253c6b6991bdd61b","datavalue":{"value":"10.1023/A:1020895213317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870494$64526AB2-DED1-4945-B1D3-5DB74197DD64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870494$5D5D496A-60D8-463B-A9AA-7265B5390E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ebf2df140098a0c6a9bc31e47d1c904c4ea431","datavalue":{"value":{"entity-type":"item","numeric-id":491259,"id":"Q491259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870494$4C41FA16-90E8-4AA7-BEFB-5ABC6A81021B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870494$54C3A956-BF92-4282-870E-BE88919EBA3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2739d9d5887c2ab5a6b70df0e9f5c64b00eb7649","datavalue":{"value":{"time":"+2003-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870494$CFC98AB8-E1FD-4A6B-B3DC-921024626670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870494$C5B304C7-53CF-4929-9339-DD0C3EDA1BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd344ba8fd547e47e9dd12ba562de5977ca0b0b","datavalue":{"value":"1909837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870494$A652FDCE-138E-4EDD-9AE1-2E15C51074F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870494$F5FEFF8D-4B50-438A-BFD0-4222170726A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870494$1DDCBDA3-55CC-40F7-B9E6-72A54D2C04AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870494$68538F4F-351F-487B-B935-55A6AD638804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870494$1EEF999D-3BEB-499A-9C93-B96902711DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870494$F7A08C25-D47E-4FEF-BF94-971C2705172F","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":"Q1870494$A3EB19C7-1872-4D4A-B8FA-D1568F725509","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db63f036c6ec48a9adfb5eb771ba2b39f201d718","datavalue":{"value":"https://doi.org/10.1023/a:1020895213317","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870494$09F0BCC0-3175-4E84-8546-89EB684F8FE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e520992ab4ef1847ba54d8f03601fe680460d1de","datavalue":{"value":"W2098632234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870494$C7061267-9CEC-47D3-9F67-7F93BD61CE98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7cd8263db5255ef2915625ef1026ebe3900f0f","datavalue":{"value":{"entity-type":"item","numeric-id":2769433,"id":"Q2769433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1c3ab648017ba97d8dd2610a258ebd79b5ee65","datavalue":{"value":{"amount":"+0.985377311706543","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":"Q1870494$475041EF-0F07-4BC2-B36D-7C3D29202AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a295aba9f48d8b5ac4244049b2aba1f66ce8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1772783,"id":"Q1772783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831995befa496e37e651721d49fe2eb8f9895fe7","datavalue":{"value":{"amount":"+0.7607434988021851","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":"Q1870494$5382221A-2D3E-4935-814B-906BBD760E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b13eb98a6d6a68dbaaac7b808b9172981310d3","datavalue":{"value":{"entity-type":"item","numeric-id":4982069,"id":"Q4982069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a05043f3602f70909b3397e040f6e0f6e60b38","datavalue":{"value":{"amount":"+0.754491925239563","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":"Q1870494$2A476D19-8858-47AA-A0B3-87A34BFC8A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66fb77e37a0e78e13ebc8286d61843550042d08","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb030d6a276af81c3591bc7f6c9a61358401885e","datavalue":{"value":{"amount":"+0.7510500550270081","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":"Q1870494$5BC000B1-E21C-460B-832F-35D8A57568E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6debc361aafc11475b0d26d64badcaca2d6301","datavalue":{"value":{"entity-type":"item","numeric-id":2958543,"id":"Q2958543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7dd1cfd91f4ee202760a1a5b6b009b44f71720","datavalue":{"value":{"amount":"+0.7350817322731018","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":"Q1870494$2BF4D98B-9B02-4C6E-8542-DCFA12EFFB9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms for recursion in call-by-value","badges":[]}}}}}