{"entities":{"Q5959583":{"pageid":8136385,"ns":120,"title":"Item:Q5959583","lastrevid":47760634,"modified":"2026-01-02T15:13:47Z","type":"item","id":"Q5959583","labels":{"en":{"language":"en","value":"The second Futamura projection for type-directed partial evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1720029"}},"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":"Q5959583$10D3399C-673E-45CA-BD30-45DEB99025C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0530b442f5dacf5ba3644ed734864eac8968d996","datavalue":{"value":{"text":"The second Futamura projection for type-directed partial evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959583$D2C48796-EA8F-44C9-A604-4FC9EAF68545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb8f9af736dc92e4085237e85ae2a326ec933367","datavalue":{"value":"0994.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959583$5F863A67-3CE0-4010-BB96-3BA1AC3D39B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70d70cc9f2176ce5f3ae761b5220b4343decd187","datavalue":{"value":"10.1023/A:1012992731199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959583$6DEDD3C3-73E7-41BB-9915-F80ECCDAE0E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7911bbe57c37ed93d0a3397879acf657c70dfdf","datavalue":{"value":{"entity-type":"item","numeric-id":232934,"id":"Q232934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959583$C711F1CC-F591-4A75-9C9C-7EBCA79A899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d622e71e940df1ada0d4915c46ddc04b5e3bbdbe","datavalue":{"value":{"entity-type":"item","numeric-id":238505,"id":"Q238505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959583$FFFEE7A2-F3F6-4FE1-8E0A-033729D15057","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":"Q5959583$EE872482-DEF2-48ED-9FD7-03A90209D713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c142bfdb3ba24d15560e9f10bd1352974c97a2c9","datavalue":{"value":{"time":"+2002-03-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":"Q5959583$2AFABAD1-C681-48CA-804A-95035D32A837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959583$CBC579C1-DFFD-4295-AACE-B3D8DF733CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959583$1109C544-381C-4F5B-83E6-73B7B7F91CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14aff91c9a255a9ae631bd30f632c4828ff96fda","datavalue":{"value":"1720029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959583$0090EAFB-1F0A-48DA-983A-63D731C86EC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd659ac5b8a74f4c597d57fe951dd55cf510e8f1","datavalue":{"value":"type-directed partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959583$A9348557-B868-4EB9-8780-54DEC011A6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa96bd91472060cc69b21a54f7ac9ca762c99886","datavalue":{"value":"second Futamura projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959583$F368348D-DA3D-4A94-9DE0-56C2B3805B6F","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":"Q5959583$7D80EC29-8206-4C1B-93C8-90E3FF365E56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2d0fcd8d1ff614c0da66d2467dd5bf8dc7ab0ff","datavalue":{"value":"https://doi.org/10.1023/a:1012992731199","type":"string"},"datatype":"url"},"type":"statement","id":"Q5959583$8DFAD48F-44FE-4230-A53D-477118327C13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88f153d61fba044386e959b750d7376b691c5fa5","datavalue":{"value":"W1561321642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959583$73BE8109-6D75-4B6A-85D4-1239F74A1AE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af57138cb40f888a59230391ea56784d51eae8b","datavalue":{"value":{"entity-type":"item","numeric-id":2763534,"id":"Q2763534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28fb7ed4320ebff64a1ea44dd762b0d92c2af2a","datavalue":{"value":{"amount":"+0.8032134175300598","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":"Q5959583$4AB9CF9F-18B6-430C-8814-341E62256660","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":"a28fb7ed4320ebff64a1ea44dd762b0d92c2af2a","datavalue":{"value":{"amount":"+0.8032134175300598","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":"Q5959583$29D61A02-3E94-48B2-A18D-9527572A05A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e8c5acb9c612f2f0b59fdcbbf55401cb4840b","datavalue":{"value":{"entity-type":"item","numeric-id":3457976,"id":"Q3457976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705f8aad43cb2437843b21818f1ccc31e8f31b51","datavalue":{"value":{"amount":"+0.7666217684745789","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":"Q5959583$92C71046-CBA2-4330-99EA-15FDEBAA9B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bd3a4477379d7dce5853055d92a6a8d3c84465","datavalue":{"value":{"entity-type":"item","numeric-id":3787457,"id":"Q3787457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7728593fc26d612e3e1f0755a0b9b0777765f58","datavalue":{"value":{"amount":"+0.7543444037437439","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":"Q5959583$06095E48-3DE1-41BE-91ED-1034209EC801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce17a040fceeed989d70e6f714fc5073a27d651","datavalue":{"value":{"entity-type":"item","numeric-id":2752057,"id":"Q2752057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8047fdcc12df0156a18b12757b6040a491ff6c5","datavalue":{"value":{"amount":"+0.7504038214683533","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":"Q5959583$C616C508-0659-48A2-8D3E-3613F592F85D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5959583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5959583"}}}}}