{"entities":{"Q4678937":{"pageid":6708518,"ns":120,"title":"Item:Q4678937","lastrevid":41834775,"modified":"2025-05-08T20:56:17Z","type":"item","id":"Q4678937","labels":{"en":{"language":"en","value":"Predicative Fragments of Frege Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2171372"}},"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":"Q4678937$3887530D-3CF5-4065-9555-724F5A4AA4CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2df81926aab22266c08f0e13b54a3ba01a9cc39a","datavalue":{"value":{"text":"Predicative Fragments of Frege Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4678937$A9B0F8C9-6392-4CD1-89E7-262B6E2C9AA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5473e9f7ffa478ff468eedca35ecf471752d5100","datavalue":{"value":"1068.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4678937$EC128BBC-1D37-4D41-A70D-10372E0CEF9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8607f2b02433f22eb4c5102f51ef031f32c67907","datavalue":{"value":{"entity-type":"item","numeric-id":263081,"id":"Q263081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$70121176-8E1B-4041-B39C-161702CD3788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"192f6b7cb943e5e7b39d4305e76ce8108362dfc1","datavalue":{"value":{"time":"+2005-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4678937$DA66F09B-28C9-4E65-A4CD-B3629842EBDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baef292a8cdc3e230d4ee737f4522bb12e8d0a6a","datavalue":{"value":"https://semanticscholar.org/paper/dfb07312a3efd2f7cdbb96101a71456152b9c698","type":"string"},"datatype":"url"},"type":"statement","id":"Q4678937$DD4555B7-DCFB-4F82-BBB0-42F7CDC9EB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4678937$945AE585-437E-4736-9FE0-F74B2043DDC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2decb80e8398a5454561f1b62200becdbeb06d04","datavalue":{"value":"2171372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4678937$A73D325C-5335-43F5-A6C7-0E999071DE9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4678937$15E1EF8A-2517-42B4-B6E2-473B6A44CFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65bb615a040aedc91744607db3167d54e0ca928c","datavalue":{"value":"Frege Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4678937$43C4ACFF-25DE-4E92-83FA-829950C3D76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8676f6d0548120aad17e024de90113761962fe1e","datavalue":{"value":"Hume's Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4678937$D4979627-E47A-4DC0-BA0A-9720C5447F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4678937$E5E7B94E-07E3-4195-8200-1CC027B02073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3979b90abd29b2303f295291687a8e8a0fe9426a","datavalue":{"value":"predicative fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4678937$91B63DD2-5C6E-4ADE-9269-B35DEED441E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4678937$54BC1F4C-BFAB-4292-A450-D58A0AACF275","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":"Q4678937$FA84DBCB-9B75-4C12-BD1F-7AF409F8EDD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cbeec44f1ddfe83276f0f404ad34d876a31bc01","datavalue":{"value":"W2144373230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4678937$D8EA81A0-FDE0-43B6-939D-48E832F1EB07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"866a3f1238d2850b7c9d5ca61f5138ec7dbec895","datavalue":{"value":{"entity-type":"item","numeric-id":1344849,"id":"Q1344849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$6ED8DC9E-56DF-47D6-B8F2-A3C971066F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61b802852b61c203b11655d2d85eae682096f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5694788,"id":"Q5694788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$963056A7-DDB1-458F-91C5-0831701981AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6b2cc9f53f0c7ebdc2c4275ff207cd622bd897","datavalue":{"value":{"entity-type":"item","numeric-id":4382420,"id":"Q4382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$3691EF6B-8264-4754-A1C9-C3227DECED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63ba4e3057fa0ad0674e1e915488aa100919b16","datavalue":{"value":{"entity-type":"item","numeric-id":1860965,"id":"Q1860965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$C31857CB-5AB1-4C65-BE77-373EC928B43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0122af44a7b8fd95dec712ea75abdd17297c0eed","datavalue":{"value":{"entity-type":"item","numeric-id":4249001,"id":"Q4249001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$E6BEB6E1-6A1E-4DF7-8B95-748D2732DFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a098b5df3d25fa1dd4d8386c33ba1571601a0a51","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$FC0CDCA0-F707-4E1F-85ED-4DF49B437147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f91e80bd54a280935e13276a89221eabf7ee83","datavalue":{"value":{"entity-type":"item","numeric-id":3138014,"id":"Q3138014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$98432AEE-C858-4E2A-9168-E2A8AC96C9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66be572bfb7cc96d4487aa219bf12ad8c2385629","datavalue":{"value":{"entity-type":"item","numeric-id":4391444,"id":"Q4391444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$9FC87A08-87CF-41A9-8997-945367183842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0446100a1e85ad15665e9f29562ccbe4846df4a","datavalue":{"value":{"entity-type":"item","numeric-id":3037386,"id":"Q3037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$189EC784-4388-4E52-BA20-F1FFCD7BBD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b93f0e047b490d9f138d962df0777f688ea111","datavalue":{"value":{"entity-type":"item","numeric-id":5275579,"id":"Q5275579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$B0262E66-065C-47B7-B835-3F8C746B31B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed76fb826674154100cb639fa6d84dadf53cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3340832,"id":"Q3340832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$5A5F1AAD-6682-4E7C-A236-01D887EACD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6adb2e2c682e623c4a278d5eefc540ec2fc8898","datavalue":{"value":{"entity-type":"item","numeric-id":5275546,"id":"Q5275546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$D8DBB26C-E5AB-499D-BD85-B1552442DC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfa4f6faf0ef7b57e402c20142139e0a29c6538","datavalue":{"value":{"entity-type":"item","numeric-id":4793814,"id":"Q4793814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$E410D3C2-223F-48ED-B832-F125A0A7FCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6337b52c403ba7a5a0a20b842e8223cdf20d157","datavalue":{"value":{"entity-type":"item","numeric-id":3838064,"id":"Q3838064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$3A48B491-027E-40EA-8B7B-0BC883F6BB2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e3aececa9ac0396e1faf5a139b16190fce526c1","datavalue":{"value":"10.2178/BSL/1082986260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4678937$DFAB2763-37C6-4CE3-BBDA-71639B40E134","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4678937$0DCF9103-4D22-4204-BF32-09745A009AF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf8589b0de53ef93a9e29031c81f06029483c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d41f054d3ab3d9506890bd4f376de19c5139544","datavalue":{"value":{"amount":"+0.9337215","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":"Q4678937$42F16C8A-DBA2-435F-83DB-C20BBC9E6378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8732e26f8d15ae4cae8412877dd84cfa77075d38","datavalue":{"value":{"entity-type":"item","numeric-id":1406364,"id":"Q1406364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cc16b9f0baf5f62f3716664e56f21394fc87f2","datavalue":{"value":{"amount":"+0.924127","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":"Q4678937$C3266355-529C-4351-BD39-A9FC97F85AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f0a753f64bede0b2565b38e40dd8a82d5c700","datavalue":{"value":{"entity-type":"item","numeric-id":5245989,"id":"Q5245989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70675bde59dcf163c28d9e5d168913fa440490a0","datavalue":{"value":{"amount":"+0.91358334","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":"Q4678937$73AB0577-B71C-470E-A350-296D903AE88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049ee433aa0629bc8c6427ff5be297b884ff3a33","datavalue":{"value":{"entity-type":"item","numeric-id":1344849,"id":"Q1344849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d70a2ea206ca32473a8d74b4b61070406b1776","datavalue":{"value":{"amount":"+0.8969909","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":"Q4678937$913B00A5-2A8C-40D3-BCEF-2EDE6344B915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10fb58723d6ac4f8a71cafd2665d9baf8c93bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2271986,"id":"Q2271986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372a3a6da3b20e0fad1f124c059f191148f72811","datavalue":{"value":{"amount":"+0.8951379","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":"Q4678937$83E8D5EE-123C-438E-B50C-4947479BD45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adbb79bd22b85bbe6adde6a4ebf2b8ec7efa4e","datavalue":{"value":{"entity-type":"item","numeric-id":5937804,"id":"Q5937804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0f45d60560fd019d41f140aba0e012371dd23f","datavalue":{"value":{"amount":"+0.88743824","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":"Q4678937$93FE6B69-B746-4CBE-92FB-A9794087294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c2c644251ae04f627bb49b5a42cd23284ef8ca","datavalue":{"value":{"entity-type":"item","numeric-id":3416116,"id":"Q3416116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b19d96a5071544bbfff395a70ba31598fa9c5c8","datavalue":{"value":{"amount":"+0.8861024","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":"Q4678937$A53BFAAA-05B8-4720-AED0-7B0AAE5807E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22985527f161d2d0296f5bc946ff051aa2b92c7c","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa80bb30bcb3184ed672549f53a2baef1feb458b","datavalue":{"value":{"amount":"+0.8850342","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":"Q4678937$9AB5D6AF-86C9-4085-A4B3-75C457CCB58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8f1982dc42c5f8e70278c161b278162c1ee450","datavalue":{"value":{"amount":"+0.881927","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":"Q4678937$E7DADFD3-BE34-424F-984B-FE34DF3BF159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c9ab0cfd2d65f6964f88798a3f756e0410db36","datavalue":{"value":{"amount":"+0.87614256","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":"Q4678937$0CF404E4-FCD7-405A-A626-1502D1E6E523","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4678937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4678937"}}}}}