{"entities":{"Q6591103":{"pageid":14202260,"ns":120,"title":"Item:Q6591103","lastrevid":55731784,"modified":"2026-02-17T21:50:13Z","type":"item","id":"Q6591103","labels":{"en":{"language":"en","value":"Second-order functions and theorems in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7900029"}},"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":"Q6591103$BD1EB9A6-1A7B-4013-B8A1-665E381E983B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8496d77f875e80334e583d97c5cad3ca0c42070e","datavalue":{"value":{"text":"Second-order functions and theorems in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6591103$45F7A77A-7469-4D04-8FC0-30428F18BE0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0eafb68c19befceb5ffea674465368ba289a26e","datavalue":{"value":{"entity-type":"item","numeric-id":219436,"id":"Q219436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591103$5DDEC6E3-414B-4FF1-A9B4-25E9E545A6F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9687acae5da393c6af44bb0de5f00562dfeae79b","datavalue":{"value":{"time":"+2024-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6591103$B085052B-8564-4BC9-AF78-CE9ED0B9B9B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591103$C5BB4FB8-2FE5-47B9-BF10-C29E2E2A92A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591103$72CA5934-49BB-45C7-AC16-5BC768976274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591103$6040E3CA-FF90-4486-A1F9-C193862EB985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2a760c19001a713d5a360466df20f20015c9de","datavalue":{"value":"7900029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591103$B59A184F-62AB-46AF-9F0A-0D25DB8BCC39","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":"Q6591103$ABEAC647-C407-4F17-B961-9E8C8F20121D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7f73eee067312361a55858f2f4063af8026086a","datavalue":{"value":"10.4204/EPTCS.192.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591103$5161CE20-BD06-41F2-AD45-C78018FA5B12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70aaaf6481b7d5cc0f7ac08cf11a7bcddeec67a","datavalue":{"value":{"entity-type":"item","numeric-id":2303245,"id":"Q2303245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14776b75e0f8d80cd6d5e8b622cbcf4d25ae85a4","datavalue":{"value":{"amount":"+0.8064042329788208","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":"Q6591103$DD54065A-7739-4AD8-9F48-87742546836A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f50e03d3aa99df86ac8df5d947c35d2ab8234a","datavalue":{"value":{"entity-type":"item","numeric-id":6587251,"id":"Q6587251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae2d0b8724976bccfb3d61aa045bde30a58e422","datavalue":{"value":{"amount":"+0.702488124370575","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":"Q6591103$9F972401-79F7-476B-AFD0-D8D33610827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f0ffc9de80989a7f171a039436d7330a9fabc7","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8848644beb2a6dcec71cedbb2cc4a0fc5dc36556","datavalue":{"value":{"amount":"+0.7023281455039978","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":"Q6591103$CE9F8975-F485-4E58-8C50-E158F2DBBF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec2888b669862d9830ecc1fd2cca6621c8ddc33","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf026167c797fc8230f258ee250d743ce8b64bb","datavalue":{"value":{"amount":"+0.6945759057998657","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":"Q6591103$A68B9573-909E-4AB0-867F-636D0BEBDF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f12db9f4304e77535a02400bee895dcdad1626d","datavalue":{"value":{"entity-type":"item","numeric-id":2039930,"id":"Q2039930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d975056eeb6f27f2f864c4f1c91ec4ebdb63d0","datavalue":{"value":{"amount":"+0.690775990486145","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":"Q6591103$77D5D760-E968-4CFE-BF7B-E117DE7B071B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6591103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6591103"}}}}}