{"entities":{"Q1060297":{"pageid":1071049,"ns":120,"title":"Item:Q1060297","lastrevid":66654975,"modified":"2026-04-12T11:35:14Z","type":"item","id":"Q1060297","labels":{"en":{"language":"en","value":"Strongly constructive Abelian p-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3906750"}},"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":"Q1060297$018070CE-A7DB-48DA-88BD-B34FC857FAA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b091070f1ebd74a00384ad0203b2b71dd9899569","datavalue":{"value":{"text":"Strongly constructive Abelian p-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060297$8818C2A8-E3B0-4FD8-B776-BCB9721F9CC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45fdc4d32c534b5d3b7bf5010fe3281bd90ee12b","datavalue":{"value":"0568.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$C84E427F-0C87-4CE7-878E-0AB88DABCE7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7614acdf6bf4ad5cb027364c1d19eb30830331e3","datavalue":{"value":"10.1007/BF01978667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$E049BF78-84F4-454C-9F9A-40B96CB69876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2d30d0803471d590adadbe133265bf65d58cfd","datavalue":{"value":{"entity-type":"item","numeric-id":404716,"id":"Q404716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$E342B20E-D0B8-465A-909F-13A08A27432E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$0FEEDE34-25A0-4437-8E2C-899FB27AB0C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1060297$CE57DDD2-9B0D-4EE5-A8A2-FEE931E12D64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8dfdf52441e637aa7484cd49cf49037991833c71","datavalue":{"value":"Die vorliegende Arbeit besch\u00e4ftigt sich mit abz\u00e4hlbaren, abelschen p- Gruppen A. Es geht um die Frage, ob A eine Numerierung zul\u00e4\u00dft, so da\u00df jede Formel im eingeschr\u00e4nkten Pr\u00e4dikatenkalk\u00fcl (bzgl. \\(+\\) and n-Tupeln nat\u00fcrlicher Zahlen) durch einen Algorithmus entschieden werden kann. In diesem Fall hei\u00dft A stark konstruierbar (im Sinne von L. Ershov). Haupts\u00e4tze sind a) die Existenz rekursiv definierter Basisuntergruppen und ein daraus resultierendes b) Kriterium f\u00fcr die Existenz o.g. Numerierung.    Anmerkung: Leider hat es sich bei den \u00dcbersetzern von Algebra i Logika immer noch nicht herumgesprochen, da\u00df Pr\u00fcfer's ins Russische \u00fcbernommene Bezeichnung ''Servanzuntergruppe'' seit Jahrzehnten im Englischen wie im Deutschen ''pure'' bzw. ''rein'' hei\u00dft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$87A72D3C-18D9-407B-989D-77F1EFE4AA95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f702177706ed3af1ef53a4c3f4b9ee62c6496d4b","datavalue":{"value":"20K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$B70F2942-BDFB-41DE-8217-64901FD36FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$B166FFC8-C6B7-40D8-B0B0-8499D4BC775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$0E3055E6-8645-4779-8469-BE2AAAF1A9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$C2DF2E55-1348-40DE-8B17-888B2890AFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$0C0D5443-0E10-4BBC-8363-44DB0DBB33CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"536b802bd56a15e888c632c9c61bfb64395e28f7","datavalue":{"value":"3906750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060297$A5A175F0-FF71-47A3-BB7D-01714E511C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe135efb603954fe7b7138b3e8ffb007142d52df","datavalue":{"value":"strongly constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$F0D24DBF-EAE4-434F-92D6-7D20A5804FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fdda53b59f9138dfcc0b89850b59ae0f2c8895","datavalue":{"value":"restricted calculus of predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$DF40A504-B27A-4F76-BFD2-5784007B054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afecdcf41c5f04a1f7a9d990aeff36d2381db344","datavalue":{"value":"strongly constructive group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$DBC2085B-6AFF-4D24-9481-5B0D9AD5D652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$63D14A45-EB59-4530-A74C-1D385E410CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b5c4806253fc2abe1d98745025be2a8bc9be47","datavalue":{"value":"strong constructivizability of Abelian p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$F3F149C6-CDA4-484A-9CF4-1E5826E70268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81cfe602da1471297d7e790f90d0be7598ed6e3f","datavalue":{"value":"constructive Abelian p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$9F3A8494-02E7-47BD-B97D-4501B13C4F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a452b4f902eae68ccd03239c0ed79eafe11d6e00","datavalue":{"value":"countable Abelian p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060297$02B8F771-F3B3-49B0-869C-728F3B69A7E6","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":"Q1060297$641D4E81-61C0-468B-A8D8-9C155ED47CDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53609bf3c2002118aacb0569ef72f2a7be0badf6","datavalue":{"value":{"entity-type":"item","numeric-id":3964761,"id":"Q3964761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$026BC360-FE29-469B-8DC7-9B434DE8B660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$CFCABB48-CA92-4E4C-BAC0-464A58CF9087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$A88BA9C2-074F-44AA-85B6-EA387D20385A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6dbfb4de7afb2854e5efc998cf4140f7e0ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5673086,"id":"Q5673086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$69CCF136-2E5F-4F65-81D9-A524A0811C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6076b550a462560da9195f21f13c769dc4adce43","datavalue":{"value":{"entity-type":"item","numeric-id":4179178,"id":"Q4179178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$C55D969B-7961-410B-ABB0-402AED70B93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eae58e914450d6338efb26d8c8a1817a7328e9","datavalue":{"value":{"entity-type":"item","numeric-id":3905446,"id":"Q3905446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$CDDA0AA2-9D59-4C39-8264-A2E8144688E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d23c659cdec40d16f1c2a659149397dd1ba1e4f","datavalue":{"value":{"entity-type":"item","numeric-id":1071757,"id":"Q1071757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$6132BF87-8F95-4802-B1FA-B98E10893FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df5df2baf252b3623d2cc22d0ba3cb52dafcb37","datavalue":{"value":{"entity-type":"item","numeric-id":3739353,"id":"Q3739353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060297$1AD0D546-7DBF-40AF-96EA-0B26CB301A5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly constructive Abelian p-groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_constructive_Abelian_p-groups"}}}}}