{"entities":{"Q4370223":{"pageid":6399822,"ns":120,"title":"Item:Q4370223","lastrevid":46996017,"modified":"2025-12-26T00:37:42Z","type":"item","id":"Q4370223","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104350"}},"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":"Q4370223$E870FBDA-A84C-4409-8B81-5533F0E654F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f0c3a073d13e23926e7a25ddb08710501195b5","datavalue":{"value":"0889.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370223$14085B44-230F-4454-B803-274AA04C808F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370223$87401D23-154A-4383-9935-23577F1749A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da5ec653cd76b79075d7eca2361024c9b561613","datavalue":{"value":{"time":"+1998-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370223$81BBE0F2-B8A1-4860-BE0D-310B196859A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370223$EB622DD1-4A48-4051-98E0-E5D2BDD56E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370223$95ACE260-2C87-41AB-9BCA-9F6DF759A410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370223$0A90B96F-C29C-4C0A-BD6E-6FC90E2C50D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4a338c6f31b2b3e5a162b8000e444f4680931c","datavalue":{"value":"1104350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370223$8C3CBC1F-2C2E-4464-945D-01D6E3254DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229596e4bd0792cf8934836223eeb1432c0a9d68","datavalue":{"value":"Brouwer-Heyting-Kolmogorov interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370223$C7F8B468-0D59-49F6-8389-5127E1989CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8cdd61a9c8fbe7b32fd12c06d7ca3bd885963a","datavalue":{"value":"classical theory of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370223$ACD7CA64-A0D7-4AEC-B7DD-4469B2ABFF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b26e3457702832feb2c249bcf2ae732e116d8e","datavalue":{"value":"catch/throw calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370223$F32AA5FF-944C-44C9-8167-2446C3994C4D","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":"Q4370223$29B66201-6E04-4757-B899-FC7EAD44C7FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246c50d34094169bc7129cdb5a2dd1be23e22ceb","datavalue":{"value":{"entity-type":"item","numeric-id":4703141,"id":"Q4703141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa636c812e330e1f7f4123536af131002c6e5dd","datavalue":{"value":{"amount":"+0.999456226825714","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":"Q4370223$D023B393-4AAA-4F7B-B505-FD62B8FEB585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc857418e348f60f0cc237b1d60472ce957f6fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4463988,"id":"Q4463988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7f1fc7b47afed5194b4550a124e7427999bf2c","datavalue":{"value":{"amount":"+0.7583327889442444","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":"Q4370223$5E6F725D-5BCC-452D-A822-B7BA2DFABC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eee761d350055cecaf5aeb7ffc1e23fab36fb66","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454be1d7222012029582304dd2125d723da684a3","datavalue":{"value":{"amount":"+0.7162880301475525","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":"Q4370223$C12BE1B1-3924-4095-987F-BA7DCC2386C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bd06838364e417808839d3cc7ceb7d065837a0","datavalue":{"value":{"entity-type":"item","numeric-id":1762729,"id":"Q1762729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520a58610e2b7170da801811686072fbaa6383d9","datavalue":{"value":{"amount":"+0.7124112844467163","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":"Q4370223$18A12B61-DFB9-49A3-AF55-78FA178FBD52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370223","badges":[]}}}}}