{"entities":{"Q1210140":{"pageid":1220889,"ns":120,"title":"Item:Q1210140","lastrevid":69904143,"modified":"2026-04-13T11:06:50Z","type":"item","id":"Q1210140","labels":{"en":{"language":"en","value":"Weakly semirecursive sets and r.e. orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 169666"}},"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":"Q1210140$6030CD21-84E4-48AD-ABDB-81AC248A0CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60cecfe63e648bcb9a4575b87734bbefcdb2b0a3","datavalue":{"value":{"text":"Weakly semirecursive sets and r.e. orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210140$80FD9685-E740-43A5-BB1C-67A21950EE14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7af066f0e1eb47305e8b06e97d5ebce0ca375d3","datavalue":{"value":"0767.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$5105C945-6033-42F6-8157-D88D26C8265B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"763092bbf08a60e19643e4488cc9f9d93272c998","datavalue":{"value":"10.1016/0168-0072(93)90040-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$3C4220EA-8E3E-4F97-983D-DF3A6BB5FC88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$2DF0F505-08E8-48C6-93E9-9725D5710686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26c4cd22843016572b2c49bdfd7bf76a192b6c2a","datavalue":{"value":{"entity-type":"item","numeric-id":960465,"id":"Q960465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$57C53819-8101-484D-A33D-A4DA1F8CAA3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$F9E04F36-925C-4428-B419-2CBDC3378995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210140$AD36C053-64D5-4C4B-92B6-B764A4C3FFEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66bd23d4df927969f4f1e1a3f240e3d1df0acb14","datavalue":{"value":"This paper continues the investigation of weakly semirecursive sets -- introduced by \\textit{C. G. Jockush jun.} and \\textit{J. C. Owings} [J. Symb. Logic 55, 637-644 (1990; Zbl 0702.03020)] -- using methods from the theory of r.e. partial orderings. For instance, they prove that a set is weakly semirecursive if only if it is an initial segment of an r.e. partial ordering (this result generalizes the Appel-McLaughlin Theorem for semirecursive sets).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210140$70CF1411-BA21-4970-9180-1EC5B2AABE88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$F15083C4-856F-4028-B459-A234DD15B7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$F1E729CA-3966-4ED5-8953-12E3AF040579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$20CDE01B-E253-4387-82FD-036059966477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6393530701dd088436467c0dbcbfa1f4af692991","datavalue":{"value":"169666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$745E2CEB-D096-4A35-B00C-6FA28C8A79F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257e1ea8a80d0080a794642218796eb7a74460f8","datavalue":{"value":"weakly semirecursive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210140$E04B2188-AC81-43C6-B19B-6085DE61B1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361ce3e704fa402fde7d28887bb2c2cce942d0dd","datavalue":{"value":"r.e. partial orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210140$87AED414-9E20-471D-94D9-02EF880BA300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d7b041a891b4b73db38069702295154f909429","datavalue":{"value":"initial segment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210140$031F4C1C-A43D-4C6E-A5E4-D7F686028F41","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21fa9a9223cebca47884c37548205488b3400e7b","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$9ADAB9F2-7E4C-4EE8-907B-90CF3AFA87BF","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":"Q1210140$F30A5833-59C9-405E-9506-113327608164","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"018038fb101d8ec315a3c155690ad0c57968b1f9","datavalue":{"value":{"entity-type":"item","numeric-id":1803657,"id":"Q1803657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$769B02A5-958A-4323-8935-E77ADF8239BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fea115c4b94fa65ec5ba075bdec93ed74b89c02","datavalue":{"value":{"entity-type":"item","numeric-id":3487329,"id":"Q3487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$E2B8C94D-C7E4-44BF-937B-53C06B7FBB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d456474b12b4f6581b38302a63d0fe051d7b3f41","datavalue":{"value":{"entity-type":"item","numeric-id":2560237,"id":"Q2560237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$FF057975-9945-4B9E-BB67-E7BB62D7455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbef6bbbe60bfce0721481461ecfc4b8834e00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$9875D09D-9421-4481-B71C-50A15A9117D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcd9af54469afc978a2214f3c49f0369309c1c1","datavalue":{"value":{"entity-type":"item","numeric-id":3480024,"id":"Q3480024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$7BBAF010-8E6C-40B7-986C-1CA090AEE9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b594827bbb97fd6f0e0591659a18d718463bdd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5619821,"id":"Q5619821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$9441E19E-70F5-4D76-AF56-273AA37CEE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dd82bde1d3a03fecf5eacfa63d640f03444d69","datavalue":{"value":{"entity-type":"item","numeric-id":3921203,"id":"Q3921203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$8972B129-8325-4059-ABEA-63C2D2A1EED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$90EE4051-0240-4830-8244-8859E106773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$89BEF144-340D-418D-8CA4-3BB150EA8E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5799cd398fd3ceebd68f80d2d4e8519543af5b","datavalue":{"value":{"entity-type":"item","numeric-id":3039336,"id":"Q3039336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$933F60D3-386D-4DED-BA49-91E2C4F520BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960dd9cb5bd06874ed63a4a1d86695d6319d0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3695272,"id":"Q3695272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$D7ADE5F2-5529-4D63-93EC-B038EF3C868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120fc88aec320e8903c1a5bacfa60b4cd8aca25a","datavalue":{"value":{"entity-type":"item","numeric-id":3033753,"id":"Q3033753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$EEDC13A1-F267-4393-BB37-36FB265E8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc352718c2bcdbb84d1dd55139aa3c203a1dfc5e","datavalue":{"value":{"entity-type":"item","numeric-id":3934380,"id":"Q3934380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210140$46F0886A-CE42-4606-ABE8-7903992EA521","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":"Q1210140$682191B6-BD8D-4666-AD34-541264BC2D88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e887ef9871faa561224f84a1f1df118c9d074f40","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90040-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q1210140$A290A5BB-6ABA-4CC1-AE2D-B49CA87A8C22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41011058b4c03e08139e0a70e569ac3847658615","datavalue":{"value":"W1986438122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$9C0454FA-DB28-416E-9345-00F2DC329EF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ded8f66a397520a2fa6a46da8a10aa3eb7d4281d","datavalue":{"value":"Q126772957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210140$D628B3CC-3A3E-4F3B-A368-8B1236CFD7CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58942427cc7ca209c5904295046394b4a6c86696","datavalue":{"value":{"entity-type":"item","numeric-id":3480024,"id":"Q3480024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4c6a9cc8df69f38527310c40838d2d65bb7774","datavalue":{"value":{"amount":"+0.8432711362838745","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":"Q1210140$97F01B55-F0D8-43E1-A7C8-EB6D7403F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f5efdc8b5c9069e3e68b157c63bf62c01c14d5","datavalue":{"value":{"entity-type":"item","numeric-id":5491233,"id":"Q5491233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13028b17cf4c45e012f1620b114990636e3906f","datavalue":{"value":{"amount":"+0.7862069010734558","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":"Q1210140$CAA2A9AC-5EBA-40D9-830E-9096BD01CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d4e64d23a04296a153e37dd8bf6ed78629d437","datavalue":{"value":{"entity-type":"item","numeric-id":1972518,"id":"Q1972518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aee405268f51664aa3b636c973c2c09c0f92f8d","datavalue":{"value":{"amount":"+0.7334221005439758","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":"Q1210140$3D79FDDD-D505-4266-9F17-0CF67F6B699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c961de6d4121ac057dc9cc2d8b71a8be762eca90","datavalue":{"value":{"entity-type":"item","numeric-id":5499651,"id":"Q5499651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cea3f5c5432841bb3d8a199928cc1b45b0f823f","datavalue":{"value":{"amount":"+0.7324208617210388","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":"Q1210140$26075B66-DFED-480B-9B94-782D865EA4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f077bc1ac09bd84c360c0ca8d9fd090b0b2217ae","datavalue":{"value":{"entity-type":"item","numeric-id":2784777,"id":"Q2784777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8855191bff3372a5097ab1250ef1023273850004","datavalue":{"value":{"amount":"+0.7301498651504517","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":"Q1210140$6A7C995F-D42F-4B49-BF55-09CA20CA7BB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly semirecursive sets and r.e. orderings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly_semirecursive_sets_and_r.e._orderings"}}}}}