{"entities":{"Q6674352":{"pageid":14393727,"ns":120,"title":"Item:Q6674352","lastrevid":54927742,"modified":"2026-01-30T07:46:24Z","type":"item","id":"Q6674352","labels":{"en":{"language":"en","value":"logical rule extraction formulation"}},"descriptions":{"en":{"language":"en","value":"equation that extracts logical rules by determining the Gr\u00f6bner basis of an ideal"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"e763880c22e6cdad8b6cd4bdfb1007af76d4fa3b","datavalue":{"value":{"entity-type":"item","numeric-id":6481152,"id":"Q6481152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$9FC5C0B8-AEA1-43B7-94B2-8AC0061BD5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"4066d582fa03ec95c68147329499ee6c6c858898","datavalue":{"value":{"entity-type":"item","numeric-id":6672086,"id":"Q6672086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$17507EC8-CFA8-4E73-86FD-CF16AAB91B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"0186f9e2b3e7f3ac65baabd6ba650e0d16975325","datavalue":{"value":{"entity-type":"item","numeric-id":6672075,"id":"Q6672075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$D392A757-48E7-49CA-B6CD-3FE34E889D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"4a61c05af3ea17f76587caf23eac366e55ae4218","datavalue":{"value":{"entity-type":"item","numeric-id":6672079,"id":"Q6672079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$EAB249D2-A3FF-48C7-8530-F0448487E2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"1dbaa9bece9cde4452088fe4fda193fc0623926c","datavalue":{"value":{"entity-type":"item","numeric-id":6672083,"id":"Q6672083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$A3C6E715-0D02-4236-8D4A-19A7B7C1FD4D","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"0a01a63310db7ac4278c4bb806ac9f7b7ddac5b5","datavalue":{"value":"G = G(\\langle\\mathcal{B}\\rangle)","type":"string"},"datatype":"math"},"type":"statement","id":"Q6674352$E801B76A-58F7-4CFB-8B55-63AE3D41ED00","rank":"normal"}],"P983":[{"mainsnak":{"snaktype":"value","property":"P983","hash":"a6277c867019f6b8d7b0a4a0cb46007b09072f85","datavalue":{"value":"G","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"cb94791bb3506b45aa082fdc1326425911ee102f","datavalue":{"value":{"entity-type":"item","numeric-id":6673970,"id":"Q6673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6674352$C047836E-1707-407E-A805-45F4A2475168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"ebe4bce0f60f4aafe43f7940b3656a5669b48aa2","datavalue":{"value":"\\langle\\mathcal{B}\\rangle","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"9a7a5c9111e33a7d40018f2d01a3941934c5f2e6","datavalue":{"value":{"entity-type":"item","numeric-id":6674012,"id":"Q6674012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6674352$566A31C4-9E36-47E6-B44A-030662E6A2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"95ad3ac6e5ad9b34cb17ce83131385ab62707967","datavalue":{"value":"\\mathcal{B}","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"a86c3ee36a66a0a9db2c99e48373fd7100a784b3","datavalue":{"value":{"entity-type":"item","numeric-id":6673833,"id":"Q6673833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6674352$3B55C494-4C27-44A2-8D30-0BC6A95E7025","rank":"normal"}],"P1495":[{"mainsnak":{"snaktype":"value","property":"P1495","hash":"3829be87a43f9c3f931ee87cdfd749b2541f9f31","datavalue":{"value":{"entity-type":"item","numeric-id":6534265,"id":"Q6534265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$862A41B7-821B-4BFD-BF4D-9CC64E1C1297","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"2952f6ff23caf76a404f42b365af27f6ee1751fb","datavalue":{"value":{"entity-type":"item","numeric-id":5981696,"id":"Q5981696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6674352$C8DA1C1D-728D-44F3-A72D-31D4F0CED70B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical rule extraction formulation (equation that extracts logical rules by determining the Gr\u00f6bner basis of an ideal)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_rule_extraction_formulation_(equation_that_extracts_logical_rules_by_determining_the_Gr%C3%B6bner_basis_of_an_ideal)"}}}}}