{"entities":{"Q6589548":{"pageid":14200705,"ns":120,"title":"Item:Q6589548","lastrevid":55729900,"modified":"2026-02-17T21:48:25Z","type":"item","id":"Q6589548","labels":{"en":{"language":"en","value":"ACL2(ml): machine-learning for ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898671"}},"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":"Q6589548$561A37AE-A6A2-4DD5-B664-9021F3457325","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d9e5779fc6717de5b32e3443e508f79d449e932","datavalue":{"value":{"text":"ACL2(ml): machine-learning for ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589548$0130E923-7178-4C44-A9E3-F6BA0BB8E850","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9df023cae9b25ea4b60776547a8efc95e2e421","datavalue":{"value":{"entity-type":"item","numeric-id":280197,"id":"Q280197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589548$CD40AFF8-72A9-4D65-95B7-B977384CE360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589548$F7AD1130-F2A8-45DD-A152-0DF8DFC963E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c9edf3682f8ce3a18f69639bd1f0b09ec55ee0","datavalue":{"value":{"time":"+2024-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6589548$41A547FD-87E0-42EF-AF4B-B5323E88A5CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589548$C1653FD7-4F8E-42F4-8749-777FB5EFE4D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c939e1952a4a2606f7841f5fee8dcdfd41c7db4a","datavalue":{"value":"7898671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589548$9794CE0C-D475-4B36-B847-8105CF42DC97","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":"Q6589548$73EC5F37-4748-4F3A-B012-7C4CD7BDA2DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87ae691295baffe307f23cb0d32ffde1e9dcf813","datavalue":{"value":"10.4204/EPTCS.152.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589548$CB96EDA9-16AA-49FD-9D18-2678E460B7DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e02866bedcdddc38a6d5d0dc3312cefd57e45a","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fcb19deaf4c2b612a716a2a9f67563dd53c056","datavalue":{"value":{"amount":"+0.7931401133537292","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":"Q6589548$4DA1C0E7-DBFE-441C-AA38-DCE105BD0AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d5a8b545b5823d435e955696d0052fff4439c3","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bdd04c469b819396dcbec601d5b5bd6a9c7d27","datavalue":{"value":{"amount":"+0.7556053400039673","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":"Q6589548$397B5C6C-9006-41C4-A779-D0D1C35561D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b7d04a9ff7a9d025be95e1cfc5750dbf6e966c","datavalue":{"value":{"entity-type":"item","numeric-id":3543644,"id":"Q3543644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0530b01b3d0b8d479b7e4e65ff8d02db5e7dad6e","datavalue":{"value":{"amount":"+0.7366052865982056","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":"Q6589548$7B7AB9ED-7638-47EA-906D-47220BB7D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d7ba7557cfd512ec70e7f40629d39781868433","datavalue":{"value":{"entity-type":"item","numeric-id":6586531,"id":"Q6586531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d807c64cedaab7e0c442e0ab5ed5d3a1c134cd3","datavalue":{"value":{"amount":"+0.71919184923172","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":"Q6589548$973B9E1D-E4FF-481F-B1C3-0278CC24AE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3b0efa447d2f0bb1d07cfcfcea727ec3cbe250","datavalue":{"value":{"entity-type":"item","numeric-id":2280212,"id":"Q2280212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b6f67c9cb71729926eaf2c1d050a6f44871d2c","datavalue":{"value":{"amount":"+0.7185021042823792","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":"Q6589548$7215B1EE-61AF-4278-BF07-179BCB84CC5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589548"}}}}}