{"entities":{"Q671646":{"pageid":673495,"ns":120,"title":"Item:Q671646","lastrevid":63589077,"modified":"2026-04-11T14:11:10Z","type":"item","id":"Q671646","labels":{"en":{"language":"en","value":"Comparing models of the intensional typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983423"}},"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":"Q671646$8DE75243-1573-4097-A828-1BD9483C1BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42b4845ae94eea05bd85db17c7273f51b545844b","datavalue":{"value":{"text":"Comparing models of the intensional typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671646$3B8D199D-8958-4E37-8033-84D5565DD053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7b6aa5e1b322af4b9e979c51634932927566b2b","datavalue":{"value":"0872.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671646$DB9EDD5E-8039-4BD3-A0AE-34289F34228A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5deeb80976a0bf906243e438f36c7c94a7f75ffd","datavalue":{"value":"10.1016/0304-3975(95)00140-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671646$E2352FA1-A0E7-4E60-AB96-F59C10025C38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"deb27c7243c11db6d0e47245e118b5ce2029ef31","datavalue":{"value":{"entity-type":"item","numeric-id":671645,"id":"Q671645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$B2B9C6C9-30DA-4936-8C7E-89AFBBAD642F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$F749A7E5-FEC9-4637-85CD-5A83D2162C8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671646$95E99911-D19B-464F-8D34-64397E2B5666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671646$F6D08C7B-A425-4402-B976-3A886E247C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c2c82fa35b90200b1cbd85342126d0029f735d","datavalue":{"value":"983423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671646$E2A3108A-1150-4669-B1C9-BE75CB649121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4313801887989e139c20d3a11b991969aaf6d7","datavalue":{"value":"powerset models","type":"string"},"datatype":"string"},"type":"statement","id":"Q671646$4196E41D-354F-46B0-AEB6-F25DB7CEEDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q671646$6E2FFA5E-5696-44D7-95AC-7C1B1E1E6B93","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":"Q671646$09332B53-3EA2-481F-A0B3-97D1BEE8DE41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b978f8ffd06f1b552545c2e3c4bc58afa3fca733","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00140-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q671646$1E275BAE-B249-481A-8B5C-28D3E2C329AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4bd404a9eff7710bd837d2e03fcdced91fa7aeb","datavalue":{"value":"W1971835373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671646$D255A6AE-4E5C-42A2-9866-6C841BD41855","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$1696515A-9C11-4280-9140-8123573340E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$8049FABC-A6BB-404D-A268-54CACBBAFA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041d27619ddd593aca8298cbe17a548a65e007bf","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$BBC5CA02-4916-4B81-B2F7-E6B6D0102A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$5781E664-98DF-4649-8A47-857B2CC77598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f521412cadfb5d5260dfeb38a0826516fd6ff781","datavalue":{"value":{"entity-type":"item","numeric-id":2757813,"id":"Q2757813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$37ACF326-A79E-49F1-84A3-146845C288B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e6ac0a3b1ddb77f75539373cfc425e2a0d879a","datavalue":{"value":{"entity-type":"item","numeric-id":4279250,"id":"Q4279250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$51D2EB55-C2A8-4AAE-9933-AEEFD3E0B767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a9b3deed22f0d794bc5b1ac0b2b727711d7025","datavalue":{"value":{"entity-type":"item","numeric-id":1260646,"id":"Q1260646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$6B7CC8CF-29E7-4117-A158-30B669ECF207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94bfc0b726228d68606e59fc4f2b5f06641df09","datavalue":{"value":{"entity-type":"item","numeric-id":4501148,"id":"Q4501148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$CDD7C69F-3A96-4366-9962-100F9169411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671646$325A4EFF-B704-4AF5-B3FF-9930AA019B7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d12697fcf78c7ba096a1c54eec3a66c9d7b305f","datavalue":{"value":{"entity-type":"item","numeric-id":4501148,"id":"Q4501148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c32c3e68aca12964335a41cb0fe9ea4757b25ee","datavalue":{"value":{"amount":"+0.917689561843872","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":"Q671646$CA307DAA-3D22-483D-A00D-4B5F67E0D361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79acd065822bff681c989298b332f8ea531b7311","datavalue":{"value":{"amount":"+0.7713828682899475","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":"Q671646$8862D6BB-E773-4464-B086-6FF575737821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43278118dc0dcc955c050a6b8a29585e0df89ed6","datavalue":{"value":{"amount":"+0.7632628083229065","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":"Q671646$D425C6DE-C953-4B41-9371-0F01FA2BFA86","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":"546ed7dc4edbbee9498271036bda4d68c6b450b3","datavalue":{"value":{"amount":"+0.7616774439811707","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":"Q671646$DCE20E77-8FF1-46F0-AA29-D2DBC9E8FBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57792216b67587f81378a4158ba4c29b216d358","datavalue":{"value":{"entity-type":"item","numeric-id":4783324,"id":"Q4783324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22bebbdc1be9d14f541216cab04c784ba2b2013c","datavalue":{"value":{"amount":"+0.7597301602363586","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":"Q671646$FAA702A6-971A-42EF-B460-B8E133222870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing models of the intensional typed \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_models_of_the_intensional_typed_%5C(%5Clambda%5C)-calculus"}}}}}