{"entities":{"Q4408681":{"pageid":6438280,"ns":120,"title":"Item:Q4408681","lastrevid":40957970,"modified":"2025-04-15T15:00:40Z","type":"item","id":"Q4408681","labels":{"en":{"language":"en","value":"Closed types for a safe imperative MetaML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1941633"}},"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":"Q4408681$765CC5E9-C132-4F2A-9F8B-E9D70A9EB9CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70314ebcfa11d3104be3e6e82ef7a6306d18c627","datavalue":{"value":{"text":"Closed types for a safe imperative MetaML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4408681$65DE7465-36E2-4972-884A-CDC3319520D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5165e372fd0be7b2672e40c167760e15ac44db1","datavalue":{"value":"1036.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408681$51EA3A2B-EA4B-4D54-985D-2F9965C333AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7c3b86d8f00b17fa9608f73caeaa32f35423b22","datavalue":{"value":"10.1017/S0956796802004598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408681$EF0F263A-ED0D-4C48-855B-9B4D34010EBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4408681$8259DE3C-47A1-4AA8-BF2B-0CD04454AE38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16179fdf9dd6b498fad3f9e77d522b325315bc5c","datavalue":{"value":{"time":"+2003-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4408681$69A2595D-7CD2-4BF9-9773-8D37F17F2DE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408681$4D26B26D-9772-469F-A045-0850E790CC36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d9e022d81b4ad02449510ebf466d4d406572f2","datavalue":{"value":"1941633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408681$5A541A2C-8DCC-47E9-B7C5-B8E303587171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d53daf2d2b2856b3d8e64653c70f39dddfbb7c6","datavalue":{"value":"multi-level partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408681$3AB0188E-0A1C-4009-8187-EF42A4EAE246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb3d8678c45a9146c2c6e4bb61be4727a80bd9a","datavalue":{"value":"multi-stage programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408681$459801A0-B044-48E5-8E13-61C7CB6BFE38","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":"Q4408681$198842BF-37D2-4716-9713-8DA7FCC4E7DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fca1bfcff84ae3ae61ba739bbf7d8a8d9872e97","datavalue":{"value":{"entity-type":"item","numeric-id":2754131,"id":"Q2754131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bf146759417f03459aaf3f0e358a87a9f831bb","datavalue":{"value":{"amount":"+0.8544867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$4BC85ACE-087F-4C7F-AEEB-9E90CA94E39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e587a827de17610d20a6030da5bfa3cca9c573d2","datavalue":{"value":{"entity-type":"item","numeric-id":5261282,"id":"Q5261282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d005d6c30926e4ad82e0ffa064db80a542bb3b","datavalue":{"value":{"amount":"+0.8385953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$10D5E821-4EEE-49CA-9767-87CA85B0AC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b31c01c29952bbe17417b7e7b0f6734ece4ae09","datavalue":{"value":{"entity-type":"item","numeric-id":5708287,"id":"Q5708287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d005d6c30926e4ad82e0ffa064db80a542bb3b","datavalue":{"value":{"amount":"+0.8385953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$EC0349CD-A79C-4354-9AF9-078C7FE357E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b868466e765960544acd7662479192c5e41702bd","datavalue":{"value":{"entity-type":"item","numeric-id":5416729,"id":"Q5416729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5271fe0e9a408c53b24ace1b4d41e134a56be6","datavalue":{"value":{"amount":"+0.82952356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$5145398E-E33D-4E6E-B163-891CEBC47E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af97aeb058f0159d4e89683ecf7d73d5d0b09076","datavalue":{"value":{"entity-type":"item","numeric-id":1350339,"id":"Q1350339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffaf3d19bbc062bf330dae6ad10555a32ffc9b96","datavalue":{"value":{"amount":"+0.8277005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$ED54FCF8-3B4B-4723-810E-DC5EA5F38D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280ff5da0b6a56e216f1e104adb0f723ff18ffce","datavalue":{"value":{"entity-type":"item","numeric-id":5244790,"id":"Q5244790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cecb0f098db26598eb0bae326cec917e716b79","datavalue":{"value":{"amount":"+0.8271158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$6FDED405-31BE-4C3D-95D0-7627B7822EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac3b4d6c40b6d6476e9865e26fd9a4ce4ed0b92","datavalue":{"value":{"entity-type":"item","numeric-id":4819115,"id":"Q4819115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a753b5f0af7511a217734b1ab25c50d0c64a4aa7","datavalue":{"value":{"amount":"+0.82520086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$2A7E9960-9971-46B3-BCB2-6C17F808F05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c71dc4387f0e6dbaaee35da913d9c410c753f46","datavalue":{"value":{"entity-type":"item","numeric-id":2938049,"id":"Q2938049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a527f17204798def1a0e8f2c35dc445aac4895","datavalue":{"value":{"amount":"+0.82415354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408681$1043B395-46A0-4167-91B1-C4B86E5DB67A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4408681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4408681"}}}}}