{"entities":{"Q2155207":{"pageid":2165950,"ns":120,"title":"Item:Q2155207","lastrevid":54362831,"modified":"2026-01-26T17:09:48Z","type":"item","id":"Q2155207","labels":{"en":{"language":"en","value":"A modal logic for supervised learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7557204"}},"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":"Q2155207$4BBA47FA-9CF9-4A41-BFA9-BEF69E078C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21a705abdd77e4fb495f028eeccfea143d3184e","datavalue":{"value":{"text":"A modal logic for supervised learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2155207$DE29D391-5182-4A1A-8860-2E93708EDBE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e87c5933c7d6b93527db68583300635933dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":266637,"id":"Q266637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$FF2C8E74-1281-4877-B683-C9DF6C2EF09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac0a540513929a08a6951ecd60ff5403a1674fd","datavalue":{"value":{"entity-type":"item","numeric-id":2148790,"id":"Q2148790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$A1985AE7-2A1D-4BBC-80C7-F04BC2CC89E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d04c984ae9c151e8bf93c3911661fa552e13367","datavalue":{"value":{"entity-type":"item","numeric-id":2148828,"id":"Q2148828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$794D6F6A-3497-47B2-8F57-E007A72ED38A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$D26A0F28-A245-4060-8992-85B34A7B042C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77731aea4b076d729243a54a089644d4e42d7176","datavalue":{"value":{"time":"+2022-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2155207$1966BB96-76A6-4B60-9AB0-DBB6590D195F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155207$03250731-EB28-4F1A-9BAC-CD5E70197A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155207$EAEAFC5D-D7CC-4729-92A5-F29FD509EA9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"380271601efc975718aeaf3c4cc573fab85a4210","datavalue":{"value":"7557204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155207$E4D308D3-85E2-4421-8641-A1B2E6A1AD2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cc27442c6d3ffd16ee90091c6f287009494bec","datavalue":{"value":"formal learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155207$0B25FF92-907B-4C1E-BF25-B0992014E171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155207$BC2F7FF0-DD83-421A-A2DE-F3E10B8F0606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155207$F5D92281-8DA4-49C8-BB6F-23B105FFDE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155207$923F3DA3-19E1-4800-98A8-9E625D5D5C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e219e52de8a2e4a2a8c425a49567f4498b828c","datavalue":{"value":"graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155207$5D710004-20F0-4E38-B1E0-98766E0D8E92","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":"Q2155207$8B54EBA5-E248-410D-8C2D-548A8E61050C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd71d6c3eadf3904399eb6c7d156aa7ccc4fb199","datavalue":{"value":"https://doi.org/10.1007/s10849-022-09359-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2155207$9AE728F3-5136-42E0-8E3A-20B423CC1BCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"226d7e42eb2c0f43b3cc559d79a054199422fcbe","datavalue":{"value":"W4220897616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155207$CC0C9FD3-498F-4515-B34C-EEBE427802F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$248ABB7E-998E-414C-A91C-0183EDC1CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc644fdfe65ffee1d8b3257cb9c93d8b3dba70e7","datavalue":{"value":{"entity-type":"item","numeric-id":2915023,"id":"Q2915023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$C18422E1-D80C-44C1-AA8E-015C8ADFBEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed2b1e5d31cf740f7fa1d7eed79da876ede7569","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$38E7C437-64BE-4D45-A2D2-13028C4C7E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9e47c862efdccb7a7e8929f2354d460eb5ed57","datavalue":{"value":{"entity-type":"item","numeric-id":4612446,"id":"Q4612446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$2F294CAC-9AE5-4D90-9671-1B02C81EF5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e249e9101dc33c813ba9ae06cb18e829308af8","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$451F4F1D-2B7A-414E-A107-54C343C0F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9837cf66a742e6b8d4331eebf95c09975fb9b38","datavalue":{"value":{"entity-type":"item","numeric-id":4612406,"id":"Q4612406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$1AEB0C79-90D6-4EED-9359-20462798399C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faeb6297b9141fe46e99a55eab033c0278b55087","datavalue":{"value":{"entity-type":"item","numeric-id":2421518,"id":"Q2421518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$FD1C14FB-7F85-4336-95E7-708277B00305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$7D04AEC8-D9CF-42E2-A692-B4CF7D1E4169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$4C301730-06E4-4A2C-817B-F6FDA35D8E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$FD21A7E4-21F2-4F26-861A-8AB72AEE7B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27794d1e27e963cf08d451ad30cc1419bc1a014f","datavalue":{"value":{"entity-type":"item","numeric-id":553305,"id":"Q553305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$806393D7-F613-4243-8FF7-3DCE8B131D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a5a38bd7ff094cee7f779c5d6011cfeb04a8cf","datavalue":{"value":{"entity-type":"item","numeric-id":1036054,"id":"Q1036054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$A7B0201E-445A-478C-8E23-1828069EAD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba69850cdb99b805b0281776a72f952069af79d0","datavalue":{"value":{"entity-type":"item","numeric-id":3618595,"id":"Q3618595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$199519D8-2479-43D7-8333-43DD5BB7237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0361a2b43e8ebd48e08c237c3e1acfe912b2ecb7","datavalue":{"value":{"entity-type":"item","numeric-id":3655223,"id":"Q3655223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$F0192694-D934-4262-A87C-59934A732BA9","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":"Q2155207$82D7605C-C87A-4174-8A2A-264B54CA2488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$94F36201-74A8-413B-B6B6-47665CD3A203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef7abba46272910e9ba99fbc2a81b57cea783c","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$13B387A8-B23B-4B30-9A25-49844F613834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6edd6d21aaf04ed989723cdb539284f2998e8e6","datavalue":{"value":{"entity-type":"item","numeric-id":672148,"id":"Q672148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$EF963118-0007-4AFF-A9A2-E53E27D73026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892aa0bed945e544f382d45dd0ab80f351296889","datavalue":{"value":{"entity-type":"item","numeric-id":5158361,"id":"Q5158361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$27218AC3-4D8C-4797-B4F1-13A28443E36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18ec738a1ab033108e889ce261a882afba084c6","datavalue":{"value":{"entity-type":"item","numeric-id":2148792,"id":"Q2148792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$7BBD749E-C740-45FA-BE76-7F94E85E18BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$E3D85412-42E5-4BE9-94E1-F0B3F3088F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$CDB939FE-590E-47AC-A9C4-D8D205426156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d20db9029ce64883d7ef25cff7beb4bf7afd3b7","datavalue":{"value":{"entity-type":"item","numeric-id":5065135,"id":"Q5065135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155207$F5E6585F-1BA4-4020-B4D7-84D5D6169510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41a4b5b2c150cda8a147154710beafd04257580b","datavalue":{"value":"10.1007/S10849-022-09359-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155207$89F6DBDB-7880-4FFC-BBA8-76E7258C5AF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de19f78b633c5644317ed0e962fe9bd4ce5b7bd","datavalue":{"value":{"entity-type":"item","numeric-id":3655223,"id":"Q3655223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358ece7dda577140467c14530934cd47fedaf51c","datavalue":{"value":{"amount":"+0.7772253155708313","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":"Q2155207$A6DE14D0-9A8D-468D-BB47-7F54C6971BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd425227d8e99163feefa45d6a46746e011de2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5918210,"id":"Q5918210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cf722eb9d172124195719904382e8c064bb77f","datavalue":{"value":{"amount":"+0.7452797293663025","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":"Q2155207$12A5CA8C-C0A4-49A3-AE8A-59EDD615CAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c590b3be8a42768583fc6ce18114a5cce167a9","datavalue":{"value":{"entity-type":"item","numeric-id":5915995,"id":"Q5915995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6faf0ea37cd529229fc7798df2985bdecb63e9a","datavalue":{"value":{"amount":"+0.7439306974411011","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":"Q2155207$0BE6D79C-EF4A-419E-AF65-CA7C5A43A2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69aae1692f4122c1065f71706d382f5b942d2","datavalue":{"value":{"entity-type":"item","numeric-id":1709690,"id":"Q1709690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54969a93ee9caa15ab142f257ea5e77a5a156669","datavalue":{"value":{"amount":"+0.712801456451416","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":"Q2155207$F828D967-9BE1-4319-AACA-8855A9F1010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10963596798b5b4380cbe81d03c1c7cbaad1eee5","datavalue":{"value":{"entity-type":"item","numeric-id":5426056,"id":"Q5426056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fa6043fa45e82468e4c8faa9923ea03b728985","datavalue":{"value":{"amount":"+0.6983919739723206","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":"Q2155207$C931F551-9C9E-452B-86DA-198C487E1D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2155207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2155207"}}}}}