{"entities":{"Q2773020":{"pageid":2783758,"ns":120,"title":"Item:Q2773020","lastrevid":83293235,"modified":"2026-05-07T07:06:05Z","type":"item","id":"Q2773020","labels":{"en":{"language":"en","value":"The \\(I\\)-types of system \\(\\mathcal F\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1709142"}},"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":"Q2773020$73D2C586-7D6B-4174-A13D-813A61CD0758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bca2934b0af37ee243b020d6cd77a791ee41482","datavalue":{"value":"0991.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773020$2F948991-BC8C-4CD9-9FD9-A0ABC9850B78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381ddcb86e65a2a07830e4a1bafeb6cc481b7472","datavalue":{"value":{"time":"+2002-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2773020$9CD0EF17-E9DF-4518-9AF6-01151EC5D77B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aa480b72e8a57908be811d280ae17c89953553d","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2001__35_3_223_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773020$9FB1A0BB-3CAD-411B-886D-7AACD3C7E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"73cafc2527fe0ea056e82ab55d8112f27faece19","datavalue":{"value":"https://eudml.org/doc/222094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773020$D14C671A-3256-424A-AA58-B05155BFA9F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773020$B2270525-2D03-4C50-9672-81C9A6816084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773020$F1E12051-837C-4B2B-A951-2502F453B70F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52fee8924c6074df0a7ce7618c834bddf508f24","datavalue":{"value":"1709142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773020$61FC87B0-3700-4E45-A453-0E43F8DB29F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773020$991BD128-9743-40D3-831B-D1295CBC0FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241cdac59325f6d3fd75469fca701aceebcb51ac","datavalue":{"value":"\\(I\\)-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773020$269D0DE9-9CF2-47FA-8691-861A0746ABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7902e3cbf38826a7eaec0b75f0a4a56fb12cca37","datavalue":{"value":"system \\({\\mathcal F}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773020$89B97607-4DFD-46F4-A5DA-A425A0778425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4794e4bf81f1d7560698ea49a899e8054e49af","datavalue":{"value":"positive quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773020$32343C54-2802-400F-8BBD-670C8F59DA34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773020$E32A9FB9-58F2-4E11-8AA2-BFB8D0CB11CB","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":"Q2773020$ECE6ECBA-0288-42AC-955B-B51A3E8D57D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4471254113f6abf9341ac4b9079f848f227e9f1","datavalue":{"value":"W126361756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773020$EF185AFC-F565-4051-8DD5-B1EAC4CB49A7","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":"Q2773020$FEDD2BED-3E2E-40F2-BD11-EB67EF79A44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773020$3DC5C650-684D-4B79-A8EB-F207E8D7C52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773020$DB0AE488-D74A-42F9-A319-DBB975A6E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b448f94d79046d6183590aae96b7cfc591a0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4717043,"id":"Q4717043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773020$6CAA0CA4-8BF3-405B-93A6-580FD4F1D9C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f6b6a2f09ad0bbb94c44d759928ed039eadce34","datavalue":{"value":"10.1051/ITA:2001116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773020$639BAAAE-7008-4088-B5E8-DF67F0EC0CF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"131621fa4242bdc5210101203166e13e1bcbfa32","datavalue":{"value":{"text":"The \\(I\\)-types of system \\(\\mathcal F\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2773020$86FA5C9C-8713-4ACC-A315-88E9ABAD188D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773020$F44EFFD7-62B0-44B4-992A-14C6B91DD58D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c723024346478dae781ee59d3fae161a1724a639","datavalue":{"value":"We prove that the types of system \\({\\mathcal F}\\) inhabited uniquely by \\(\\lambda I\\)-terms (the \\(I\\)-types) have a positive quantifier. We give also consequences of this result and some examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773020$0DB33559-9A0A-45EF-BBBE-5170EFCF2BCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128fd210ea8cee66643d71d4be78b5fc1f6d652e","datavalue":{"value":{"entity-type":"item","numeric-id":812102,"id":"Q812102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed9a07a29b8e9616c84d383716fb1282020fed4","datavalue":{"value":{"amount":"+0.7449562549591064","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":"Q2773020$8A03A098-7917-4C9B-B76E-FE8E31F2F611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009697894319c90e107aa903cadab11cc759ccaa","datavalue":{"value":{"entity-type":"item","numeric-id":672135,"id":"Q672135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa0f303d7589d95a9e9d98eec7fd222aaa265e1","datavalue":{"value":{"amount":"+0.7430233955383301","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":"Q2773020$D33B9227-01D8-4328-A3ED-2DA774351037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f9a9c100ead7a2cf3eebc7c05ad2c3b47d5818","datavalue":{"value":{"entity-type":"item","numeric-id":4038680,"id":"Q4038680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa0f303d7589d95a9e9d98eec7fd222aaa265e1","datavalue":{"value":{"amount":"+0.7430233955383301","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":"Q2773020$BCE97856-D1CD-42AA-A4E8-0DB4F343F34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6baac2793c83309f5f40c8bbba3d5ab3698e03","datavalue":{"value":{"entity-type":"item","numeric-id":3136282,"id":"Q3136282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a83b07a82a41758c4a1781fe8f1552c9705ab76","datavalue":{"value":{"amount":"+0.7391810417175293","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":"Q2773020$DCDCE61D-5947-4FF6-A27B-7938F0490FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b335a567ef190b5b842d362f8ad5bab2ea8f33f","datavalue":{"value":{"entity-type":"item","numeric-id":5300891,"id":"Q5300891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e271126969421d25f21254f0824497bdc6b86c","datavalue":{"value":{"amount":"+0.7349869608879089","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":"Q2773020$DC29AD17-F5CB-4025-9548-39F99A607245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(I\\)-types of system \\(\\mathcal F\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(I%5C)-types_of_system_%5C(%5Cmathcal_F%5C)"}}}}}