{"entities":{"Q1888712":{"pageid":1899454,"ns":120,"title":"Item:Q1888712","lastrevid":69388212,"modified":"2026-04-13T06:40:02Z","type":"item","id":"Q1888712","labels":{"en":{"language":"en","value":"Infimum properties differ in the weak truth-table degrees and the Turing degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2119281"}},"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":"Q1888712$633C3C36-6D61-4651-AAF1-8E2FAFDDBEBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f035f41f18c73c1ab680d4220333507021198f79","datavalue":{"value":{"text":"Infimum properties differ in the weak truth-table degrees and the Turing degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1888712$247E8DAE-D4B2-4372-AEC4-F7F0FA51F0AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a5207630bbf320dd04e1aa3120794e62b8729a6","datavalue":{"value":"1063.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888712$66C59BC8-171A-4B39-8E35-B462B3FF9447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34858ad02aee853a9408973adaab0f3540f0107f","datavalue":{"value":{"entity-type":"item","numeric-id":409317,"id":"Q409317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888712$4821EF45-6103-4745-B325-19F3F7315BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb78d6e16e1b42b714676493ccae392d5911af","datavalue":{"value":{"entity-type":"item","numeric-id":162006,"id":"Q162006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888712$3AD6EEC8-9A58-47CA-BD84-68160790FFC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e4b85a95bb580942118a318d128e25f89c02618","datavalue":{"value":{"time":"+2004-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1888712$0A59C329-198F-4E91-B683-A7A0D0634962","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83eadaa4042c227cf98fc09efe4fb47737fb7af7","datavalue":{"value":"The main result of this paper is the following Theorem. There are two non-recursive r.e. sets \\(A\\) and \\(C\\) with \\(A<_{T} C\\) such that for every set \\(F\\leq_{T} A\\), \\(C \\cap F \\equiv_{W} \\emptyset\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888712$4BBDBEF4-8D10-46B9-AA0C-789C3F1FD791","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888712$9DFB0197-EE15-42B2-8298-9B350601C25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888712$279937E9-D4B1-4E0C-B482-6003FA06146A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c15c328101d1d6decb401421727dbb8fd59b83","datavalue":{"value":"2119281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888712$15A519A5-AF8E-4C79-96D6-8B16CD0836B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089045109444783772792da658bd57f5bf33eabb","datavalue":{"value":"minimal pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888712$60D247E0-9E4A-474A-834C-5C73F42DAE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6981ec66f549548ee2d267ee32e56d18cdf1306","datavalue":{"value":"wtt-degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888712$1C2350FF-0903-4C63-B936-308A90653CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d053c579158b83c6fbb0e62cc7ff922176ce8db","datavalue":{"value":"T-degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888712$862F1AD6-5023-4283-973D-48FECFF6FDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc32f873743f962df92151ddc79641770fa6aed5","datavalue":{"value":"r.e. set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888712$779F4548-AAAA-4284-9A1D-F53CF6070CED","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":"Q1888712$FD2E900D-2797-461A-8F7C-7A1D3132741E","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":"Q1888712$51C2C4F9-538B-46F1-A4A8-C89CCDDF8C33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f884bef6e6b5ceface5fd606ffb0427719a96b9","datavalue":{"value":"https://doi.org/10.1007/s10114-003-0288-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1888712$18B1ECB7-9242-4DDC-A2E8-06E48CB228DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"128ef146a616de9b5ab0db3d8cd77dbb92807712","datavalue":{"value":"W1963638974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888712$2C676A77-F04C-43CB-9B78-E31D55A3750B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fe9988c57ef2057701622226429e6ba5d779ee","datavalue":{"value":{"entity-type":"item","numeric-id":1083447,"id":"Q1083447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888712$591799FA-D3EA-437A-872B-E19AD8E990A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e037ed3157f307ba4d55b6ccb6b475e02da59320","datavalue":{"value":{"entity-type":"item","numeric-id":1314544,"id":"Q1314544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888712$A9A3819A-E5CA-4190-898D-1C06829E6149","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":"Q1888712$E8301448-B871-40F8-A00D-A3F04681CD83","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":"Q1888712$B2CB8E95-7285-46D9-894E-08C7843B14CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f68310632679574b63e7d82820fa6b7a5cc9a31","datavalue":{"value":"10.1007/S10114-003-0288-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888712$0A6E1977-3B5D-4699-A4A0-B1AD6668BA9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3570b3f5f110906e70e74fb4db2efff35a52a831","datavalue":{"value":{"entity-type":"item","numeric-id":4225446,"id":"Q4225446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888712$AF052DFE-1D3F-43BF-942A-CF2C2CABC95B","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":"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":"Q1888712$DB41DDB4-9D62-46F6-ACCC-D36414FB4E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19198feb5c8a3661d0c24e3b4a49b3f6e57e91b0","datavalue":{"value":{"entity-type":"item","numeric-id":3755448,"id":"Q3755448"},"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":"Q1888712$76709B84-8E15-492E-80E6-3689D5A15CB2","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":"a100c0a81a3c0809a89f1d5ca49334a31be5d2d9","datavalue":{"value":{"amount":"+0.8389860391616821","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":"Q1888712$535CBD6E-52F8-4CB8-A565-1EBFFF750AAC","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":"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":"Q1888712$0FEA3D01-AB17-4487-9B35-A6213F19BB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edaa9c22b19cf000c6411145a2beceb81ca462ce","datavalue":{"value":{"entity-type":"item","numeric-id":5113922,"id":"Q5113922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e0cdb895cceb1d29db71cf314c7677b801fe54","datavalue":{"value":{"amount":"+0.8253600597381592","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":"Q1888712$A6609D7A-0F3B-4558-9538-9427B557888A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infimum properties differ in the weak truth-table degrees and the Turing degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infimum_properties_differ_in_the_weak_truth-table_degrees_and_the_Turing_degrees"}}}}}