{"entities":{"Q4399719":{"pageid":6429318,"ns":120,"title":"Item:Q4399719","lastrevid":97109213,"modified":"2026-06-05T13:20:04Z","type":"item","id":"Q4399719","labels":{"en":{"language":"en","value":"Uniform provability in classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180614"}},"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":"Q4399719$4F7D8016-B0AA-40CC-B3E9-62D64E4424B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79aabe40d566c7cad2eb63a0cf06b11b85397729","datavalue":{"value":{"text":"Uniform provability in classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399719$0EE45654-613E-4168-9135-9BDAD7199313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a4561560c7e313d3aa4bf46d3e5c4c4ec8210fd","datavalue":{"value":"0910.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399719$D08AF15D-A08B-42E2-9BDD-5AA2B166EE77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399719$436C2AF8-566E-4561-A06C-1172A4A0EDD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca5f3a2c1d04c3bfd148f9eb1b9937c36c9646b","datavalue":{"value":{"time":"+1999-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399719$448F8FA4-8E0E-4048-8B55-EB716CF9B0FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"478e80c0333fe7b3391491fc56e055d1ae68d8f9","datavalue":{"value":"https://arxiv.org/abs/cs/9809014","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399719$6190DF19-462E-4164-80AA-555D05894DCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399719$A30E4EE6-FDD2-4D4C-B959-1F879CCBA755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399719$5970A67A-A1D5-4684-B916-1C9BBFF0575D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43951b5da3bbec9702f83eafb02de7ec01eb266","datavalue":{"value":"1180614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399719$8EDE6B46-3959-4549-BB89-D67F9FA2565F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399719$480B0793-DDF9-4BB6-8D94-197E56E49104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec05f82bc196ef9a82c1b3d81599110a79af121","datavalue":{"value":"uniform proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399719$FF93F3BB-D9F2-43E1-8D6A-F0634DAE55E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399719$895C398A-1388-4EDE-8BAD-0EC66D7D5F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e997fc0992f06afd54f85b846d16241c303cb2c","datavalue":{"value":"classical derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399719$DD84A2DB-C5CE-4114-BD28-8E04D57A25F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d9b8af93e45bace21f8cee35332c1b98b1f7e8","datavalue":{"value":"Glivenko-classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399719$CB6DA18A-4BD2-4A90-A7C5-AB2845C0B42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7213d5e9475facd992da03bb99ecd36cde3422d","datavalue":{"value":"intuitionistic derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399719$72B1276F-DD80-461A-BB30-5402E4C8ABAB","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":"Q4399719$6DC46DED-F48F-4A6E-92CD-E1F78E7BD34D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85293bf17d7896043399cf5c93ca7981ad49369a","datavalue":{"value":"W1966944960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399719$BACD01F8-94E9-4A15-AA03-A8039F9D1A26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c8f56f9624f5d4d025b588bb34fe206eef4280d","datavalue":{"value":"10.1093/LOGCOM/8.2.209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399719$30B31A24-2E06-4AF6-8573-7DCF71C6812D","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":"Q4399719$B84A56A5-11B6-4B6E-8592-C402C6E6E35A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac20f065715347c44d6430c9e8b0a7e73aa2d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4286216,"id":"Q4286216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b14af6f97e0684a485d97b851968e5eba033579","datavalue":{"value":{"amount":"+0.795293390750885","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":"Q4399719$6367B8AD-97D0-4AE8-B037-8F6D0F5B25C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915097f7b017ab82cab7f36c130cd83e9e5e6aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1575924,"id":"Q1575924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6499b60ae5b7d070caecefe45dcf8d943ca690","datavalue":{"value":{"amount":"+0.7894768714904785","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":"Q4399719$BD17CC87-48AB-4922-B04D-08E594AE0647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2056101460daf3b52d4de5da7eea08225f9c3595","datavalue":{"value":{"amount":"+0.7725284695625305","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":"Q4399719$7071E94B-544B-4053-9278-DCCDEFE08111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02570714d3f4b26522978cfef4de00afbb59789f","datavalue":{"value":{"entity-type":"item","numeric-id":5258475,"id":"Q5258475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71282bf9befac8a5119e231797021da628a37d0","datavalue":{"value":{"amount":"+0.7657020688056946","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":"Q4399719$0515E8C0-6262-4E3B-8518-408A4DE2A118","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform provability in classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_provability_in_classical_logic"}}}}}