{"entities":{"Q3094147":{"pageid":3104862,"ns":120,"title":"Item:Q3094147","lastrevid":45434650,"modified":"2025-12-08T02:31:39Z","type":"item","id":"Q3094147","labels":{"en":{"language":"en","value":"Arithmetical Completeness of the Intuitionistic Logic of Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961422"}},"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":"Q3094147$782A4AC0-CC31-4E71-BDF6-8FDF1DF1B683","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c270cd3fe82072dd0bf672794d04e26f648cbd84","datavalue":{"value":{"text":"Arithmetical Completeness of the Intuitionistic Logic of Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094147$42E968CF-152A-45E8-A8E1-91894573C207","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c9386f8895a663ac857e4118bbd06eb6cff6cb1","datavalue":{"value":"1252.03139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094147$39F94349-D5B2-4318-8E90-DC125D4C4F46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e37deadceff84c2c8eebdce71b222580c2d45c","datavalue":{"value":{"entity-type":"item","numeric-id":3094146,"id":"Q3094146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094147$B83A6E81-1F93-46A7-9744-481FEFBD8FF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094147$40BD0A8A-C66C-44E0-9A6A-AC57467AD99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094147$066A4A0B-8CFF-40FF-B44E-4096FBFCD076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094147$133CB393-4E9F-4E53-A4FA-171446472899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e18296d39bc3ba7ea5ed9e6a66d60556bc83c5","datavalue":{"value":"5961422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094147$77B56C93-FD0B-43DB-B7C9-2FCB17FDCACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094147$F4E3C681-1243-48F8-BF5C-5B825D0769C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094147$D6305E73-7875-4899-ABBA-599C5F78778B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe482273e305293356e93ecadbd9b1e669ce0e52","datavalue":{"value":"diagonalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094147$F9532513-2773-4720-98C0-0D9D8BC6C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094147$3BB1B093-6E93-4CC3-8ADA-88FF355E7B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5a0bb6e4eedbad9c2b95cc2ae12a569ef91f4d","datavalue":{"value":"projective formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094147$B8876A26-99AC-467C-806C-32E5F7C94042","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":"Q3094147$B34A9996-432D-4E44-91BA-3EC6DB2B38FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"752b5e419564d9020c8f0934d1bb6e8cc4f7f65c","datavalue":{"value":"https://doi.org/10.1093/logcom/exp041","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094147$12A9A253-3F15-4C9D-BCC0-1040D693DE0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca61335ee7956b59339f0b02c2cfd54ff4d3715b","datavalue":{"value":"W2093881948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094147$50DFE5D3-C03E-4A6D-B8CB-771FDFD93024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b281554f66d162aca1f43c6a002f45c263ee0b87","datavalue":{"value":"10.1093/LOGCOM/EXP041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094147$04F2C9C9-D2E9-4F0B-85F6-4165F9F8E7F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68734b37028af1980f6ab622e4bd5a0b671bae3","datavalue":{"value":{"amount":"+0.85047483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$40D9C472-B421-466D-B132-401E46318B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e0e096ad44d4b1aae609bffaae7b436943236","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61ad57ebb09c174fe1f4674e385d624c0fae458","datavalue":{"value":{"amount":"+0.8431008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$36AF9156-2E85-4FBE-B8F4-4512EC0D3B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b56a0447ac4a407d29c20e6dc8a494fb7b51aba","datavalue":{"value":{"entity-type":"item","numeric-id":929293,"id":"Q929293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ff8b9094325b5a4b4a88a009fe6b7a2544edda","datavalue":{"value":{"amount":"+0.8370462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$3E5067F2-3087-41C2-96BA-4F8858CFB5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06ea1f4d77ca1710797adfb4d4d41b3c6d0393b","datavalue":{"value":{"amount":"+0.8193163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$96D05E09-DCC1-403C-951F-8CA1B315398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f66166bebf532b4f7ccf833376ce160348b19","datavalue":{"value":{"entity-type":"item","numeric-id":4329233,"id":"Q4329233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dff35bc59feb5c20ad22a9a300eb9ca9fadf01a","datavalue":{"value":{"amount":"+0.8144146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$4D31BCA7-2C6D-45DA-9608-E786DEA94E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780e4db8b6fc18e8d02466a2906c4529c66f6d06","datavalue":{"value":{"entity-type":"item","numeric-id":3480016,"id":"Q3480016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bdf03e1fe9921e2481872bf7aa3913c4c3e67c","datavalue":{"value":{"amount":"+0.8124911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$4056D8E9-54BC-435B-AC0F-918267606320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cc15911e2e7efa373b4f4d438a47a37ad10a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3201044,"id":"Q3201044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565c8f01028af791cc6bfae89d17663b4467caa6","datavalue":{"value":{"amount":"+0.81100833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$73027B47-ED32-4FAA-8D19-C7E9F278681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbb36c1b3bdb4f4e0ce8e70ddd8069344a62e75","datavalue":{"value":{"amount":"+0.81037396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$68AF6E94-4500-4C0F-8E68-93D47EDD4071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c0efab7ca26a66cf1e90b1b88073aa6d8dfc27","datavalue":{"value":{"entity-type":"item","numeric-id":1823243,"id":"Q1823243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb11d11541b3ac6ff87d6f288557e384376a085","datavalue":{"value":{"amount":"+0.8055482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$DFC8205C-632B-43FF-B347-87360369F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fb2e12fed82321c05a349b6b8f65731f9849c1","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23e5f00757081599543cbebfd7805c853e98e5e","datavalue":{"value":{"amount":"+0.8043452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094147$72BC17AF-5400-4F32-831F-54AF6CAF8C0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094147$39E4AD8D-B14E-4959-8BA8-4EEA3949A6D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094147"}}}}}