{"entities":{"Q1653263":{"pageid":1664004,"ns":120,"title":"Item:Q1653263","lastrevid":74031330,"modified":"2026-04-14T18:07:04Z","type":"item","id":"Q1653263","labels":{"en":{"language":"en","value":"On constructivity and the Rosser property: a closer look at some G\u00f6delean proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904740"}},"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":"Q1653263$A4679AA2-3145-4E55-B400-CF73714E23AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6db4c535f6d32d6082e1f6bb3236ec49c4979b3a","datavalue":{"value":{"text":"On constructivity and the Rosser property: a closer look at some G\u00f6delean proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653263$183A83CB-2987-4458-BF56-B62834CD9E09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8af105b18ce674ebb99da636b07fe0d7b8c8a8f7","datavalue":{"value":"1434.03135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$8C653CBB-ADC8-49EF-B066-8231F68D8D76","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":"Q1653263$64DC3141-CBB5-4410-9D58-9E2103A3ACAE","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":"Q1653263$6674FA78-5E33-4299-B64E-11A94D70E0B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$2B9D47BA-E8CD-4ED5-A352-71F44AF44D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653263$40E327BC-C280-465C-99EA-A7127C9F89F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffaa47a6d67ff40d5efe75ecddb867edb14c1221","datavalue":{"value":"https://arxiv.org/abs/1612.02549","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653263$07617B2F-5872-4377-A0A1-8D388324856A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$41A33960-522F-484E-92D4-73740495BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$332D72CA-327A-4371-AA7E-61771CD0E676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$60BC490A-7D23-430C-9A6A-0A3DD07D4B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$5ECB2AB0-24BA-4F82-AFBF-A9B8986771F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc8d877134211d2b16209581aa6c1410f5dedef2","datavalue":{"value":"6904740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$66B56A1E-277B-43FE-8E01-09568242F346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d92bf773f0048d069da0c7bd7d51a9ab84fb2b","datavalue":{"value":"constructive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653263$853B6100-30F3-43A0-83DE-DB1487283221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c86f1447195d2f1c835d71e0cfbb6018deff34","datavalue":{"value":"Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653263$C1DCFBBE-2771-46DA-8D51-450C41F64A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653263$C39422F7-DE15-46BB-B5A2-38D668ACC918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178f953ea69b0b0ed18f4b3c975558101aa9f21f","datavalue":{"value":"Kleene's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653263$E8B67D03-4953-42A5-8FD9-82E00598FAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"550a61b79cc586c1320672afeeef3b8d2cdf4898","datavalue":{"value":"Chaitin's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653263$48BCBF0A-C0F8-4CD3-AA3B-64C7E658CE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5788ec08fda5a9033ae19436e2eb1fe6086ef8a","datavalue":{"value":"Boolos' proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653263$12C2CAF5-21F9-4D4E-AE75-A7C88A9F6C7E","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":"Q1653263$71C41C15-CE34-49EC-9D75-E9CFE430B3CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fee6e8fe18662ba9007a809d800bdd9a9887851f","datavalue":{"value":"W2787237760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$25976C60-C2EB-4AC4-B78E-8D74D4D477D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f2ac18af416cab6ec5c91c128d263cbc0f1ba79","datavalue":{"value":"Q57533018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$674B71FB-2F82-4DF3-AB10-D6786CF9D931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"909866e9723c924df371db995af82ccb6c2e91cc","datavalue":{"value":{"entity-type":"item","numeric-id":3082390,"id":"Q3082390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$41976A00-A9E8-4171-926A-5FD1A46516E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0891913663d8f8db20e51f632db652b6e8ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4523482,"id":"Q4523482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$E81F108B-0EAF-4080-82B2-CAD5C88CBBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$4B895C05-170B-4532-8304-C58C8D2B1BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$363B7E32-201A-4CE4-A008-0EC7C40967E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8242be0393aabdfbd870955dc6de1d3828d32","datavalue":{"value":{"entity-type":"item","numeric-id":2909753,"id":"Q2909753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$0452FD65-05B5-4701-BB11-7A5803EDEC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff41b7a700847bc3ac8334b7706d84c7a7a1a30f","datavalue":{"value":{"entity-type":"item","numeric-id":4315327,"id":"Q4315327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$5C939C11-764E-4891-914B-1199554CDC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519b108ff21d877b796c8b7215c220d5bbf27635","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$D492ECBB-D53C-4668-A91A-ED4439CF3354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744b21977cc0938ff6184681d3fd88bead43f334","datavalue":{"value":{"entity-type":"item","numeric-id":2910986,"id":"Q2910986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$743636E6-B6D8-4B93-9F01-983EFB5C8ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0f2e26d1a5e637b7f483d125d085e6f10f6ade","datavalue":{"value":{"entity-type":"item","numeric-id":2645094,"id":"Q2645094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$70DF2E3C-F6F2-456A-945B-5E8D5C6FA7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cf8006b5b4254804342bce8b0794f450e6c3c1","datavalue":{"value":{"entity-type":"item","numeric-id":5796642,"id":"Q5796642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$BE068AA0-7DB5-4B10-9D1B-CF0F59CDE9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$C63CF8C7-03E6-4887-9A5F-A57E7CBEE112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ea78d7653f7461c486235eab8644b8552e9817","datavalue":{"value":{"entity-type":"item","numeric-id":598275,"id":"Q598275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$6379C7BC-38CB-4F0A-97D3-5291FEA7156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0365418a624c8d4afcaddb8f25b1c4de6c1379a","datavalue":{"value":{"entity-type":"item","numeric-id":3197800,"id":"Q3197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$44C8BE18-AD08-418D-AE3A-79F88458FDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58214f451ad057fff38659b81190558276ba5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4798206,"id":"Q4798206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$ACB4F085-5746-4217-818F-5F50FD3DFDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c767e418db1d8af8bdec91cd74e3e40f63b264a","datavalue":{"value":{"entity-type":"item","numeric-id":5499600,"id":"Q5499600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$C5251847-6F77-447B-8F23-2275C9DC5307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e994d8e495a3dc5deb63462bd4676c627752deed","datavalue":{"value":{"entity-type":"item","numeric-id":4459602,"id":"Q4459602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$26803A76-E648-4639-9919-34A5CFAD24E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a455d78e1b2e575a95470d6188bea99fa99df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4910867,"id":"Q4910867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$F06E959C-1A6C-4EE7-AAC8-5CEF5879DA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44004bf1ea34d4a45acf9befaa85952d68f51e7","datavalue":{"value":{"entity-type":"item","numeric-id":3584678,"id":"Q3584678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$E4D51533-FBF3-4525-B7A6-66827B094522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$D8D82B67-FC84-48FC-824E-CA264400BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653263$4C6A8CB9-8310-4781-AAFE-5A5B331FBF5B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"867af3c9c4a6299cd18cb07eccbd4c69ce9c1d14","datavalue":{"value":"journals/apal/SalehiS18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$A2F5D76A-A0FE-4FE1-9F6A-8B7972F1F74A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5cc6331c282c1b2f8f75c4c2ac8b910266dcf8f","datavalue":{"value":"10.1016/J.APAL.2018.04.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653263$D325F9E5-CDA0-44CC-A1C1-5D8E551EE974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7b032c2aa94ae358df0838a3d81d40a7a65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5434519,"id":"Q5434519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469777393eb0918c3deed253f7405060d2bd4122","datavalue":{"value":{"amount":"+0.86031556","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":"Q1653263$1F8617BC-BF49-4D68-9DBE-44EA435B3911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe543c0663a2589492062b1d231c83d77bd3614","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9e5effe2613e0625ea079763c2b976df75701a","datavalue":{"value":{"amount":"+0.8573898","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":"Q1653263$A4554B26-FED6-41A4-9E27-CF801140C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31695efdbb3d501df6b297b2556c4e3b1e15cee0","datavalue":{"value":{"entity-type":"item","numeric-id":1000868,"id":"Q1000868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f178a14485f39e8a60ddef22e6181b510b96d8b","datavalue":{"value":{"amount":"+0.8515457","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":"Q1653263$5BC891C1-8A4D-4B7D-AE95-F2DD4A46711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232f8815fb6b14c3e7708c7b7db1acd101887dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3079623,"id":"Q3079623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03b593b9c351d8fc9b105ba8eeceb22b4e472da","datavalue":{"value":{"amount":"+0.84877646","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":"Q1653263$92C54194-CB7A-49A9-9D52-71B8215307F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019bb0904994164c735cb34a219fba8f8b946107","datavalue":{"value":{"entity-type":"item","numeric-id":3771100,"id":"Q3771100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c776aa053d8c2e4a96b23a8b9d29f3cd31780ff","datavalue":{"value":{"amount":"+0.8469867","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":"Q1653263$D66ED219-0AAB-4D53-8C06-C2902309254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18894521be360e3153feb2bd58ae89c42a2bb18","datavalue":{"value":{"entity-type":"item","numeric-id":1100202,"id":"Q1100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffef3e068aecec6432925fd7d59bfb47cc0cbe59","datavalue":{"value":{"amount":"+0.84339786","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":"Q1653263$9FE3ECA2-20E4-4291-A7D3-F2C0E771F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb790eaf6ccfd6c77b3afbb342f215daf2432e8","datavalue":{"value":{"entity-type":"item","numeric-id":4921444,"id":"Q4921444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0f6df5e7b10ba934b9ebeaf08dcb9a3c4da3fd","datavalue":{"value":{"amount":"+0.8384752","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":"Q1653263$5966E3AF-2F8A-436E-8197-1EA8A981229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b6cfde5b17b9f0eeef41fd1c2aa393b8666de3","datavalue":{"value":{"entity-type":"item","numeric-id":5307608,"id":"Q5307608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0f6df5e7b10ba934b9ebeaf08dcb9a3c4da3fd","datavalue":{"value":{"amount":"+0.8384752","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":"Q1653263$B54658D9-6300-44DB-A3A0-637F3E873A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce531ff0b371662eecd83f10202391fd38261fa5","datavalue":{"value":{"entity-type":"item","numeric-id":635637,"id":"Q635637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8f1bf48c534bf0272cc9e9f1f28989a653b392","datavalue":{"value":{"amount":"+0.8356482","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":"Q1653263$E43C8C6F-8254-486F-9611-4F2535A09543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On constructivity and the Rosser property: a closer look at some G\u00f6delean proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_constructivity_and_the_Rosser_property:_a_closer_look_at_some_G%C3%B6delean_proofs"}}}}}