{"entities":{"Q4809578":{"pageid":6839158,"ns":120,"title":"Item:Q4809578","lastrevid":74742885,"modified":"2026-04-15T00:08:30Z","type":"item","id":"Q4809578","labels":{"en":{"language":"en","value":"A formal reduction of the general problem of expressibility of formulas in the G\u00f6del-L\u00f6b provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2095508"}},"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":"Q4809578$13012E05-4F23-4F76-8B6F-5A65A3458EE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45d09f9ab98f3635dbe1bfc3fa3cf72d3572c62f","datavalue":{"value":{"text":"A formal reduction of the general problem of expressibility of formulas in the G\u00f6del-L\u00f6b provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4809578$B952ADF8-DFAB-4981-ACC0-39521D77AA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2903f76a203d0f4ceb82bf6afbd195c1dfff8c6b","datavalue":{"value":"1044.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$5FA68128-A3CD-470A-B529-50E0BB4A334E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d63d74a5a6e2695e6477a407b81c4f2bd4597ca","datavalue":{"value":{"entity-type":"item","numeric-id":1055757,"id":"Q1055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809578$6BEDF622-3D07-4FA3-B434-FC734A8CA2F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809578$F90C7E5D-1A5A-4EE4-8528-18E2811C12A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"267848cac483a3bf60786df1d022248bd2e0c1fa","datavalue":{"value":{"time":"+2004-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4809578$0E31AB3C-A34C-47A0-B880-8F920A03106E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$4413D40C-3432-483D-B48B-1AED270ECC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$7F30707F-52C7-46A7-902F-66970DECC6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$7FCE4F32-727D-4599-9FC7-D94E7327662F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06d9a104db22e00ec86a44b250d50e3d8076485c","datavalue":{"value":"2095508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$2F16E885-6AD5-4195-825C-D958C4B9360E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809578$02AEEC5A-5221-4E17-B1B8-369409FE7089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8dd81bcbb7f4d5844bc1ddf94930268f43ad0d","datavalue":{"value":"general expressibility problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809578$BE9AA939-89AD-4C3A-8E27-2592541629B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809578$9A4F394D-3B87-484D-A60F-1CA19DB4E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c1946403e899fe726d547e4441db5de31dae80b","datavalue":{"value":"algorithmic undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809578$945BAD26-3FF8-4300-A83A-054E5CCF854F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a142e2b816f9e81f01df931c9927a832cac3f207","datavalue":{"value":"functional expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809578$41AA8E2B-3C54-4ACF-880E-A4AF2822DD48","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":"Q4809578$9192C31F-8994-465C-94C1-801AC2E899E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b608fc39548d81774e964f87e19ee9bacd19108","datavalue":{"value":"https://doi.org/10.1515/dma-2002-0308","type":"string"},"datatype":"url"},"type":"statement","id":"Q4809578$BD6BD881-75B5-402C-864A-93CEA7685CB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae0da2c1704d74fa5277a742957987a886f63655","datavalue":{"value":"W2563995249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$F08AABAD-5295-4405-AEF2-FE813D77B853","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db16bdd4298634ef3c5e72d4c0d0de7495b4bdcc","datavalue":{"value":"10.1515/DMA-2002-0308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809578$0F80B295-5329-4AA0-A9DE-BB6297E19A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923100b568e81f72ddcc62fa10f5fe850cf4e417","datavalue":{"value":{"entity-type":"item","numeric-id":4809503,"id":"Q4809503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b9b72c4e92bf8ac4d709454e31a357882f2542","datavalue":{"value":{"amount":"+0.9231957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$49FA6DC7-305F-4F31-9752-44C3A399BB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32979a0736ba29ba2a0df5c9f622cd223f32b40","datavalue":{"value":{"amount":"+0.88650864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$122A64C3-7F2F-48EF-9D4C-1FEAFF1C332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6efd6af1cc5d8384170e99d806ffdeac318ba50","datavalue":{"value":{"amount":"+0.8807693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$6252B2C1-9F2E-45E4-8DA4-32EB663469B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbd44ee1b1b98426b864ded865dd19c5f484468","datavalue":{"value":{"entity-type":"item","numeric-id":2957859,"id":"Q2957859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e740abb9500cc16be1bc1a1068f4630313d6d1b","datavalue":{"value":{"amount":"+0.8779916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$6E398C71-12DC-4F8E-B509-B7CF116402FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0634602489ef699a910fdd6e87b1a8ada0da63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4413066,"id":"Q4413066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f629f4e3c5a0bbfbeea85e1d0034349c7dd343","datavalue":{"value":{"amount":"+0.87470675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$F23FF57D-51BF-4541-A14A-38A611A9EB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9475dcf8e1820386be940fb11b2bdacbca9e4cc2","datavalue":{"value":{"entity-type":"item","numeric-id":4295253,"id":"Q4295253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2ff4630850edacd0ec3c70100f102ba3374ff5","datavalue":{"value":{"amount":"+0.873923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$A7F9BE0A-8BF6-4619-A056-5945FB3356C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22277f784c0eba292bc220900cb6740ab9a3655","datavalue":{"value":{"entity-type":"item","numeric-id":4649731,"id":"Q4649731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3819f988cff6d348cec92494aee87b9c55f8a4e2","datavalue":{"value":{"amount":"+0.8712038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$0EBC641C-62E1-4A78-9C91-DF6C5F9D9888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc1c8b6b52c85dd2930b3b068fb2786dd70f16b","datavalue":{"value":{"entity-type":"item","numeric-id":622117,"id":"Q622117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3819f988cff6d348cec92494aee87b9c55f8a4e2","datavalue":{"value":{"amount":"+0.8712038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$99E362D3-2D4A-43BE-8374-C0EB0EFFA4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5167e47acebea4212047e18d57c90d02d31f47","datavalue":{"value":{"entity-type":"item","numeric-id":4636290,"id":"Q4636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d5e8c904866f8184be34ff5bf55fa4133ac1ec","datavalue":{"value":{"amount":"+0.8695772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$DEE4D453-D5AF-41B8-8DE9-AC241DFBC477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f598427d80ad1eb3f871ca5717acee26027b0fc","datavalue":{"value":{"entity-type":"item","numeric-id":4933310,"id":"Q4933310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e629c4f0378170326cf3278244080edb9328079","datavalue":{"value":{"amount":"+0.86723936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4809578$BB343A27-B3BC-4E36-89BF-D6A04E539AF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal reduction of the general problem of expressibility of formulas in the G\u00f6del-L\u00f6b provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_reduction_of_the_general_problem_of_expressibility_of_formulas_in_the_G%C3%B6del-L%C3%B6b_provability_logic"}}}}}