{"entities":{"Q5037208":{"pageid":7066785,"ns":120,"title":"Item:Q5037208","lastrevid":55399873,"modified":"2026-02-17T15:38:25Z","type":"item","id":"Q5037208","labels":{"en":{"language":"en","value":"The \u03a3 2 theory of D h ( \u2a7d h O ) as an uppersemilattice with least and greatest element is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7481736"}},"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":"Q5037208$5A035B6A-58A9-4BEE-8159-626BBEA3A208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4783d9ade8802435c7c8f1db81ca7fa1e073bb1d","datavalue":{"value":{"text":"The \u03a3 2 theory of D h ( \u2a7d h O ) as an uppersemilattice with least and greatest element is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5037208$4350A9E0-1B6C-4495-816D-E301ED5FD7CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdac7e6d3357c1a3b6089541bd0583bea9cd15f5","datavalue":{"value":"10.3233/COM-210308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037208$F6A8D612-8441-41F2-8860-1E423A1EF04D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$49AA8328-F0AB-4E6B-ACE2-C56A627D133B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b3c6faba5d9d4300af24b095d7831ca46f12f","datavalue":{"value":{"time":"+2022-02-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":"Q5037208$89B8E624-561B-4BA0-89B1-067C33325395","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f64700349f9f01e4d9312f4ef4a576507c57fbe6","datavalue":{"value":"https://arxiv.org/abs/1704.06347","type":"string"},"datatype":"url"},"type":"statement","id":"Q5037208$3076330F-03B7-4282-A988-0E78E85402DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037208$9297AA44-409E-47A8-A8F4-C572A3820BD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c8fa155500e997329173fd091bcffe1661c36a","datavalue":{"value":"7481736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037208$02121564-4558-41D7-A7A5-635DE4C46163","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037208$B803BE2C-8E28-4B08-A8DA-16FABAA439E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784496d9d7a04be80d34839895318f0b7321bb29","datavalue":{"value":"hyperarithmetic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037208$1BE6C0D1-0EBA-4521-B3D8-E6431E8D1F42","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":"Q5037208$9CD0E562-7D77-4EE6-9CEA-C7A30377ABC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7b29411ca5432dc1ded925f02f9c2498f2f058","datavalue":{"value":{"entity-type":"item","numeric-id":4600467,"id":"Q4600467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$971707C8-486C-4B7F-AFA6-84852A6BDB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfcc6f5a7085d2fce2cc3dbce48b00140ce31a8","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$C4716996-73BA-4097-BAF7-38B959EA83DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b263f961b581fc3a25b78d3a0446cc8dc34e52a5","datavalue":{"value":{"entity-type":"item","numeric-id":5190191,"id":"Q5190191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$EEEFF85D-D83C-4223-8041-DD58472BAC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$8C0B70E1-F814-416D-8592-A456F796A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e16431ea4844625a9bc7c5ed4e21899acfc928","datavalue":{"value":{"entity-type":"item","numeric-id":3487331,"id":"Q3487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$3DAE81C9-9F51-49FE-AA88-187FAA84B32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$6BE4CECB-F2FA-4F65-B089-80E136F07B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037208$B0A63787-249A-49F2-AF3C-E63D4C53A08C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c17e4a5101b60595ada0749622869dc2e64f00","datavalue":{"value":{"entity-type":"item","numeric-id":4600467,"id":"Q4600467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78db539229c8f80ab77ca049c0b1d48260d3fc60","datavalue":{"value":{"amount":"+0.9055030345916748","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":"Q5037208$35817D68-E65C-4567-A6F7-45E20C705875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7344ecbb2a3d10177b6b4532b2e1c9d7c0114a37","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a0d18626c94de7e12108a0e2142f032435dcd9","datavalue":{"value":{"amount":"+0.8470253348350525","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":"Q5037208$228ABB72-48D3-4A23-BA72-22E07756C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5ae038c0a0545edad5b822563efd1d6989303","datavalue":{"value":{"entity-type":"item","numeric-id":5687321,"id":"Q5687321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02228229e1f0ac86d5204f94aff3ba6e941d3148","datavalue":{"value":{"amount":"+0.7999727129936218","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":"Q5037208$F8B6DC79-F926-48B6-9B30-93790D01F045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2889752b4fe8d6ceeaa51aa5a8ed21ef0e5aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4813796,"id":"Q4813796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda2d164812513d3b260e7fb78ffb0bc8759d944","datavalue":{"value":{"amount":"+0.7835372090339661","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":"Q5037208$2BD9A533-E9C5-4E40-8F57-0B4F9B0969C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a20432b00a0b794ea96e73ee40c227403904cf","datavalue":{"value":{"entity-type":"item","numeric-id":5477365,"id":"Q5477365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913762ed68e967165bdd52fab58e048e8019b4d9","datavalue":{"value":{"amount":"+0.7821780443191528","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":"Q5037208$C79EC55A-F5FD-42E7-8366-ABB9787D54A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5037208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5037208"}}}}}