{"entities":{"Q4894724":{"pageid":6924303,"ns":120,"title":"Item:Q4894724","lastrevid":46395555,"modified":"2025-12-24T17:04:02Z","type":"item","id":"Q4894724","labels":{"en":{"language":"en","value":"Definability and decidability issues in extensions of the integers with the divisibility predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932349"}},"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":"Q4894724$0EA31017-07C5-486F-8B1E-58B82F6DF8DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5a0b6a209d3f482e89f43a74e1b81b510b0727c","datavalue":{"value":{"text":"Definability and decidability issues in extensions of the integers with the divisibility predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894724$AEE85CB7-4E5E-4277-BCDA-2D7A3FFF7B47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed9924c7df948eeca4409b776d2bb84e1f69205","datavalue":{"value":"0868.11061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$156C5BC9-1CA2-44D3-A43C-FABCF5C49E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2e4032dc9971deddd43929a3b7c2c362983cd3b","datavalue":{"value":"10.2307/2275673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$0394F7CF-9421-4FBC-81C2-0DDFB2F75603","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":"Q4894724$4D450E9B-4068-422E-A638-1B667D614D86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d28ce544e27c7b300ad3e764a5b358f402743f33","datavalue":{"value":{"time":"+1996-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894724$47B837C7-C5EB-4C13-882C-88AD542FBFEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$06B0E736-565D-4162-8149-ECAA191F6B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$5ACA4963-5C7E-4A5F-88B5-5B9C916EDC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$28301566-22D6-49A0-8BC4-A996D5A2822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$8620AE7B-A2F5-4234-95E2-8C925E6F3EE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e9f2fdef796fdb3ebd9bb3ede69f294d6ed452d","datavalue":{"value":"932349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$F8712A3C-EBBF-455D-9332-5CB6D4901011","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bde215a6d2c4810b3dafb2128909a2af78e6547","datavalue":{"value":"divisibility predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894724$A27226A8-B3F9-4BD8-BCA5-72A4B4433AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3404477da5be1451e1b14809a93aa4900340382","datavalue":{"value":"positive integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894724$37201D9E-5D30-471A-B511-8EF9C2A16DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894724$DD662200-224D-4314-B730-EADD160E8A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3606e98d1b795de1aa6cd5479247c5c3cf1984d4","datavalue":{"value":"divisibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894724$8E1D274F-6ECD-4163-90A7-288DF106780B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"069c49ed07632856093c11f7cbd999f5a3f4b4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401348,"id":"Q1401348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894724$4A8DEB57-8684-4BD8-97F7-1414F5468489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b09d98ecfbc58c6f9b7cf10e965a5f90896b23","datavalue":{"value":{"entity-type":"item","numeric-id":741170,"id":"Q741170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894724$3587F055-F631-4701-B659-BD0FA3F55F2F","rank":"normal"},{"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":"Q4894724$4DD84314-148E-4DE9-A970-1A5A29770743","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":"Q4894724$B3000E2C-4B92-4D29-A3CE-62A28F1CA605","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b29d69f7a5646c08e84e969b517b414e60dca2","datavalue":{"value":"https://doi.org/10.2307/2275673","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894724$FF494088-9B16-40C7-AEAE-83E9217E58D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ad13997f473e9f0eb5d8e3c3e906a17d2d1dd70","datavalue":{"value":"W2030664340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$CFE98043-7254-4DCF-9359-C9AB2A67DF58","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0195d9ae1eb5577a23d5d9fda637b3d818b5e29","datavalue":{"value":"Q56896689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894724$73E654E4-EE3E-4651-85D2-CE20BEF3594A","rank":"normal"}],"P223":[{"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":"Q4894724$430E6E6F-B5B1-4DF0-8632-10FF57000E51","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":"Q4894724$DBB2098C-094E-44E4-92A7-F4906FA38148","rank":"normal"},{"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":"Q4894724$7E873942-EE18-44C1-BBD1-404CD71C2B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e03cd8581db3f1a993a90df4b9b3924df0ec8d","datavalue":{"value":{"entity-type":"item","numeric-id":5528645,"id":"Q5528645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894724$6407FAE1-A86C-49BA-925F-94472FD8BEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c07101b1f60aee83baed71cf3786ce55b16a14","datavalue":{"value":{"entity-type":"item","numeric-id":2266708,"id":"Q2266708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894724$811AE589-F84C-4200-A90D-237CC33FB279","rank":"normal"}],"P1643":[{"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":"281180bd125e1731d90149d20162d48f6f79ddcd","datavalue":{"value":{"amount":"+0.8521626591682434","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":"Q4894724$9181EDE2-9189-4B81-B5C5-43CD88799261","rank":"normal"},{"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":"8cdaed02819a551b2881f3e14341d664507d8070","datavalue":{"value":{"amount":"+0.8324728608131409","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":"Q4894724$9EE554E0-493B-4F92-ABCF-A4F2F27400ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe08ff23cd9bcf095a9854de7eeb2918ef3844d","datavalue":{"value":{"entity-type":"item","numeric-id":3752366,"id":"Q3752366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40cb69f6d663cf8e048d33f029470412500a47b","datavalue":{"value":{"amount":"+0.8023831844329834","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":"Q4894724$7702CBBA-4F0A-4797-9554-831F2D6CCB92","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":"c3adcc6192c4754f2999c3b8ed057b78b66195d7","datavalue":{"value":{"amount":"+0.7998641133308411","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":"Q4894724$34985B6A-0DD1-42DF-A8E9-6320CE73FE8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894724"}}}}}