{"entities":{"Q2177593":{"pageid":2188336,"ns":120,"title":"Item:Q2177593","lastrevid":53725391,"modified":"2026-01-25T15:07:09Z","type":"item","id":"Q2177593","labels":{"en":{"language":"en","value":"On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197418"}},"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":"Q2177593$AA4C1104-4CBF-470B-A149-6C6B725001A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f53c7928ef0fca5957d70a1ab87144bf81059a4","datavalue":{"value":{"text":"On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177593$6626D082-590D-4591-A9EF-C523D6DA3E4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0956366b4d71b1aedf1fbf6449614ceb0df7e477","datavalue":{"value":"1485.03246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177593$BBD6B1DF-90A4-4841-ACEA-0F5683621DB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b45fbd6cc9c118b9b61757fe240430fbb415a1c3","datavalue":{"value":"10.1007/978-3-030-36755-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177593$B61E0F58-2CB2-4725-BE81-7BA3B551818C","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":"Q2177593$F8740F18-FDC9-4C1D-8EEA-2407548890D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177593$E0A6ECC6-5A4B-4C8C-8C8D-78DB0F21DC40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177593$86F2673A-B51A-4E6E-A70C-C99A1EF2F812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177593$24A66FC4-C307-4C3C-BD5C-3D855CA375F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ab775b40290145f5e024c00ebf3dcc50edd2e3e","datavalue":{"value":"7197418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177593$21144128-FF7B-476D-B2A3-B64389A19208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177593$D0B2E359-1173-4093-BEE5-60E594DA20B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c769a80e3dea0b37188a4ab0855b2736a4ccacd","datavalue":{"value":"Hilbert's consistency program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177593$CCB6982C-F7E5-42D2-A009-5A0337B6071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177593$C099EC06-0422-474E-A367-119E2D52E8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8847abd40e015112a77495b3b4a1ff409ebb3c99","datavalue":{"value":"law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177593$62F74319-8849-4A14-9948-09DA4A4AC014","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":"Q2177593$2EC859E1-AB38-4161-A90D-98C72A5F10A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"624c5e9bac60e5df3beda5049429304657360a73","datavalue":{"value":"https://doi.org/10.1007/978-3-030-36755-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177593$D4BB756B-5414-48B6-AA89-F6378DA91831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb3f76f2fc6678a8b8c7385f8c89eb985998bcb6","datavalue":{"value":"W2995984766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177593$ED6B4BEA-E4E0-4221-84A5-5CA166850F84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3572c95bacf6ff3fd5c4ce7790de62bfd0ceecb","datavalue":{"value":{"entity-type":"item","numeric-id":5028322,"id":"Q5028322"},"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":"Q2177593$180684CA-F903-48C1-BCD4-5E496A15EDFB","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":"be8e256cec23868e5d47b6db254591c156bb874e","datavalue":{"value":{"amount":"+0.8148044347763062","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":"Q2177593$366FBB0D-057C-45B3-A28E-5B36E9790457","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":"d296f5e44cef9ea59a0d373b8839894fdb7ee619","datavalue":{"value":{"amount":"+0.7689639925956726","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":"Q2177593$9A9E721E-DCD9-468C-B4AA-7450FD38E38D","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":"e50c2f08a006679e98bf3bf27effb3653a6121a9","datavalue":{"value":{"amount":"+0.7605147361755371","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":"Q2177593$B4FDC683-FAB5-4A5B-BD03-C8CFD98BFED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef1cb92f16176692a1be761b05488846da6486","datavalue":{"value":{"entity-type":"item","numeric-id":4532626,"id":"Q4532626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d3b0067cde4fb6ac29c5c55b046f1ccdf644cd","datavalue":{"value":{"amount":"+0.7442371845245361","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":"Q2177593$7E6DB6CE-AE38-4926-9F8E-63EB0DC12933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177593"}}}}}