{"entities":{"Q6587250":{"pageid":14198406,"ns":120,"title":"Item:Q6587250","lastrevid":55725661,"modified":"2026-02-17T21:45:15Z","type":"item","id":"Q6587250","labels":{"en":{"language":"en","value":"Enhancements to ACL2 in versions 5.0, 6.0, and 6.1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896668"}},"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":"Q6587250$4CC598DC-6029-4857-8364-F5EB8F3B4EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"506c3f3a2930c677b2d98e0d79f8b09629c4613a","datavalue":{"value":{"text":"Enhancements to ACL2 in versions 5.0, 6.0, and 6.1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587250$5CB4FD72-8177-4AF8-B0B0-664E3B10442C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06c305a48f61b2ca9e7aeb503b3acb9cb17dcf55","datavalue":{"value":"1542.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587250$97018BAE-255B-491E-8076-E0CFB372770E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587250$C9C121B1-94D8-45DE-BF3D-F55A85F34C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587250$4F450DFA-4EB7-4A43-ADEE-7523A9B88995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587250$A9AF65D5-647D-482E-838D-C2BF2D6D4907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587250$F75EA0D0-F644-450B-8F54-93E791D89A61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1aa9b74968c82932e50a6b9772c95bf27bb1521","datavalue":{"value":"7896668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587250$064D3CEF-0B48-46C5-BEB6-87E7F90EC6A7","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":"Q6587250$0A705838-B528-4796-9EBF-B98F4E3B817F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1f0a4023c091ac20c2d3159d071145e434c691","datavalue":{"value":{"entity-type":"item","numeric-id":6586531,"id":"Q6586531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587250$77CCC931-9319-4100-A227-2C9E37240DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587250$F4186B99-9BF4-466B-A004-B448316B96C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"309c450ccfa1a479f32814122a816ea3cf46f054","datavalue":{"value":"10.4204/EPTCS.114.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587250$A04F9F5C-BFDF-4C46-BD3E-7E14ECC5A754","rank":"normal"}],"P1643":[{"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":"e0482b3cbab812cc623ff3a0b222c16a2dec607a","datavalue":{"value":{"amount":"+0.8682871460914612","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":"Q6587250$71A25D0D-3A11-4CD1-A1BC-0360C39C8B2C","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":"f760a6be7fc0daef86c628d1fdc419b6a133bc93","datavalue":{"value":{"amount":"+0.7293049097061157","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":"Q6587250$FC6861D5-4C13-47F5-8D86-715452AA092F","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":"bbdd7770ced26d6c2cc4c06084297601f00fa651","datavalue":{"value":{"amount":"+0.7282005548477173","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":"Q6587250$6BCFE9FA-5C04-4475-A158-6182AD2EE643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d76b42d1c936c5ae7793777e9f9178a1e4946d","datavalue":{"value":{"entity-type":"item","numeric-id":5083764,"id":"Q5083764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50ab5db00b6bd570825cce554e2fd2a3a3c89f1","datavalue":{"value":{"amount":"+0.7182317972183228","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":"Q6587250$C39D716A-E3BF-4300-9409-07884845AD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34285fc8d4e6a3661405248ff0d17629699e2bad","datavalue":{"value":{"entity-type":"item","numeric-id":6591109,"id":"Q6591109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88eee0ba2b728a0d792edf6ec8810c053e4f9f6","datavalue":{"value":{"amount":"+0.6990002393722534","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":"Q6587250$B716E5D4-F601-49C0-9A2F-264BE15929C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587250"}}}}}