{"entities":{"Q6586530":{"pageid":14197686,"ns":120,"title":"Item:Q6586530","lastrevid":55725892,"modified":"2026-02-17T21:45:25Z","type":"item","id":"Q6586530","labels":{"en":{"language":"en","value":"Verifying Sierpi\u0144ski and Riesel numbers in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7895638"}},"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":"Q6586530$879C8672-94F1-4700-8ED3-4531005F3A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c763aa81f40e99db683062f38d0e682f1245198","datavalue":{"value":{"text":"Verifying Sierpi\u0144ski and Riesel numbers in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586530$7CBDCE0F-1544-4C01-9793-D64BDA89AA6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41fc8082c88c0b3492183adee01cb18569ec0cf1","datavalue":{"value":"10.4204/eptcs.70.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586530$26100FC1-1F49-49D2-8EB3-9B9C5021AA1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3064c548fb238d71dbd15832dc9b2117bf93634","datavalue":{"value":{"entity-type":"item","numeric-id":1135305,"id":"Q1135305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586530$79FD2DCC-AFF7-4278-A0C3-A6CCF3C59E6F","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":"Q6586530$DABF099B-6653-41D2-9CAC-7FF039B3F3F6","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":"Q6586530$F569681E-DC37-4B12-8000-64981FD228F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f5492126398e1ddf0e8e00d7285568c890b3f47","datavalue":{"value":"11A51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586530$1C7F98C5-CDFE-41D3-881C-5901A180737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20afa916015e6219375b9937ece6e51d63990b6f","datavalue":{"value":"11Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586530$DE25301F-FFBD-49A2-B586-78708A0BFB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586530$110AB4EC-6468-442A-BFE9-01106380260A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2992c02123c19cfdd79c51c3a7c57e055956f10","datavalue":{"value":"7895638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586530$29304C63-584B-4D3B-A4D6-F39CA23E260E","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":"Q6586530$33BE4FF4-945E-4C4A-89BB-D37CF459E8A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"134c619d14afc074612af070b89301dd456ed92b","datavalue":{"value":{"entity-type":"item","numeric-id":958700,"id":"Q958700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586530$278EA02B-D408-4E91-907A-DB11EC3D1A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6da4d39f3f9b15b6827bcce47bcaa3edced259d","datavalue":{"value":{"entity-type":"item","numeric-id":3081500,"id":"Q3081500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586530$B791BE52-CBB1-4520-B855-E0B755FCEDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701099c503d3404472232bd3d2aa6290e4b0ea08","datavalue":{"value":{"entity-type":"item","numeric-id":772252,"id":"Q772252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586530$149AA981-2C22-40EA-84A7-D0FE76F50FF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8fe50e65b91c398a712b4e607e96970c851df46","datavalue":{"value":{"entity-type":"item","numeric-id":4848398,"id":"Q4848398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc594503cee8d5a81826c4d1d28efde59adf53d9","datavalue":{"value":{"amount":"+0.7312843203544617","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":"Q6586530$C58B521F-3DB0-4B5B-A4C5-3695DDE67AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a219757c622eedc75f8e6a0e004b9b623c5bfb32","datavalue":{"value":{"entity-type":"item","numeric-id":6542774,"id":"Q6542774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e2629ac6fb5e6b082b9520f46a1acdb6992086","datavalue":{"value":{"amount":"+0.7052596211433411","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":"Q6586530$2579430A-1AC5-4836-9D5B-FE7847207B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42e0530dcd44d063b4e834b1a140eb000686712","datavalue":{"value":{"entity-type":"item","numeric-id":6187579,"id":"Q6187579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decfe469c5a1eb46b665d038c873e15a9897e763","datavalue":{"value":{"amount":"+0.7051774859428406","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":"Q6586530$D0C8B174-46A4-42EC-A7E7-4D248284F763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d60f4770e1ffd9fe9f11da155353df7f77a53a","datavalue":{"value":{"entity-type":"item","numeric-id":3105374,"id":"Q3105374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d79b744d97b54b179ab8cf26be6b6973944b9e","datavalue":{"value":{"amount":"+0.702228307723999","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":"Q6586530$20C76C5B-6CE5-4074-9FC2-97F462EB159B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad2249e383c4ed720cb11709ed6380cef6d1272","datavalue":{"value":{"entity-type":"item","numeric-id":4933455,"id":"Q4933455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcaa2c59165c3c9a45f50c5ae9ad6a679d84f593","datavalue":{"value":{"amount":"+0.6924527287483215","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":"Q6586530$9669EB54-2DA8-48A3-A9B3-FC82BDCA931D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6586530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6586530"}}}}}