{"entities":{"Q5753943":{"pageid":7783494,"ns":120,"title":"Item:Q5753943","lastrevid":39823286,"modified":"2025-01-27T17:55:46Z","type":"item","id":"Q5753943","labels":{"en":{"language":"en","value":"The Complexity of intrinsically r.e. subsets of existentially decidable models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189711"}},"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":"Q5753943$B1A6CE2E-54B7-4722-A71B-FFB8F7CA573C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e4eea9d3c9cb332ec1a181ff45385410f0b11d","datavalue":{"value":{"text":"The Complexity of intrinsically r.e. subsets of existentially decidable models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5753943$7F7C790C-DCB6-4A0E-9D03-69001EDF483E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0425f14ecd1a849b7578e99b4ecb1f316780c942","datavalue":{"value":"0722.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753943$CA69BA02-3314-438B-85E7-C22BD632223A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62ca73c1c8de2f3b371d36e17223ec3636c70057","datavalue":{"value":"10.2307/2274483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753943$C7D5B7EF-2B7C-4F58-80F5-B5024072BECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753943$B8B24703-22B0-42CA-8B5A-2D040C01855B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5753943$4228EA3C-8913-49FF-8065-CBB332F540A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753943$71A6F067-FF29-439B-8832-3C37EB89D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753943$DBD07000-5314-49E2-90EC-48432D14AFDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386e5682c1b4b71c56ad79752c342cb0fecb1fc6","datavalue":{"value":"4189711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753943$8EBF70EA-9F3F-4388-A2DC-B62F5368E92B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51db4f34e604660b6ce694fc6429e1d80a627bcf","datavalue":{"value":"intrinsically recursive relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753943$ACE0C08D-EA22-4231-88EB-1D7429869B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753943$8DB8086A-E868-4DD0-B69E-83711FC46943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37099e84532b2f648ce68842b3425b09a3af127c","datavalue":{"value":"existentially recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753943$48F86789-5AA6-43C6-888D-8AEE74E1CB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab94845b7b4a1d716bb16e11167555fcd5c2bd78","datavalue":{"value":"definability of intrinsically r.e. relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753943$934A9679-F4ED-44EE-A522-8425727047A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2366284edb0458b433e248dcbf9561753f4c2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1038813,"id":"Q1038813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753943$BD9EE1B7-F66B-45C3-AB6F-B85B305CBE84","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":"Q5753943$D40E24DD-3245-4601-ACEF-2D4D497C5148","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8712cf3b82cd0bd2dab76087467febae63b24454","datavalue":{"value":"https://doi.org/10.2307/2274483","type":"string"},"datatype":"url"},"type":"statement","id":"Q5753943$53924B16-881B-48BC-AD81-F849E7AE2FCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04667bd64bc60810f3fe68257ebd0799a88dcd9f","datavalue":{"value":"W2130922919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753943$EF13E1BF-DB6C-4171-B9F9-8B2E9AD48056","rank":"normal"}],"P223":[{"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":"Q5753943$EBB193B6-8738-4DE4-9623-599953269229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e576ce89587a57392f0f21a1b25045c767f8fadb","datavalue":{"value":{"entity-type":"item","numeric-id":1257890,"id":"Q1257890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753943$A2A6A065-C95C-451F-A833-B5D596BE3C1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f766798ea64e1f1e49c149008612346cc755abb9","datavalue":{"value":{"entity-type":"item","numeric-id":4304103,"id":"Q4304103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314f5e1155b802bcc3f655d400e76070910eeddb","datavalue":{"value":{"amount":"+0.7398098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$38D921E6-11EF-4B5D-BC19-C57D15AE1B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ba2cfc853ac054a38ea65f18e7d3e5aed53c08","datavalue":{"value":{"entity-type":"item","numeric-id":3712322,"id":"Q3712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d7ff79f9ed46722d5a07f25f3df15e8ae46f4e","datavalue":{"value":{"amount":"+0.73338187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$7BE0736B-35EF-4778-9287-A67AF53046D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aaad7f1837f7212a1e7548748a31d1d4a0b3400","datavalue":{"value":{"entity-type":"item","numeric-id":5687410,"id":"Q5687410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124f9336ad27d73c2397e0298af4ae7d17e5d035","datavalue":{"value":{"amount":"+0.7289708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$2FFBABD5-89CF-4ADE-9E87-B269757A630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0de6e9e7937b82ea3c1a2def9bd0bc5e5402c8","datavalue":{"value":{"entity-type":"item","numeric-id":1210135,"id":"Q1210135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25868f12f2297f5a3a6d66bfaabbdda04270452","datavalue":{"value":{"amount":"+0.72469187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$A8189E8A-5D37-4015-8987-421B72D9FC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc42055ebba55655f0b05ef6de3bcd5afa3d6f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687409,"id":"Q5687409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439d019d28ceeffec182f959c0471699170ee0a5","datavalue":{"value":{"amount":"+0.7204704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$97C2FD50-8CCB-41FA-8A10-229C60A2BEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c693d79c0a9a409f7de3782b2c4018788da211f9","datavalue":{"value":{"entity-type":"item","numeric-id":1106203,"id":"Q1106203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4195ced62bf3efd0fb5304b7b4399fad328f96","datavalue":{"value":{"amount":"+0.7175075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$E046EB87-5DBD-4080-A0AE-BEC48CE76DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401fd1106d6e17c34ba3a837abc82257a4858ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4811317,"id":"Q4811317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e3d61ba870b69ed97e22c1d223cd609d5a26c8","datavalue":{"value":{"amount":"+0.7127657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$F27A5ADA-7994-4BE3-AD11-ABA0C7CD6F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f2690c1f5a2bd662cdaf73346fb5939da4b8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4312354,"id":"Q4312354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b7622715fe119bd09601260f71399559e9444d","datavalue":{"value":{"amount":"+0.7120758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$7DB45822-B47A-4761-97C3-D1F2CEC3EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f91064c5e748dd8d78e6ef00f151070156b62ae","datavalue":{"value":{"entity-type":"item","numeric-id":4451644,"id":"Q4451644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d377c15debc906c24f42848a1c52362fa8aef34","datavalue":{"value":{"amount":"+0.710793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$B0EB8026-F670-4B55-8475-B38992DCABD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58621f302774bfde86d2f4e1d89cbc0711332137","datavalue":{"value":{"entity-type":"item","numeric-id":3290719,"id":"Q3290719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f39e44b5307037c72b44ffa63262bfbdb6b29ab","datavalue":{"value":{"amount":"+0.7092928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5753943$24F78D9B-1E26-4C6C-8CE9-1154CE5E5A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753943"}}}}}