{"entities":{"Q6591104":{"pageid":14202261,"ns":120,"title":"Item:Q6591104","lastrevid":55731793,"modified":"2026-02-17T21:50:13Z","type":"item","id":"Q6591104","labels":{"en":{"language":"en","value":"Fourier series formalization in ACL2(r)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7900030"}},"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":"Q6591104$FA420C0B-4299-4E82-AB6A-B59FFF9032F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d2baf4e38edf9cfd3e1bc771baa98e97a1aa60","datavalue":{"value":{"text":"Fourier series formalization in ACL2(r)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6591104$FB33023A-7258-4976-B60D-B1075AA26A2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11d3399a0572b309d401107fb9ba47e34d2e10b4","datavalue":{"value":{"entity-type":"item","numeric-id":3113395,"id":"Q3113395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591104$77FF0091-180A-4A7C-B341-BB87044132FA","rank":"normal"},{"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":"Q6591104$039D8165-7C9D-4FA5-BAE5-41362B9D5E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591104$853B80C8-F278-409F-A68E-97BE2C73FD3D","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":"Q6591104$39C85094-AEB8-4DF2-9265-D3DDC5A044B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591104$71DF7684-B66D-40E6-B6DB-5A778BC1ACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591104$F9FB960B-C67C-4EB2-8245-09D903574A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83c3a4e2d1e1273bca99c0db82b32bc25ff1102e","datavalue":{"value":"42A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591104$6F91884E-938C-4088-8BF1-3484599B4C22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa908675f904671603b00c460c366f16c2dae979","datavalue":{"value":"7900030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591104$A552729F-BDF6-41FE-A90B-65278DFC58F1","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":"Q6591104$5AA5B37C-F9F4-47C9-B550-71148319E313","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f20456afa4ced5b76763e22ff1229f6e53bd6f3","datavalue":{"value":"10.4204/EPTCS.192.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591104$B87F7F68-F1D8-40FD-BF0A-0BB6862E5424","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d131150c2470dfc02e9ee6f1069989fe798ce320","datavalue":{"value":{"entity-type":"item","numeric-id":5041063,"id":"Q5041063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6acd473bd855cbf4c6c98dccfabe84fc7adebc4b","datavalue":{"value":{"amount":"+0.7129517197608948","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":"Q6591104$3FCEAFE9-6FE7-4F78-90A8-9F69F7494777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d049bcdf1140147f9305ae425eac6d8662cb503","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b010201e8acd467909ae5f3cd46d9acda17d7b1f","datavalue":{"value":{"amount":"+0.6912475228309631","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":"Q6591104$806F728E-A231-4A8D-98A6-B1AC65A9CCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5219f3614f276d4787284bc451e2a03b9d3d290c","datavalue":{"value":{"entity-type":"item","numeric-id":1666338,"id":"Q1666338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bd4f7e4679315abd81d823b6bb6ca20156d37c","datavalue":{"value":{"amount":"+0.6908679008483887","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":"Q6591104$BA24B745-A330-4614-A79F-37A4FDF3F5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b4c1a6cc73475e4d910067ec5b89bfb7daced5","datavalue":{"value":{"entity-type":"item","numeric-id":2829282,"id":"Q2829282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6711aa2e4b3d3ac28bcb758258a7dc1e45efc8d3","datavalue":{"value":{"amount":"+0.6904880404472351","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":"Q6591104$4A68490B-2761-4D02-B300-E75D9B434635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d7a49cbc127c73bb43f0247c4df4127a92b875","datavalue":{"value":{"entity-type":"item","numeric-id":2673304,"id":"Q2673304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c85ab8f4ef170e63d0f99fd18d9a38ed4deda1","datavalue":{"value":{"amount":"+0.6881940364837646","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":"Q6591104$F856228F-B1B4-4E40-9158-130DCF58AA36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6591104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6591104"}}}}}