{"entities":{"Q4338316":{"pageid":6367916,"ns":120,"title":"Item:Q4338316","lastrevid":46750167,"modified":"2025-12-25T12:45:16Z","type":"item","id":"Q4338316","labels":{"en":{"language":"en","value":"Undecidability in diagonalizable algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014589"}},"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":"Q4338316$FBA32F50-CE88-4721-98F8-9F1F0B8B1083","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c991650729d811ef202715cfc861de00c7b762f","datavalue":{"value":{"text":"Undecidability in diagonalizable algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4338316$115E35BA-0C37-49A0-A839-65F82AB12540","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e614719a04c0ccb0de6b90770307c260a0f4ba6","datavalue":{"value":"0876.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$844E5B76-A294-443A-B48B-11A2B7621309","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9bdfd30705b3afdbbe280be5e507d6478269947","datavalue":{"value":"10.2307/2275733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$5CCA1D92-6C9C-431B-B24B-1BAC134E4BAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d38feeb31ad31ada3e93bf79c1abb9ea8b5106d6","datavalue":{"value":{"entity-type":"item","numeric-id":685076,"id":"Q685076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$06C4B696-0151-4D3F-8D35-77E5EA926D55","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":"Q4338316$801072EF-D45C-427A-9A39-0CBD54827A84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f34121104d5a769836c4f5a4b60f968d0a4004","datavalue":{"value":{"time":"+1997-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4338316$C993F424-83AB-48AE-BACE-34F099098C0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$41251FD6-987B-43FA-873F-E890B04A880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$61F0F8F0-7F50-4456-96B7-C167C1180F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$2437B2EA-CA95-4262-BA81-30A3FEE12A9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfa40746175909a927a28cef192ca9c5087b5900","datavalue":{"value":"1014589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$F0FB26D0-BA0B-45D0-97FE-0FFEB810FF2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f3ada23287513a351f120d5da44eccc390eedf","datavalue":{"value":"diagonalizable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338316$BBD2FBCA-4C46-41AF-A193-B9636D6E8E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338316$E25F8DFC-7B62-4F37-B619-8E156204F527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d17d010388cb04935f92af523f2efa4c0132548","datavalue":{"value":"first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338316$D3419E4F-FCA9-42BD-9FAF-6AA8442B050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"915b70480d6c34bb7bb040819d23fac69a11c6ad","datavalue":{"value":"upper bounds on undecidable quantifier alternations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338316$5E273BF4-E3EB-4DF7-AC01-977F43B6B14D","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":"Q4338316$6DC9FD60-F352-4033-872D-8AD06031F9ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8da6e07c4db78a62910c3130fdab06961eb9c4b9","datavalue":{"value":"https://doi.org/10.2307/2275733","type":"string"},"datatype":"url"},"type":"statement","id":"Q4338316$D9C473F1-4BA4-4476-A629-CA2DC968B9E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25a38f17dd8ecf90d5a065d1adc1181da4191454","datavalue":{"value":"W2145210098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338316$11F6AA08-3447-40C5-B69B-D98A7142BE55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dddcd736a8324da4b8c974b7749e73fd72bc2cb","datavalue":{"value":{"entity-type":"item","numeric-id":1153078,"id":"Q1153078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$75906483-8127-4282-BE7F-74283FAF845B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ce780a1cdda837f99fdc2c5f742c3b4d868bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1207342,"id":"Q1207342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$5602C237-F7AE-4604-8ECC-54D2338FDB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2255738872d0c1adb826d6319e2ce8dd51fd9231","datavalue":{"value":{"entity-type":"item","numeric-id":5528151,"id":"Q5528151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$076C85E3-E7EA-4485-9CF6-8DFC541A74BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$A946155C-CE65-4489-A194-855B286C2614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a24d37f6d3c8d935a4a82aa34d50691341b9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3812363,"id":"Q3812363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$5E459364-8C3A-4369-84B6-229F36128B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3ad4bbff8e140149c73f6e10164e1934ee6283","datavalue":{"value":{"entity-type":"item","numeric-id":1332858,"id":"Q1332858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$9A84EA1F-9311-4B88-91DD-3E924DC4B749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c72f80d57702715502343f926069d8e867ff502","datavalue":{"value":{"entity-type":"item","numeric-id":1317986,"id":"Q1317986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$3383D70D-544F-4CD7-94AC-18F8AB8C59CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9fed20a2cf36e9f6ebb0ce6aa9d3ec613d2417d","datavalue":{"value":{"entity-type":"item","numeric-id":1333315,"id":"Q1333315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$2049B767-177E-4A7A-B11C-EBC253A92E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffd8093b69e95cbf4179fff1eb7e9dc6b3195f4","datavalue":{"value":{"entity-type":"item","numeric-id":1224657,"id":"Q1224657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$B121D68F-6A4A-4084-B120-A0EA06E724DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ffed8cdd797523e656f7112e857187e4b2806e","datavalue":{"value":{"entity-type":"item","numeric-id":689212,"id":"Q689212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$09936E36-E8F5-4E39-B1E6-5A62E77781EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1cf764eb9c91128e15ecfe17f6c1dc4f0ea27","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$C2C5D998-6356-44AA-86F3-D086A44D5420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$7615063C-1FD4-4744-B0A2-4F3E35FE2E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$F2D6B378-002C-4BB8-8D27-85B42E72785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$FF1B3081-5109-479F-88AF-73D44AAA44DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$360BE84B-4E6C-4E16-8E42-D085E83CA18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc79734aa7b49132ce491a5b8167b96cbb722b","datavalue":{"value":{"entity-type":"item","numeric-id":685075,"id":"Q685075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$710043C9-C663-45DB-ADC8-92F22D7CD7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$0BC6BEDC-AAE5-41EF-B132-C2AD6EDCA03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$1CC45C87-60DC-42D2-B739-FCB167981B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$7D8C54A7-D586-4D1A-ABA9-D3B9E8C2B2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6759a71252fad37811b45e5a4a3b7fe3a524cce3","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$3E51E0FB-6511-4229-84BE-8E2ADDA01761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568f349b1abb10969b8d29eaf05e2dda43e5c08c","datavalue":{"value":{"entity-type":"item","numeric-id":795036,"id":"Q795036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$CF6BE37B-A90F-4459-A3A6-0EE11F417DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659a16183c631a047cc8b56775c679917c0ba1e9","datavalue":{"value":{"entity-type":"item","numeric-id":685077,"id":"Q685077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$867195B6-E62D-42A5-85A6-20B3017BF221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d2a13523151da936d38513a7d935d755afd40","datavalue":{"value":{"entity-type":"item","numeric-id":1153077,"id":"Q1153077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338316$A010C38C-ECB5-47AE-9250-4293825D50CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baddc99eecf00e2aa87e7cb3f36a4408a9ff6e93","datavalue":{"value":{"entity-type":"item","numeric-id":795036,"id":"Q795036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750cbbe82f87c046998c0df96f6ab3b813a36176","datavalue":{"value":{"amount":"+0.8344475030899048","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":"Q4338316$EEE0EAD2-9B15-4BB2-BC5B-61957FA4160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ece1bc568f910e0a7aa7437a3b8204efcb1016d","datavalue":{"value":{"entity-type":"item","numeric-id":1075310,"id":"Q1075310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f7af0912b2f7c0e6b3e2d7ea268546e2142e31","datavalue":{"value":{"amount":"+0.8176091313362122","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":"Q4338316$6FC84FDC-6E61-4C9D-A298-FC9B507A019F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36c6ad665f452a4ee53651f2e8f9f7fc569a7af","datavalue":{"value":{"entity-type":"item","numeric-id":1317986,"id":"Q1317986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e8e1a3660d377661b190cb84acf629940c8956","datavalue":{"value":{"amount":"+0.8084460496902466","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":"Q4338316$1814DF36-6BA5-46CD-A4F6-643126B1C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f14c6d0b81a3f8e333ae08102f84bf8b6071fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703896,"id":"Q3703896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b3cbaae0b8b1c43f42f4e28b231f56faf1174a","datavalue":{"value":{"amount":"+0.7943536043167114","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":"Q4338316$802FD01B-7C93-4A10-A6AC-E607D5A19578","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4338316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4338316"}}}}}