{"entities":{"Q4236753":{"pageid":6266354,"ns":120,"title":"Item:Q4236753","lastrevid":88590101,"modified":"2026-06-04T14:55:41Z","type":"item","id":"Q4236753","labels":{"en":{"language":"en","value":"Why the constant \u2018undefined\u2019? Logics of partial terms  for strict  and non-strict functional programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1270110"}},"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":"Q4236753$02511E71-1CFF-43C6-A904-62B8E5CF517C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3171edcfd7abfe2f13cd09c07e81dafe3430afa4","datavalue":{"value":{"text":"Why the constant \u2018undefined\u2019? Logics of partial terms  for strict  and non-strict functional programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236753$F2F61D7B-98DB-4E78-955F-6DEA653C05D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4588a8c9397c8363db7e6ffe3f063a1bcd11ed02","datavalue":{"value":"0917.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236753$70529BB1-E01A-4A29-A0D8-A3B1335693AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a29f5d177c08bcc4078d82f9cfbfe837bc8244e6","datavalue":{"value":"10.1017/S0956796898002974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236753$51BF38CF-FEAC-40F2-B01F-5B16831451B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236753$BB7559A1-299A-4163-9565-985B3A5C3B93","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":"Q4236753$C2C1BA8F-EE56-47FD-BC45-84873596E20B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d497bdb6950dd123b915b2e614c9a7aceb5a098a","datavalue":{"value":{"time":"+1999-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236753$15FEB5CF-BFDF-46AD-87DA-E56A40FF10EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236753$6904E067-B649-4384-851E-6265E163C6BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f088c23f4398477f9fceb069b75295028858f38","datavalue":{"value":"1270110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236753$48F6D7E5-52F7-40E3-9501-9C05CC58D8F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236753$656DE640-8CF7-4FDE-818D-35CCA4FC4B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0999c0fef869baa9c100dce3815744e5daf6c870","datavalue":{"value":"basic logic of partial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236753$893DFF3C-4CC7-40CC-84D6-8D9161949E73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236753$E6465BF1-893D-49DD-88E1-AA49D50188AD","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":"Q4236753$6A418978-4C36-4643-9999-20EA4A48E4E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aefd77afdcf8f813af62ff10a4d9a5da7c92435a","datavalue":{"value":"https://doi.org/10.1017/s0956796898002974","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236753$560B4159-E9C0-4B64-B3AB-739668C34F98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"785202bdfb33b5adf70bb818b8ca11998d493260","datavalue":{"value":"W1988408086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236753$CC98F078-4E94-4AEE-829B-27845E126F18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e17c23662ba1045eb44ce466bc31999f9046729","datavalue":{"value":{"entity-type":"item","numeric-id":1093365,"id":"Q1093365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a2479ce993f037dd2f6fe95642f9966f355ef7","datavalue":{"value":{"amount":"+0.8421228","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":"Q4236753$7B36ED14-1683-4CB7-8C66-8BFD2AEE8F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf47da2cd5714f058a4c33faf9cda03ee37cf7b","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae7a1e06cb090c786fa2901a4d7c2ad9b783d73","datavalue":{"value":{"amount":"+0.84206355","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":"Q4236753$A05B5EB5-A5B6-411C-87CE-AEF6385D992E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e6ec47aa17ce45ff80b8aa9bb4617395803d05","datavalue":{"value":{"entity-type":"item","numeric-id":4556180,"id":"Q4556180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c5e928e8ad070e5e105ef744a1dd16a4c516d4","datavalue":{"value":{"amount":"+0.8347639","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":"Q4236753$91A975CC-DCB4-4780-8F04-43603CEB9005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff0e0b7baa00370f741a5a5451d01abdff6b933","datavalue":{"value":{"entity-type":"item","numeric-id":840095,"id":"Q840095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf79d0b01f8f3d0fad155a683e100bb62bc414f0","datavalue":{"value":{"amount":"+0.8322723","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":"Q4236753$4216583C-3667-40D3-97B8-1088B657C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdf2dae9eb9ace510643b06c755cb51115a5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":1403215,"id":"Q1403215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8192ac5a8e93f17b0c2a3654817b56e3053417c","datavalue":{"value":{"amount":"+0.82818955","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":"Q4236753$C3FCA27D-39BB-49C3-AB56-F96792D1D0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19682237f5a87ef8e27d9fc3230804b28d67d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ae457ea7544f301deafc87b1cddbc6fe8c8a96","datavalue":{"value":{"amount":"+0.82693243","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":"Q4236753$02AE1F49-A73C-46F0-BA29-C4453A531FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c46599bd8e2e613a603850573ddc10c6411cdc","datavalue":{"value":{"amount":"+0.82157254","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":"Q4236753$80ACEFB0-9701-4C38-94BD-15CE3A63FB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d201b9310c76f1844f1b62e90e86bbfbdd457af5","datavalue":{"value":{"entity-type":"item","numeric-id":4474831,"id":"Q4474831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45200de259aef1984218aef2a0764de5974ea31a","datavalue":{"value":{"amount":"+0.8196087","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":"Q4236753$9B35EB02-02B1-439E-9B1F-5A8B438387CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6ed782f7c47b249de2e2feb533be490db470ce","datavalue":{"value":{"entity-type":"item","numeric-id":4202938,"id":"Q4202938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33334695f87ba8be18cdb840da44e3ef0bfa1897","datavalue":{"value":{"amount":"+0.81890893","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":"Q4236753$C27AE4B9-510B-44F1-AEF4-12048EBDF48C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why the constant \u2018undefined\u2019? Logics of partial terms for strict and non-strict functional programming languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Why_the_constant_%E2%80%98undefined%E2%80%99%3F_Logics_of_partial_terms_for_strict_and_non-strict_functional_programming_languages"}}}}}