{"entities":{"Q3791120":{"pageid":5821026,"ns":120,"title":"Item:Q3791120","lastrevid":52894790,"modified":"2026-01-23T18:11:07Z","type":"item","id":"Q3791120","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055576"}},"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":"Q3791120$6B48154C-7532-4213-A8BF-32B3749D1E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de733661bdb6aeb1de879976986052392087e3b8","datavalue":{"value":"0647.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791120$C6B15E77-4DA4-4B26-9BA0-162B22496DAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3791120$09A8F131-5882-4C8D-8CB2-5185FBF0F51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651e04b9287b8d0ec0024aa20b22bd0b7aef55b","datavalue":{"value":{"entity-type":"item","numeric-id":973941,"id":"Q973941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3791120$5D7A0E69-4FDF-430F-96B8-51894E2CAC60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3791120$3C956AA9-A118-483E-BB9E-8710A3DE3B53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791120$6957FF7F-822D-4F7C-BCEC-D3E01B808975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791120$DDDE3AA0-E9B9-4BD3-B79E-1E1F8FA0E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791120$82FC9A55-F6ED-44E4-83E1-E2E1088AE779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791120$EBEB3D82-CDA0-4061-9ED6-A13F4CA87189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44345492671c3af6390b0607adf2673eb99b7069","datavalue":{"value":"4055576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791120$A87A4F6C-A592-43FA-A8CC-2C8AADC8794F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$052976FB-1208-43FB-BB6C-6847D7009358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$1CD8719F-82B8-4645-8857-B8EA33F2FF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d7ed82db9777360b1ab8933c41a57d2a5a9c9e","datavalue":{"value":"implementation of functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$02E8735C-8BEE-4762-92A3-70F28A8BD3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$6B01594D-CC71-42F2-984E-30D51BA52CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6125300e57f244e3ebfd786a80e93d658211854","datavalue":{"value":"combinator system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$FC0E044B-9634-4CA2-BBBB-45EA09066525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd06d511376b306d63e5c1ea86cf47f9a4fab47","datavalue":{"value":"of course","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$59F29210-E774-4E63-8E9D-47888C2758ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$C3F0D345-C62C-427B-B713-9E6B3393C6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4571deef4df7e5a4eef3128bd890c36f9cea49","datavalue":{"value":"evaluation mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$AF3DB5AF-1DBB-4F07-9305-5543B1C8527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8aab94a52fbc2c6e4473155d59fd2052dd8fbfb","datavalue":{"value":"linear computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$5C598E14-EDE1-4572-A68A-AF8B35376BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791120$0BD5BF50-282C-4D91-AB27-0734CB98BB8E","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":"Q3791120$A1119152-709F-43C3-9839-EA9CE2A94850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379932656972197283d70f3619ed7df43dfdae03","datavalue":{"value":{"amount":"+0.8551279902458191","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":"Q3791120$C9C216A7-B6DB-49F9-B2C0-17DCFD07DE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30472c378d7591f6d96649eaaaa11fbc4b7d3147","datavalue":{"value":{"amount":"+0.853195071220398","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":"Q3791120$E8F5AD38-3C3A-4226-873E-D4E4ECECFD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b154d1efc14d1970bd9e31c278d43305acb223","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1190ad0286ee395de79eb50b1ddc73a6e50613","datavalue":{"value":{"amount":"+0.827582836151123","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":"Q3791120$D3090F23-82EE-4CE8-B175-5C6201027995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685ac1e545d2a29702ab34a3e6bb986e02475644","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb1a6fafbb4d7abf79969b42986e44b4a761d1d","datavalue":{"value":{"amount":"+0.8009262084960938","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":"Q3791120$4FABAE11-E4EE-4780-96B0-48C225F195AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52fca8634939dc64a380bf46b7de020dde7af0aa","datavalue":{"value":{"amount":"+0.7981143593788147","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":"Q3791120$BBC99E43-B449-42CE-9A56-856AF03CDFF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3791120","badges":[]}}}}}