{"entities":{"Q5416147":{"pageid":7445721,"ns":120,"title":"Item:Q5416147","lastrevid":52001681,"modified":"2026-01-20T17:42:36Z","type":"item","id":"Q5416147","labels":{"en":{"language":"en","value":"On G\u00f6del's modal interpretation of the intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6296790"}},"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":"Q5416147$054D2C42-4F4B-43C1-AECF-127CC6913313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d93f9241153b528f3a4e9e69da164f9f18c5c571","datavalue":{"value":"1291.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416147$97CD0210-2CD5-4359-A26A-875DA36CD931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51574ab936c4a181fe93e3fe117f5b42d527b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":186038,"id":"Q186038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416147$33D718AE-2A6B-4F2E-B24F-6DD9C4FF3453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5770c1aafae9ffeb0718999c3ccf59ab418b7bfc","datavalue":{"value":{"entity-type":"item","numeric-id":631516,"id":"Q631516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416147$74F0F5AD-A4CB-42B2-B8A6-35FCD2A59AA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb911d7826bf657f5ad8afffdb96469f298c08d0","datavalue":{"value":{"time":"+2014-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5416147$9CCE4B26-462E-4881-B73E-C4876085AB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416147$2B37A94B-3135-44A8-B678-FAA0A957287E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416147$E733CF8B-9031-42F6-BA6E-A01081665523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416147$E662EF44-7533-47F6-9622-92372BDFCE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416147$6AD75F2B-0984-4850-BEFC-568211885117","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3e0076300637a4bf26e88589ca315f4e638bdab","datavalue":{"value":"6296790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416147$55A4D935-5710-4373-A22D-AA9E1BE03CAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b2cc0c3c82a7942365807c1a7e7780a8b57c32","datavalue":{"value":"G\u00f6del's interpretations between logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$2E60C5A6-9BA1-4F06-BC30-7EE4ECFF62EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$3395AB53-87DD-4AD7-AEEA-9E329649113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$790F4678-9D08-4D2B-80CE-94CD2B5D0BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$F7DB2503-AF64-4703-85FD-EB7380D109C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d1d0d849bd20b53ee145e98e6f48ee0c8b2731","datavalue":{"value":"relative consistency of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$677BB3D6-DE85-455B-BF5D-78BEEFE5508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c07db2c553e3265a5ceeb2e8796d2c6fde8c31","datavalue":{"value":"translations between logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$93FED810-1356-4DCC-A075-D7D4B5FD8B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294be15d3dc285dffc10595708c941085cc9eab8","datavalue":{"value":"conservative translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$163E4EE1-CE65-452B-B420-AC21E1DA9A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359df397a469cc306f9576d63e32f01ce0636b15","datavalue":{"value":"contextual translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416147$E69A5F55-BF3D-4625-933F-D2420C812D21","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":"Q5416147$261BF51E-6BFC-4CC2-9BE0-E93BE8A290A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f952d1a24c61678e45539dd7eeb5f68dedbec102","datavalue":{"value":{"entity-type":"item","numeric-id":3686710,"id":"Q3686710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0967e14b531a8acd3121fba1dac4b7c642b8672","datavalue":{"value":{"amount":"+0.8047550320625305","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":"Q5416147$35864DBD-059D-470F-89FC-AF58CC587D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af3d6ffb19ffd468ac2d7b417ff4d927475a072","datavalue":{"value":{"entity-type":"item","numeric-id":5283965,"id":"Q5283965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7f9fe653bde8f49bc870eac317c9d8c161b76","datavalue":{"value":{"amount":"+0.7884069681167603","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":"Q5416147$2448566A-B3E9-4B2A-90CB-1CE17A953F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0d0fa343c0b96a269f5396808d56db680ae857","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7f9fe653bde8f49bc870eac317c9d8c161b76","datavalue":{"value":{"amount":"+0.7884069681167603","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":"Q5416147$F4B6AA6C-AF17-4ED7-BBD1-02D659943610","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":"0abf73f788ea059aaa3aced2ad7da44ec9faf9ec","datavalue":{"value":{"amount":"+0.7863674759864807","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":"Q5416147$8F08A243-EEE3-4808-A2E2-2ECDAD04A58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09988a222abae9cdc9b6d23223877f09c66dc240","datavalue":{"value":{"entity-type":"item","numeric-id":4001984,"id":"Q4001984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e8cc050a441686a17f2fda3d97a268f7b52c86","datavalue":{"value":{"amount":"+0.7823901176452637","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":"Q5416147$B15DC86C-02BD-485E-A09A-B3768378378D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5416147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5416147"}}}}}