{"entities":{"Q6586532":{"pageid":14197688,"ns":120,"title":"Item:Q6586532","lastrevid":55725898,"modified":"2026-02-17T21:45:25Z","type":"item","id":"Q6586532","labels":{"en":{"language":"en","value":"Implementing an automatic differentiator in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7895641"}},"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":"Q6586532$55C8E17B-E0D5-4959-965A-7AF760CF5AF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c26d80aaa2373cfedac192f1dfb075ef6cbedc3","datavalue":{"value":{"text":"Implementing an automatic differentiator in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586532$63F67C73-C7D3-47F8-8D0A-B1F276407A7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c85f39ad878fcf5a7788fdedf93c3d013f91e23","datavalue":{"value":"1542.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586532$D794D808-049D-4F09-8ED7-6AA5CA6D8383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c2427cc486c9a441d18b7bcb730f4bc936dd5b4","datavalue":{"value":"10.4204/eptcs.70.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586532$23745492-6986-4492-900E-94BFB92190DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51f8a7691b6f0744fdae6d1cdc841de0f9c5009b","datavalue":{"value":{"entity-type":"item","numeric-id":3088014,"id":"Q3088014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586532$9E18945A-5CEF-4871-8E2B-9E6989F7F536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53de145c1476af14e05c31ec8165f08e3c85436f","datavalue":{"value":{"entity-type":"item","numeric-id":230813,"id":"Q230813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586532$84815F54-03FA-44DB-B18B-38354C2EC100","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":"Q6586532$B33C41EE-4F19-4971-A47C-34E9939B89E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586532$F93DE009-6D69-44EB-91D5-2E91FB4A07B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e11be76db0504a20556545d615708c6152734ed","datavalue":{"value":"26A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586532$3D476A1C-1138-49B4-A1FC-6314C1120C7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56c83549db7078174dc2ca0a8bad71d85bc2968d","datavalue":{"value":"7895641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586532$081A06B8-2F2E-4B7E-90E2-5D105E228C0F","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":"Q6586532$A7E2278A-D4C6-43E4-B7C2-D645139688A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0e5af5dee2de0dc4d46e4a3d14b5eac93e0e9e","datavalue":{"value":{"entity-type":"item","numeric-id":3088015,"id":"Q3088015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586532$22CDD176-23FE-41E2-A15F-013A8C1F2C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f977d68eabaf6bf4143bba3925a079e66ebb8a","datavalue":{"value":{"entity-type":"item","numeric-id":4039861,"id":"Q4039861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586532$2819C072-FAD8-4D03-8BC2-B829D267F388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7464923d81853deaa10ebf504925145345ff75","datavalue":{"value":{"entity-type":"item","numeric-id":4870980,"id":"Q4870980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586532$9F5B934D-082D-44FE-A0F6-8745F26B7EC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607c19155746cde9cc798fc2017b4ed9a8b3e567","datavalue":{"value":{"entity-type":"item","numeric-id":3088015,"id":"Q3088015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34964b1f1e97ba24750bc50e0eea40eaaddaa4f5","datavalue":{"value":{"amount":"+0.8478960990905762","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":"Q6586532$6A4E594C-2C36-41B3-BB74-9FE761032609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d20373b2ba26621442f558c545df018899ddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3528772,"id":"Q3528772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79fdac6233ca923215490f6996fb0951569840f","datavalue":{"value":{"amount":"+0.7001597881317139","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":"Q6586532$5661D277-D8D5-4D5E-9C31-BD56A52ADC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b5b24fa827506774fd75d10fa2680129828ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3810792,"id":"Q3810792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c56c24a5d96d0d0895a42655d5b5caa3816dbab","datavalue":{"value":{"amount":"+0.6940154433250427","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":"Q6586532$12004EF7-2FF5-4E1E-8727-5529D8BE8F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2aedbcecf203a7de3f9189c7ebe9c97bcb3274","datavalue":{"value":{"entity-type":"item","numeric-id":5301691,"id":"Q5301691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357c39b2a572f823eaca7653c0f79931cb84055f","datavalue":{"value":{"amount":"+0.690772294998169","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":"Q6586532$562D476E-9D1E-459A-8ECD-3EF721D8BD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8056d17b36f6fb1e80a4bd17a37956fa2dedc35e","datavalue":{"value":{"entity-type":"item","numeric-id":1913161,"id":"Q1913161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea562d30901551dea7e273b59415049ae68f9387","datavalue":{"value":{"amount":"+0.6820572018623352","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":"Q6586532$7C18F879-9EAB-46EE-8C18-8FBD6175A8CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6586532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6586532"}}}}}