{"entities":{"Q5393633":{"pageid":7423207,"ns":120,"title":"Item:Q5393633","lastrevid":49950010,"modified":"2026-01-12T06:14:59Z","type":"item","id":"Q5393633","labels":{"en":{"language":"en","value":"On explicit definability in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066355"}},"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":"Q5393633$6AF4C0F7-0972-471E-B684-8099C31F5054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e37dee2ad2d10b6879c847da123b3e474b610ce","datavalue":{"value":"1107.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393633$51E475C4-F13C-432E-B881-213A7C2E348D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"739683939dd544f424afcd43b3dd081c97b48d09","datavalue":{"value":{"time":"+2006-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5393633$48A28B85-0AB0-4C49-9825-CE7151CB6190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393633$5AA8EBD3-60BC-4966-8611-E2BA8B6BA031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393633$91FC1BF2-370D-4E89-B34C-F8F6F1E2332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f6f2e73ebe360c69b5f99d6be8e06f538650497","datavalue":{"value":"11A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393633$A517FCAF-F6B1-4819-A8FA-853747B881ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393633$09DB1EF2-C82D-4BD8-A8B8-18679C38A473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"497cd36c5f8fe02c9dda062325a06a69840ead9e","datavalue":{"value":"5066355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393633$D69AB7E0-6BB6-4BFB-9B58-5FC259B8D764","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ee30eb0d05bc3424cd31333815f7869669d2ad","datavalue":{"value":"integer division","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393633$0DF39E99-B669-4516-8E63-2E7F649B8969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07519b95deb5eb94314d68617da7490fb34cd29b","datavalue":{"value":"arithmetic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393633$B7278166-31DA-4E70-8F24-8A387660A9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c4138362215740d3bad37447763b1caadd3fe1","datavalue":{"value":"nonstandard rings of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393633$1E052EAF-E688-4478-8B20-75F825F73D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac88c7c4ceb79c868083defb73e33bb7e3d89ba0","datavalue":{"value":"greatest common divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393633$6F3F091E-C26A-4DBD-A6B1-2EAE9D30886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32f9d4b5f63b30cc69a54dbde0078111ed933e7","datavalue":{"value":"explicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393633$02442ED2-B17B-4D27-9539-AF705A3E31FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e339cd92781827ec7333343a004706e4ed6a70d3","datavalue":{"value":"computability with bounded complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393633$34E278A2-FAF6-4087-B7A4-C6CFBA67B080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5393633$C94262D2-4368-4111-B1CC-24B644B662A6","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":"Q5393633$A92FEC31-6105-4467-8E9F-BEF5237D7E8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601d854961b175ad91d2c12dc6ab25232a5a39c0","datavalue":{"value":{"entity-type":"item","numeric-id":3714077,"id":"Q3714077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549cccd97bafdc79dbfa05381a3ca81906a39dca","datavalue":{"value":{"amount":"+0.760506272315979","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":"Q5393633$DFEE013F-02E3-42AF-9E40-AC32728B0F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156fd009a8074c5a97dcdf84f6443c7d241f9784","datavalue":{"value":{"entity-type":"item","numeric-id":3576073,"id":"Q3576073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773ce10077c62f07dca18631b0f06ffea3983a60","datavalue":{"value":{"amount":"+0.7567577362060547","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":"Q5393633$E6A4AC7E-B7D8-40FB-A69D-C6A6BA016690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5bf130b92c8150f46f4703df86eed1301665eb","datavalue":{"value":{"entity-type":"item","numeric-id":3834042,"id":"Q3834042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81781b3ca9094a2470d8c31717e63c7dc4f0e6e1","datavalue":{"value":{"amount":"+0.7427313923835754","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":"Q5393633$DB830941-519D-4F01-8F62-74EB2F2072BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27b5bd94db008d186559cd2e75bc3cc451080cf","datavalue":{"value":{"entity-type":"item","numeric-id":3478404,"id":"Q3478404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d6e1bf8c1c97644a870ec0d1903d0566b5cf1f","datavalue":{"value":{"amount":"+0.7369285225868225","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":"Q5393633$0F0C63A5-6122-4E3D-A632-B33F7240FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b24def7670a7aa9cd76218c07e8eae8be68a99","datavalue":{"value":{"entity-type":"item","numeric-id":4008742,"id":"Q4008742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d0280aa03b37f0f6a96ef7758af9586dd548c5","datavalue":{"value":{"amount":"+0.7324878573417664","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":"Q5393633$581A2236-86F3-4DEE-B5D0-24E17CB0EAA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5393633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5393633"}}}}}