{"entities":{"Q5195064":{"pageid":7224636,"ns":120,"title":"Item:Q5195064","lastrevid":94417772,"modified":"2026-06-05T06:45:53Z","type":"item","id":"Q5195064","labels":{"en":{"language":"en","value":"Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106191"}},"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":"Q5195064$89E57CE8-69BD-46F5-8B56-B3306162ECA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b97922144c69301b06b64ec4737b4c2131a60639","datavalue":{"value":{"text":"INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195064$A15E40C3-8560-4A7F-95CE-9DDDB4E5E31F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c61c685f1e2586953cd8473e1006d11330753e67","datavalue":{"value":"1454.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$3F65B3D4-A37A-485E-AFB2-BE029F845764","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbb743fff32c40a711db74e9f0ae70e47376cf8","datavalue":{"value":{"entity-type":"item","numeric-id":2167509,"id":"Q2167509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$AD439E74-88FF-46D4-9B97-B3506519C92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195064$5C8F6B8E-E50F-455E-8F03-E576524CD216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$4C1B5F5E-0854-475B-B3D1-0FFE76D09AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$53806CC8-7FB1-4C90-B390-D68BAD1470B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$BA4C4A2D-C802-43B2-9490-4E6EFA6EA819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$5E5FCAF9-D3EC-4957-92E0-540DD52F8797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1db26ea6c0fd2abde020c1369e5b9369dc59305","datavalue":{"value":"7106191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$73F21C4B-FC46-4B2B-A648-9B06E29F31CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195064$C90167A6-13E2-44BE-B0C2-DCD91C41FFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6ab94e96dc0af40d67e25949b534aa75ef611b","datavalue":{"value":"polynomial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195064$4984F71B-362B-43F6-8913-4CC8A3DAD04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5fb0331a03b655e4048a2c6caad2f235497ddd","datavalue":{"value":"language of rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195064$87AF1036-1560-467A-BD67-860C121159D4","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":"Q5195064$A9558ED2-C823-47D1-B7BD-26EF511F238E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99e612fd549b5af5503974fc670ff97ae5814e93","datavalue":{"value":"https://doi.org/10.1017/jsl.2019.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195064$DD39B7E7-3175-440C-9279-CFE204FC10DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6015cb0aad057df8c827e15a3e5307840bdb527","datavalue":{"value":"W2944782421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$B7F66AD2-EDC7-4056-96D7-5B1F250DB6B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f4eb5237a7ac942eb3c7f21ab6304f99bfdcf6","datavalue":{"value":{"entity-type":"item","numeric-id":2752900,"id":"Q2752900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$56A71AD0-D03F-4EEE-9457-CDD59545934F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb24ef7f10a33dfe95076d3ff93619b47a1648b","datavalue":{"value":{"entity-type":"item","numeric-id":4113824,"id":"Q4113824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$82B11C41-C2DE-4405-928E-FBE3BD277438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b7a836e71e0ce2b635352f5a5ed06e35f4c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4781602,"id":"Q4781602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$52610A69-C607-43D5-BD7B-FD8040AF0DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bff0de5ac17271e624436aca51286dd71c6b424","datavalue":{"value":{"entity-type":"item","numeric-id":3325851,"id":"Q3325851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$0873B501-3453-47EB-AAD8-8C7B25ED0F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201be8267f6c1bb899f0e8e46461dac702e0a104","datavalue":{"value":{"entity-type":"item","numeric-id":4182609,"id":"Q4182609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$CE4A9D92-49FA-45B0-9619-8FD426BC7696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566287b67c4a86b9b99505d2ace497b2dd447ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3905379,"id":"Q3905379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$19BBAC83-ECF9-4C24-A443-450378FEE659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98777effe79d746f5a2bc13762ca1520668d416b","datavalue":{"value":{"entity-type":"item","numeric-id":3160551,"id":"Q3160551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$92816797-AD66-48C2-AC13-EC5D10C9F2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcfb0d0a6dc7b8ae8cefb7ffe155846be7469f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2352025,"id":"Q2352025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$006E8BE6-0B61-4E17-A786-21C488FCAB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9feea802158e0857884461f1b33654621b1a54a","datavalue":{"value":{"entity-type":"item","numeric-id":4353517,"id":"Q4353517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$BA50D114-E8E0-4B3B-BBCD-95F52DF55323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6ee93c6a75b541cd72652bc62d7edbd6011d59","datavalue":{"value":{"entity-type":"item","numeric-id":5941257,"id":"Q5941257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$74C706AE-E0D0-49F8-B33E-2401F8284ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$40BC86C3-B648-4860-B42D-80B95A0070D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2a0a225b7494273ef322ec2fbfc9564b20754c","datavalue":{"value":{"entity-type":"item","numeric-id":4876326,"id":"Q4876326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$9BC47C7E-5396-4A3D-A871-2D0A8D366824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cee6cfbf431e2927e643ef9e7a4abc7fee5268","datavalue":{"value":{"entity-type":"item","numeric-id":2715529,"id":"Q2715529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$3979DFA6-F09C-4649-B0E1-DC34972DF07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba82d37deb9e161bb18f26ed6ff20b7999fd7ef","datavalue":{"value":{"entity-type":"item","numeric-id":3602608,"id":"Q3602608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$1256953E-51FB-4A10-A58A-F209EDB64644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a0757098af1ab88b6dd806b891784952f17963","datavalue":{"value":{"entity-type":"item","numeric-id":3752366,"id":"Q3752366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$953553D5-B33F-44A5-826B-8221B45D79F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965480c78a20e3996554e794572178d3e1025275","datavalue":{"value":{"entity-type":"item","numeric-id":3478404,"id":"Q3478404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$3FDA5B17-FCED-444A-9F84-921F9D7BEE45","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":"Q5195064$216FF8A1-58DB-46FB-A9B5-581497E37101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ae49418d5e2a20bc6e2ee8567ab6adff82f377","datavalue":{"value":{"entity-type":"item","numeric-id":5804178,"id":"Q5804178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$A4504E33-93C8-44FF-B427-CB098B38B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961696bd0e5a14f6231ed56c5ad717edf022d3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5957920,"id":"Q5957920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195064$C250AA79-E916-43C3-982B-63E2016F1752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d56bd93d620c1a495a08080e3850236494e65a17","datavalue":{"value":"10.1017/JSL.2019.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195064$EB3E9D3A-AFCF-4273-AC62-A7D8E3A2F16A","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":"Q5195064$25E77424-1BB0-4F3F-8DFD-40148B2F7159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620430c2c6731c1abbe4bbfe6e7452b788f97c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2449847,"id":"Q2449847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8c5329c3f63d9f8afdec549fb89768d553c9ba","datavalue":{"value":{"amount":"+0.7687314748764038","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":"Q5195064$93BC3158-B712-44A0-8CCE-718EA9BAA894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6882a88809172ac0891533e97e2f9f3ad01b634a","datavalue":{"value":{"entity-type":"item","numeric-id":4829365,"id":"Q4829365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc1f6fca3587119fa9506adca8d0ab6703ac8eb","datavalue":{"value":{"amount":"+0.7574268579483032","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":"Q5195064$83DAC59A-CFE2-487B-B243-E33254313D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be2cc6024c1c73bb57cbe1d5112fd64d4d8fe4c","datavalue":{"value":{"entity-type":"item","numeric-id":5858916,"id":"Q5858916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a8ee0bd66cd89f8e469c323fce668f8ce19c06","datavalue":{"value":{"amount":"+0.7412821054458618","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":"Q5195064$79573626-DB99-4C5E-A9EB-7F0E7705DEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c778c881ef757aba85feb74aedd433ef93176c","datavalue":{"value":{"entity-type":"item","numeric-id":764281,"id":"Q764281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5411eda8ea0c7739584b75879e88f56d6e298cb5","datavalue":{"value":{"amount":"+0.7350737452507019","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":"Q5195064$996DB43D-5834-4471-B5E1-3BEDBBEE2602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec7fae2bc5abc920459d0738327392ff3390a74","datavalue":{"value":{"entity-type":"item","numeric-id":2352025,"id":"Q2352025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523e4f39b13e94087ac83487a35f0bed90fa52ad","datavalue":{"value":{"amount":"+0.7282803058624268","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":"Q5195064$220575D8-7666-4936-AC41-D5863C740088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings","badges":[]}}}}}