{"entities":{"Q2799749":{"pageid":2810487,"ns":120,"title":"Item:Q2799749","lastrevid":52505453,"modified":"2026-01-22T20:12:46Z","type":"item","id":"Q2799749","labels":{"en":{"language":"en","value":"Mass problems and intuitionistic higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6568533"}},"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":"Q2799749$2E26073B-FF15-4050-9B2C-C1629C82E02D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5fd5c66f5c2649a484c4b78c39eea92b5f267cb","datavalue":{"value":{"text":"Mass problems and intuitionistic higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799749$AE737111-A3F0-49F7-A18C-E847FC321639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8db87043a549b546eee8fe14933cf995a84ba25","datavalue":{"value":"10.3233/COM-150041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799749$E0D7E060-BF68-4F65-8B3E-C63664B91793","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b741be245ca190eb736cbc2e6e8fdc72d29e36a","datavalue":{"value":{"entity-type":"item","numeric-id":2799748,"id":"Q2799748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$D8A3565A-5857-49BF-8B23-98FAD8435CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$76AD6867-34BB-45EB-9194-CEAF9DEA1492","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$06C58AE2-EA87-42E4-AF06-2B61F34B7083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-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":"Q2799749$7B9B008E-31DC-4BD6-A7BD-C4F360FE9879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa2a74077361fd14befb352c571bca6f2b2f3ce9","datavalue":{"value":"https://arxiv.org/abs/1408.2763","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799749$495DCB75-48E4-476A-B24A-F166F53D9BC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799749$C352F8AD-B1CD-4DD8-A75F-6DC1630DB464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799749$04C0E6BE-AC5B-4F27-AD5B-EC20D1675492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799749$68B6F3EE-F4DC-4629-9547-D09974F1B99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799749$E192050A-671F-44F6-B425-7A50618DCFE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e76702df451f7ae01e2c6320782b94dbf31aa40c","datavalue":{"value":"6568533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799749$323A4CE7-0A16-4667-919E-83B15F9885C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$F5484B3B-0BCF-4D55-91ED-712D24F652B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6736ba1867d3d06256160d994aac4383b26f8f93","datavalue":{"value":"Muchnik degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$AE84AA77-4503-4664-8995-7261F4DD6353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf59e1c035a7972e347405391b1e974fed4bebe3","datavalue":{"value":"mass problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$1EFDDD19-3F62-4AEF-BE00-D7D1382A8382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$9E262887-5253-48F2-9A42-E971E1282053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$E2203D1C-B5DD-4F5C-ADA0-C7C26D37A25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$E3915427-21D1-4F08-AA8F-E9C763EA20F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$B8D5F30C-5D08-41F9-A13C-2076F1A35753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$60F8FFC1-1DD7-4AEA-B790-C54239A819C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8644bd21e0531822b8dd6c0ded542d96f37e6a21","datavalue":{"value":"sheaf theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$A74423FC-CAE2-4A63-BFD6-B4FAFD37AA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6360b997d0516342e57669d80d77ab4291bf6f","datavalue":{"value":"Kolmogorov","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799749$D2CAFA1E-82E6-4938-9652-F03F46C46EF9","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":"Q2799749$8A5D2D12-6D14-4AFB-8971-B73EE5BDEE1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$7C4DBA45-7895-4DFC-A0B3-870029B977B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e325c06eecd21225eea3b9ca66da34fa363fb24c","datavalue":{"value":{"entity-type":"item","numeric-id":1582231,"id":"Q1582231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$86AB0654-EB00-4124-9800-EC4C7183B64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$1E6631D9-85B6-499E-91AB-810384917F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$7B739B16-F7BA-4100-B6DC-E22D7C64242D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa46485644f9feac426962a49840249831193a4","datavalue":{"value":{"entity-type":"item","numeric-id":385809,"id":"Q385809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$6E5A7F6C-F18A-4388-922D-D0BAF1F860C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccea3085d1a99452f4b762c746959e4d143edfdd","datavalue":{"value":{"entity-type":"item","numeric-id":387125,"id":"Q387125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$D0FA8095-EA49-46E6-BFC8-B8E8B7CF6DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57dbfeb894648d79283f5525d4b60ce88ed55b0","datavalue":{"value":{"entity-type":"item","numeric-id":5593817,"id":"Q5593817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$F5C03C21-7F8F-4226-8C02-AFC2D85A8CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd34dab55d379fa497df89abc78b357b6d5cd6d","datavalue":{"value":{"entity-type":"item","numeric-id":929629,"id":"Q929629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$8B14BA7A-B9AC-44BB-AF87-E167C6F72706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4d85cdd8434f81cb112cb7e12729480e909ff9","datavalue":{"value":{"entity-type":"item","numeric-id":765664,"id":"Q765664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$BFDF06FF-BC24-4EFF-8041-C1A62DA4C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb296b57f05481a5adb949bc86eb61ca8f226f5e","datavalue":{"value":{"entity-type":"item","numeric-id":412013,"id":"Q412013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$E59ED2B8-D5C8-44DC-AA49-3B0249A87763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db4fd00cc3cd3c7438a8a222ad4dc94020320d2","datavalue":{"value":{"entity-type":"item","numeric-id":5894815,"id":"Q5894815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799749$0D074CA5-39B6-4A92-9338-7E7FEF04777E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f148c422907475282e15145e0427c894095d58","datavalue":{"value":{"entity-type":"item","numeric-id":897478,"id":"Q897478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f70940b134004d998d3de9b9cb6a2609997f808","datavalue":{"value":{"amount":"+0.7670440673828125","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":"Q2799749$153D6B36-CDAE-4E5D-82EB-0A95B5C2A1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39fb22afb2c6db7db9971ec136d6fb8032f07f4","datavalue":{"value":{"entity-type":"item","numeric-id":3195683,"id":"Q3195683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85f03757a2c418b99812da84e539f98d063da80","datavalue":{"value":{"amount":"+0.7587987780570984","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":"Q2799749$A6CF9532-C04C-41A4-BEA2-E56C3C25EDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed54709a6f673f644ce42b4811f4136a63885141","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f4efbb6deb389e5f95b95960643e9678f99de8","datavalue":{"value":{"amount":"+0.748607337474823","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":"Q2799749$A1F9AB2F-0877-4E82-9D15-9A6A3F88E76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70891ce77726899a62b89d20e8c6bc3b1f05a04","datavalue":{"value":{"entity-type":"item","numeric-id":929629,"id":"Q929629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fe553097f378abc6cd75d3976cdca1fbfc030f","datavalue":{"value":{"amount":"+0.7419026494026184","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":"Q2799749$22CD7765-5066-455E-AB82-532F3777633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d38cb7748524855889913d52d29af69ef5f807","datavalue":{"value":{"entity-type":"item","numeric-id":3985093,"id":"Q3985093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e0bd07a0365a0fc69672c0b53561775ece8ae8","datavalue":{"value":{"amount":"+0.7349019050598145","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":"Q2799749$83E1D62B-1FD1-4231-9E4D-4ED8AD636334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799749"}}}}}