{"entities":{"Q4256148":{"pageid":6285749,"ns":120,"title":"Item:Q4256148","lastrevid":41144139,"modified":"2025-04-18T12:10:19Z","type":"item","id":"Q4256148","labels":{"en":{"language":"en","value":"de Bruijn notation as a nested datatype"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309205"}},"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":"Q4256148$3E4C82BF-92BE-4459-8C54-8913A1842531","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96033c00cc38ed5c6fdfe57bf6f719c040ac13b7","datavalue":{"value":{"text":"de Bruijn notation as a nested datatype","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4256148$2A922EBF-5129-436E-980E-9761BB2C819B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8346177c945ca3318799ce777ee0ceb12e161f2c","datavalue":{"value":"0926.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256148$2750ED98-7A7A-4C4E-AC79-402875D240F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd18b4e3dad3119e9aa5190ddc91b71894131e5","datavalue":{"value":"10.1017/S0956796899003366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256148$102CA9C7-1ADF-4BA7-9528-3D069582C4A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2800799f802e165d78e062056b991744f66d3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":287110,"id":"Q287110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256148$597D2767-D6C3-4E6E-8BB7-E536C3223E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca5d33590f3a7946d98f239b5b02d96122ccf11","datavalue":{"value":{"entity-type":"item","numeric-id":1965248,"id":"Q1965248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256148$725EFEA8-C9FC-4B2E-866D-2BCEF94C5CAF","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":"Q4256148$4F7BF7DD-62A7-4339-90B2-124563EEA31B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71d9a55352a0175487e313516c8c126b663aae3a","datavalue":{"value":{"time":"+1999-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4256148$ABE026F8-F7DD-4EC8-9EC9-8FACCC668D1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256148$6F269C39-25E8-42B9-A88D-A7EFAA5CB0F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9086b1d54c5b590a055c2a5a97ee97a54d5ac56f","datavalue":{"value":"1309205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256148$3754F689-8015-4350-AE40-1A61F20447D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cb408bc23879b8ce7f2928997e56654e1969d9","datavalue":{"value":"de Bruijn notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256148$CAA55FF9-F1E5-4384-BE10-67FDEC305B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2b0930afdeb3041242497f88d01f04ea85649d","datavalue":{"value":"lambda abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256148$9CD4B0A5-15EE-484A-B615-E555DE049959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159d5c7380ee155861387aa55d3123e40aaccddf","datavalue":{"value":"beta reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256148$668B254D-2259-4CF0-BA05-2F9431A8F4CB","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":"Q4256148$F8B0028E-FDE6-4F14-A12E-ED5E0B989CF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ce819b65e76a5105c243730fc35e9e6abfe221","datavalue":{"value":{"entity-type":"item","numeric-id":3686626,"id":"Q3686626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bfed5575847e2d1b645b1aa6e438d5ad7070ff","datavalue":{"value":{"amount":"+0.8218495","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":"Q4256148$6880B035-F4D7-4C95-A052-579FB8A3F17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a49235c79a7298e75864c1abf108d4f0b508e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4800135,"id":"Q4800135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1106d824498ebf30558c93bbdf72d30ed45a62b","datavalue":{"value":{"amount":"+0.81346905","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":"Q4256148$171711DE-A043-4AC8-AFDF-A1C7410B3F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e445c5ef8aa908ba92c1cca812aa15147a23e117","datavalue":{"value":{"entity-type":"item","numeric-id":3086726,"id":"Q3086726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ee1b3e6ba82d4ad6300e711b98bd59df96a5dd","datavalue":{"value":{"amount":"+0.81309855","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":"Q4256148$EF45F920-79D2-4A3F-A7DE-A09A7091E622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062298eeefb34265a1ef339fe7d5f9d9d53d346f","datavalue":{"value":{"entity-type":"item","numeric-id":1089804,"id":"Q1089804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0783fef6413fe647ce980a3593b970be4415ff9","datavalue":{"value":{"amount":"+0.8128698","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":"Q4256148$D7DF1C9B-16D8-48A2-921A-370C0A8FB156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06bf20bfd35a156bfe9f84b0dd17f3e8654b2ef","datavalue":{"value":{"entity-type":"item","numeric-id":4721664,"id":"Q4721664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd6c6980e6c43e8b9135f242f9b3f5082320f1a","datavalue":{"value":{"amount":"+0.8125541","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":"Q4256148$13CF7F53-7A1A-4516-BEA9-9E8F4C06C9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd195cb3ecfb92f3ed6168b3bfd338e27583cd97","datavalue":{"value":{"entity-type":"item","numeric-id":2979185,"id":"Q2979185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ac1375e66133baf974c7182eda842b18e56ee8","datavalue":{"value":{"amount":"+0.80614686","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":"Q4256148$0FFA8742-2A05-4FC6-87FE-4862B66E942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f50ce571fca8c403445b35deb5af2b66f67f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4923282,"id":"Q4923282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ba8f70e59bf2668e51caddaa45bf9103c29af3","datavalue":{"value":{"amount":"+0.80562437","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":"Q4256148$B8E19772-4E97-488C-8811-6A40BDF48F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c002938c94782c8ef5eb0b42de0338c0d014deea","datavalue":{"value":{"entity-type":"item","numeric-id":5740425,"id":"Q5740425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75828a1d16dc0eef2d66ca986abf00310a361027","datavalue":{"value":{"amount":"+0.8056243","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":"Q4256148$839E462F-47E9-467E-8833-D12E87A7F432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2686996afcec86609c00789b16d90c41180a0e7e","datavalue":{"value":{"entity-type":"item","numeric-id":2910938,"id":"Q2910938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb45f491a479add8e1e0bdcedd05ac567c650efc","datavalue":{"value":{"amount":"+0.8033288","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":"Q4256148$E996CC75-74AA-455D-AC8E-211DB58E7C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75eec63366737e674038286a4b67f044d786e6a6","datavalue":{"value":{"entity-type":"item","numeric-id":2723891,"id":"Q2723891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61aecb456757efe1964523457a4b8ff80c44a5ef","datavalue":{"value":{"amount":"+0.8022144","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":"Q4256148$AACDB706-AE57-4869-A2A3-3AA017BAC3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4256148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4256148"}}}}}