{"entities":{"Q3025330":{"pageid":3036046,"ns":120,"title":"Item:Q3025330","lastrevid":86053286,"modified":"2026-06-03T13:47:57Z","type":"item","id":"Q3025330","labels":{"en":{"language":"en","value":"Underspecified Interpretations in a Curry-typed Representation Language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187125"}},"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":"Q3025330$9F9CE44A-2C27-4A16-9C4C-64C205EA5FAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0531d23883ceb0890b7ae89c0dcce74c8bba2404","datavalue":{"value":{"text":"Underspecified Interpretations in a Curry-typed Representation Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3025330$BC63F8AD-95C5-4D4B-AFCA-EC0F7646B9BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"218e436e06cae1184db53749eebeff6e9b592205","datavalue":{"value":"1070.03515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025330$39B3C259-7FEE-4C56-BA13-2BACA35866FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a08d73b375fcd38ee41f66e8ad2b0423294393f","datavalue":{"value":{"entity-type":"item","numeric-id":514079,"id":"Q514079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025330$4F84C692-43B4-4475-A4C0-9C822D04CACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc18d343f4e0b24af25968ccc128fb949b169952","datavalue":{"value":{"entity-type":"item","numeric-id":514080,"id":"Q514080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025330$89C8907E-DEB2-42F9-B564-DEA3CA12CB96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025330$9EB4AA99-6E9A-451D-A1E2-620072E9B520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28c643d203f02d5b7e28a2262c04c4139b1abea6","datavalue":{"value":"http://sas-space.sas.ac.uk/855/1/S_Lappin_Underspecified.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025330$576C8207-B53C-4D36-9A7A-94041AFF20D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025330$57BEC913-0645-4D92-B210-C20D448D8652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025330$DCE7E650-C480-497B-863B-E1357EBA2E3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1cb59c7f1f525d9cf68d4414e2a327a460ea3ad","datavalue":{"value":"2187125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025330$4C582BE9-67B0-4767-AF89-B0CBC0ACA79C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9d71ac0230182ebe6b58530bd4727cb291f5b3","datavalue":{"value":"Underspecified semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025330$1A2E7A0F-C0A3-4992-8325-E21F66DD738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aeb442a24ed9cd6876146a94346aab561796a61","datavalue":{"value":"intentional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025330$6A50ADE1-FE78-42B1-A92D-D30B22691BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07c492234ba90ac051fff458616e8387bd2a6e1","datavalue":{"value":"Curry-typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025330$44A52DF5-2D47-404D-B382-0828486FB9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a649cf418817ad25205777c2f4c2c3815115f957","datavalue":{"value":"unresolved scope/readings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025330$CB2B8719-B3A9-4F76-9313-0731154F87AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"189255634229e56e4d9265fb45b5601d472be36f","datavalue":{"value":"property theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025330$6D2C882E-61F0-4106-9FCB-7DEB8FF118C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a6d75828a20389b95fb4f379abcc0f827e58e","datavalue":{"value":"untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025330$B23BFA1B-E9A7-4AE8-8076-77B3F12BB55F","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":"Q3025330$696DFBFD-CABE-48DD-BBD5-CCAEF0DFD124","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c785adba48b987480fa053ef10cfa286933d8c7","datavalue":{"value":"W2170537782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025330$AE53CCCD-029E-423C-9DC6-EA07D316E3C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6bf7eaaf46b915c10a2aee66f5177acc401f322","datavalue":{"value":"10.1093/LOGCOM/EXI006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025330$52A1BE82-AEE3-4765-9768-FFB66B2556BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025330$09F8CD75-E70F-4FB2-A22D-CCFF0504B219","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc4aeab6dac0260fb525910bd5c29dc533d92b","datavalue":{"value":{"entity-type":"item","numeric-id":4821651,"id":"Q4821651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a041cc723163c92408fd9596dab2cdd30bb0f9","datavalue":{"value":{"amount":"+0.7445409297943115","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":"Q3025330$8BFA3F87-9EDF-4D56-B736-C006A06B8431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3dbc234a6544637609fb6fa1a33c805d5f09de9","datavalue":{"value":{"entity-type":"item","numeric-id":5365491,"id":"Q5365491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79477b4589f04bad6a5522b59d4f775422f58ed9","datavalue":{"value":{"amount":"+0.7299420833587646","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":"Q3025330$0B852A8B-BDC6-4345-BC2B-D3535EBB6AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f395ee0872e3ea874d65f584d3e9bf576a416cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4946228,"id":"Q4946228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f953d1961fbfe31e6574b4eda283abc79b396c8","datavalue":{"value":{"amount":"+0.718000054359436","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":"Q3025330$A1252C11-61F3-4B37-8276-05A4FF32502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551916444e622f6c8db55da7f6dd11fc7ae7318a","datavalue":{"value":{"entity-type":"item","numeric-id":4552497,"id":"Q4552497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dca58ab736787ee8eda2e53bb57a6cf7de9996","datavalue":{"value":{"amount":"+0.7163053750991821","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":"Q3025330$2309673B-2AFD-41CE-94F5-4312BF5C6B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83ff460d81ae1edb4a2db075cf8bb4aa36a47e2","datavalue":{"value":{"entity-type":"item","numeric-id":4263082,"id":"Q4263082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9848b82369d330678ab58059e7fe4555952aeb88","datavalue":{"value":{"amount":"+0.7090871334075928","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":"Q3025330$FE9F0613-E07A-40D1-BE1D-29CC8473C748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Underspecified Interpretations in a Curry-typed Representation Language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Underspecified_Interpretations_in_a_Curry-typed_Representation_Language"}}}}}