{"entities":{"Q5028322":{"pageid":7057899,"ns":120,"title":"Item:Q5028322","lastrevid":98300741,"modified":"2026-06-05T17:10:23Z","type":"item","id":"Q5028322","labels":{"en":{"language":"en","value":"About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471472"}},"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":"Q5028322$BEB3ADF8-77CF-4772-ADB1-89B932E46D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"094cdb2df3cbbe85ea85fb24cff49e5a2c7fd4eb","datavalue":{"value":{"text":"About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5028322$7806A800-6E48-4471-AEF4-A4368B3C724C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef3f83b5be7a709f851a5de8e8d01061e550d67","datavalue":{"value":{"entity-type":"item","numeric-id":731896,"id":"Q731896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028322$10D5BA10-2025-462D-A236-586972900C87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028322$5106B615-BE4D-4FE0-9330-15FCB778ED45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028322$30B81047-61E4-4CF2-AD0F-16B1F8468DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028322$52D52A97-5CCD-4CD0-9869-4B0CA953D763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3d878d2716bd21b5e6674e7b897cb5e547c8865","datavalue":{"value":"7471472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028322$3FA06F71-5462-469B-8D57-FB10B90BF442","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b31c8eb8d288ddf7e35cbe56a30b77837a659f","datavalue":{"value":"semantic tableau deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028322$01AAB04B-AD00-4BE9-BB80-22ACB463FEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55691104b38fc9f82e850498a0f5b18209479a3a","datavalue":{"value":"Hilbert's second problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028322$A1E3346E-9893-4EED-AF7E-E175D1E41B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b13d24f3536c3324b2bdc3f20a8155cd866cf68f","datavalue":{"value":"partial revival of Hilbert's consistency program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028322$1960C094-7603-4A2B-B25F-3FF33AC2F8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43299aae00cb52c597c794c1c6e8cdf3aadefa05","datavalue":{"value":"generalizations of the second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028322$E1F3175D-D24A-48D5-B284-CEC8C2C7664E","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":"Q5028322$9F9019D4-5B7C-45C9-878B-5A101EEB7AA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a9af9a70b8015723416bea3d676568127df3d28","datavalue":{"value":"https://doi.org/10.1093/logcom/exaa083","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028322$D150755B-A658-4625-AA46-47444A1802AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e523da91f6ed93421489d98933ab87ae08a0f42","datavalue":{"value":"W3115293654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028322$ED165724-57EF-413C-B4E0-22FC1CA1A14C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddad289f6dcfd1e444adb6cf3fc85bc6ed5055e2","datavalue":{"value":"10.1093/LOGCOM/EXAA083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028322$CB223F3A-3C49-4CEA-885F-D9B1EE5CEA10","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":"Q5028322$77A6DDB8-142D-4969-AFEB-99AF339AD05A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b015ca932c498304f53c1239c2709d66acb365c","datavalue":{"value":{"entity-type":"item","numeric-id":2177593,"id":"Q2177593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773eeacb66f6eea6ac757e49692079aa7c8b7f23","datavalue":{"value":{"amount":"+0.9602221250534058","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":"Q5028322$48A8DCD7-776C-4FBC-B6FE-27D43E23748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6c70dec9c9d2bb4b09852ee589acbcb6f388f","datavalue":{"value":{"entity-type":"item","numeric-id":4412866,"id":"Q4412866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144c505062f85ff1b25f5c848016ebb1e206facb","datavalue":{"value":{"amount":"+0.8080036044120789","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":"Q5028322$666BDD4F-3D60-4DC3-A01A-88955DBD2701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f4541abffea4cfd0506a08e0bbfbc0bd86ba1c","datavalue":{"value":{"entity-type":"item","numeric-id":2500470,"id":"Q2500470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd705b97507f3cf24adf4f7a2ed80a3c7d5f0ad","datavalue":{"value":{"amount":"+0.7755220532417297","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":"Q5028322$3034E319-7C84-4034-82F7-90F7810E06CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7283ad3c14b77041ef0f08a2bd82f436f0fe922f","datavalue":{"value":{"entity-type":"item","numeric-id":2721211,"id":"Q2721211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1f341666df2e57e3aa76fddf88e4b35ef5df73","datavalue":{"value":{"amount":"+0.7260121703147888","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":"Q5028322$E6FBCBDE-9519-4860-9F84-66F83A758AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd38c53ff7172fd58ae1cb772f837c49d510e38","datavalue":{"value":{"entity-type":"item","numeric-id":5221590,"id":"Q5221590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d7207a05c8b087ae0401140e88d18b04691307","datavalue":{"value":{"amount":"+0.7204881310462952","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":"Q5028322$206468C0-5600-4F73-A259-B3591D8E5DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_the_characterization_of_a_fine_line_that_separates_generalizations_and_boundary-case_exceptions_for_the_second_incompleteness_theorem_under_semantic_tableau_deduction"}}}}}