{"entities":{"Q1917101":{"pageid":1927843,"ns":120,"title":"Item:Q1917101","lastrevid":69086805,"modified":"2026-04-13T04:37:59Z","type":"item","id":"Q1917101","labels":{"en":{"language":"en","value":"The Barendregt cube with definitions and generalised reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896655"}},"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":"Q1917101$F91A0C25-45F7-4A04-81CD-15F188930BED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc451f51d3c8dc9bc87f22146ed16674e0ebc158","datavalue":{"value":{"text":"The Barendregt cube with definitions and generalised reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917101$46F01990-2F81-4D2D-8C41-ED778BDE949E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3886e3bd32224920189559de1cf48727f17880b","datavalue":{"value":"0853.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917101$F74CB069-A323-4FFE-90E7-C9071511AD28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c0470d173aeeeda7b208422c076739fd98b16a","datavalue":{"value":{"entity-type":"item","numeric-id":1274457,"id":"Q1274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917101$B6526D06-49C6-4B27-9E25-B973C85C01FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917101$137AD476-E842-4EF1-BC63-0D090FC22DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917101$F93AF258-1073-48B4-970E-9AE7842B4A95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917101$652FF481-095A-4731-897E-512E19D99C84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8bc2e68a7a4ba958744d9a0d3480daad10515d7","datavalue":{"value":{"time":"+1996-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917101$14F06F51-7A2D-42BA-86A1-542A263D884B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da5f2b73284e5abb43acdc3c305664035f6fd1de","datavalue":{"value":"https://research.tue.nl/nl/publications/the-barendregt-cube-with-definitions-and-generalised-reduction(3e63d70b-efaa-471b-937e-adf6bb634632).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917101$31E9F0F9-C797-4EA1-90AE-C928759A178B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917101$8918CBA4-0892-4034-A1A3-BD42789B9572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14cb4c6e2d618cc905fa32a9a80b53ecc3a4c2ad","datavalue":{"value":"896655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917101$FB636DA1-5FE6-439C-934A-EC6424492E3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffcd02a9252fa239702cf8f6030ad57827ad1bf","datavalue":{"value":"Barendregt cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917101$C70D99CA-DB3F-4391-9C23-F4C69E419E76","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":"Q1917101$A8D8D948-538F-4680-BBF5-32B50881BB4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dff18d0acf2460b5beab6dadcdbb1a707b4bcf7","datavalue":{"value":"W2087917645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917101$AA459A6F-E571-4945-93E0-39EC16433CC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7679ece258d2a27307f2755a3e3525b900b57171","datavalue":{"value":"10.1006/INCO.1996.0041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917101$BA43E7BF-F028-4BC3-946E-BB4BFC87D7C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fb8b47b33458b3d19808d42e46e8b503c211fd","datavalue":{"value":{"entity-type":"item","numeric-id":1763159,"id":"Q1763159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8bfc201c8ee1dd5eb5dbf463d83f44aeba1c39","datavalue":{"value":{"amount":"+0.7800002098083496","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":"Q1917101$79FE4EA6-6B62-49AC-9883-90F4C71261C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1120e5fe7f522f7b861bc1b4a3f399b31bdcc9f","datavalue":{"value":{"entity-type":"item","numeric-id":4895552,"id":"Q4895552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a448edbfaff4d057c6e57a3a19bdbcd3e6631a","datavalue":{"value":{"amount":"+0.7625349760055542","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":"Q1917101$8ED1AA78-7695-4442-9EA9-100E341CE39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7cc266c218bfa5f28473d3b0216ccc809b4c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1349744,"id":"Q1349744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b183348638e5c19a69acb39ac4559ff256eef1","datavalue":{"value":{"amount":"+0.7545592784881592","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":"Q1917101$BB2AB0F3-817C-4135-90CB-B87A3FA391A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbb81868af965606e5b95e3ee0a66737fe9fe58","datavalue":{"value":{"entity-type":"item","numeric-id":1302298,"id":"Q1302298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880fe4c2d2404279466699a0a968efefaf2c7a35","datavalue":{"value":{"amount":"+0.7357595562934875","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":"Q1917101$4CE72B50-A87D-470B-9FE9-58F0686FF5AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Barendregt cube with definitions and generalised reduction","badges":[]}}}}}