{"entities":{"Q5871575":{"pageid":7901126,"ns":120,"title":"Item:Q5871575","lastrevid":97714022,"modified":"2026-06-05T15:16:35Z","type":"item","id":"Q5871575","labels":{"en":{"language":"en","value":"Almost all Classical Theorems are Intuitionistic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7644261"}},"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":"Q5871575$001572C8-9BF0-4277-9A54-9166E8C2D646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"043385648e5d251d16f4cda2c71d002ab34025f3","datavalue":{"value":{"text":"Almost all Classical Theorems are Intuitionistic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5871575$724BE92E-96B9-4AC8-94B8-6AFBD1AF958C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$DF5960A7-5E34-438D-94F9-1BDEDA61CD4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$AD5BBCA8-DBBD-44E3-8E5C-E269F791EEE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b55eb1439ef3a3c6707cb36786e753a67d9d02e","datavalue":{"value":{"time":"+2023-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5871575$ECE5A2C8-AD02-43AF-AA08-2762EE3A8B24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3021b3710812f3b06f093d97ce1644f4d070b54","datavalue":{"value":"https://arxiv.org/abs/2104.06723","type":"string"},"datatype":"url"},"type":"statement","id":"Q5871575$F8044A11-02F5-46AD-8D6D-C6E8D4D08867","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c7162d79408fb706cc35871b421509dba08bf67d","datavalue":{"value":"11B73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$3403DAAE-8D09-4399-AEC1-7F82810FADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$1612CCEC-5B92-4090-BABD-F2F1A9F27DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$077AE849-2169-46E3-BCCB-050AF024CDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f9920e258389d79a7ef76ef96a77d2e9cc60267","datavalue":{"value":"05-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$D37E9983-B4FB-4997-8C5D-87ADC3CB952B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d14893fa77b4ec04a99d0f941a9d485c417c68ad","datavalue":{"value":"05-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$1ED57DB3-6F73-49F3-BB86-E2D9BF82AD9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8874eddc2210cba6edc18db4cefb68acdfe5f63","datavalue":{"value":"7644261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$7B933F6C-7B45-44EF-AB5D-3AE38136D560","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$00884369-BD8A-4E27-AEC5-5197379C84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$15872FDD-DE24-460B-854A-1C47FB6475BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$8D81E7E5-35AD-4931-B7FE-63AC4D482C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93e221e61d1b5dd2fdd58ddee95372114709c92f","datavalue":{"value":"asymptotic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$36EF564F-2F94-42FB-9360-832FC4CF5E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6302409ec09fdeadc6bb9a580f9aea6765769730","datavalue":{"value":"random generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$C72DEC57-0225-4262-BD67-60A3DEB94F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c828a1a7bb0de26a0fa4ab3e8b864a4eb571c29a","datavalue":{"value":"Bell number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$6DCCAD57-A9C5-4E5F-B907-AE0FD84A48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea8621cac084335b9cbeaacaa8e8b52fea1fa67","datavalue":{"value":"Catalan number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$8BFF7152-B0E3-43C7-BEDE-DDB3F0460E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02ca9352aa2cb840761445b0db0f0368d6994b8","datavalue":{"value":"Monte-Carlo method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5871575$8D006827-EA02-4832-AE39-08094682E492","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$E77E6D99-24BB-474D-BD66-6D29CE856F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$9D2DA706-DB28-440F-8B97-DCA895A85B90","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":"Q5871575$C6E3ED49-43B9-4B97-AE49-A80C30104DB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1b658ab80a26673405fdb8d17cb9fe55e99ec81","datavalue":{"value":"W4226445544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$02072633-81AD-4E52-841D-2858B1AA404F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$31A794B1-EE51-4A2B-833A-7034A18AEC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$642565F2-4A57-4403-BA5D-54F7BBAD4D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$0F7A8734-F17A-41FF-940C-9A8EBF814ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1d324cc9019a698adf4b1a1a457ddc273746c6","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$6D452C71-E777-4F95-9F10-14EC37425C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc18661736fda7e6fa1768b1f4fa7132c7f49c4","datavalue":{"value":{"entity-type":"item","numeric-id":3499752,"id":"Q3499752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$47B03045-0DC3-4FA8-9103-F083203B2820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$F213A05B-5D00-49C7-AED4-82480F2E6CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55980f69e832281e17dc901971ca7693709ffc53","datavalue":{"value":{"entity-type":"item","numeric-id":4681162,"id":"Q4681162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$1CE992A9-C8EC-41F1-B13C-1F6AC1375CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fcce6a44af965cdbc113d4ce8c040baadcea7a","datavalue":{"value":{"entity-type":"item","numeric-id":3679220,"id":"Q3679220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$FFBE3484-C149-459A-BB6E-2246A53E8840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0195ee314eacacb29282b76d167784a0212c80","datavalue":{"value":{"entity-type":"item","numeric-id":1050341,"id":"Q1050341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$862CBDCA-59C9-4894-B148-AEF453F76075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6207e5d62d3bca9cc63559ddc081b2f00fac7bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$E429016C-FE27-442B-9813-0EC084873133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d441e5c1ad3d2b60232255cad79b43fd2833041e","datavalue":{"value":{"entity-type":"item","numeric-id":5020970,"id":"Q5020970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$15AC7565-AC90-4B20-A9DF-3F93F7258E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c783647d9c898f8b0eed0e1998fb27ef6933d706","datavalue":{"value":"10.1051/ITA/2022009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5871575$F2B3F956-732F-455E-83E6-873FFF5EA575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d30ba1210f65fc4c87faa1035d00c5a6eec79d3","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fb748c81a94cae6989707e9e134c758ea747fa","datavalue":{"value":{"amount":"+0.87398094","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":"Q5871575$96BBEAC0-A4C8-47EB-9C20-CDDB11CCBFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02570714d3f4b26522978cfef4de00afbb59789f","datavalue":{"value":{"entity-type":"item","numeric-id":5258475,"id":"Q5258475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d3c99a4fa16a0478a1de71a8e6dc95a636391f","datavalue":{"value":{"amount":"+0.8673557","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":"Q5871575$DF2D76B1-5746-49E2-B3BA-A8192A062FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afbf131c540cd6b041c529bc43f5ef8c7b1e964","datavalue":{"value":{"amount":"+0.86380553","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":"Q5871575$109948FD-C894-4FDC-B614-D942B15E0DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c1c54bfd5140b1a38cefe5f9ecea15c306608","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d2dba4127098294cfe9662ec854d2fc7c13749","datavalue":{"value":{"amount":"+0.8624611","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":"Q5871575$35BAFF6F-8546-4371-909E-1480AF147423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88a2c676a75b82faaa4e2fbdf7aa3686c4d71c7","datavalue":{"value":{"entity-type":"item","numeric-id":939055,"id":"Q939055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69535a148ef8a83a6cc6ced3e1049ddbf76c3e5","datavalue":{"value":{"amount":"+0.8559509","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":"Q5871575$9971EB0A-FB32-47B9-8627-943B5E0FE502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915097f7b017ab82cab7f36c130cd83e9e5e6aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1575924,"id":"Q1575924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96223c9c945e54d387a3adff187ac81283c11678","datavalue":{"value":{"amount":"+0.8531963","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":"Q5871575$3CECF1EE-FDF8-4F45-8684-816257A4539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf6d302e6bd3ae5f322795f23655336af43000d","datavalue":{"value":{"entity-type":"item","numeric-id":4735166,"id":"Q4735166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3a6aafd2b663b0ee74188b4577218e004294fb","datavalue":{"value":{"amount":"+0.851949","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":"Q5871575$BF7F7A21-B4B9-48A3-A315-BE53625EE78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e799ad033f23cb4bc17a27ae1b0ae39e096af5b","datavalue":{"value":{"amount":"+0.8495345","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":"Q5871575$29BAD3B0-5BA2-4676-AEFE-53FE78EEEAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c3814e9b17beced7df0893ebd8abe9058e12b3","datavalue":{"value":{"entity-type":"item","numeric-id":4635844,"id":"Q4635844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37359d9faf24e10c2bd6626af85b6633154b085b","datavalue":{"value":{"amount":"+0.8490478","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":"Q5871575$C7D5C488-ACA3-4594-902D-B4BD7C05416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d76abf2e84873ab40c7f8d002e89449fdc215f","datavalue":{"value":{"entity-type":"item","numeric-id":1923572,"id":"Q1923572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7eea8bff787ec75f1cd0eb82cfa4ca087b35df","datavalue":{"value":{"amount":"+0.8475593","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":"Q5871575$09F8BF1A-90D4-40DE-8BE5-AE3AA9F8D2E4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5871575$6B0E3998-D573-4B4C-AF0D-2A3ECD95FA9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Almost all Classical Theorems are Intuitionistic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Almost_all_Classical_Theorems_are_Intuitionistic"}}}}}