{"entities":{"Q4879914":{"pageid":6909493,"ns":120,"title":"Item:Q4879914","lastrevid":98129255,"modified":"2026-06-05T16:43:44Z","type":"item","id":"Q4879914","labels":{"en":{"language":"en","value":"An addition to Rosser's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883472"}},"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":"Q4879914$9DEB4AD3-0B57-4351-8116-3B05EAF75C22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf5afadb0a4d5f5cce8ebb98c6d014500a0cbd0c","datavalue":{"value":{"text":"An addition to Rosser's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879914$A1FCDE85-67CB-4E26-8179-A2CE3D71199D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3621abfa773ebf3142ca655f5b3f9017214d82b4","datavalue":{"value":"0848.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879914$E392B2D0-369A-4D27-8AF7-22925FCA92DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d8a3f2b43425e36e540449439df3c4a8b08c4a5","datavalue":{"value":"10.2307/2275611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879914$BBF1486B-8578-459A-B222-1F9241C0F23A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78cf3d039518ff5658afcbb728efb7e71e88345d","datavalue":{"value":{"entity-type":"item","numeric-id":598274,"id":"Q598274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$F0513BBF-9AA3-497A-952B-16F3E71B9CEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$00B381BD-190F-48BF-91E7-68BC21B95A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b708c1ef123d2022be1d9c45e421bc9f0d502ad0","datavalue":{"value":{"time":"+1996-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879914$8F9FC891-B247-4E66-92FC-2EEE84BA2890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879914$AC233823-9909-4B3C-978E-60D7F73AEC0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7264741d195693f786853efa5180c25f2c96187","datavalue":{"value":"883472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879914$82B4DA6E-52BE-47CA-BA85-8E13AA97EA70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dcd5ec6e7b575931765f3df505a3995f231f8e","datavalue":{"value":"primitive recursive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879914$20BECA0A-EC41-4365-821B-F98ECAFCAA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879914$5E0974EC-E072-44F9-BD50-766CD2419EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d9ef5a9464cc5100339a83c1479d61976dd448","datavalue":{"value":"independent statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879914$53BF57D4-C4D2-44BD-8007-C7DA01D3979F","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":"Q4879914$CADC8058-4E1D-4842-A9C4-F050F2B3D2AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90c384b229acb8c65c0148fae7ba7ab79afb63c7","datavalue":{"value":"https://doi.org/10.2307/2275611","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879914$178E9821-C54D-4C49-A200-0A7161B7D26A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e90c5e9af5d5f035d02d33e58131a59a8f949ad4","datavalue":{"value":"W2092134241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879914$2147C25E-80C3-440B-9356-F01EEBDEC518","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa23cbf3c17dd9906cf44fc92a6448101d6f154","datavalue":{"value":{"entity-type":"item","numeric-id":4323053,"id":"Q4323053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$19441A41-58C3-41FF-A9BF-373DCD82B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$12CED6A4-CDAD-4516-83A9-F43B8469B721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$3E14C43C-1A54-4F71-9555-756D5F6BCF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$8D890FA1-9850-4B23-8300-604B40F53644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff41b5cd29a8cafaf6aa6c10288cf6749ac58eb9","datavalue":{"value":{"entity-type":"item","numeric-id":1123890,"id":"Q1123890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$A9C2E10A-883F-4239-A5A0-59CCF49299EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99abdd488d7de15aefa7f6afa4adfd032dddf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":913793,"id":"Q913793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879914$B65E8A06-59CF-45C9-A9FD-AA7E45617D8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12bb875e6b16215023cd3146ab89d4a8cfb994e","datavalue":{"value":{"entity-type":"item","numeric-id":6133166,"id":"Q6133166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92d89c1e30e5cd189d4159f84f4cf9f79284a50","datavalue":{"value":{"amount":"+0.894379","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":"Q4879914$2EB1DC75-2DE8-449B-8AD3-3A4CA739EE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30ccf66d9259b04edf023410645691da0983bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3787856,"id":"Q3787856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9969b636b44fa5d4740fe83ffeb43f2f43f11b44","datavalue":{"value":{"amount":"+0.8935944","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":"Q4879914$9E94A755-8054-4B5B-AD89-A5933B843A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ec0ed80aa223cdd3c099e7779ab907ee5a2513","datavalue":{"value":{"entity-type":"item","numeric-id":2218189,"id":"Q2218189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df43304a4b5d9dcd0d2a447d8b9e56e231aa3d3","datavalue":{"value":{"amount":"+0.892884","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":"Q4879914$AD0BC453-0458-46BB-8BEB-36608461C93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933a6e915ac6a3b53bfed90b014bcd6cc1816590","datavalue":{"value":{"entity-type":"item","numeric-id":3455699,"id":"Q3455699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59821ad44eef83db8bffec7a284595a49bb00d5","datavalue":{"value":{"amount":"+0.88746506","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":"Q4879914$82E2B3CF-EA52-471E-8900-CFA73F32B1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30243a191d1a3eeac2d3d296250cb9232605bec3","datavalue":{"value":{"entity-type":"item","numeric-id":1357830,"id":"Q1357830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e110c5e88b7f914c73c6dd676dd9585b174a84bc","datavalue":{"value":{"amount":"+0.883802","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":"Q4879914$0243C627-29A0-4BDD-8D8D-76EC18F07D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecfa9a7f4e446092417667d2f9a2a9562859af9c","datavalue":{"value":{"entity-type":"item","numeric-id":3653835,"id":"Q3653835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ed096074240d2506a8e1cf4b5818f5f3f7f749","datavalue":{"value":{"amount":"+0.8834009","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":"Q4879914$5FFF7D24-A3A2-40FE-8C3A-6BF1975E4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9654eeb3ae537298ab962e31f5a349939a04a0f","datavalue":{"value":{"entity-type":"item","numeric-id":2740379,"id":"Q2740379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ff0087eb6227c7f91148f675b30e22e89d3943","datavalue":{"value":{"amount":"+0.8821151","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":"Q4879914$F965DD92-EF1F-4605-9F4B-9AD137479B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b65cf9a73bd8e44d79742a546d61f992da18ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1079841,"id":"Q1079841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f12ea68e6f0277e11f77a994cba94a6f76c9237","datavalue":{"value":{"amount":"+0.8817326","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":"Q4879914$0BF8DC60-4BA3-4B38-B784-61FEBAA3B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fef77c5c5170af49ba255778956ad45b180e0ed","datavalue":{"value":{"entity-type":"item","numeric-id":941103,"id":"Q941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f89882d3d021994ce5597fdcf7124c6478f395","datavalue":{"value":{"amount":"+0.8809221","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":"Q4879914$54ED04A8-15BE-4E51-97B1-C55E314F472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2606fb0e36888c1dbc7c9642a3ced6eceb8e69","datavalue":{"value":{"entity-type":"item","numeric-id":2436374,"id":"Q2436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d6084abe7fbf6972642c4b60d0efaaed3416dd","datavalue":{"value":{"amount":"+0.8789761","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":"Q4879914$A3C0BB91-E81A-406E-B907-D4B82C4DC324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An addition to Rosser's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_addition_to_Rosser%27s_theorem"}}}}}