{"entities":{"Q4338318":{"pageid":6367918,"ns":120,"title":"Item:Q4338318","lastrevid":46750170,"modified":"2025-12-25T12:45:17Z","type":"item","id":"Q4338318","labels":{"en":{"language":"en","value":"The theory of integer multiplication with order restricted to primes is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014591"}},"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":"Q4338318$DB755D0B-FE93-4957-8801-28D45E4959E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed38e4748d3c12f3f05008269fa047251fcb4ad7","datavalue":{"value":{"text":"The theory of integer multiplication with order restricted to primes is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4338318$67F89099-B71E-40B4-910D-7749ABE40736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db7ba958efede9260400311ab8f12b7509a2c279","datavalue":{"value":"0881.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338318$D302695E-EAC7-4422-91A3-182C6E0F1B12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c14a630484d319bdcdb4e2d440a299eab863a3e","datavalue":{"value":"10.2307/2275735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338318$935A34A0-DC85-4A3B-9D48-AE153AE56755","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f24bacd1521a4d6348aadc4a6edfbc8184bc1c9","datavalue":{"value":{"entity-type":"item","numeric-id":671515,"id":"Q671515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338318$B771DC6E-51B7-442B-92C7-A972CCA04F3C","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":"Q4338318$52D75FAE-9945-4BAB-9784-DBD93E5D58A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e867b150d8a1bb758643b1fb4dd63cfc4c912853","datavalue":{"value":{"time":"+1997-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4338318$442C51E1-3DDA-4E8F-8FC3-41F5698D0539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338318$FFB951F4-7B85-4BFC-A989-BFE7F0B2A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338318$BF482691-024A-421A-A938-C00C3AAB2079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df8741267f472bdb0add6cdd6b7a86bc21d3f3ed","datavalue":{"value":"1014591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338318$FA1D7876-14D1-4802-B96D-28095A30A561","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18789b278f24ce44f99ad73b208c7669ea66ccb9","datavalue":{"value":"integer multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338318$364D8623-953B-4879-84B7-915A7479C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338318$C475BF38-EF99-4708-8804-9563A9F1CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338318$9CB0081A-5079-44A2-8E06-B23D30D50BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187cd4c5e11c5d43b5c994bad74beed541941ac1","datavalue":{"value":"tower of exponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338318$04E84D96-2FC7-491E-AA4A-14760896E58D","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":"Q4338318$8E4B3029-E7E5-4467-A48F-2E2115CE85D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f8b63ac9fe4c186b9522875eb7ea20ca2a6f6e9","datavalue":{"value":"https://doi.org/10.2307/2275735","type":"string"},"datatype":"url"},"type":"statement","id":"Q4338318$8D8C4D29-0027-498C-919B-717C6EC64128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20e586cbba15460bd555f7e466236cc7af39eb2a","datavalue":{"value":"W2034177508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338318$CE31BC36-F4F0-44B7-BA75-CBDAEEC60B35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338318$9C73CD6A-0398-4E60-9A0D-BD295791E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338318$7EF3956B-FCF9-48BD-B219-63C4A22D1C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338318$B8389C0D-7CDE-43F1-A406-3FE5F947D764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338318$2D727A1F-639F-4B95-8601-D945AED6DE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338318$8BC2E4A8-6A8D-4E57-A4B8-0B8C42DA9772","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc80a4ae50bef582575d18896abb0ad7b5457771","datavalue":{"value":{"entity-type":"item","numeric-id":3138021,"id":"Q3138021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81ecca3172a75ac71720800bf764caf00df6bc6","datavalue":{"value":{"amount":"+0.7971060872077942","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":"Q4338318$D3B31375-0378-4F95-A254-539F12EC6952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ffcc4d82329843ae8bf86ea6d1f136e9f6772e","datavalue":{"value":{"entity-type":"item","numeric-id":5359574,"id":"Q5359574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0705ef4fcb5f52e6ff24ad5c21acd77ef0353627","datavalue":{"value":{"amount":"+0.7939350605010986","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":"Q4338318$2A58AE66-0D39-4828-9514-279330472D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c20c4dcefbc3437cb3846a91de3ef763959288d","datavalue":{"value":{"entity-type":"item","numeric-id":4697160,"id":"Q4697160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b841ab206432292cccb732cbe24f3b242ad55e99","datavalue":{"value":{"amount":"+0.7703802585601807","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":"Q4338318$04C5E5E9-BDDE-405E-90A3-4CB14BDD5FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272e11d8361eafd3732c633f630850e4a00f0e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5445159,"id":"Q5445159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee7382c8bfbc55d25ed6b9f20b2b430fe6c6572","datavalue":{"value":{"amount":"+0.7648162841796875","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":"Q4338318$92FCEC04-23A5-49BD-9EE4-FDC3FFBE7E74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4338318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4338318"}}}}}