{"entities":{"Q6897656":{"pageid":20883265,"ns":120,"title":"Item:Q6897656","lastrevid":84183500,"modified":"2026-05-13T06:39:42Z","type":"item","id":"Q6897656","labels":{"en":{"language":"en","value":"On learning existentially definable subsets in a computable structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8123935"}},"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":"Q6897656$0AFC9B1D-16A0-4556-BE54-DDE0FBA97EEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d392283336e697e8245ce10663c23c19869bb534","datavalue":{"value":{"text":"On learning existentially definable subsets in a computable structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6897656$B7F99286-F832-4FA3-87AB-B6A1048B8934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21acb453f4b33078afcce9da16e3b0f32de2f846","datavalue":{"value":"10.1007/978-3-031-95908-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897656$A8F861C1-D888-43FD-B34D-1BA1037B72FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db24167d5608382f10672356278a1529660e6ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1670716,"id":"Q1670716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$C69350E8-25B1-40A4-A0B3-50CDCB891719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"365b81bf923ee7ef2cd00cdf551ca8c21283e10d","datavalue":{"value":{"entity-type":"item","numeric-id":1734276,"id":"Q1734276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$3DA9BAC1-26BA-4939-B4A6-2C311A3597F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804cb8321879b3a50f4d87280bc7c6e87039f39c","datavalue":{"value":{"time":"+2025-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6897656$0C9D5AB0-A893-4B0F-9D2D-817E03903552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897656$E67DAB87-9507-4C45-9D3E-102D0F497932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82da51e856809cd62295ec68b0a8adf686d121f1","datavalue":{"value":"8123935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897656$99D86D0E-75CB-4516-9BC4-7BD89556E9CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de3b6c7ca0e38b93943d47951786a5b2b39cc2e","datavalue":{"value":"algorithmic learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$F861ACBA-5E8B-485B-A0C3-EF589F0DF9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$15FDD96C-E9D7-4B47-9782-32EFDA759EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d96b00b703394dec7a131f196d03a78971399e8","datavalue":{"value":"computable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$2A0F5D8B-6CD7-45BE-B6A4-9D01D9A0B915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261dec08f9c5dd2fc758481b34f4c263251c1e82","datavalue":{"value":"definable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$B12FAC97-743F-4206-9ED5-4DCB61B69A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0027dded1b89fa9379e2ee1854cd9094782ee4d","datavalue":{"value":"equivalence structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$8FD8E769-158D-491E-87AB-AA5D3E358E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$16D13487-46A5-4D05-A46B-A9461ECD2C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897656$664EFB43-357C-4342-B1D3-F701BECEFB9D","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":"Q6897656$F0A0F37F-CED4-418B-AB7A-97B49D9309EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3153f947f4fccff8aa6a4cf835f084c1403adc","datavalue":{"value":{"entity-type":"item","numeric-id":2700822,"id":"Q2700822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$8DF11E77-6EAE-49F8-B4CD-F52121BC7EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$121EF7C6-1123-4A53-BF4A-27BABDA14DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28ac287eb4c50226ed41975b38064f4d4471c9d","datavalue":{"value":{"entity-type":"item","numeric-id":7030907,"id":"Q7030907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$7356D64E-E2A9-4A62-A4CD-6768308CC0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17cfa586f61e5a265c2b20b11c6bd88e0ca2001","datavalue":{"value":{"entity-type":"item","numeric-id":2216113,"id":"Q2216113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$79E85980-B8EA-477F-B044-178880C3DBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749f9c190620a1cbe8fd1ef91669199d741dedfb","datavalue":{"value":{"entity-type":"item","numeric-id":6661766,"id":"Q6661766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$739F7118-8CC4-49BA-BC29-1A5176365013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2c3078ca78e6ff1981cd2dc37a2c8e20f5b2a2","datavalue":{"value":{"entity-type":"item","numeric-id":6186308,"id":"Q6186308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$10FB6A72-6BB1-40D4-9CAA-1DC3BD681F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$9B87369F-773C-43B7-89F6-5ED61DD6B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d782f013f9e15b5619d342bd5e6a6f07b7c70eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2300934,"id":"Q2300934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$400030B0-8F29-441A-B95A-4876811E0848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139667734827b66c379e9281cd255c3bf54dad4c","datavalue":{"value":{"entity-type":"item","numeric-id":4268851,"id":"Q4268851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$06B64AE6-A511-48A5-9CB7-A6B49782A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4d924e5b1bda332b441b278f9bb1a56ebca94f","datavalue":{"value":{"entity-type":"item","numeric-id":963060,"id":"Q963060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$2645446C-206C-452A-98FE-EAD5E83859F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$D8410AF5-F1F9-4827-BA9A-DE85ADAE99B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e4ea701748f87d0921c0c8369f980412f31ae4","datavalue":{"value":{"entity-type":"item","numeric-id":7034391,"id":"Q7034391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$D2A409C8-F386-4004-A4AA-28C3D7F9A2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1782c1a9d242a6724c4fb22785cf4bb1ef618d93","datavalue":{"value":{"entity-type":"item","numeric-id":2891307,"id":"Q2891307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$98A3C7E5-DD8D-44F0-B6AF-CDA2BA18C577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$B66413F4-89AD-4DED-B109-5D5B9445063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ea0b2213298ae8e16f05e6b5db2638952aaf16","datavalue":{"value":{"entity-type":"item","numeric-id":2885275,"id":"Q2885275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$B3E1BC38-1C44-4B99-ADBD-003DCC77C98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef892522a12b4e94fb984c322cd147868bc1a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$3EDDCF9B-7064-41F3-ABD4-4E829687B2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b73669b3bfabca06e5403c28bc92ed29b9f525","datavalue":{"value":{"entity-type":"item","numeric-id":859986,"id":"Q859986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$2362DCAD-C543-4B69-8140-DE33798E5768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e44fd637439763c06989c5da9a53a67b0714240","datavalue":{"value":{"entity-type":"item","numeric-id":6995881,"id":"Q6995881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$8BD60A4E-055B-4EA9-B228-A16A53C72B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b7c5cf81a3d0dde60b2f7ecda8056d70b39564","datavalue":{"value":{"entity-type":"item","numeric-id":924177,"id":"Q924177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$D42989F0-3927-4500-9EE9-1125C4C02B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$F87A363E-476D-422E-A726-9A5D7A830061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297769de5b66def3bbd40fef90192de0954bc348","datavalue":{"value":{"entity-type":"item","numeric-id":5002107,"id":"Q5002107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$0F0E1DFB-2323-406B-8C1C-1E0FD4712BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd69c20c34f646cd7aa65415c7f058a6ae54ba","datavalue":{"value":{"entity-type":"item","numeric-id":1189450,"id":"Q1189450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$D06ADD48-E28F-4EE9-BFBD-2B4D13C50ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b421d61d4200a2c505cc1ba2904f52f6fd86f4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4742321,"id":"Q4742321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$A4B8B3A8-DCB4-4EAF-8F5C-1FC64015C193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$45B6C992-619B-4896-9510-C5CCCA9FDEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dec416ead949ba55ab98d0194a607553c3113dd","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$8B3F7FE1-06AB-4081-A4C8-1281E5290350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bf426d3a95f433c0d1f230599a0e1d3e347c41","datavalue":{"value":{"entity-type":"item","numeric-id":5958647,"id":"Q5958647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$C7FCE46A-7C25-4472-9B36-767D2D5E723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c36a5f753dbf7e1e31d87e0d3639492ab389d66","datavalue":{"value":{"entity-type":"item","numeric-id":924164,"id":"Q924164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897656$7DB0BB7F-FE0B-4A32-9711-6C59F4DB8E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On learning existentially definable subsets in a computable structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_learning_existentially_definable_subsets_in_a_computable_structure"}}}}}