{"entities":{"Q4942005":{"pageid":6971587,"ns":120,"title":"Item:Q4942005","lastrevid":47463715,"modified":"2026-01-01T19:53:39Z","type":"item","id":"Q4942005","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418450"}},"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":"Q4942005$BD53085E-9EFA-4047-A490-861115AE9EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05336583e43e83498956ba5ca9901cce4c45a398","datavalue":{"value":"0951.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$F1130724-C292-4B00-B29A-7ED47CEC02BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942005$6730327D-9795-40D7-A366-284ACFE1CD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942005$E65EF1EE-C419-4316-87BD-A957B539EBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942005$071EF4D6-BF51-49E4-8E2E-4D6398C10258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34d8f8a2fdb2c9bbc826b2f87c09997bb61fb458","datavalue":{"value":{"time":"+2000-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4942005$01ECA41F-9D16-4DC4-93E6-344BFA9E605F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$A8412080-1C57-46BF-85C3-68B134DB9357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$B2FB46C5-C2E7-4072-9999-175110963B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$6B991E74-7207-4001-875B-1FA5DB1E76E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$0F6E4095-D988-4E84-88F7-1C48A4CC3CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$329CEEEE-DB03-468B-A398-6397CDB7743F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c242c682cd8079cd50d95ba418174875ed819400","datavalue":{"value":"1418450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942005$8DDCA386-5BC5-45CD-A020-222B85984568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9300dc0c305a0565c908c1cdb8f6d70145e803a2","datavalue":{"value":"modal proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942005$32BF0ADC-CB2E-4A50-9ABF-249E6898DD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d78fe244c03e0781b0ea2a6c6bf25de7813e374","datavalue":{"value":"efficient reduction of lambda-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942005$59592174-CD38-4710-8CA6-B8E32D6B0CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942005$FCEC1986-B0A3-42A7-A01F-A68E6EE5CD8D","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":"Q4942005$BC04C919-2338-424F-8FEB-8D201D1DDA04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc84240eedfec5798f9f3e58c4c14a074c01e29","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8f2fada39200180c0b8c3f8941ed252bfadf9c","datavalue":{"value":{"amount":"+0.7789978384971619","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":"Q4942005$FF861F73-3E50-4231-8B79-06460E708B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2511f0caf416e074fde5c9cd622c027b44e53606","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b019970a0a53c0cf491ba29ca05e8f69d5878115","datavalue":{"value":{"amount":"+0.7630943059921265","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":"Q4942005$FB160950-5F73-427D-BD1F-62D75A41C2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0234589f2ebd950feb0efa0de76dafdbbee659d1","datavalue":{"value":{"entity-type":"item","numeric-id":4506397,"id":"Q4506397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9511d850764d6fb3b4721577cc8163b49288aeb","datavalue":{"value":{"amount":"+0.7587351202964783","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":"Q4942005$CBD17449-DAA2-4296-8A45-45B0370FDADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0588fa81d050cdfd9c6444384081d8916c34387d","datavalue":{"value":{"entity-type":"item","numeric-id":3011126,"id":"Q3011126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177b9d62c7e049a9a58e0f03019cd93d4ed2c5cb","datavalue":{"value":{"amount":"+0.7554912567138672","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":"Q4942005$80CE95E7-B725-41A6-89AF-E6DC29F3531A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0875391429c6cb0a3404b8581ec55739716ac2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055822,"id":"Q5055822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a01aae6b4ce678e2dec00364aad15a7f1844e3e","datavalue":{"value":{"amount":"+0.7546989917755127","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":"Q4942005$25058719-B417-4710-9D58-7E59CC421C05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4942005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4942005"}}}}}