{"entities":{"Q6925627":{"pageid":21056812,"ns":120,"title":"Item:Q6925627","lastrevid":84131720,"modified":"2026-05-10T22:00:47Z","type":"item","id":"Q6925627","labels":{"en":{"language":"en","value":"Learning concepts definable in first-order logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097709"}},"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":"Q6925627$EA97E368-0A74-4B7F-822A-ABFDAB129EF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1818b8c07303b2af1d6cf0757c72bf7bdd8a719e","datavalue":{"value":{"text":"Learning concepts definable in first-order logic with counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925627$126598C4-CADF-414F-A925-7BF47EE97569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f8f9b75a949c1b550d0b15b02ca47dfa8878166","datavalue":{"value":"10.46298/LMCS-21(3:9)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925627$4B27A457-4286-465C-B979-D8829B746885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7855a49183c9b696d4653db61a325928e4eb6f6c","datavalue":{"value":{"entity-type":"item","numeric-id":6434295,"id":"Q6434295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$A7C088CA-3BC5-4870-A95C-459182515503","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$191945E1-1EC6-4E3E-8771-2C14191A681B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6925627$0F7717A0-F05A-4A0F-AB63-468D7FEC029C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925627$6EAD3725-DA42-4B7B-835B-24D4EF6F307C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925627$8C927432-B6A2-49A1-BA0C-FD97DE37BAA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8681c2aac2d3fe9d74bd59f69cb222a872376ff0","datavalue":{"value":"8097709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925627$F4C49BF1-9034-4124-B901-D5C2988D4662","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$48072F00-3E99-438F-B296-C2C8BA78BD7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ad2293ad8750cb3965703b481dd7e244e1df1d","datavalue":{"value":"first-order logic with counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925627$3A871D29-92C4-4B61-A2A6-862CEB9C55D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b721fb69c928bdb3605c80364344a7e862de652d","datavalue":{"value":"agnostic PAC learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925627$FBFA8E19-7643-469F-97CD-E7708201D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da7ea723cc4a1efec28f8294629faa6769fc74a","datavalue":{"value":"polylogarithmic degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925627$63991854-1189-4EC7-8A56-48BC202406D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4064784273eabf360dc56a804f3c36d1d76a45b","datavalue":{"value":"supervised learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925627$87508052-E52E-4AB6-911B-7EEF5E03B02C","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":"Q6925627$DEF67926-537E-4504-A679-BF61C048BF11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5361c2bbb771cd2e25d079cdbc9fe60334f379a4","datavalue":{"value":{"entity-type":"item","numeric-id":6116363,"id":"Q6116363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$FBE687B3-D580-4E2F-AECE-10C8FE69F634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587a868e3d1ed92169a761616d100079343884ae","datavalue":{"value":{"entity-type":"item","numeric-id":2862210,"id":"Q2862210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$573AC00C-0FA9-478F-91E2-8398F4EBF353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154887de76499f5a045ce68570d1bcfc195a9523","datavalue":{"value":{"entity-type":"item","numeric-id":3304100,"id":"Q3304100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$56D30F24-954D-465C-AB21-2D8ACE58F445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a908a001f4116331a8707f6bcfb2351b1afcad39","datavalue":{"value":{"entity-type":"item","numeric-id":1266164,"id":"Q1266164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$096F407D-70EC-4BF8-95E1-D57A737E5BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$C2B264D2-57DC-4B44-8409-B334EAF9D514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b863981f2b3deb7a3ab1b8dc1f82bdd552523c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2662672,"id":"Q2662672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$093CD994-5FB9-4158-9CF7-72E6F15E284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$34039657-C18D-451D-ADA7-F223A883D8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465e44b1bc63900df4457fe5ac310c15cce67a20","datavalue":{"value":{"entity-type":"item","numeric-id":6654517,"id":"Q6654517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$F96F7839-5205-4727-9031-DBB4AAC692B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6321bdbead85eb8f96fbe9626f20b1f4c6733588","datavalue":{"value":{"entity-type":"item","numeric-id":6839830,"id":"Q6839830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$82CB0B94-F689-454B-BBC7-FF176286832A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9ec0d7ac6c560df53ec8329c3a104e1564280d","datavalue":{"value":{"entity-type":"item","numeric-id":3174895,"id":"Q3174895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$E59F8FE6-5DD8-4D38-9F26-2974FDEC61E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22eb783246c5421687119cef7cdc7db01bfb31d1","datavalue":{"value":{"entity-type":"item","numeric-id":2943558,"id":"Q2943558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$49891EA1-FFEB-4C67-9AE1-3E3ACBAC0E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db65470a7463e2b5434913efc5d0f584c1f934d","datavalue":{"value":{"entity-type":"item","numeric-id":5919002,"id":"Q5919002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$2039E53A-1C02-44C8-88AE-C9568FF0F327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353ba43643221e015306077da0bcac5de374c954","datavalue":{"value":{"entity-type":"item","numeric-id":2127222,"id":"Q2127222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$2DB08813-52D4-4B9C-9E1F-285686187C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398b42aac281f04a6b5a1d0ed0049d31a037d20a","datavalue":{"value":{"entity-type":"item","numeric-id":5094135,"id":"Q5094135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$87D5370F-1C2D-4C2F-A523-F3CD862B2443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad295884084e339dedfe9acbe47ef0842d730599","datavalue":{"value":{"entity-type":"item","numeric-id":2921425,"id":"Q2921425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$C1929287-15C1-4705-A59B-122E1A59B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7efda439dae268c74b6da2abadadc010f670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$265076B5-F40A-4EAB-B74E-DBC3ADBCD955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$88A95208-3D13-40CB-988B-CC2862F0C478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$518585C0-0C5E-4045-AD42-95F45066DD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$6822340A-208F-4041-A921-DA704CD06A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34c393b45723e300a865c0ee8df4539f1a2498b","datavalue":{"value":{"entity-type":"item","numeric-id":4645660,"id":"Q4645660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$A3455F4F-E665-4A62-8EA0-3E0E6CD3D6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a7ba1d42bb0b45a6429cecd6703363781b1892","datavalue":{"value":{"entity-type":"item","numeric-id":6139827,"id":"Q6139827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$018B7CAB-7438-4BA8-8A46-5AC37DAB0DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb494264a4d36acd2a99d69e8ce65d01744c1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5957578,"id":"Q5957578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$CEA7F208-7788-4A8C-989B-7F568B5E308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b77368b68f0509b8ddbb2a0f948ea4b7c881944","datavalue":{"value":{"entity-type":"item","numeric-id":5144626,"id":"Q5144626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$4B29C746-2584-48EA-907A-762E8B1F00C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75e35297f9293d1036cbf2abfa7188e361643c","datavalue":{"value":{"entity-type":"item","numeric-id":5091140,"id":"Q5091140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$3652F1FB-31AF-496B-A011-686755DCA7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7f1ac6a374e8e34c616897a83a928a040ceed3","datavalue":{"value":{"entity-type":"item","numeric-id":2762493,"id":"Q2762493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$3BE742A4-8DEA-43D3-A86F-BBD7849AC434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7766f5c7a7f83016f125334d4f442efd498b5f","datavalue":{"value":{"entity-type":"item","numeric-id":5347096,"id":"Q5347096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$C862BD70-7F53-40F4-83D4-41BE12448933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b37b5a00a9d64d0cd8d21a79eabc2edde52320","datavalue":{"value":{"entity-type":"item","numeric-id":3578189,"id":"Q3578189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$C5A64B33-54F2-42FF-BC88-7C3D442935EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98e9da72efd60948bed420d49805851331a0feb","datavalue":{"value":{"entity-type":"item","numeric-id":705070,"id":"Q705070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$6617249A-5141-4545-9470-A40A684F80B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$569A4653-688D-4CEB-9C92-12E752147834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c43467befd1d6894a11cd5b14b72fce156d76e5","datavalue":{"value":{"entity-type":"item","numeric-id":1198550,"id":"Q1198550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$071D1EFA-2C8A-4291-9341-0338BC648004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790677c47a6000f83b65943425f5cb9c7f5033eb","datavalue":{"value":{"entity-type":"item","numeric-id":4473245,"id":"Q4473245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$78022BE6-5285-43B8-8BD9-E5944EB4EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb697a72c5019d34697697fcca3426dc7d50713","datavalue":{"value":{"entity-type":"item","numeric-id":4843403,"id":"Q4843403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$45D9F412-2523-40C1-A397-B54126801670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d073a30328c9f63027aef16a066ad1152be56a02","datavalue":{"value":{"entity-type":"item","numeric-id":5144680,"id":"Q5144680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$82EFD70D-E2E1-4F35-8E99-9C7109294D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$456F6D86-A222-4A13-82A2-75991BA38808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c58ec5a4c050753385a87a058e6b3d153b91cf4","datavalue":{"value":{"entity-type":"item","numeric-id":590254,"id":"Q590254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$AE191DDE-C0CB-4662-8259-A3808C8FAF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6caece83cf4b0306d8211264d6d0101a720a7de2","datavalue":{"value":{"entity-type":"item","numeric-id":2300722,"id":"Q2300722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$9207D939-ED3D-415D-95C6-A3814BD7A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61288f2417504702497c191c11f468a749828349","datavalue":{"value":{"entity-type":"item","numeric-id":524360,"id":"Q524360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$EF0D4B15-8C46-40E2-BCCD-35DCBEB4ECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$DED774A6-33A3-4F0E-8AF0-FD95F2A1DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5b9224fe9eaf6f3e17d33e77d59d90fc27a313","datavalue":{"value":{"entity-type":"item","numeric-id":5895240,"id":"Q5895240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$72704543-D1CB-4768-AA29-25DEAEF4A9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06edd208e2f90af90985f66881fff608b3aca017","datavalue":{"value":{"entity-type":"item","numeric-id":5494386,"id":"Q5494386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$F0F03CAB-1A98-44B8-A2BD-FAB6046334E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$A2F493FD-D6DA-431D-9587-6C53795C48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15afc9480138b826e8e2c1eb2ba213754f13ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":3081624,"id":"Q3081624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$EFF11B71-8F59-4DAB-92AF-A5738E23852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925627$838130E1-2E3C-4833-BCE5-2C8F49F8BE25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning concepts definable in first-order logic with counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_concepts_definable_in_first-order_logic_with_counting"}}}}}