{"entities":{"Q796521":{"pageid":798369,"ns":120,"title":"Item:Q796521","lastrevid":64525716,"modified":"2026-04-11T20:28:25Z","type":"item","id":"Q796521","labels":{"en":{"language":"en","value":"Relations between reducibilities of table type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865258"}},"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":"Q796521$DDEA7E5A-7893-4F35-A5AA-C35E7EC17243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"469e2214a8fa0c910713bcf284e84f0da8156dcb","datavalue":{"value":{"text":"Relations between reducibilities of table type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796521$7120A422-816D-4E56-992E-EA3902122545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee89032cff489d451cab0ebbf57e95d35bea5d4","datavalue":{"value":"0544.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796521$C52B2D13-E3DE-4051-B5C7-D40D5F1863E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddc02ee8156a537f64963dfa9940b66ad2dbf72b","datavalue":{"value":"10.1007/BF01978978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796521$53004AC9-C2F8-4430-A12B-4C9F8AB646CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$D300E94A-1BBD-4F26-8AFB-D11502AD994D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q796521$4525AF14-9561-4E4B-B9F9-7E15585BAF7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0cb0e142f43d0913fa0814c1d4fd76670adf850","datavalue":{"value":"https://eudml.org/doc/187220","type":"string"},"datatype":"url"},"type":"statement","id":"Q796521$7768D6B6-C7EF-4561-86D7-4500CAFF8965","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea02e913b5e56da1820824f873b1616d13e4393f","datavalue":{"value":"It is proved that the elementary theories of the upper semilattices of the recursively enumerable p- and d-degrees are not equal. Let \\(P_ r\\) be a family of r-complete sets. It is noticed that \\((i) (P_{btt}\\cap P_ l\\cap P_ c)\\backslash P_{bl}\\neq \\text{\u00f8}\\); (ii) \\((P{}_{btt}\\cap P_ l)\\backslash(P_ c\\cup P_{bl})\\neq \\emptyset\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q796521$82275CA7-902B-4E50-9355-96EB4B12FA42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796521$CB8B8A38-1B51-4814-AF87-79345C827DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796521$78DFFE6A-2A2C-400F-AE05-7CE8ACE93793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64122467c45eecc985e38b0c1d03e6d6b155da0a","datavalue":{"value":"3865258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796521$49FB1FCF-D86A-4F48-A04A-41A1E15A42B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q796521$6CF0DF9E-8845-4F94-B3C4-DAF3C5897BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aec30eb7e64b59cdfa8c8966c52cb2b7c4c69587","datavalue":{"value":"reducibilities of table type","type":"string"},"datatype":"string"},"type":"statement","id":"Q796521$77ABE71F-35B8-4676-B7E2-7D4F0FB726A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q796521$5372A98A-DAC8-41DC-9C36-022E1D85E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30bb0ee0d82b212362329e96c4191154225d0d97","datavalue":{"value":"upper semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q796521$E1FD4664-37CA-4A48-9E0D-59A409F475D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"587d11483618646ab2f82c15bc64ced23d8304ad","datavalue":{"value":{"entity-type":"item","numeric-id":178406,"id":"Q178406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$F551D166-D734-429A-91C0-A8E63F6A4E63","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":"Q796521$34DC2E8C-C294-4883-8DB7-4FF6A208B123","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56d6d3e2b86ce2896b018481efbd35f39a15ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3884099,"id":"Q3884099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$B7FBD1F7-FB22-43B8-9546-AE03C12440F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f678d2cd43a0b98960db1f1d1b97f13a63e13c","datavalue":{"value":{"entity-type":"item","numeric-id":3968919,"id":"Q3968919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$9DC1A4FE-30D7-47AB-9762-D63CDCF7399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21482a9ca589a380314162fb1bc1ab475d6729e0","datavalue":{"value":{"entity-type":"item","numeric-id":796521,"id":"Q796521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$C16CB731-A614-4020-B8F3-58BE540DCD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff60796f0417909e7de4e0bfdeaee971313cbef4","datavalue":{"value":{"entity-type":"item","numeric-id":1218850,"id":"Q1218850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$670E348A-246B-417C-9CF6-BA6715CBA203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01aa13c100c9bf7da0d95b923229c974f54fa4f3","datavalue":{"value":{"entity-type":"item","numeric-id":4180335,"id":"Q4180335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$DAA2E44B-E211-4087-9616-3F1EF0947BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cce90dcb7632764f792130c679b47a5f80ad520","datavalue":{"value":{"entity-type":"item","numeric-id":5650676,"id":"Q5650676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$66253B96-FC69-4ECD-AD51-F204AC4352EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3338fe3614131d1c5a718d56ff89050e1228c88","datavalue":{"value":{"entity-type":"item","numeric-id":3848192,"id":"Q3848192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796521$223DB19E-B03C-4261-929E-CF3DA8D5EC22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a0e7418550c5a7a91b71dd58fdcc68d78c0ceb3","datavalue":{"value":"W2079871618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796521$2C938880-FFCD-487D-B661-9E8CC166A154","rank":"normal"}],"P1643":[{"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":"7b26b4a88b9a15f0366e303fad6d8b0a1597b9d0","datavalue":{"value":{"amount":"+0.9187764525413512","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":"Q796521$D7BC78A3-B235-4CD3-98BC-DCF70879D299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753a6d05bb0bf449df6ee280d6b7c5082d41a42a","datavalue":{"value":{"entity-type":"item","numeric-id":1095898,"id":"Q1095898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd95356f347aae3f7c8aabe026df904190105c6","datavalue":{"value":{"amount":"+0.8410744071006775","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":"Q796521$3B1F2EE6-07E8-40FB-9B1F-08A98C106176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690fbb9bd8bebad535f2d442e86f826a696be3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1081599,"id":"Q1081599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01a08a047aa90875c138eacd7b59873a5e5b925","datavalue":{"value":{"amount":"+0.8389741778373718","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":"Q796521$EC3A2287-3C68-4984-ADDA-680F0C9033E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cae98ccbab44085115a02f526f71228ae283d8e","datavalue":{"value":{"entity-type":"item","numeric-id":1062049,"id":"Q1062049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8569f1198c4d278201219a305ab970efaa645d00","datavalue":{"value":{"amount":"+0.8339771628379822","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":"Q796521$A7808C80-F3AC-4D25-AFAE-7934AEFF383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea4fb6aab73f47dda50cc9d0b6adfa316e04201","datavalue":{"value":{"entity-type":"item","numeric-id":1902712,"id":"Q1902712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02fde01c00f8eda9b5570d957e5bcc2baf45dd2","datavalue":{"value":{"amount":"+0.8274551630020142","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":"Q796521$1855EA60-5533-43E3-9516-57617D6D4A84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations between reducibilities of table type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relations_between_reducibilities_of_table_type"}}}}}