{"entities":{"Q3133168":{"pageid":3143884,"ns":120,"title":"Item:Q3133168","lastrevid":58124664,"modified":"2026-04-03T22:03:44Z","type":"item","id":"Q3133168","labels":{"en":{"language":"en","value":"G\u00f6del-Rosser's incompleteness theorem, generalized and optimized for definable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837740"}},"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":"Q3133168$FE1FDEED-1DF5-4320-97AC-8E0B38BC86C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fce9355127a309252f1a8fc4f1e3dab287b862fa","datavalue":{"value":{"text":"G\u00f6del\u2013Rosser's Incompleteness Theorem, generalized and optimized for definable theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133168$FD0F3B27-3DBA-4DF9-B091-3377080F4E8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0433593a4b31c01dc3dcb3d12b8d5243d6555ce5","datavalue":{"value":"1444.03166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$95D5C1B5-C879-4D10-99AB-17CC8D2DA1C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1c83971d160faa3e32e3b0606692b817762b53","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133168$B23D3F33-D05F-46FF-969B-33049CE4B5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"822308c8f0982dc8e1f33a3e1a99f6589675486d","datavalue":{"value":{"entity-type":"item","numeric-id":1653262,"id":"Q1653262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133168$4142044F-736F-478D-B9A0-EB0145365F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133168$6F274682-B469-429F-BB87-0FD4D2BFE284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1031aa90e83db9b1564b849ce5c5e5c43ad10ca8","datavalue":{"value":"https://arxiv.org/abs/1506.02790","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133168$4DA0A976-6021-4242-B0D3-A40C47B8C82B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$CD4F03D2-44DC-49CB-8E11-084D3999BE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$19CAB849-318F-41C7-BA3B-6908000C2DDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8b0fabfef86be0b6332afadb99b49d3d43193b8","datavalue":{"value":"6837740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$0ABB65D1-9075-4308-92AD-C3EC688AA768","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d5f1024c845d265dada69e9dbedec8ff74c5dca","datavalue":{"value":"Q57533031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$64B031F1-4F74-4559-A9D5-10B678C7010C","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":"Q3133168$CAE3D472-020D-4B13-89B5-632832A70B51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f3f49ce8ddf4afa540dd2171212693e3255c45c","datavalue":{"value":"W2261973988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$1D36E6F2-479A-4D07-AABD-E300AE812C9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a368f280586e5e42b56fa4a8379e413766fbae5c","datavalue":{"value":"10.1093/LOGCOM/EXW025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133168$6FB3642A-2C03-472A-9321-02203AB92DA8","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":"Q3133168$A82892D2-E166-4B2F-ADEF-4106A327D7E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa064131a45005101baf5fc7b631f4b4c315f757","datavalue":{"value":{"entity-type":"item","numeric-id":4600818,"id":"Q4600818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138d375829a36bd09d788fbe0bac9272970f6a56","datavalue":{"value":{"amount":"+0.8814406394958496","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":"Q3133168$CD484AA1-4205-429F-BF71-C00B106FF271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6c905baf41b30c55b9696748003c80716ec9d6","datavalue":{"value":{"amount":"+0.8767300844192505","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":"Q3133168$7E53AD03-10CC-427A-8CB2-4F637F5A0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c3a93827cbe047e973bbbbd9aa48df22b4b2f3","datavalue":{"value":{"entity-type":"item","numeric-id":1653263,"id":"Q1653263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393e6a8cb51938be206f962cc30bdff7c37117e7","datavalue":{"value":{"amount":"+0.8229747414588928","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":"Q3133168$F617C4B2-4B94-4D17-B380-A95B8C766B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0afe17cfbfca89235d0b0c3c10da0603ca6746a","datavalue":{"value":{"entity-type":"item","numeric-id":4349771,"id":"Q4349771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c404f19db1f5973e4b32ef7ca2f8102c06d4feae","datavalue":{"value":{"amount":"+0.7510863542556763","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":"Q3133168$7923701D-2481-4A5C-87F9-28EC187DCA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096ee4f2012f5802e417f197d78a6ce3973e09ad","datavalue":{"value":{"entity-type":"item","numeric-id":4984861,"id":"Q4984861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c404f19db1f5973e4b32ef7ca2f8102c06d4feae","datavalue":{"value":{"amount":"+0.7510863542556763","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":"Q3133168$6DCF7B1B-A827-447F-8F77-9FB49CDF62CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133168"}}}}}