{"entities":{"Q4882489":{"pageid":6912068,"ns":120,"title":"Item:Q4882489","lastrevid":46379637,"modified":"2025-12-24T16:22:54Z","type":"item","id":"Q4882489","labels":{"en":{"language":"en","value":"Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 890011"}},"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":"Q4882489$50CC45D7-F9EE-409B-BA31-17B8E97F34E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73d0ccd3a26475294e6f0910bf02c50c8d1aa719","datavalue":{"value":{"text":"Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4882489$892A61BB-98D2-4CF2-BC68-657CF5E23EFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc939b9b1c690eb15a469e1e455184e3f4a6b536","datavalue":{"value":"0844.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$48C1759B-37CF-4EC4-B0D5-2D05A81767A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5c95b21692a364a271a6dc175c9b6602b9eeaee","datavalue":{"value":"10.1017/S0960129500001213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$7B8CD99B-77B3-45C1-A397-84332C0BEC20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da894ab5287ed2035a74ff51933b0ddd7c3245b8","datavalue":{"value":{"entity-type":"item","numeric-id":175557,"id":"Q175557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882489$51A2A350-4DF7-4BF6-9204-D75D3D6C5FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882489$0DDD472B-23D2-4810-BF50-B6ED07072308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882489$D7BF8430-1C0C-4B72-B805-7CFB7EBE83BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc915913f56bda83b8f5a217ba51a7f0094c41","datavalue":{"value":{"time":"+1996-08-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":"Q4882489$F45C510A-1EBF-4FFF-879B-76525187AE69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$BE3517E8-CADD-4130-9358-66DBC5C97803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$E0501C0E-125D-4835-8334-61834D670AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$1B8E2625-4578-4F71-A3AD-30ECB1747841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f7f32e84f45e33a16799b57ce7c3709f9c5470e","datavalue":{"value":"890011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$2868B80E-8A95-422B-8D90-573D91565FCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$45F7BA79-1D98-4D2E-9244-39D84E2E1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65edfbad8158e1e8443c04a02da8327de6e51dd4","datavalue":{"value":"contextual completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$53ADC84B-01F7-4132-9DC3-CFE216549909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a79dc61f7e6c4839b9361782d3bcd02d8c5c467","datavalue":{"value":"categories with indeterminates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$8E4CF4BF-385D-45E4-A92B-BD2753CBAEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2df338cdd0e7fd20428b9b0c2c2ad11a047c59","datavalue":{"value":"fibred categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$5CF0A5B2-4466-44A9-939C-42CCC5C74675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c7f8148fbdd90012225ea85efd9cf8d0f58f3d8","datavalue":{"value":"2-categories of fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$EE84259C-9BAE-4456-A947-22F41C09D423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"080bed322dde17bef40f017b3376b3b68596f4f5","datavalue":{"value":"Kleisli objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$FD809A45-7CD0-4462-A312-B01146F3D5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882489$677B4CA3-7D21-45E8-B4F2-1E16C7D4857E","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":"Q4882489$57AA8626-CD71-4814-B844-1EF9C3DA1352","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb375d444ede2d6cf5a78fb50449fbd4a2e1925f","datavalue":{"value":"Q60019637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$D7A38A3A-D724-4576-8F08-AA8AE51FDC8C","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":"Q4882489$704851F5-111E-44FB-B07C-B2D19B87A825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882489$54FC9944-05E3-4754-9FD2-9204993DBC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a373c4e8b445b3944886af7de398c5d3d3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1317983,"id":"Q1317983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882489$7B41245E-CB78-4D6B-ABC0-764509630779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882489$4A6F6DC1-A536-4CD8-BF06-84A02CAC8AA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dd3710244dfc42d94ed7cd7aa523acb362443a5","datavalue":{"value":"https://doi.org/10.1017/s0960129500001213","type":"string"},"datatype":"url"},"type":"statement","id":"Q4882489$5CD17695-4F0D-4A9A-AF0C-407E3C178FD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"946413bf8bb30bb7eb790ef258c144251054f000","datavalue":{"value":"W2134089336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$D7A6B6D8-1FF5-4E5D-9989-A9BD397DBE74","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"88458be2ea56cb57a356ca42429d1dc456290bb5","datavalue":{"value":"journals/mscs/HermidaJ95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882489$30A7E696-8396-4731-998B-4D0B6F323DDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf507c2110b9eaae0f5eec175fa52546280da94b","datavalue":{"value":{"amount":"+0.7580186128616333","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":"Q4882489$4FAE06F0-7437-4513-9239-9554BABF68F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b600357847c65956e05f9417a270febcdc0d51","datavalue":{"value":{"entity-type":"item","numeric-id":3138546,"id":"Q3138546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec18aa99513545df2733ceca7871c603abd65fa","datavalue":{"value":{"amount":"+0.7483609318733215","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":"Q4882489$88103150-8313-4AC6-ABA2-0AA0CA29CC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb77f5186f9cb14515ec6d47004579f8ef5c92c","datavalue":{"value":{"entity-type":"item","numeric-id":4921420,"id":"Q4921420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c13aeed543af4e2df7def5b8c0a7d0f20341dd7","datavalue":{"value":{"amount":"+0.7367377281188965","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":"Q4882489$67AC0646-3E08-4E32-A99C-D2339C25C5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d584abee934c7c7e50dc9685b21747050a394b","datavalue":{"value":{"amount":"+0.7330018281936646","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":"Q4882489$F791489F-6F11-4899-96AA-235377870600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4882489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4882489"}}}}}