{"entities":{"Q3496308":{"pageid":5526211,"ns":120,"title":"Item:Q3496308","lastrevid":49427137,"modified":"2026-01-07T03:33:49Z","type":"item","id":"Q3496308","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170862"}},"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":"Q3496308$FACD61E5-38B3-4369-9526-478D0E5BF764","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3b1468009b2ecd2a3caa86772d9e1f513d0a4fa","datavalue":{"value":"0712.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496308$B01411D7-307F-4E0C-AA2E-34B5D9BE3B48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3496308$5526BE99-04A6-4B1A-A2E1-95EEBA9A5089","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496308$C3B91096-ACBD-4BCF-BDDB-A5B01E470CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496308$5E763822-4F1D-4A87-8811-E585E9E334A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496308$20915B6C-BC3A-4195-9A76-01FE06D178A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d9ac04983e1b9126ae7541fed6fd9c535c65cc9","datavalue":{"value":"4170862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496308$09CFAED6-040E-4375-AAFE-8317AC4F4366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1a498c65b593a2f8cc5799a0ba351c370f508f","datavalue":{"value":"interpretation of classical logic in intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496308$ED02A21C-6E8C-446B-AC91-3779E625CC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496308$C8731FAF-1546-4DA4-B2AD-A0341B1D6B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1158862bb90fd90974e9cf323cecc353a68ceb66","datavalue":{"value":"Heyting predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496308$AB5595BB-CB35-4B94-9750-6C1341EFE510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496308$DFDE38A7-AEFC-47AD-9C64-0CD1AED63ADF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496308$98527688-BE78-4C69-B701-D3BAB84153D7","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":"Q3496308$460D97C8-0AA5-4701-AE14-C25445F5F9E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672ec8ece66170e3c96eda03448c82b0194333ce","datavalue":{"value":{"entity-type":"item","numeric-id":4295220,"id":"Q4295220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3697af0134bb035062af5d894028a7b0ff79a7","datavalue":{"value":{"amount":"+0.9192520976066588","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":"Q3496308$DBDF63D8-31D8-4F1F-A0FD-3659D7E2D598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5b04ccbc25d14363ce5493e88b79c61c468acc","datavalue":{"value":{"amount":"+0.9147993326187134","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":"Q3496308$8FBCA78F-4FFC-4996-8D80-8B77B34E4AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aee1ec643e5899bfb767d365cb9a9ff68993f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3745828,"id":"Q3745828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a730d4bdeaff90f148ac528224668b1563fe144","datavalue":{"value":{"amount":"+0.7979202270507812","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":"Q3496308$8FBEBBDA-0BBF-4A58-B66C-DFA9735182E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc04114c447f24afea79297b8b46f22aac7f28b","datavalue":{"value":{"amount":"+0.7850673198699951","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":"Q3496308$9EA7AC39-E83E-47C6-A55C-498BAD051098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca08ba0a45777beaa9c644294e17e3553b54c98","datavalue":{"value":{"entity-type":"item","numeric-id":2751814,"id":"Q2751814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd3c2c6dab18f9e2eb7e600596ff3e888413e88","datavalue":{"value":{"amount":"+0.7822190523147583","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":"Q3496308$4CF27A53-1804-4F0F-BB37-7EF2B8ABF5C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3496308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3496308"}}}}}