{"entities":{"Q2900543":{"pageid":2911268,"ns":120,"title":"Item:Q2900543","lastrevid":84955244,"modified":"2026-06-03T05:19:12Z","type":"item","id":"Q2900543","labels":{"en":{"language":"en","value":"The G\u00f6del-Tarski translations of intuitionistic propositional formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059531"}},"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":"Q2900543$B051CA6D-597C-4E68-8CA0-A43C6376F99C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"962307d5023726e04001f4ee36ca49da3112e324","datavalue":{"value":{"text":"The G\u00f6del-Tarski Translations of Intuitionistic Propositional Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900543$CCF63FFC-2EE6-4730-BCF5-E9AB2D89EE72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aaae933399939d96766a62f424ddfa4013eab76","datavalue":{"value":"1357.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900543$F2CF130C-290D-4DCE-88F5-E4FAED5532A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e375766c42d79dd886a128dea9365031ae896bf1","datavalue":{"value":"10.1007/978-3-642-30743-0_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900543$CF258994-AF70-4CF6-BA2F-C6170FF3F126","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa733e1850763709bc9073c4421e2a032d1dee93","datavalue":{"value":{"entity-type":"item","numeric-id":2900497,"id":"Q2900497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900543$39A02CFC-F572-4C5A-9DCF-30D8E98B3F40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92b609966e3495f45f2960464f0beccd37f30b2f","datavalue":{"value":{"time":"+2012-07-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":"Q2900543$FE18A27C-17AF-4344-B883-F8B256D4AF65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900543$A7388C8C-CDEE-4C39-9137-F51DA73DD724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900543$C2C192CD-E184-4019-A687-938DF2EF18EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e99bd9227b33ada82d3e855c5976863ee21d08","datavalue":{"value":"6059531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900543$B4535895-EE72-465A-AB07-1F9DFF15FAB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900543$5632CB94-FAA5-488F-8F11-3A36D1FB098B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900543$625E2FFE-1721-464D-8416-D52F58DF82EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4ed4d14b14ee0927a71f2185cb04a52af3c4c3","datavalue":{"value":"G\u00f6del-Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900543$C33C0C24-4863-4AD1-B35D-BFB8A79E8669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900543$8F137BB1-5709-404E-8DC3-61645C2159EA","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":"Q2900543$BB3B7822-52FD-466D-8351-4CBD934249D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2e87ffefded4155fad8ea442c844cea79494192","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30743-0_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900543$19A8AD15-21FB-48E5-86DC-1249158B5DD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c27e41a20ea020a7beab2d057f27fac923d97b6","datavalue":{"value":"W1824917990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900543$F2063321-F2E9-48AC-948B-EFF58233BA32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900543$416E87A8-5F3B-40AE-99CA-5364ABB2AD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900543$B4C848A1-EF07-4519-A6D2-7459D7EE37F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900543$798019E9-773E-4F20-BBFE-C7979137A156","rank":"normal"}],"P1643":[{"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":"87a8c90a2abf5c4e4fff939b78948513d28ece74","datavalue":{"value":{"amount":"+0.8693180680274963","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":"Q2900543$C7EA991D-FB1A-4131-9425-6FB7F22FF961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66188545c731d6eb53620fd9b47a463e4cb48148","datavalue":{"value":{"entity-type":"item","numeric-id":3410685,"id":"Q3410685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33827e9aaff2ae52030941582f3430bc83cdb8c0","datavalue":{"value":{"amount":"+0.8242962956428528","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":"Q2900543$91B83227-6C62-4436-BCCD-3D6C3F07187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939896e1966f98dc573a79af75b2c9c07c9ca83d","datavalue":{"value":{"entity-type":"item","numeric-id":5222518,"id":"Q5222518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfda67e8508f695fc368084ff3fb64ca563c68e","datavalue":{"value":{"amount":"+0.803673267364502","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":"Q2900543$6336E829-3C04-47A9-8AAB-32A624ED4388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e889ce7d2824bca47601b9178450c5dd4562391","datavalue":{"value":{"entity-type":"item","numeric-id":4204133,"id":"Q4204133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb3a82b6ff6e5ae2b64f0705312297da4eb7611","datavalue":{"value":{"amount":"+0.7896280884742737","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":"Q2900543$BE001C9B-4A26-4F0B-A5CF-5D4F6957C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99382cdef8ed2f484d29437f7ae5bea8b082b78","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91eac138e3cceecb34c173c9b5806877697390b5","datavalue":{"value":{"amount":"+0.7844354510307312","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":"Q2900543$CBB842F2-9A54-43F2-9091-4E5F34DFDAC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The G\u00f6del-Tarski translations of intuitionistic propositional formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_G%C3%B6del-Tarski_translations_of_intuitionistic_propositional_formulas"}}}}}