{"entities":{"Q4347376":{"pageid":6376975,"ns":120,"title":"Item:Q4347376","lastrevid":40897011,"modified":"2025-04-13T21:40:41Z","type":"item","id":"Q4347376","labels":{"en":{"language":"en","value":"Type reconstruction in F<sub>\u03c9</sub>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045685"}},"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":"Q4347376$76DF769E-321C-4AC5-B976-4143397EE5DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeab87da4183ed66349ffe66390783791658108f","datavalue":{"value":{"text":"Type reconstruction in F<sub>\u03c9</sub>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4347376$EB0F159F-5249-44E2-96EC-42384B4912F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1de844ee889f1aa55c5597330816270796db050","datavalue":{"value":"0883.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$2703C946-0D3E-4790-8BCA-F1B76B2B89E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a9f59fb72fda3cbe9d8cfaecc0eb9550e5fc926","datavalue":{"value":"10.1017/S0960129597002302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$EE7FAA18-EFA6-4C83-B489-1E085C28F9FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4347376$265B276C-AB45-4090-8B30-2103815E8F94","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":"Q4347376$94EF0F71-BC34-4A00-9507-51202E51B6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d55cc22f86d5a88bdff7c2024fcf06a0fd1a76","datavalue":{"value":{"time":"+1998-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4347376$28BC998E-AFF4-4E70-B697-A35361B668FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$814DA519-892E-43B0-B495-65CAACE95ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$70D219CC-0D3D-42F6-A749-D202165E3600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$E1A7BBC3-F54A-4386-B11F-A4A06CF61AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b67073cdfae408fa5027a849102f4c01b9c00a6f","datavalue":{"value":"1045685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$C9D7FAA2-05F7-45FD-A9AB-3D68638D9E42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04ef87b87c3fbfa2d5f2f720e39b158d7ea7234","datavalue":{"value":"Curry style","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347376$87365FAA-0AD3-4035-8F80-C7D82321F4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b1df98ae0305e2cfe1edf482211bc755bae5144","datavalue":{"value":"Girard's calculus \\(F_ \\omega\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347376$39A70207-4FD8-4D1D-A7DC-F418BEBFF915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dcd37666758948facc67c9e3078971b7b778dd7","datavalue":{"value":"type assignment system for pure lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347376$DF4E18B6-02E7-458A-9AD6-C4D34EE83936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93a9b69731547c52bdd5abef6e15be0eb983d2c","datavalue":{"value":"strongly normalizable term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347376$14662DDD-D200-41C7-8662-BA1A68FDFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347376$7EDE5E3A-9ECA-458C-85CA-7180E5C69BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812c371b8adf395c53a7097e6bb16c200157f41f","datavalue":{"value":"type reconstruction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4347376$1A7EEB55-A4F9-4964-B455-77932A67A542","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":"Q4347376$CE92767E-8809-484F-BBFB-128AAB2F1864","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5905ddd9560a95b73faadd12b9b79fd45a2ac11d","datavalue":{"value":"https://doi.org/10.1017/s0960129597002302","type":"string"},"datatype":"url"},"type":"statement","id":"Q4347376$90CD34FC-2A77-4EEB-A68C-B0B1D88D9502","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9fab290865c6e08d9b1a66877cf96b77ef65b7f","datavalue":{"value":"W2010240397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4347376$9BFBFB5D-26AF-40AA-AB36-D810639A961B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653be8663f5a7e6d0c4c6a727275cb039cfeda99","datavalue":{"value":{"entity-type":"item","numeric-id":4281489,"id":"Q4281489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c7490aad427b87bb3f4043fb880e151a347642","datavalue":{"value":{"amount":"+0.92441493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$094BC20D-2529-4FEE-AB4C-48670FD7968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ef2029b24f95b26a5ec932ba4a6767ab4ee3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1193590,"id":"Q1193590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03872ac48b6ec41c5e548b1e24fac9a946507e90","datavalue":{"value":{"amount":"+0.9009191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$8D162D08-D13C-4C8B-882B-07E944BF2518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3908b3180b7392dcbb14b9210edffae620bd8343","datavalue":{"value":{"entity-type":"item","numeric-id":3460415,"id":"Q3460415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc1d28acc9f7ac0bb0da2ccef1d6f14f1c07490","datavalue":{"value":{"amount":"+0.89246714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$96DD5FC2-5B5A-42EC-AE4F-612570981D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b63f6b52574ed037e35c1da6b68f4f0ec27f917","datavalue":{"value":{"entity-type":"item","numeric-id":5410666,"id":"Q5410666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01293914d97a57eebcbaa2727020fe035f1a69f8","datavalue":{"value":{"amount":"+0.8890052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$205C8E74-4CD8-4C09-ACB7-ED5EAAF1BC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbaafc7ab4be82fbef5a7586e0d9634c0f5f977","datavalue":{"value":{"entity-type":"item","numeric-id":5756517,"id":"Q5756517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167ca9e71ce59cab609ae580528bfb8bd5c94af8","datavalue":{"value":{"amount":"+0.8885235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$4EB3365B-C893-46A1-B640-804BD8D510B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56116555450514e67920d499a5585dbacb3c81da","datavalue":{"value":{"entity-type":"item","numeric-id":3105096,"id":"Q3105096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6231860cc2442872879751ec75e317a2254e9124","datavalue":{"value":{"amount":"+0.8805469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$F69F419B-9F74-42AD-BC45-A6209478BD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1047138191561bf09ae2c1ad9795c33cf3afb6","datavalue":{"value":{"entity-type":"item","numeric-id":3007578,"id":"Q3007578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91c4679ff887603f958ebcaab3af074496e07ee","datavalue":{"value":{"amount":"+0.8698689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$1351332F-7B44-4889-884A-A1A16EA19C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56faf83dd3c35ff4fac6f2853c0146890c0ccc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3093873,"id":"Q3093873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f1e68349ca92e624055dc4b3e51584eb506354","datavalue":{"value":{"amount":"+0.86863005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$B7DA62F7-BEA3-4680-9756-E8A59BAE75DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cce920360744d9d3626ff4767dcbfc4d1e4fce","datavalue":{"value":{"entity-type":"item","numeric-id":2945651,"id":"Q2945651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613a2a3a6a588d4b8b6e0b199a287231706eea3e","datavalue":{"value":{"amount":"+0.86480427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$E83F0755-1F94-416A-A921-1D7F3CC16CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba36fde3d46f584cd2580b22efabfed2b1db2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5044773,"id":"Q5044773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ba5d8eded71cbc8dd5a5c201d573b4b8f5536d","datavalue":{"value":{"amount":"+0.8623243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4347376$005621BE-F152-45B8-9A13-729C546C69CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4347376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4347376"}}}}}