{"entities":{"Q2958384":{"pageid":2969103,"ns":120,"title":"Item:Q2958384","lastrevid":85413428,"modified":"2026-06-03T08:07:57Z","type":"item","id":"Q2958384","labels":{"en":{"language":"en","value":"Decidable structures between Church-style and Curry-style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679824"}},"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":"Q2958384$A512D384-E721-4673-82D1-8814F6B60E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d336a4d6921d1ac150e9162a3d50da8e67d8bd","datavalue":{"value":"1356.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958384$4B1DDADD-8E30-40FA-A2F6-C589C7926FA1","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":"Q2958384$58202CBA-A4C9-4C8F-83B9-FD963FDBDFDD","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":"Q2958384$ABB46FE2-18BE-47F4-92A8-E6650360FCC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958384$35857C8A-4D59-4DBF-90B5-992C749C35A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958384$169A5DD6-7A5D-4DA7-9842-6FAF37DBD004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958384$E8532048-4DEE-4CAD-B301-5041FA00ACE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f16d7fe43534eef61dfd6ec840e37772a2d0bb9c","datavalue":{"value":"6679824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958384$927E8F7D-1FAD-4E79-A144-610656D6904E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29825f2934338cc177887a0481dab189239370aa","datavalue":{"value":"second-order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958384$6F35B269-4800-4418-A09B-48DB0A9B748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958384$553E54FF-2E2C-480F-AB23-37DEF0602971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958384$DC81DADD-1BC4-43B6-9605-4B0AD6DB66C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962cfb4b5bd47fd68fbb779309e94c9c4238832e","datavalue":{"value":"Church style","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958384$1C442B08-8D30-44EB-94B9-748DAA0CCB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04ef87b87c3fbfa2d5f2f720e39b158d7ea7234","datavalue":{"value":"Curry style","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958384$DE63608F-90CD-4C1A-81D6-7C9150CFBBAD","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":"Q2958384$0A8E3D7B-C0C7-41A0-AFFF-8266457E6B9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e820641a398af1c828dc50b6abbf24421cbd5271","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2013/4062/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958384$B2CE09D9-39C1-436C-8964-A9B58B100690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a7c522012b17ed910837db33d71ef3a3e77c416","datavalue":{"value":"W2285247892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958384$3FEDDD56-6F7B-4A06-BD9C-64DA9C10F0AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acc173ca8c505579555ce2be1a02e0a1e10c2387","datavalue":{"value":{"text":"Decidable structures between Church-style and Curry-style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958384$559277B6-9A44-4C19-8D64-3C457F6DFCFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ec4a955aced58af77338eb8deef4fc1760a87a","datavalue":{"value":"10.4230/LIPICS.RTA.2013.190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958384$5D2D20B2-9FC7-4F50-A7C8-1A8908A72485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b93ff6b74f56e3b211afae393740eed257c003","datavalue":{"value":{"entity-type":"item","numeric-id":4249223,"id":"Q4249223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ae4b2dec2ca6c5da353079df9d010f326fe790","datavalue":{"value":{"amount":"+0.87089515","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":"Q2958384$408F0FA9-BE24-4888-B8FC-0838F347B06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94220609699c3b83e409b77c8fee41b75ebf9832","datavalue":{"value":{"entity-type":"item","numeric-id":3644764,"id":"Q3644764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00af1e9081f0f0d6eb674e356738356f0ee60ef","datavalue":{"value":{"amount":"+0.8466568","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":"Q2958384$C0AF50AE-26BD-4AC5-A500-6DC8FE3BE87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f02487093b360f17abd9d664a5ece60efaa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3816047,"id":"Q3816047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa63a70dade11d2b93591bb929e1b961b3758fb6","datavalue":{"value":{"amount":"+0.8465414","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":"Q2958384$175A9389-855E-4929-9F29-DA258F52F392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a1602d54b760ceb3439a83153ad1f749ed4ee","datavalue":{"value":{"entity-type":"item","numeric-id":402117,"id":"Q402117"},"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":"Q2958384$6FC5D5DA-EC29-4926-93E4-A10ACB9A0FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1df56454248e362964275f7bc48e7b218574ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4392083,"id":"Q4392083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92772ac23f38322cf059b046e1260488e2c8dc89","datavalue":{"value":{"amount":"+0.8304349","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":"Q2958384$F3E69990-0C7A-4A4D-9BE3-931F3516F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2164ba8d5d90f07418db704a012d16a10a82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":843596,"id":"Q843596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31825c910e54bae9d5c18f9c17b6de68e79f6d9f","datavalue":{"value":{"amount":"+0.82363266","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":"Q2958384$C2C41B8C-0A70-4380-8470-19C80313EE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c24df20547cc2183aea96037f16e2f9fc32dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3785896,"id":"Q3785896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b585ced3e9c24075f46e74f1afa8d80b116d8e","datavalue":{"value":{"amount":"+0.8221452","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":"Q2958384$E707778A-DC9B-4A08-BB09-75E012C3E426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2e293e4ddb0540d39918f76fde2d1eded105e4","datavalue":{"value":{"entity-type":"item","numeric-id":2332060,"id":"Q2332060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f44ff279d893fa152180586268610750f38aeb","datavalue":{"value":{"amount":"+0.8221061","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":"Q2958384$BEC578A7-64E6-43FC-8D14-7A970BCF623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8052d035c8e4728bae6a6352f5c139bf48fcd","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb23fd057c5f4b564ac811f463e4b04ecee8488","datavalue":{"value":{"amount":"+0.8208615","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":"Q2958384$A31ACA6F-6594-492B-A651-924657FAE79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f7c4de5b7740d9abe1dd44dc9d6f2343f07d49","datavalue":{"value":{"entity-type":"item","numeric-id":4451633,"id":"Q4451633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb9301493f3a87f1571d07bef983adba294748a","datavalue":{"value":{"amount":"+0.81797206","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":"Q2958384$A3214336-0156-4E8D-95AE-5CA8B09F51D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable structures between Church-style and Curry-style","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_structures_between_Church-style_and_Curry-style"}}}}}