{"entities":{"Q6589547":{"pageid":14200704,"ns":120,"title":"Item:Q6589547","lastrevid":55729891,"modified":"2026-02-17T21:48:25Z","type":"item","id":"Q6589547","labels":{"en":{"language":"en","value":"Polymorphic types in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898670"}},"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":"Q6589547$E5823F26-8699-4F6E-A1E4-EDBE1B42A8A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5f0673f7d5c2713fbf57817799e14738390e81b","datavalue":{"value":{"text":"Polymorphic types in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589547$9C1947BF-EB4F-4120-9040-1308F8059CF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494cca31c33b552d819b6caa7e9f849469e0b64b","datavalue":{"value":{"entity-type":"item","numeric-id":6589546,"id":"Q6589546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589547$599C22DF-E3DD-4E6B-8D18-56F6BED41D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49ae8b070340276c7e502f67e4d7f1e92e2f7652","datavalue":{"value":{"entity-type":"item","numeric-id":5477653,"id":"Q5477653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589547$68D48618-37DC-43FA-80AD-027DE0820FAA","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":"Q6589547$61AF1B80-D1BC-4BB6-9A77-30758E57BCFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589547$41C8762C-D2DD-488C-8B55-DC395D2E2859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589547$2D025FB5-460D-4D57-8741-0DA296C460E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71b0bf7f61dffa3ab36612c42d09101ebae6b2fb","datavalue":{"value":"7898670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589547$10F11FF7-F7F6-4DDA-AC25-C1F321320294","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":"Q6589547$B8745991-4DC3-4586-9CC1-BD7F3D4F84A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"741c958a89222901f141c805c0193d3084ac7e98","datavalue":{"value":"10.4204/EPTCS.152.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589547$DF560ABD-7B16-4A09-A3EE-0FAD0A3F60C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522f1d44e426d1d1deb47ee51959147ccf6c43e","datavalue":{"value":{"entity-type":"item","numeric-id":5881208,"id":"Q5881208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a7ddfac3bd7ee44118ea9d198034835b5dfd2d","datavalue":{"value":{"amount":"+0.7550522685050964","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":"Q6589547$65C9AD0D-246E-44E5-BAC0-E32615163E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7f8ba3244310b9e3d9c2b11e83e0e4588761e7","datavalue":{"value":{"entity-type":"item","numeric-id":3365500,"id":"Q3365500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ddbe7baa2bfd05e37e9df7c343ea918eab2601b","datavalue":{"value":{"amount":"+0.7491054534912109","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":"Q6589547$98A66C3F-3B5E-446B-9D20-AD73C99A163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbebdb19763e7d7fea1e7d6d887c3b45037467ff","datavalue":{"value":{"entity-type":"item","numeric-id":3817572,"id":"Q3817572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b7c23577eeb4be12fef46eb2b743659d5c618d","datavalue":{"value":{"amount":"+0.7482388019561768","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":"Q6589547$CBC60EEB-510E-433B-8A3F-5F7E1955ECB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ede557755d2fa4f2d401e953a8661e5eeb422fa","datavalue":{"value":{"entity-type":"item","numeric-id":3685176,"id":"Q3685176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9738c7e7266df59a2a3a12c51ab8db8d9c494e","datavalue":{"value":{"amount":"+0.7435253858566284","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":"Q6589547$15601362-3384-4B47-966A-7DF98E69E198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02332199122e89470495cf5626c3a366d0791bd","datavalue":{"value":{"entity-type":"item","numeric-id":580956,"id":"Q580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd3e15dff51f59daad92708b5d59c44493fcc55","datavalue":{"value":{"amount":"+0.7365033626556396","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":"Q6589547$9D11A7B5-0AA8-434C-B1B5-6313A4998F78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589547"}}}}}