{"entities":{"Q4444908":{"pageid":6474507,"ns":120,"title":"Item:Q4444908","lastrevid":48228631,"modified":"2026-01-04T01:11:05Z","type":"item","id":"Q4444908","labels":{"en":{"language":"en","value":"Linear explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034268"}},"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":"Q4444908$F8DA2C1A-DB0D-4EF5-A222-71679FA49C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58ea635d58f7d2d4f078441462b7c0a0efe6dfd","datavalue":{"value":{"text":"Linear explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444908$48413D9E-5B40-44F0-9CBF-52C283FDE2A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60724551e96aad7f61f053c8e547fb0a7d0a0b56","datavalue":{"value":"1033.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$67638CA4-4E37-44B3-841B-FD052274EB3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444908$E7E54300-5279-4D67-9B57-0ABA24528A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444908$CF75A6C8-9CED-49D3-B327-02583D547049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444908$3787B96F-53FF-4630-94BE-438935325490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-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":"Q4444908$B1C99464-1FBB-4569-BE01-CE28BE8403EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$646E62AB-13BE-4DBC-AFA0-E2BD91AFC405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$F91AA19B-92A1-45C3-B7D0-0F2B9D251C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$D14D960A-7743-43AF-AA7E-BEA26F472B3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3231b4fe55f905a1203de85619ea0b1f76702f88","datavalue":{"value":"2034268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$63E5D425-CD21-4C25-86F2-365526072742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444908$3B087EC1-7745-45D7-9C00-F4666F401035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444908$423A00CA-3187-4F25-9F7B-0A69779AEF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444908$9DA2BEA6-2110-4682-8585-5765EF857C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444908$E2D3E34A-9D1C-446C-B0AF-C7E3929AEF37","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":"Q4444908$3400373B-838E-46CC-8392-E7B4E401997F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa2890484daf46e35a17f41059b503706a9feac8","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.1.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444908$37714900-B3ED-4720-9729-149236AE261F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25ac6f3863a4ace6aa1a30849269894492fc7918","datavalue":{"value":"W2080636971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$C9304936-EC2C-493D-9D39-D3504B792804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea253c0f6d0fe395a8ba218454411e0c8cfe3bb6","datavalue":{"value":"10.1093/JIGPAL/8.1.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444908$793D3014-2B0A-4D3F-BB29-CACDBA2DB420","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444908$CDABB4AE-509E-4845-969F-B5716CE2BB5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2387029906134f27a8c411a3e107c5007a77848","datavalue":{"value":{"amount":"+0.8334257006645203","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":"Q4444908$9A16A8D7-B705-4514-8568-EECDBF54D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7625c1bc08941ecb414f5a5faf0a67b757d8a4fc","datavalue":{"value":{"amount":"+0.8165439367294312","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":"Q4444908$2A90C40B-2A8B-4C86-8C1A-00BEB08E672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a16229f4d3a11a830a27044519d04bb4f6dd8b5","datavalue":{"value":{"entity-type":"item","numeric-id":5747746,"id":"Q5747746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1726a3df7fcdd68f66dc80871bc43055934ca5","datavalue":{"value":{"amount":"+0.8105120062828064","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":"Q4444908$EC8A2804-5B93-491A-B3ED-BF2DF508237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fb8f29d14d9dab85822840407d3409fe3b4c94","datavalue":{"value":{"entity-type":"item","numeric-id":4364378,"id":"Q4364378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e408957a4638cc5d115b5f5715c6ed2af50fa584","datavalue":{"value":{"amount":"+0.8076891899108887","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":"Q4444908$4C20A1BA-0BD1-40D2-9F44-8EFFCB45CEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ff9d0fdfad37cb8d495f4c771ebe802989bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4219051,"id":"Q4219051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3311e1d07aa738f89ab051c1f6e54c8ed41db7b2","datavalue":{"value":{"amount":"+0.7899426817893982","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":"Q4444908$C6E29DD2-0059-421F-ABBC-476370230B57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444908"}}}}}