{"entities":{"Q1114676":{"pageid":1125425,"ns":120,"title":"Item:Q1114676","lastrevid":49239421,"modified":"2026-01-06T20:12:54Z","type":"item","id":"Q1114676","labels":{"en":{"language":"en","value":"Infima of recursively enumerable truth table degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083603"}},"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":"Q1114676$BB421AFF-7196-447F-97D7-178FFBA14E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1461736f6168cb585f4eaff922fab990494047a","datavalue":{"value":{"text":"Infima of recursively enumerable truth table degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114676$12A207E8-A288-4F75-A3A1-614C862EBF20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c3cadad883bf5ef1ced9b416484255c2b2b488e","datavalue":{"value":"0663.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114676$07BC2CD1-4A0B-41CC-B3C5-29DA95F7D80C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7f5b71d250a4b24a71a620593edb6d2ffc22d8","datavalue":{"value":{"entity-type":"item","numeric-id":175053,"id":"Q175053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114676$FE9D2FCD-C08A-4AF0-971F-3E67D1D427AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114676$2A0C1C76-7A09-4932-A679-7A0405483ECF","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":"Q1114676$1C3EDC3D-2546-4445-83AD-989EFA8A2AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1114676$20497C20-243F-4D5B-87E8-DE27718F77AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4305bbfbb3372556f30264d6f3bc14e730b3933","datavalue":{"value":"The following interesting results are obtained: Theorem 1. There are r.e. tt-degrees \\(a_ 0\\) and \\(a_ 1\\) such that \\(a_ 0\\) and \\(a_ 1\\) form a minimal pair among the r.e. tt-degrees but have a nonzero inf among all tt-degrees. Theorem 2. There are r.e. tt-degrees \\(a_ 0\\) and \\(a_ 1\\) such that \\(a_ 0\\) and \\(a_ 1\\) have no infimum among the r.e. tt-degrees but have an infimum among all tt-degrees. Theorem 3. There are r.e. tt- degrees \\(a_ 0\\) and \\(a_ 1\\) such that \\(a_ 0\\) and \\(a_ 1\\) form a minimal pair among the r.e. tt-degrees but have no inf among all tt- degrees. Theorem 4. There are r.e. tt-degrees \\(a_ 0\\) and \\(a_ 1\\) such that \\(a_ 0\\) and \\(a_ 1\\) have an infimum neither among the r.e. tt- degrees nor among all tt-degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114676$F7A3002C-9B85-4513-B20C-DABFAEE6F6D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114676$2523E41A-33ED-44EC-9FB1-E4CDFF5FD662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef9965a8928d1be6c4d23709445201ca935aacb7","datavalue":{"value":"4083603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114676$65114BDA-2637-4527-BCB7-D32522643E11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2949fc281bed09d1a282780bb1ba94789c84966","datavalue":{"value":"truth-table degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114676$A79C167A-1C12-4ED2-9247-C46DFA8B8C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089045109444783772792da658bd57f5bf33eabb","datavalue":{"value":"minimal pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114676$0B056A0F-A8E8-42DC-9B79-4D6D90EB20A9","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":"Q1114676$F0B0E6C1-9B4A-4732-9AE0-8644C1C19F3A","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":"Q1114676$808AE845-5FFB-41B7-B436-6D3A42DD6065","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86fa1c636c2a6d410c2c150ac8dec58cad6bdcaa","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637938","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114676$6F041681-35EC-4C53-A11B-1F14E0ED167C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"821f7715cbc7395398dc8f1700d7f9404f06bdc6","datavalue":{"value":"W1970753511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114676$280418CB-510F-4CA0-A43C-D7C750245968","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9763c511c1579a7cdc51ae7a413d684852dd0edc","datavalue":{"value":"10.1305/NDJFL/1093637938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114676$11F4224A-85FB-41E8-82DC-EE033E2103B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8bb224cc733135ed2271828bcc7b558e179efb","datavalue":{"value":{"entity-type":"item","numeric-id":1130238,"id":"Q1130238"},"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":"Q1114676$B3AFCE45-76E1-4A8D-9EC0-CE6A117C6121","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":"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":"Q1114676$2A7560FE-DE15-4723-91A8-56DAFC1002B3","rank":"normal"},{"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":"27ea967c647edffb1d415b5be4f0e258c8f3e19f","datavalue":{"value":{"amount":"+0.85788893699646","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":"Q1114676$93F94900-D081-433B-B06C-4233176747F2","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":"1ed1449496c1058f2488bdce0625a9025e54bfb0","datavalue":{"value":{"amount":"+0.8336507678031921","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":"Q1114676$CEB026CB-8E2A-4943-B981-D6F3375CB04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008f161617e76912149e856320e13d9231b7a32b","datavalue":{"value":{"entity-type":"item","numeric-id":790106,"id":"Q790106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02201ef08e1736000654238e31ca7cfeaf1f1e0","datavalue":{"value":{"amount":"+0.8272562623023987","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":"Q1114676$A49B82E8-B35D-4559-8F44-571C5C663DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114676"}}}}}