{"entities":{"Q1944948":{"pageid":1955690,"ns":120,"title":"Item:Q1944948","lastrevid":71950875,"modified":"2026-04-14T01:38:36Z","type":"item","id":"Q1944948","labels":{"en":{"language":"en","value":"Learning a subclass of \\(k\\)-quasi-Horn formulas with membership queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149225"}},"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":"Q1944948$62097237-6738-4C27-9A94-5E554CEA5264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc6bec6fd883956fd7bff196f9838d36260f0c94","datavalue":{"value":{"text":"Learning a subclass of \\(k\\)-quasi-Horn formulas with membership queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944948$F098779B-D6F0-4F7D-97ED-8571F68A71D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b53780dd85479a99004bf80370c6ab237b5423b","datavalue":{"value":"1260.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944948$4F795E21-01BB-402E-9D16-8D0B44048A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c1400441442ca0c875d298fa149da1b1e26fff","datavalue":{"value":{"entity-type":"item","numeric-id":264958,"id":"Q264958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$48162BBC-DB17-42C3-9546-6617877D2467","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$FD0436C2-C4BE-4B47-ADE6-A19BF9126A6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1367ad7cbadc1870b58b208d8a9f406baac6ad8","datavalue":{"value":{"time":"+2013-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944948$193CC6EA-9032-4FE0-882A-894511844697","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944948$15BAED89-D6FE-4B34-830D-A0B50D6EDF8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd80923f66fbdae5014d3561d51b6e6e44c39d60","datavalue":{"value":"6149225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944948$5900E112-187B-4344-A22D-C61CBB947CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48acab6b6080e3dc1c1f8d827f33c3a5a6384a6","datavalue":{"value":"query learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944948$1E1A88F7-B97B-45AE-9468-622CE46CFCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944948$79FA1E5E-2F46-4F68-BA4B-654104433C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944948$FB891502-A718-4E51-B31A-DF1478238F43","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":"Q1944948$B1ED4883-0238-4565-9377-41626F8708F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efe21055ff59dc2fe8a5c65abe2cf331103f9310","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.03.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944948$334A1286-1063-434E-95FE-EBE7FB44BB49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee98a130c9c598d49fc6d635cca915cfe0899b0b","datavalue":{"value":"W2048845520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944948$75CE0BAB-68DF-4DDE-A90C-36663BAD950B","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":"Q1944948$487D19E7-8D86-48E9-BDDC-570E861E3C10","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":"Q1944948$E41FF121-BD6A-4024-B0F2-07F711E81B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$26CF336F-DE25-4693-80DB-3EEF758869E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687b92c69b918e63677d4bc6eb10f78448c6edc6","datavalue":{"value":{"entity-type":"item","numeric-id":293322,"id":"Q293322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$035DEA9B-6B1E-4AC7-B049-2C101BFA09E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c067dccd4e3de43d8d4905080a5340d25f5fb415","datavalue":{"value":{"entity-type":"item","numeric-id":1961324,"id":"Q1961324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$F231F953-0F3D-4D3F-8E90-E149244A9121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5c1cec78fa89b76dc68bdc01406f06560eea08","datavalue":{"value":{"entity-type":"item","numeric-id":5941293,"id":"Q5941293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$BD51F59C-7F15-4E9A-BDF4-28F341B1EEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27d4aae9658e04cb43aca309ad951c73fe3068d","datavalue":{"value":{"entity-type":"item","numeric-id":533874,"id":"Q533874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$C49A3400-BCBA-4807-8F62-3B690114E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bff239879e8a699abf98c746b6b3b24b674186e","datavalue":{"value":{"entity-type":"item","numeric-id":2508329,"id":"Q2508329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944948$091B3D9A-5FF9-4055-89F8-CB9100D04F1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f862a8f0f99836f9c14d3ce377aa51433aa7ff3c","datavalue":{"value":"10.1016/J.IPL.2011.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944948$5F1F5A08-22FF-4BB6-955B-DF343CCC9850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b965dd0c6e7d4a3d639000ac5a8815edec80e5ba","datavalue":{"value":{"entity-type":"item","numeric-id":264959,"id":"Q264959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a678d06c23b0112d41ddca736e4cbb946b4d02c3","datavalue":{"value":{"amount":"+0.9311593174934388","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":"Q1944948$84BE6667-59F3-4E8A-8F1A-41FAEEBB5503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321c4b0fa06519d573b19e35e0706f2b25f05de2","datavalue":{"value":{"entity-type":"item","numeric-id":1390949,"id":"Q1390949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1ed659038f2be1a51630f23f9a91b9d2b653d7","datavalue":{"value":{"amount":"+0.8693482875823975","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":"Q1944948$777218A9-2961-4761-B29B-FA27263A29ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5d006949860ad1585f5d8c70402d5d9894483","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ea90798050409138ea9fd95dc2505744207574","datavalue":{"value":{"amount":"+0.8215014934539795","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":"Q1944948$B0227EBB-E66D-4D2C-95CC-B49AC83E6ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb497295bb6bb679fd5fbfc6f2ee64ce7c35dec7","datavalue":{"value":{"entity-type":"item","numeric-id":1383160,"id":"Q1383160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfcdffc7a2e85880cec05b95a906d0c1c1b61cc","datavalue":{"value":{"amount":"+0.7978588342666626","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":"Q1944948$8B50E17E-C810-443A-897C-7564C4335338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f8e49309d643bfe07800c43b3c7d6b3399f845","datavalue":{"value":{"entity-type":"item","numeric-id":1854564,"id":"Q1854564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfcdffc7a2e85880cec05b95a906d0c1c1b61cc","datavalue":{"value":{"amount":"+0.7978588342666626","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":"Q1944948$63AEE1FB-FE3F-40ED-87A8-3D717229A5D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning a subclass of \\(k\\)-quasi-Horn formulas with membership queries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_a_subclass_of_%5C(k%5C)-quasi-Horn_formulas_with_membership_queries"}}}}}