{"entities":{"Q3478404":{"pageid":5505276,"ns":120,"title":"Item:Q3478404","lastrevid":80547962,"modified":"2026-05-06T16:27:04Z","type":"item","id":"Q3478404","labels":{"en":{"language":"en","value":"Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148080"}},"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":"Q3478404$5507729C-A769-4751-97DB-1983BE6D6F70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d26832d38523a3e9e987f9d42b4fdf8283e5bce0","datavalue":{"value":{"text":"Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3478404$92891A15-17CB-48B7-98D2-CC5CDE0B7D46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"038d6b49f41a741e198d6b10b53883bc7e2634e1","datavalue":{"value":"0701.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478404$C0FA4D26-9964-4F7B-B6C0-52B9F55C64AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af28bc9623d219c0d9231ce30072ed5c64c75414","datavalue":{"value":"10.2307/2274815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478404$A89E9CFB-3066-4D47-B4C8-A8EE22592096","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":"Q3478404$78C1ABD2-E826-4578-808C-908C68FEC74D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478404$74A458F1-C575-45B8-B7BA-2F4AAB1563AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478404$40DB299D-2680-457A-8E13-4C554C7402C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbd648810917d55b2b0d5caeee87ae08c9adc223","datavalue":{"value":"4148080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478404$9ED608C6-AAE3-4EA1-A593-2814652EAF8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddc84d0bd7587c2bd86897b4a6314bdd2914d19","datavalue":{"value":"coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478404$16C21969-A724-4618-B077-7B4A2511A49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6523262d62ed2f8b4d420a0850a52016c67f2a48","datavalue":{"value":"coprimeness predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478404$20F51B6D-AD69-4A68-8F2E-98BB54F73FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358f056ddd64855bc08c0c807e2896878caed8c7","datavalue":{"value":"full arithmetic over the set of powers of some fixed prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478404$E1223416-2759-4FAA-BEF8-18B963D95F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478404$228A718E-B04D-409E-85DD-0F67A0DC613E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd3332221caea6d47c524c4ab128bd0030b6f84","datavalue":{"value":{"entity-type":"item","numeric-id":1401350,"id":"Q1401350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478404$9D1CD089-9A6F-4012-8366-F05E4B99FF89","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":"Q3478404$215B2FC2-E201-409F-9DD2-14D2FCEA75F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1849807b72c546bef6ed468753f00ac22811984","datavalue":{"value":"https://doi.org/10.2307/2274815","type":"string"},"datatype":"url"},"type":"statement","id":"Q3478404$76317B80-D53D-43F6-98F8-6F6187848BBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee0f92b3f15d74a731148a6a0ec4662dd9262727","datavalue":{"value":"W4250360846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478404$7CAA9D26-702E-40A8-84E8-150D05C9BFD4","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":"Q3478404$677D846B-780C-487F-9E54-A9E55142BBB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be156d9810b97fc2fa97349425dd32c263bb9228","datavalue":{"value":{"entity-type":"item","numeric-id":3701419,"id":"Q3701419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2675144dbefa9516b0f922c2448e6d9755b12f","datavalue":{"value":{"amount":"+0.8805986046791077","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":"Q3478404$8FAE6113-6A2D-49B2-90D1-D5C83CF35C31","rank":"normal"},{"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":"d97d03808476320e72729cc993634dbec8780609","datavalue":{"value":{"amount":"+0.8739134073257446","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":"Q3478404$D1FD32D9-ED8F-4F71-AA35-63BF215BAF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f483a42635f94df3640d47d551eff4a1eba8e65","datavalue":{"value":{"entity-type":"item","numeric-id":2266708,"id":"Q2266708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65485a7b2b4a8eb1f48185e7171a9b6f442f769e","datavalue":{"value":{"amount":"+0.8624270558357239","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":"Q3478404$BBE3066B-D18E-4EC5-8E4E-88C8750AA748","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":"0a28efcb3d42ce6b5a24b1448184f9f93311febf","datavalue":{"value":{"amount":"+0.8615350127220154","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":"Q3478404$06A6EBE7-8705-47D4-AE76-C7C820B1DC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7702578785a543f2b7b2de15c75cd1f8db16e9","datavalue":{"value":{"entity-type":"item","numeric-id":4894724,"id":"Q4894724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7384c420e545358efa6dae6b782ea331930920d7","datavalue":{"value":{"amount":"+0.7905049324035645","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":"Q3478404$4F6D835E-580F-46FF-B12B-53DCF21F698A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers","badges":[]}}}}}