{"entities":{"Q402117":{"pageid":403884,"ns":120,"title":"Item:Q402117","lastrevid":61623177,"modified":"2026-04-11T00:32:46Z","type":"item","id":"Q402117","labels":{"en":{"language":"en","value":"Existential type systems between Church and Curry style (type-free style)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6334957"}},"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":"Q402117$C61C42C0-7333-40B0-9C4E-8024D303D397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfd44f30a25ab10d5d524292c330dd44768b521c","datavalue":{"value":{"text":"Existential type systems between Church and Curry style (type-free style)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q402117$5E525681-502D-4747-BF6D-769BB95D6A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e65e18348029c61d37bc69d5835c97c56f283fd8","datavalue":{"value":"1393.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402117$465FCC53-364C-4B9C-BF30-72AD4FD60F72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$7DCBF829-5975-4C68-9889-DF6820872882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$8F8D88B2-CF6D-42D7-B5D6-A6EE176A8ADD","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":"Q402117$E3B5B0EC-FA84-4C24-AC9C-0DE912B5648A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"839eced7df0c4a631ff6c9629b85502b0309c881","datavalue":{"value":{"time":"+2014-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":"Q402117$8B0E87B6-5F7B-42DA-A4DB-3F2793821B49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402117$048ADC4C-9DEC-48D8-BBF9-0181F308CA4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e78cc31c06ee75d9c8186561e5251989bbc3988","datavalue":{"value":"6334957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402117$9B4E6BD8-21F3-449C-98B7-351F9EB69DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000a0af24a17a8e2618537958e1d4878d42da202","datavalue":{"value":"existential types","type":"string"},"datatype":"string"},"type":"statement","id":"Q402117$D1DE31FD-970C-4714-AECA-4BDB6D619B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q402117$70682D03-56C7-44DC-9580-BB364113A9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q402117$2C26CF0A-A1AA-4889-B5A7-FC6F8E4B4DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q402117$589294DA-0B2A-4176-BC2D-1A18680D4F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccdea10a99ff05cd465c9271dae642afb152309","datavalue":{"value":"type-free type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q402117$B82EBC5F-C442-4890-BA7E-39BBD701A5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361e8a7ead95547f8df39da9668ee48e6f78ceb4","datavalue":{"value":"Church-style type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q402117$2479B483-9E9B-4A89-B3C8-EC96CE54B83D","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":"Q402117$9A364D1A-69AE-4E2B-8382-C4211704D52E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77a3ee52e15214efb45f049540048515403ce957","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.05.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q402117$A6C3666C-020A-44D6-90DC-08C886D9F2A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"875d38c6fa092d9126ac7b767c271935b17d2a38","datavalue":{"value":"W2087096448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402117$27F71FF3-D253-4D2C-AE0F-216FF732B0AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34229a941aa42447cd668aa866cb41e2c57967b7","datavalue":{"value":{"entity-type":"item","numeric-id":2277244,"id":"Q2277244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$5636B88B-2C64-48DC-AB75-BCA86AB42FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed5b14a086787bebc35634de251ea7dadb5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4762953,"id":"Q4762953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$22582EC7-6213-4585-BD01-B8BCDA55734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16800e9b9b5c44b662ede0bba42871a43587aee","datavalue":{"value":{"entity-type":"item","numeric-id":5244821,"id":"Q5244821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$43170757-E85F-47E0-B9FA-97BEE2EB349F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a32c7af6cf72d9672a4ac24b0520c7f871f3d","datavalue":{"value":{"entity-type":"item","numeric-id":4536445,"id":"Q4536445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$77696456-4FF0-4EE0-92B8-CDE2542C61B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a04e996c6df68383cf21cf28b6b33c55e278d","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$06D6CFEA-4EB2-443C-8580-46574BCF91F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541254ee552cead13f9a145f7bbe983c79b261cc","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$70CDF356-0CBD-484A-906A-79D551C588FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a65e8539ee5f4d42c1b34a95387e4e3f74637d4","datavalue":{"value":{"entity-type":"item","numeric-id":690505,"id":"Q690505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$1F794998-5D6F-45B5-8DED-0F704DD74A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89ddbcbedbc2944384a44feb02b02519cd3b018","datavalue":{"value":{"entity-type":"item","numeric-id":2729625,"id":"Q2729625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$40C8C3AD-4F32-4182-9479-C5BC382C9F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52237542f76dae60353f25dab21f407ab4b0b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":5704009,"id":"Q5704009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$C10F6052-C6E2-4D03-8372-9563E402E1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f2a66a7c28c8bfc2ba1899bdedb7af80cb4db2","datavalue":{"value":{"entity-type":"item","numeric-id":1044830,"id":"Q1044830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$F301B2F2-BFE0-46FB-823D-D6B16E67EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30eece9bbafcf9bacb5ed064949ad5d50378e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5310662,"id":"Q5310662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$E5EE20C8-56BC-45AB-9FDB-EBA0F5E2DCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$72BBF482-438E-4239-8303-EEA7ABEE5F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4714151d6433009295b091bf40040bb50712ffb3","datavalue":{"value":{"entity-type":"item","numeric-id":1175334,"id":"Q1175334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$F33C9082-9261-4D5A-B793-2C7DE06B64F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff96c37a66afe1add790c14afe39b8faf5825da","datavalue":{"value":{"entity-type":"item","numeric-id":4133591,"id":"Q4133591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$A7CAB3FC-D110-4B04-84FE-27256747CD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$98C58FBF-7884-4948-87B6-04DCC92A5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5584693b565a61f331fe670971b2a9e8c0689c28","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$31DF1C07-47B1-4922-AC25-1130BB0A092A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e52b34e7a0a27283722efee4ee82ccc7985125","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$9BDC0D24-90A0-4021-97DE-09610BCC3E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$89101369-5845-44B6-8006-A469FFDCE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$8DB7810C-654C-429A-A912-4D3F6C8553B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c22b6daf354fe15301f0cd8cddc08672d619cd","datavalue":{"value":{"entity-type":"item","numeric-id":4885622,"id":"Q4885622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$AEC79458-3755-43D2-BF00-68B26C578373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$101D4A52-4950-46F8-9468-43453BCEF756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$FADC4F69-15FF-464B-B06C-D2D3F8A3EB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7fd8b25b50a5ad94a9db961851c1a3dc450842","datavalue":{"value":{"entity-type":"item","numeric-id":3976029,"id":"Q3976029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$2F96FE1D-780B-4EB3-BFE9-92A088B7CAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$12ABA3D7-4162-4E7C-96A0-0030D16E44CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402117$F1E8FD73-1755-4242-9187-5B36203846CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6ca1c70dfb4abdaad72f7a87d1c7d8edbbd148d","datavalue":{"value":"10.1016/J.TCS.2014.05.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402117$7F1DAB32-3277-43BD-B2AE-EE34EC106BA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435097cbf10b946af547dddcace077f5ee4893de","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb43a304b665c8f1882337dac1047aae4530c924","datavalue":{"value":{"amount":"+0.88489234","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":"Q402117$3BA260FC-80B3-4F29-9109-8E4AF71302F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec497a8de5cecd8bc048d7d74e743d8541058e56","datavalue":{"value":{"entity-type":"item","numeric-id":3086784,"id":"Q3086784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b559c3e08bef283f24f4ef409230f012d6ff93","datavalue":{"value":{"amount":"+0.87034476","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":"Q402117$FC71614D-F5A8-495F-9C93-CC2D617FF8ED","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":"62cf97d778e147d26863bcc88180761089db77b2","datavalue":{"value":{"amount":"+0.8614121","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":"Q402117$27FD9C0B-84C4-4371-BE9E-B00D3115D955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4ef10cca69d9efcb64686fbfea700c4fa2281a","datavalue":{"value":{"entity-type":"item","numeric-id":4738343,"id":"Q4738343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971d6554a5785e109532da45ab99da23253e1df7","datavalue":{"value":{"amount":"+0.85823876","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":"Q402117$74DA7832-EFCF-46E5-998D-D85DF7608208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fe626987fcede068bac9f41dc6de2d1ba9ea2a","datavalue":{"value":{"entity-type":"item","numeric-id":4736390,"id":"Q4736390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b0b6659a86035ac20542dcba4984687891f0a7","datavalue":{"value":{"amount":"+0.8549694","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":"Q402117$4FABCB52-3BBF-4A29-BE3D-7630621F2D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58e657fa108ec92890277c2cfa9da6365ccd0e","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f41f665fad93dc6d2d6ceaadcf9540da4f683aa","datavalue":{"value":{"amount":"+0.854285","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":"Q402117$78700415-ED6B-4431-9051-6645CB467A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949ec27568ff89c2fb087ac8a16f34e8e7e15440","datavalue":{"value":{"entity-type":"item","numeric-id":1127527,"id":"Q1127527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5d88630559c857ece2446e9b850858e5640f73","datavalue":{"value":{"amount":"+0.8473802","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":"Q402117$6FC7723F-1273-4BDC-8DDE-451627F12AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22719a175f93a22936d890d82dadc9c6624c3950","datavalue":{"value":{"entity-type":"item","numeric-id":2958384,"id":"Q2958384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59cc40f4f1ac80c2228fba6e310533dd2de8869","datavalue":{"value":{"amount":"+0.84132934","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":"Q402117$84851C28-099D-4DF0-B01E-22790C458E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff30d0d30f9664fc19a9db65fe235c61fdd7274d","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a54ef0cdc2bcd7953ac4506d07ef569ba76a6f","datavalue":{"value":{"amount":"+0.8391772","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":"Q402117$77E3F1C4-E30D-4B4E-8B0A-B5F812C4F3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6577df3ebb9387f7398fadc4d509e217c2c238e8","datavalue":{"value":{"entity-type":"item","numeric-id":3520148,"id":"Q3520148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dafecc2e7a36d61f0cd613229f9ef97716929b8","datavalue":{"value":{"amount":"+0.83891994","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":"Q402117$19E775FF-FFFA-440A-A3E2-FAB2F08AB2C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existential type systems between Church and Curry style (type-free style)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existential_type_systems_between_Church_and_Curry_style_(type-free_style)"}}}}}