{"entities":{"Q5039101":{"pageid":7068678,"ns":120,"title":"Item:Q5039101","lastrevid":54417839,"modified":"2026-01-26T19:08:06Z","type":"item","id":"Q5039101","labels":{"en":{"language":"en","value":"HTLC: hyperintensional typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7599928"}},"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":"Q5039101$CAC410FA-D599-4C7E-9633-D57966F2576C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c22e4c9ffdc0342230bb761b1c0ddc2572b59f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5039100,"id":"Q5039100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039101$9E95522A-7A9E-4EB9-925D-A261C2409707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039101$39F03470-67B3-4F5B-BD37-5A664310EAA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8100ea976e153ee716f24d344b922ea5d1ea049","datavalue":{"value":{"time":"+2022-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039101$9DBAF11A-B5CC-4243-BC92-6359DF497A02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039101$93B7C287-E574-4055-91A4-EE1E74621668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"742c5e61df6e33c3f87e5671748b4ef7c9f1e6c5","datavalue":{"value":"7599928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039101$476332A1-F35E-4667-AF5A-9FF2AC5B4F4D","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":"Q5039101$0399CA8C-A97D-423B-9084-92109FD1ADF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffd3255c50569f31c6d8e8a4c385c0bc099a4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3224007,"id":"Q3224007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99357ab9fab3efbaec9992900b7fd29f85606033","datavalue":{"value":{"amount":"+0.7630258798599243","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":"Q5039101$CA530349-4A4F-46E6-B2EC-22ABCECC3B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2899d62703ab4ff0298bfdd3c5ee9efb7f41795f","datavalue":{"value":{"amount":"+0.7496693134307861","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":"Q5039101$2C99E877-F1B9-4FDB-B314-405EBEC1055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fd494de96833099f662937937c854534bb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":4436024,"id":"Q4436024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f719d977ee60ccbee9c38d4a3f8deef269dd885","datavalue":{"value":{"amount":"+0.726745069026947","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":"Q5039101$FC12B2CA-D064-4535-99F6-4E7792734802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe426ac3289233ddb1f1c83610c8b4291fe80d","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e903464a167372887c671faca9ee6b869976c951","datavalue":{"value":{"amount":"+0.7227395176887512","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":"Q5039101$A4349BFF-08CA-4B1B-8502-70CB970D28C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3f1a665daba81af9bc64414a8df861e8b997a6","datavalue":{"value":{"entity-type":"item","numeric-id":671646,"id":"Q671646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433590fe0f5b9e6558b3db1bde40b8493c6027cb","datavalue":{"value":{"amount":"+0.7219646573066711","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":"Q5039101$BA399AE2-DD92-435E-BF4C-176D9C6E107A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039101"}}}}}