{"entities":{"Q2804319":{"pageid":2815057,"ns":120,"title":"Item:Q2804319","lastrevid":83461931,"modified":"2026-05-07T08:10:37Z","type":"item","id":"Q2804319","labels":{"en":{"language":"en","value":"Proof theory of witnessed G\u00f6del logic: a negative result"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575032"}},"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":"Q2804319$0AE1BA3D-14F8-4169-9F70-58F49A3293C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"729a55fb1768edea98940b01ec16dac971ceafa8","datavalue":{"value":"1444.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$14CD8927-7864-4981-B4B3-2A0675D87185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804319$456ED346-1CB4-4398-85C1-4ADBABCF8A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804319$FE570009-833B-4408-B110-DA08655D3222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804319$D594AE44-8CFC-4256-844B-466EB114A974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$B1267774-5278-4CF0-BC2D-DB22A554B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$11F4CB50-1A4B-4E2C-80BA-B7950FE1F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$5C551C08-7F8B-449F-9256-F946335720C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f5d868ac4dfe94f803fe558fb54836b2143c32b","datavalue":{"value":"6575032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$CCE43BAB-0161-44BA-95E2-1565573FED55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79775b766bd6ce8fead0db67fa67bd99882ffdc0","datavalue":{"value":"analytic calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804319$224E864E-1B71-402B-9C4C-48BD5B40B20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804319$561EC61D-E70A-4D0F-A98A-C55A2E688D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804319$3753A0C8-8A2F-40B3-A8AE-4B2CAA53D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb891ddcec55f58aefb7b426349416fd2eaf2b3f","datavalue":{"value":"sequents of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804319$A445A4B0-8C84-4374-9C18-49E526AFFDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4875bd8bdd707a32b78fb20ec96ba6227702fa97","datavalue":{"value":"witnessed G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804319$2660F74A-E86B-4C07-9767-F5E7C426CC79","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":"Q2804319$FBC09A45-E47F-4B67-B2F9-24956894F26D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"187413e0afc89568667021b3f380bc25dc8e4ec7","datavalue":{"value":"https://doi.org/10.1093/logcom/ext018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804319$B54B47B3-E261-4913-AE14-FDE7BC0721F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa71da97a3b92c17a330877e2074cb9e58c99365","datavalue":{"value":"W2070034251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$7D9995E7-FF7A-446F-BA14-1825768D29DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c1ac5387a896fc5efa262b30961ff2bb25b20f1","datavalue":{"value":"10.1093/LOGCOM/EXT018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804319$0D3D26FD-6E1A-4C0C-950D-29E30690759C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829489ba5298ae5d7ef5c3b95a0ab44c99432256","datavalue":{"value":{"text":"Proof theory of witnessed G\u00f6del logic: a negative result","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804319$6FF3C807-6D8C-445B-B507-BD3D157E8C8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804319$5A4B9326-9A8B-4878-BB84-0812C0F78968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736cff3ce74ebe8e4e7be4b9344f691ed0650afa","datavalue":{"value":{"entity-type":"item","numeric-id":4914412,"id":"Q4914412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efa46c041435dd62967505a10c8ef83419ec8d1","datavalue":{"value":{"amount":"+0.8003342151641846","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":"Q2804319$3EFFA7AE-7B8D-4436-B737-254961AD2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ffc46a8f4ae90cee7fc39c8ba5f542f9a97319c","datavalue":{"value":{"entity-type":"item","numeric-id":1035647,"id":"Q1035647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a7f4c47c5cdbb211dbb2f98bc565b322df6ab1","datavalue":{"value":{"amount":"+0.7944543361663818","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":"Q2804319$601D8072-05B1-425D-A35F-2629169E9853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a195dc3816293cc96c1c7077a8bebc888efe75","datavalue":{"value":{"entity-type":"item","numeric-id":2721191,"id":"Q2721191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74732da43df3b6c044ab79c4c04d56434cd7f517","datavalue":{"value":{"amount":"+0.793958306312561","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":"Q2804319$52DFAF4E-FF42-4435-81FF-CBE931FF267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e02534ac3b7c0b1c45f1f839ce0a69b53ac6d80","datavalue":{"value":{"entity-type":"item","numeric-id":3097870,"id":"Q3097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8413d7297fb4c1e924a23704d1c3b0e54c6b51be","datavalue":{"value":{"amount":"+0.7920746207237244","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":"Q2804319$62601DC5-31F3-449D-AB76-28CB6D992F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f503e3a02f03e5292f38db47055df28fa0333f0","datavalue":{"value":{"entity-type":"item","numeric-id":1677040,"id":"Q1677040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40575a9af15e6bc46aa179eebc4e687857f06ba7","datavalue":{"value":{"amount":"+0.7835128307342529","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":"Q2804319$D6C351DE-2D52-49A1-9622-3456DDA2F144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of witnessed G\u00f6del logic: a negative result","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_of_witnessed_G%C3%B6del_logic:_a_negative_result"}}}}}