{"entities":{"Q824283":{"pageid":826131,"ns":120,"title":"Item:Q824283","lastrevid":55922236,"modified":"2026-02-21T04:27:32Z","type":"item","id":"Q824283","labels":{"en":{"language":"en","value":"DKL: an efficient algorithm for learning deterministic Kripke structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445204"}},"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":"Q824283$0E474863-C2E8-487C-82D4-2E9B0837083C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43d184086c06568b9aaa0c540247b2abf1cbd417","datavalue":{"value":{"text":"DKL: an efficient algorithm for learning deterministic Kripke structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q824283$C945E9D7-2A25-4F62-A55D-AAC9C2147A04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7556ed87b0c279defd2ab1a379d9a41ae26eea0","datavalue":{"value":"1483.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q824283$3A50A52F-581F-466E-94A1-724739735A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef942106d8c821cfc6bde7d1c812a898ae7c694","datavalue":{"value":{"entity-type":"item","numeric-id":824281,"id":"Q824281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$2860B029-9A51-4BEC-BCE4-3825CD8E75C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934f2ace65351dcd4a5a438373613eee9f54a45d","datavalue":{"value":{"entity-type":"item","numeric-id":824282,"id":"Q824282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$37BE274F-1A15-482E-BC91-510568670D21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$04D9726E-4A47-4DAF-9E4B-FE2E3287E801","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e0bac8f0fcdf97bdc17562f0f99c46eeb852b29","datavalue":{"value":{"time":"+2021-12-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":"Q824283$83410992-0AD3-4D8E-922F-FA020802F20B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q824283$6D107C44-2E4B-4C1F-B40B-58F185AE0FC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7730c92d1bfa688c21193f7d82abb8524bf7b92b","datavalue":{"value":"7445204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q824283$924398FA-2835-40D7-9E51-CB6BF173A7B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c12a0f2d254363e548ae821c44b3d78510f4c0","datavalue":{"value":"grammatical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q824283$3320089B-EA84-4793-A2A6-735158BD2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df05f68ea875262b28d9fa332e0fcc5e99e5265","datavalue":{"value":"DKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q824283$2300C51F-7D9A-4BA8-9EDE-6D3E6CE314F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935d5611e28cb0ac17fba11eb32a0043bde29424","datavalue":{"value":"incremental learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q824283$5843F0F1-B83B-4A1B-AA12-0233A57F025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9472327d639b0c333532089b51ba707cbfe432ca","datavalue":{"value":"IKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q824283$7377481C-ED0F-437E-A17D-99B4D844B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q824283$AD2A42CB-E732-4D4B-8968-FC08408D5AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q824283$88474D6D-5F02-4429-8B11-4B2ED6B851BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc1b40c59c480e47228cd324d2692bb9e3f74060","datavalue":{"value":{"entity-type":"item","numeric-id":5972986,"id":"Q5972986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$F6EAE453-4029-4653-A333-A508805BF05E","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":"Q824283$8CF27FC5-88FB-4E73-BE74-5ACE06903B31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b41a1894835e3793f048893698f41a7980a3d74","datavalue":{"value":"https://doi.org/10.1007/s00236-020-00387-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q824283$175A1D82-3D8F-4F41-8682-F4834C0EC530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f50f5a8e40dbab8110ca901229ced996df882bc","datavalue":{"value":"W3086961529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q824283$F6C0E6C5-9E50-4A8D-8AFA-E407C6F1E317","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf8bea815595c7a2f8823ef01e3fa5b59c45508","datavalue":{"value":{"entity-type":"item","numeric-id":4741718,"id":"Q4741718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$44DCDBB7-B50E-4139-896D-39A70E1336F3","rank":"normal"},{"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":"Q824283$374326D7-3787-4492-B743-8BCAD1C62938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$3468B7F3-5B3C-4A5D-BC02-97AF8F2915ED","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":"Q824283$AAC4D89D-94B1-4CBA-9D89-2B10FF7B7EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$8387B60B-8A17-4BE0-95B3-151E7BFA5189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e9e93983124752ec662acce6e6ad47ec41210f","datavalue":{"value":{"entity-type":"item","numeric-id":3525110,"id":"Q3525110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$8BE75BB5-063B-42B8-8B2F-157B5AFB9DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec70fed468fb6337598ea78054c0ecc0b529f80","datavalue":{"value":{"entity-type":"item","numeric-id":3012969,"id":"Q3012969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$3249E8EC-BBD8-4D6B-9334-3FA0D27A92CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08353f64bee56a663ab8a98982684a8b6497fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$29F62264-0E6C-4F19-8E5F-233E8135E2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308a2c94f432dc67418fe8d58169ef240ee8bb7f","datavalue":{"value":{"entity-type":"item","numeric-id":1186503,"id":"Q1186503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q824283$A3948563-5B02-4396-BC67-3F5F481A344A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"285fd849927077ebb0039556f10fee00e393fe36","datavalue":{"value":"10.1007/S00236-020-00387-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q824283$D2B8CA12-E4D5-4CB4-B35D-5CF71A7FEB09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f41ac323e8badd54443c43194a0c1435ff2ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3543275,"id":"Q3543275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc58333423d0eef5b4918f22dc73600c9d544f4","datavalue":{"value":{"amount":"+0.84570277","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":"Q824283$289524D5-9568-41EC-B2B8-6C0C03CC3379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2950f010e23b00f5fb49f4ced72de27324fe212","datavalue":{"value":{"entity-type":"item","numeric-id":2323349,"id":"Q2323349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb556b3a211d80ee79999adcbaa1537bcbfee896","datavalue":{"value":{"amount":"+0.8427457","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":"Q824283$CD11480F-63CF-415F-A54F-A1D83BE29163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebc9712d61c0487d7b5786ff65e42e1ba5798b3","datavalue":{"value":{"entity-type":"item","numeric-id":5916223,"id":"Q5916223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d4fafbdf66e3b15394d2286136d591cea90bbb","datavalue":{"value":{"amount":"+0.8416422","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":"Q824283$7AB374A6-B3E1-4040-A329-86A66F017CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa277a40bfd5d6e60b6ddeaa64e8f9313d93c670","datavalue":{"value":{"entity-type":"item","numeric-id":3809293,"id":"Q3809293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9a441c61c0a994eb4ef50381b342d7ceed9d41","datavalue":{"value":{"amount":"+0.84028745","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":"Q824283$77A6D046-426F-4FCB-9A28-0929DF0F1D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4afc4d6cd6ec27ebb59cfc6cab9dc59cdd290814","datavalue":{"value":{"entity-type":"item","numeric-id":293322,"id":"Q293322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9462f0aaeee26c8f40c8a64b7228d2cbd0e7e0d","datavalue":{"value":{"amount":"+0.8399258","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":"Q824283$2C1D6533-B852-4EE9-AE09-48BD888C8023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9da1672e5405fc9bae7808ffb31955ac36141b","datavalue":{"value":{"entity-type":"item","numeric-id":464624,"id":"Q464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359275eb2d40b1e1857506ed094a9cb42eefc94d","datavalue":{"value":{"amount":"+0.83896905","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":"Q824283$31ECAAD5-48B0-4F0F-9C8D-E2B111FC9DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41352671631a8d0f7a5c446a6811ccb23b637e1","datavalue":{"value":{"entity-type":"item","numeric-id":960515,"id":"Q960515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38079aded920e353e4b901a7e0228c86d30a680","datavalue":{"value":{"amount":"+0.8315824","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":"Q824283$8BC5E19C-2D5D-4D2D-9537-BF4C6CA83340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c2d155bf199d6b05f29bcac110f6116a10813b","datavalue":{"value":{"entity-type":"item","numeric-id":4592977,"id":"Q4592977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9490772933ea47b2ac38d9a04edc0e9712e8bf","datavalue":{"value":{"amount":"+0.8310385","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":"Q824283$3DE298E9-CEC5-4E81-82B8-E2755CC140E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:824283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:824283"}}}}}