{"entities":{"Q3032254":{"pageid":3042970,"ns":120,"title":"Item:Q3032254","lastrevid":49342165,"modified":"2026-01-07T00:09:25Z","type":"item","id":"Q3032254","labels":{"en":{"language":"en","value":"Finite Arithmetic with Infinite Descent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130379"}},"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":"Q3032254$73F1064A-4261-4E35-AFF8-66F3C98C4E8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6614b4916a35b1a4083a73769b1f776bd58eb88","datavalue":{"value":{"text":"Finite Arithmetic with Infinite Descent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3032254$F15AF179-6A70-4AF2-8325-06B407CA14E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9546d5449cf879735105223c38e0cae8863fcd6","datavalue":{"value":"0691.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032254$3A6013E7-FC80-41B6-A7DC-9E581DB18CEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e130bc6abef7df700461f6b16b3d1a12b06d5e1","datavalue":{"value":{"entity-type":"item","numeric-id":792320,"id":"Q792320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032254$9A098A0D-D05F-43F8-A92E-D5D9CBFC0104","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3032254$73169554-B10C-4371-A64D-0730C487F8DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032254$4C094756-548C-493D-B3CB-F4CD0D7CA474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11e6ff8e2cb3c8ac8fc7f3760834d61c27a8879","datavalue":{"value":"4130379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032254$63843259-1BAF-4501-9320-DA531EE8A710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032254$A6450D40-BFD5-4FFD-8104-97A39B48F444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7196b2204be2538c78f58f9c2c9bb469bdf56be2","datavalue":{"value":"finite arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032254$66435514-277B-4EA4-9DB3-0EC51EB64F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f66ba6f169e1a1b9056374214bd199eb814ac6c","datavalue":{"value":"Fermat's method of infinite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032254$081EDA86-B3B1-4940-AD09-B555C65299CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1996876711e75db7fe3d663f1843511ed66cdc6e","datavalue":{"value":"definite quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032254$657B50E3-4485-4277-97DA-3E4882BADC03","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"599e7053aeb7a7e0380b7cea9708b6f91ec622f2","datavalue":{"value":"Q115444052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032254$64AC0F8A-F236-4A21-9622-E4B005F30B38","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":"Q3032254$64216755-F5D9-4FCD-8C32-AB8F8F9428F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b473e2de9301faa7de01a36a2b0dc4c3ff3fa7c","datavalue":{"value":"https://doi.org/10.1111/j.1746-8361.1989.tb00949.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3032254$2E512930-D27C-4037-8734-7FB20E46A90D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0303d58ed9e99c1fbd255864231df59abd7f86f5","datavalue":{"value":"W2133801498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032254$ED6E00E3-8C23-4474-9A76-F85429E7F2C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e24c56dba099195bfefe74aa98937ad8a80086d","datavalue":{"value":"10.1111/J.1746-8361.1989.TB00949.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032254$7EBBF2BD-CFDE-43E5-B384-B89C4C139F25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb578a8a45e8eec7ab4a03017dec058b7669fd63","datavalue":{"value":{"entity-type":"item","numeric-id":2834878,"id":"Q2834878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032254$C0B7DD00-E43A-460E-88BC-D95C34C7CC5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180b59833e320b4c42d777e7f31d21d69118b870","datavalue":{"value":{"entity-type":"item","numeric-id":4282459,"id":"Q4282459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c9e6d2de3cd7002fa354189e34beedf5660cd8","datavalue":{"value":{"amount":"+0.7652720212936401","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":"Q3032254$0167B5D4-B286-4B23-BC75-B12D50C9D4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09b1e7e7772c0ade5a9defd90806a01ea7628f6","datavalue":{"value":{"entity-type":"item","numeric-id":4529268,"id":"Q4529268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87fb1b9543333a2eab2113425d4c710ee75fa714","datavalue":{"value":{"amount":"+0.7548072934150696","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":"Q3032254$676C589D-5B88-49EB-B29A-457B54D5DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77aabb6cdcfe99026c09734345f28a56d7fa7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3773948,"id":"Q3773948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3112d5b3f1713c87e1f578946e97971785b3c4","datavalue":{"value":{"amount":"+0.7108599543571472","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":"Q3032254$2BC2D8F3-3704-4E3F-BF7C-71FF62651DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308b992054609adbd2e883e267c275cf7d00a89e","datavalue":{"value":{"entity-type":"item","numeric-id":3409334,"id":"Q3409334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d68ae93502e1458f376979125d97b822d002ddd","datavalue":{"value":{"amount":"+0.6975835561752319","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":"Q3032254$7AB1AC76-CEAB-488C-8358-56CB84A3E193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98c04fbf28a1dde1083b05383cc9d1cdf7e0d28","datavalue":{"value":{"entity-type":"item","numeric-id":4809499,"id":"Q4809499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c96727f4d9d18eff6a76459a83978b73a13fe0f","datavalue":{"value":{"amount":"+0.6946861743927002","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":"Q3032254$EE9FB769-5463-4557-87EE-F30D8CE6B330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3032254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3032254"}}}}}