{"entities":{"Q1709690":{"pageid":1720431,"ns":120,"title":"Item:Q1709690","lastrevid":43287223,"modified":"2025-07-23T14:18:40Z","type":"item","id":"Q1709690","labels":{"en":{"language":"en","value":"Angluin learning via logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856639"}},"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":"Q1709690$E06EE6DC-9BED-4E45-B0A8-107A86344AE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39fa6c1411ac2975aaa420549fe7ad96e85e8b93","datavalue":{"value":{"text":"Angluin learning via logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709690$58EEB361-D24D-494E-A3B8-A8395320CA71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"365f95ce04fded98cecfa646e485c6d1f290049a","datavalue":{"value":"1503.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$E9296168-21F8-470E-B651-7CF73E63157E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c6140f39675b8ddbf1e538c3a792c5315f41ee3","datavalue":{"value":"10.1007/978-3-319-72056-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$61A95974-3334-4ED4-9C60-27D5B69491CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d9eec9fa8f80d891a3d3468000b8527672209d","datavalue":{"value":{"entity-type":"item","numeric-id":1709689,"id":"Q1709689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709690$850A1206-76BC-4BF8-A438-9F07B8ADDF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709690$964A9CCB-AA8C-4132-B5A7-1EBE17DDC1E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709690$FBDE9B25-64E8-40D8-B3C4-D13117DDF173","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46687a8c94ede35c791a4af001151e8198a4f657","datavalue":{"value":"https://strathprints.strath.ac.uk/63273/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709690$5990B302-DFAF-4B89-9C50-99F9A8411B0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$877CC7F0-7394-4684-8F5D-E10F752C58D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$00179E55-C50D-4564-8BEA-E53DE38E2166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$62305EC2-3B5D-4272-8222-390587F17E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$C799868C-BC4D-4542-965E-98738A66B8E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"774edf569acdcb7b0e663737380a806bee32d96d","datavalue":{"value":"6856639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$264FEF74-51C4-47A9-B0C7-311F3879EEEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddab13ca2dd92b42a4c2037010c2b7ac5483d808","datavalue":{"value":"automata learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709690$19A54ED7-0423-4027-9EB4-D2DC11C5E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709690$233B529B-D9BE-4B55-A9F9-0B3DF959853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709690$BD3EF35A-2C76-4169-8D01-309932F4CC72","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":"Q1709690$2625B607-4CDA-4A11-AAC6-BF3BFB21CEDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02d2b632d884f551387d3f90022a2e9dea6f1baf","datavalue":{"value":"W2770408798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709690$65E88830-285B-43B1-A6EE-7B4A824EF016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49b864d35874da623a839d3510f48bd540b19c3","datavalue":{"value":{"entity-type":"item","numeric-id":1589828,"id":"Q1589828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bff7bc75e2f43a27e08d59fd7c23c630c309a94","datavalue":{"value":{"amount":"+0.93199456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$625C155D-903E-4F0F-A0F0-07787AD84EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c5b7b23a11626486df6ed32b1b9f4434a26058","datavalue":{"value":{"entity-type":"item","numeric-id":4707775,"id":"Q4707775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8037679e002c5eaa5dabddcb0da340b75b54eff4","datavalue":{"value":{"amount":"+0.8729183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$7981ED61-BD3E-470E-BF5E-50E9FE9E00C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061e17daf35071738530bf934cfdc4e299a25529","datavalue":{"value":{"entity-type":"item","numeric-id":5249673,"id":"Q5249673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191f41548acc5be7c83548e1c51008cf791c9ec3","datavalue":{"value":{"amount":"+0.8533642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$00771836-898F-4BBA-871F-A89591A23F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836f0c8ac19b2fcd1aa5523f69a65a2299efa6a2","datavalue":{"value":{"entity-type":"item","numeric-id":4702579,"id":"Q4702579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6305aa30be6a59f9ac6162b194f61fde88b1ac7","datavalue":{"value":{"amount":"+0.8444025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$FF25F276-692A-4AF5-A80B-946D748FFF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa0ac64cc4cbd2b8999c65f080a56dc777916dba","datavalue":{"value":{"entity-type":"item","numeric-id":2117759,"id":"Q2117759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5739b0281d362b272e2c8de803974033cf80004a","datavalue":{"value":{"amount":"+0.83651096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$EABB1AB7-630C-4A56-8C5E-5DF6CEF54669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd3db8f3bdbe5b91742b2c9f90d822e74ae13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2849548,"id":"Q2849548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb5c18292fd55d7fb5c163bcc2243dc591768e0","datavalue":{"value":{"amount":"+0.8340639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$56C5584E-EDF8-4224-BBBD-CBA4E49A2ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7592b8d6056711fdb5ab7a897780063a245e4485","datavalue":{"value":{"entity-type":"item","numeric-id":1182709,"id":"Q1182709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38cc692f99f4b909a6d0323857ca387dbe30cb5","datavalue":{"value":{"amount":"+0.832467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709690$7A481D8C-C5D2-4110-83C7-AF9831563765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709690"}}}}}