{"entities":{"Q4874784":{"pageid":6904363,"ns":120,"title":"Item:Q4874784","lastrevid":46430004,"modified":"2025-12-24T18:51:31Z","type":"item","id":"Q4874784","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 871422"}},"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":"Q4874784$00147769-935F-4726-BB5F-97D39000806D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f26445073788704e8b7d78cc60adcb21f00a8904","datavalue":{"value":"0847.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874784$7BFCF158-4E61-4EF9-A2DA-43CEC621F8B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f0b23b7e38ff23875fa920657450b82cbc3f3d","datavalue":{"value":{"time":"+1996-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4874784$8B145681-9185-48B6-934D-05C276FD41BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874784$7703E2DB-5730-4025-89C5-D8881CEBBB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874784$18A0A236-B833-451D-83E9-28563474E3B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e514e9928f212c31eb0083b2e25855e829ed9af7","datavalue":{"value":"871422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874784$D5B9D6D7-7E74-43B3-B59C-5D9CAB924462","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$50FF7560-1F9F-4B4A-A35F-A60047E04B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471b844190f4d53ed41461d2dd50a334f8ac89cb","datavalue":{"value":"subsystems of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$459EDC0B-FDB4-4BFD-A363-8645298CBE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$D7BA5C9C-C9BB-4554-8E89-641CEFFA6625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbdcdb68f38daa2b48322f1b5d12a4ecba19e626","datavalue":{"value":"bounded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$BD66620E-B19D-4119-8413-679AA5D17581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$8140AD48-2B15-4021-B1F3-D572EFC84C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d5924fb599e7e73a0905249a30ee1347e5d39","datavalue":{"value":"Matiyasevich-Robinson-Davis-Putnam theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$2F2DFE10-2E70-4B61-B74F-25A57BB59B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b42c59343dda1d55bd501cf2775d45b56cc63a5a","datavalue":{"value":"infinitude of primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$1AFC1CD1-18DD-4A64-90BA-1E13EA1A1C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874784$F2AAD864-CBCB-4424-BD94-A3DFBE1A45FE","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":"Q4874784$9E70C3F1-F4A5-49C9-9F5C-D649794A95FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff969dab85b88d3645d3294330d999e220dafbc","datavalue":{"value":{"entity-type":"item","numeric-id":584258,"id":"Q584258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710968f5f00c32a9a8d4860b8dd46aa80443e16e","datavalue":{"value":{"amount":"+0.7745588421821594","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":"Q4874784$919DDE5E-9E85-4975-AEF9-8DA0BB5F770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9c8d0968e25f1359d723048027b5292154fa72","datavalue":{"value":{"entity-type":"item","numeric-id":1337499,"id":"Q1337499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25518954c395b1db31e3826267968203ea531e0c","datavalue":{"value":{"amount":"+0.7681902050971985","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":"Q4874784$3321FF25-5577-4C64-B10E-FD138CE2299A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491c2038cae63d124cc0e535320552a2b0023610","datavalue":{"value":{"entity-type":"item","numeric-id":3346307,"id":"Q3346307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d485c183394fcbcaf6518e2fb9e85fe36647d0f8","datavalue":{"value":{"amount":"+0.7521330714225769","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":"Q4874784$6870CD1B-28FC-4521-96A8-EA50EEA4D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923e633aa420e72da96d9ede24d142bddd87aee9","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d16faed55a0273a80fd2a979a0e65434945587","datavalue":{"value":{"amount":"+0.7479731440544128","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":"Q4874784$A125C2DC-2459-46D9-851C-279F30356287","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4874784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4874784"}}}}}