{"entities":{"Q1130238":{"pageid":1140987,"ns":120,"title":"Item:Q1130238","lastrevid":46857210,"modified":"2025-12-25T17:49:42Z","type":"item","id":"Q1130238","labels":{"en":{"language":"en","value":"Infima in the recursively enumerable weak truth table degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1192482"}},"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":"Q1130238$AC6F8700-02B4-443C-9023-DDB246FE117D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f94f39b30988156062164b1c4bfffef3a1ce5698","datavalue":{"value":{"text":"Infima in the recursively enumerable weak truth table degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1130238$3DD26CCD-05F4-453B-BC41-EE7052267CA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0d59b3108043b5fb274371429c5898b69b440ea","datavalue":{"value":"0909.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130238$D18877A0-655C-4706-8926-3E4B9B97AB50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f9a4882729e105378ba9c732562a8a70425315","datavalue":{"value":{"entity-type":"item","numeric-id":1130237,"id":"Q1130237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$D3633838-B86D-4967-9319-E26A6B9BF2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$B4317CA2-CE2E-42CE-AE38-23CB8D6C5CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$EA23D216-7A77-40DF-BA1F-204172686B8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$8A585580-DED7-453C-9277-F5D1A8B65D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e60c029a007932dd7296fe5689bd47fadb1b64f1","datavalue":{"value":{"time":"+1999-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1130238$53981DE6-9BE2-4DE1-BE9A-4248688E7F67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd55177b0e1df91ded9a60e17e93a734942a7246","datavalue":{"value":"The following interesting results are given:   1. For any nonrecursive, \\(W\\)-incomplete r.e. \\(W\\)-degree \\({\\mathbf c}\\), there is an r.e. \\(W\\)-degree \\({\\mathbf a} |_W {\\mathbf c}\\) such that the infimum \\({\\mathbf a} \\cap {\\mathbf c}\\) exists. This shows that there are no strongly noncappable r.e. \\(W\\)-degrees, in contrast to the situation in the r.e. \\(T\\)-degrees.   2. For any nonrecursive, \\(W\\)-incomplete r.e. \\(W\\)-degree \\({\\mathbf c}\\), there is an r.e. \\(W\\)-degree \\({\\mathbf a}\\) such that the infimum \\({\\mathbf a} \\cap {\\mathbf c}\\) fails to exist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130238$3F163AF5-952C-44D5-93CE-EA076EDB695D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130238$0F29B7D1-7705-4CE9-8433-378E7C7D4444","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9a6ccfebae17ea1620a98d774d3edf2d093bebb","datavalue":{"value":"1192482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130238$F6922793-3EE7-4553-A6DB-9EADC7AA3C22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd69e68add5ea6e24cf1c3876786234e04483dbc","datavalue":{"value":"weak truth table degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130238$27FAA700-6B0B-489C-B725-D84455A3B5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130238$F3FE9F90-3D66-4ABD-BD3D-AD254D3AA428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa8ae1c4254f33a639bf6f557ea265fb0dc53f1","datavalue":{"value":"infimum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1130238$E5410544-3C29-4608-AC4D-28C84CB3D6C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$4C458105-F1E3-4D7F-9B5E-4F0F884ACE6A","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":"Q1130238$133F99AB-2C6D-4A36-B90F-E66F82F050A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ede8f07ce8c4c46d1af2beb2a0b610563156aed9","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039700747","type":"string"},"datatype":"url"},"type":"statement","id":"Q1130238$124683A2-E82E-4246-8CF7-2F214D11EA4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fd81ba6d177be26450845fa9f4383c85d551e5d","datavalue":{"value":"W1977420633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130238$5C83B271-3178-49F6-B922-240943368D85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9cda4b39156bdddc665a0bb799c9a31ed83983","datavalue":{"value":{"entity-type":"item","numeric-id":5187269,"id":"Q5187269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$4C5339EB-DF82-42D6-BD40-C09F8205F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b938808bf74625fe29ee40e012b8c5eb56be6","datavalue":{"value":{"entity-type":"item","numeric-id":3328534,"id":"Q3328534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$6A3831EA-405A-42F0-9E86-3E59A6120346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6e8863abdbdbf5ad762fa4fdd696792f3bd52a","datavalue":{"value":{"entity-type":"item","numeric-id":3755448,"id":"Q3755448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$56B4CB24-4C9B-4689-99EC-1BAF4CD7813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af69b326092e638e5b138b99f0776b10843bea6f","datavalue":{"value":{"entity-type":"item","numeric-id":1093628,"id":"Q1093628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$6D27D9C7-D722-4F37-9A7E-3E6C82163775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed707d032beb15d0c4d978c2160bef6124d76ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3714068,"id":"Q3714068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$227C175C-7558-4A69-ADC8-6B20FD9D6612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe5e2690e8aa5db86fc37ab1eba592d8077faf","datavalue":{"value":{"entity-type":"item","numeric-id":3843613,"id":"Q3843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$423B24A3-A2CC-46EE-A92E-4D199B992606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d1c857d50aaa8e55403ad1b85832fbe52f719c","datavalue":{"value":{"entity-type":"item","numeric-id":3926563,"id":"Q3926563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$DCA0BE99-E4DA-49ED-A9FE-64ACEA21316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$08869B20-F33F-4DB9-8B1B-D8A4ECDE1EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd740859e54df15caf7c1b128907e8d20d45e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4087157,"id":"Q4087157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$3F77ECD0-8D04-4735-A815-EF8D9460F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$DDFD9F68-ACBE-440A-A3FD-A8698CB42ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a395c4c5933b613b35995fb962c5b0cfa5341e","datavalue":{"value":{"entity-type":"item","numeric-id":3676135,"id":"Q3676135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$7015AFBE-1482-4E84-B2C2-BE0DD7905FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1130238$1330175A-F90A-4685-95FE-3B45776E0F56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6d7a6ebbe3aafc53e5907cebd319ae13a228a9e","datavalue":{"value":"10.1305/NDJFL/1039700747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1130238$06B7C86C-35B0-4FE9-94DF-D99F209C50D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c38000f5b33226d57f128cdb9d00f405db99f5","datavalue":{"value":{"entity-type":"item","numeric-id":3714068,"id":"Q3714068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712f6d7e06931798606f9b6b2c270f5d55a884f2","datavalue":{"value":{"amount":"+0.8773214817047119","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":"Q1130238$5DC99521-0B2E-44C9-B90D-85E3BF6129B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532ced438474cf3837f99ffb34ed0b0ed25ab002","datavalue":{"value":{"entity-type":"item","numeric-id":3781752,"id":"Q3781752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eed1e8f7c4843df1b7fe14d279812b918db39dc","datavalue":{"value":{"amount":"+0.8749363422393799","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":"Q1130238$2525EF05-3FA1-427A-95FF-5BAC3E36438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890f1788f9694b1560086dd4eccad55e732174c2","datavalue":{"value":{"entity-type":"item","numeric-id":1114676,"id":"Q1114676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b47e5ec6c1b8aef815aa73ab57d72703dd92959","datavalue":{"value":{"amount":"+0.8719273209571838","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":"Q1130238$55E78765-E5E3-4B1D-836F-335530C0F0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e129306349660a34dce313dd4994d1e9c1835b","datavalue":{"value":{"entity-type":"item","numeric-id":1888712,"id":"Q1888712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2eb50b77575ae9aa9481864425ebc7a8f30ee61","datavalue":{"value":{"amount":"+0.869436502456665","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":"Q1130238$2A8231E5-ED92-4D15-95F1-8C25C47CEE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c6c93c817b5be6e127abc93072dd9a4d52758","datavalue":{"value":{"entity-type":"item","numeric-id":1083447,"id":"Q1083447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b83ddfc69ced8edd515066dee404eb07483c93","datavalue":{"value":{"amount":"+0.845092236995697","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":"Q1130238$D6A9E02E-A880-464D-88F4-AFF9D92AC1C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1130238","badges":[]}}}}}