{"entities":{"Q4888341":{"pageid":6917920,"ns":120,"title":"Item:Q4888341","lastrevid":40803970,"modified":"2025-04-04T19:23:29Z","type":"item","id":"Q4888341","labels":{"en":{"language":"en","value":"Decidability in Intuitionistic Type Theory is Functionally Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910449"}},"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":"Q4888341$968ECEF3-DEA1-4913-950F-0624D8EDB916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"488f71e0589b2ce75bed52968cf00bcdb064e38d","datavalue":{"value":{"text":"Decidability in Intuitionistic Type Theory is Functionally Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4888341$ABD67739-5549-4EF3-ACCE-9C604957BBE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c08548c3bccefde6ca7ac3937376104c937745b","datavalue":{"value":"0854.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$63633EDD-F443-4CF1-8188-20B0B8D0499D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4888341$DA23644F-8E5A-4D56-9BF0-566F430C5EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4888341$7C657121-8156-4CBA-A39C-BD987560D9C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4888341$D5DD8524-94A5-46B0-81EB-BC447C788661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$2C1D30C6-7F88-402A-A75E-DBDF05240D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$F5616ACC-FF8C-41AA-A8BC-2C0F158CAA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$58159170-2BC2-4304-84BF-A38F98189BF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f2d9d2aea82f1be697a9c55be7700df8852b151","datavalue":{"value":"910449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$D879CF48-6EBA-485F-898A-D68FBFEC6F8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b72d45d1eaa021b7a9db71515f2f306e9fb015","datavalue":{"value":"intuitionistic decidable predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888341$88442189-96AC-4A0B-8963-2D0E928BCDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a1bc476bf1b0792416e3dee5ed7406bec2ad8","datavalue":{"value":"Martin-L\u00f6f's intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888341$2A98E67E-B6BB-423F-A2FC-D52C730ED723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00271a305cc890884c179ebecb03288f416ef1d3","datavalue":{"value":"decision function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888341$9FE5666E-EE87-42CA-A331-1E823EC4E8C3","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":"Q4888341$6CFDDA86-C8F4-4E29-BD01-E1B6545F76B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb3cf6a0549ec80fd500ca06e54cf9ab4bc6524f","datavalue":{"value":"https://doi.org/10.1002/malq.19960420125","type":"string"},"datatype":"url"},"type":"statement","id":"Q4888341$DA97DF30-00F6-42FF-AAFE-47FABA25CD37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"536801d61eeb50ed0b3eb5e3aff2deec26545d11","datavalue":{"value":"W2142989946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$6E0EF207-01DC-48AA-A322-E1F291A42D10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4888341$35D16C12-57EF-444D-854E-666CEA1BEEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4888341$6B2B5795-36FB-48C6-A2A5-B9EDCD9D83E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71ebb6bd0e886d3941b0048422586819288fa736","datavalue":{"value":"10.1002/MALQ.19960420125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888341$7F56D3C7-9EC0-49B6-BB0D-B5E178937315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d465d27195e9892d22a7f9681fc405b78c0dae16","datavalue":{"value":{"entity-type":"item","numeric-id":365669,"id":"Q365669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a05dc65b88f139713b3f1b9a537c361d2ad719","datavalue":{"value":{"amount":"+0.8758476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$872050B5-5949-4F61-BB69-43A83776E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a19025d376cf0dd9730ec44964384f40e3d86b","datavalue":{"value":{"entity-type":"item","numeric-id":3024843,"id":"Q3024843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f02b9592c77d4c2d260ab8f9a1707f25f188170","datavalue":{"value":{"amount":"+0.8690707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$EB541BEE-60A0-454F-9DFB-BE2E4BC11934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac79f3b2c343082efd0018d47de61eeb890a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897364,"id":"Q5897364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ba8b4e16e2b6c88a1c789a008511eb9e75d1e8","datavalue":{"value":{"amount":"+0.86511314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$0B9C41FC-C037-4805-BBB7-2C4E42ACBA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a118a4ece8b2c99ea89a5fa8f825fe971e3d149e","datavalue":{"value":{"entity-type":"item","numeric-id":2958550,"id":"Q2958550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe25ed78d6464ff9cfeac89e42000867748893e3","datavalue":{"value":{"amount":"+0.86465657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$F351D35C-AE0C-46ED-9138-9BFE7719B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cf47cbb470274af9aa33e3c7d13f279a7e6dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8dbb0e48c38ba814369bb850c72e474189a84f","datavalue":{"value":{"amount":"+0.8645301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$7872227A-C1F7-4E65-92B4-5850CB220CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0f5f0752a238d9d0c41c86e1ea7bd1cce26476","datavalue":{"value":{"entity-type":"item","numeric-id":5212035,"id":"Q5212035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025e24c386d1ed1070c7110f5ddc5e8834662f1b","datavalue":{"value":{"amount":"+0.8629709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$0AB4817B-DAB6-42E5-9B35-BDDFEAABF60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843dd023fef806969b5b822fbbbdfbd02483bfd6","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2ac5a21fbe8634ec5e935b57ecf2a1b4ea28cb","datavalue":{"value":{"amount":"+0.8627888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$5BD75F3B-D162-40D5-A58B-54507A51F458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ec0f7c62ab03b0121125d04630c70d98400011","datavalue":{"value":{"entity-type":"item","numeric-id":5308688,"id":"Q5308688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fb0d685ad98af0835ff52d65bd8f76b3fdbe4c","datavalue":{"value":{"amount":"+0.86188525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$FBA5EEB9-9C3D-473B-AC87-DA80286F6D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d7b494de9af0c37da57f11535d77f84b2504d8","datavalue":{"value":{"amount":"+0.8590725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$978E3C68-673D-45C5-B741-1ACE408D1F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6241cd6d5a0029d1dccdce8a5f120261120426e6","datavalue":{"value":{"entity-type":"item","numeric-id":2013397,"id":"Q2013397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d16ca05f058d75fd1bee899ddbf7cd2897214ee","datavalue":{"value":{"amount":"+0.858053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4888341$3907E01C-5096-4866-AACA-9FF4B1F55813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4888341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4888341"}}}}}