{"entities":{"Q2946599":{"pageid":2957319,"ns":120,"title":"Item:Q2946599","lastrevid":44767938,"modified":"2025-11-25T23:04:16Z","type":"item","id":"Q2946599","labels":{"en":{"language":"en","value":"Weyl's predicative classical mathematics as a logic-enriched type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483107"}},"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":"Q2946599$77450D13-C019-4213-9EB8-E734668F91FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"374e11a72e3c52f8f9336008bea4bcb9c2506bf0","datavalue":{"value":{"text":"Weyl's predicative classical mathematics as a logic-enriched type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946599$2561F3B3-BB23-4C26-A140-4A3457C95795","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82814203d913893493005ab36ebfb92b860961eb","datavalue":{"value":"1351.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$E0510DBB-2F5A-4544-B5FA-68B1CB157975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd0b43cbfc61a7d6a4e0cb6b2812cd7228b009aa","datavalue":{"value":"10.1145/1656242.1656246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$0B299A8A-04FA-4FB7-BD8A-EDB364AD71BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946599$7AC47464-54EB-41F6-A71F-B24CDC388001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946599$F17D2B6C-CD41-4586-9F37-5F9EA746448B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946599$4EB5D4A4-59E0-4679-ABC7-B29EA788CA4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946599$CEFF3508-4678-4F18-B97F-DFF831E02271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$756047CF-FD19-43EC-AC95-87F7311B64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$EAF72DD8-4D5F-42D2-BD11-1A050CE8D1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$D5637ECE-A6B1-43B7-86F1-1286DE066719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$2370E0D1-E088-4AA6-836A-886F15C8B155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c71fec1e46a6a9a64188053a3eddcd76e917eaee","datavalue":{"value":"6483107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$0E4ACEA4-73BC-4028-ABF2-8FC36B93F8BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab11c75e410536109a5ad44ddc08ed447d755505","datavalue":{"value":"logic-enriched type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946599$352D4FA9-0538-4E0A-A1ED-B212C7CDD010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946599$38F9AA52-7F99-41A4-BB88-84247F95B177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c447e8f4742efb77fa9cd7aff5678d7e3fd9c61","datavalue":{"value":"predicativism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946599$C1C4116E-2B9F-4322-A53A-539432D1E688","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0043252eab773bb3d2cd954b74fc157019506249","datavalue":{"value":{"entity-type":"item","numeric-id":19435,"id":"Q19435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946599$39CE4802-88F2-4280-B8A5-15D14BC449F6","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":"Q2946599$D8AE2C37-435B-4920-A72B-1DB9444C6C42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"233babd6852bbb27c26637992e43dc7cb80a6af1","datavalue":{"value":"https://doi.org/10.1145/1656242.1656246","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946599$42B3F0F1-EB78-4D2E-A62C-2A6D9EAA2D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"403c955e24756c21f736ace0542cc8d8cdff0664","datavalue":{"value":"W2093863416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$523835BD-593B-44E3-9776-2D7BDD1D6CF2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8480b39102161487b8cee72e55b62b19dfe326c6","datavalue":{"value":"Q130871092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946599$5E27C0CB-D534-4017-AC7F-203A057844CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666741fd4161be4d2fbb37b8217e8e9e59720dee","datavalue":{"value":{"entity-type":"item","numeric-id":3612432,"id":"Q3612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q2946599$85A8BC19-B37A-440E-A82F-22AB7FBA0BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1ab5b4b8ee64bb40065351c58b8f75607601c8","datavalue":{"value":{"entity-type":"item","numeric-id":636367,"id":"Q636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e45d7d026b88ed80d252c2bbac672bce0196f4","datavalue":{"value":{"amount":"+0.92734283","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":"Q2946599$595DEA1F-DCCC-475F-9AC0-5E435C0FAC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82be4f64f3f477b605185fb7639e4e595f9a29c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263871,"id":"Q4263871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5244b63b214c5be4b3cc5d3091d90e7050f163a","datavalue":{"value":{"amount":"+0.88350767","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":"Q2946599$E7703772-EF0E-46E6-9DE4-32F8593A8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3eaa505eec6e7d4fe12ba55cb7d1374bc050d9","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2f89f3feeac1a641f4dcec76414a3c227ed2e7","datavalue":{"value":{"amount":"+0.87689304","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":"Q2946599$2E751276-AC82-45EA-9153-0F2FA603825C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47bef344b9c790ef06cb3a4312f5fd036c402f8","datavalue":{"value":{"entity-type":"item","numeric-id":4731167,"id":"Q4731167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d047698f1c2e7c10be382035f9d2b150741f2e","datavalue":{"value":{"amount":"+0.87487483","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":"Q2946599$795B808E-CCE2-4A78-BA33-88C02A94395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e79a2c12bbdc05f4aa72ec108bb5b2534bf0c66","datavalue":{"value":{"entity-type":"item","numeric-id":2487181,"id":"Q2487181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e128f81b8de657dd4124c63942457f62f8d1566b","datavalue":{"value":{"amount":"+0.8736382","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":"Q2946599$EFEF699F-F5EA-4250-BD53-9707CC75342E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db50635e467389f6d90b2657eebc850585f054e","datavalue":{"value":{"entity-type":"item","numeric-id":5472008,"id":"Q5472008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ceee8586247eeca2f9caccf548df46288c646db","datavalue":{"value":{"amount":"+0.87273824","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":"Q2946599$2E1F202E-85B8-4E61-846B-A4050499B7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb62472a5c6ef87c0d6d75c2df057c2bde5a48b2","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7108c4c045fa5ac628d62f5c9a2abf5cca393e4","datavalue":{"value":{"amount":"+0.8719227","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":"Q2946599$20425266-5BFB-4A1A-B474-5196EB7D6077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1f9693ec0d98ab2e06fbcb9c52d347a2c772d2","datavalue":{"value":{"entity-type":"item","numeric-id":2467212,"id":"Q2467212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481562b20b7f5b0645aa906835d61c8f9da91e4f","datavalue":{"value":{"amount":"+0.8714802","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":"Q2946599$60524FF2-875B-467B-81E2-1E6BE0501B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6009f229da9cc183ad7bbbc5dd4ed923406f6b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5862337,"id":"Q5862337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c66774004a706eb472268c71c28a99b6996a312","datavalue":{"value":{"amount":"+0.86847275","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":"Q2946599$50C19560-590E-4478-BF12-E312D79E730D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946599"}}}}}