{"entities":{"Q1317601":{"pageid":1328351,"ns":120,"title":"Item:Q1317601","lastrevid":67409319,"modified":"2026-04-12T17:26:15Z","type":"item","id":"Q1317601","labels":{"en":{"language":"en","value":"Effective choice for relations and reducibilities in classes of constructive and positive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536654"}},"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":"Q1317601$4E2AA3DE-9015-45CD-9BA4-BBA7B7F56D30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee27c72a89086eb173b4564d8020e0a1ea265667","datavalue":{"value":{"text":"Effective choice for relations and reducibilities in classes of constructive and positive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317601$D90A65EE-E025-4DE9-B282-DAF3A6D56AE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19d28130548331eb87285c6f422b7c6ced3b3f4","datavalue":{"value":"0814.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317601$BA1AEAEC-C7CF-41BC-A98A-4AFA7BDB1925","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a3e67782d339b89136d7ef3858a826354d05c17","datavalue":{"value":"10.1007/BF02259853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317601$6EB43FF1-08BA-4BF0-8550-CE736062752D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cabb217df16adc544bef8f2e9e85df587e9f597f","datavalue":{"value":{"entity-type":"item","numeric-id":580328,"id":"Q580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317601$B44D458F-6A0F-4780-BC16-A072A2CA6D3B","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":"Q1317601$880D0233-E195-4A6C-AC83-2B1D7BAAE611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317601$212CE51A-E65B-4CBD-8A05-B97E3967A59E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a46653198256fedfbaeb963efcbfe0a22c995483","datavalue":{"value":"https://eudml.org/doc/187601","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317601$7341C2A5-1958-4C6D-BD8D-818FA8FD8967","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f5f4a531dfe30a7de37bc260caf1155c0b22d9a","datavalue":{"value":"Effective choice problems admit distinct variations in the classes of constructive and positive models, and, in most cases, have obvious formalizations. For an intrinsically recursively enumerable relation, for a constructivizable (i.e. recursive) autostable model, and for a positive autostable model, the author specifies the property of effective choice problems to be decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317601$43429A54-0A30-4936-84A6-574FFDB32CE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317601$6CB23BA7-0E8A-4EB0-B69B-0CBC0793BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317601$3F0C2159-8F77-4140-907C-7D9E052947AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83909667ab8a10dda616ef5deccc2ff0c8be7001","datavalue":{"value":"536654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317601$69D78348-6ED2-45E4-A00B-C468E0F47E1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d0e83ff470f51890f4b25b79489969baebd8f7","datavalue":{"value":"constructivizable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317601$63134CC1-512C-4768-BEF3-BA0951C87B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452647c7fb6010a2886429143f02c8948bfce36d","datavalue":{"value":"positive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317601$13CC78A7-BD4C-4B1C-9357-E0927DE7EDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4764806d32488eb4d60024b819b2c59bf37c197","datavalue":{"value":"intrinsically recursively enumerable relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317601$C1DF22CF-DB65-430D-B454-B1196C7AF76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8d555cdbfc4bc777413a38555728dd8b11b1e1","datavalue":{"value":"autostable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317601$CB20A9F5-6376-4270-AE09-49CD524CCB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59304ba1e3152b8bf1ac2b0fc8d86fa32edcf800","datavalue":{"value":"effective choice problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317601$99289919-7101-4B22-AFD5-728176B9AA78","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":"Q1317601$F1CB9C55-EEBE-4F3E-8A48-3BB498FF7076","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317601$009B4CAB-B8F6-4C2C-8560-370BB2F83504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e05d7132d40513b67e6d35d3751926616ce7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1156127,"id":"Q1156127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317601$728DABF2-1CBC-4E9F-9EC6-6AFAFF9B3BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317601$F4477C8C-A15F-407B-A8DF-DA59A767C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317601$E7D33788-A336-4F22-9D2D-A7A662991D69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7978f3a99cf1bc6df4c0b1a74a1e5a6328c44818","datavalue":{"value":{"entity-type":"item","numeric-id":2366356,"id":"Q2366356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40dc0de59a9944910ab31354da0ba4ce567fb4de","datavalue":{"value":{"amount":"+0.8582330942153931","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":"Q1317601$93EE207F-599C-48A7-A3DB-129A6FFC22BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102a52c9692844f4122d91a409b3d7ea0bc4dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":1346921,"id":"Q1346921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e0bc6cd4a5241f1653d284676478eaac181591","datavalue":{"value":{"amount":"+0.8577658534049988","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":"Q1317601$FB957A80-A6FD-4A65-B724-10C9D6F03889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb40ab915a08b109474337572c55db113a8e4631","datavalue":{"value":{"entity-type":"item","numeric-id":1914754,"id":"Q1914754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fcb545def95a3330385bfde7ba548fc44914dc","datavalue":{"value":{"amount":"+0.827335774898529","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":"Q1317601$90F2CB07-D2F6-40AC-97F4-89A1BA3B1EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f196fae85b39fbfd62997bae60ebeb3dca87ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1317639,"id":"Q1317639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b310737f3819c2fdec738983d6e955456d218b","datavalue":{"value":{"amount":"+0.8258943557739258","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":"Q1317601$C342A335-09AD-44C6-B77A-CDF6A4F54CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33be1299b40ea7fa4cd516442512d42d4e22fec","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d598d509ce99f4a1edaaff71d8d5fb25bc234d95","datavalue":{"value":{"amount":"+0.8238806128501892","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":"Q1317601$6E936FBF-DBA1-4CDA-ADC2-B1D6F94FEDAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective choice for relations and reducibilities in classes of constructive and positive models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_choice_for_relations_and_reducibilities_in_classes_of_constructive_and_positive_models"}}}}}