{"entities":{"Q2180529":{"pageid":2191272,"ns":120,"title":"Item:Q2180529","lastrevid":72778920,"modified":"2026-04-14T07:46:13Z","type":"item","id":"Q2180529","labels":{"en":{"language":"en","value":"ENIGMAWatch: ProofWatch meets ENIGMA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200678"}},"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":"Q2180529$2693722D-82D3-4D05-B09E-6FE675C6C977","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe21c2c55b4c10d3cc250b8854586000e2c5508","datavalue":{"value":{"text":"ENIGMAWatch: ProofWatch meets ENIGMA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180529$0CDCBC99-161F-46C2-B479-D8E79E21098C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ce6e083cfcaefb29d4471b7cea1ee36d960d563","datavalue":{"value":"1435.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180529$3EF3CE42-6B90-4E4C-AC1F-62405051F761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3a6b14da486b15e4b5703afedc27445becda76c","datavalue":{"value":"10.1007/978-3-030-29026-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180529$15CD07E5-C280-47EB-A78D-34FCE9FD4AD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87dc4de4518b8db4a5efca79e388ac462c23bd10","datavalue":{"value":{"entity-type":"item","numeric-id":831935,"id":"Q831935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180529$5F1B5C08-EC88-45CE-BCA3-66730F97344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180529$3D348C98-CEAE-467B-AD1F-59CD23670C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8697734f50f37ab020ce5c9531311e513a126","datavalue":{"value":{"entity-type":"item","numeric-id":831933,"id":"Q831933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180529$CF0B97E0-F359-404E-9BB4-7EAE43B624E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180529$3A5904C5-3EB3-4554-80A8-EF989D0F7E21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c27eef8f89054f143eba57cafb30a97b1ce1c5bb","datavalue":{"value":"https://arxiv.org/abs/1905.09565","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180529$46939714-2697-4ED0-9A73-7252C8BC533F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180529$D3B09C9B-AFB0-4A60-8309-0E4A4BECD324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180529$AFD2545E-35EA-4057-9582-4B9084F69408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4e9f87a504f8e476f647a605049d57010510b1","datavalue":{"value":"7200678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180529$63BD8CCD-96EF-4AB2-8C05-E8248D3432B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33061b9a75e57d93e8912d2c2b716b27d6bd52ab","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180529$BDDCD36B-C6B7-4A8F-9201-3EED20C4B542","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":"Q2180529$76469803-E0A3-43C0-B3AA-ECB71614E445","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b7d41fec8bdf648c7b891195b575f7b2204596d","datavalue":{"value":"W2970508922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180529$97F73D12-9AE9-462F-A760-10259C978FEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db22fd0718348d46254258d065a26181eee8b894","datavalue":{"value":{"entity-type":"item","numeric-id":2364687,"id":"Q2364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268a61dfd703654f720655a8806b0f1ca518cc5a","datavalue":{"value":{"amount":"+0.8739476799964905","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":"Q2180529$76F0E8B4-6C59-439C-A7B4-62722D518C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc4e565e22bad1bc3a12dc626795e6886d82a058","datavalue":{"value":{"entity-type":"item","numeric-id":1791167,"id":"Q1791167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32967c929f0b20ba1836e545a91e3a9a3eb5ce8","datavalue":{"value":{"amount":"+0.8009803891181946","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":"Q2180529$24D0A0C4-C00F-4DEF-B245-6A8C931C9683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4aa9324182d255949e993ca13915ccd8e3e8a84","datavalue":{"value":{"entity-type":"item","numeric-id":1798957,"id":"Q1798957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281a898a4f7e6d11225f3aed4400771ff2ffadf0","datavalue":{"value":{"amount":"+0.7912481427192688","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":"Q2180529$D3B66696-7316-4C8B-8838-350DFD7C596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab127e20c4e479e5e30e398294a19c06fe4cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2351414,"id":"Q2351414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54401e1dae67dcecf46e2afae3f2feccf6034f54","datavalue":{"value":{"amount":"+0.7322421073913574","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":"Q2180529$E2349FE1-4384-4038-A825-18E9504AB965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4db550a0fe9509975fa633613215f3cc6c78d6","datavalue":{"value":{"entity-type":"item","numeric-id":2817934,"id":"Q2817934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa43fedf89f31d61a6b8457fdb2c2666d5830a9a","datavalue":{"value":{"amount":"+0.7275959253311157","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":"Q2180529$FC9ED7C3-30A8-4E4B-A5E6-D3E6B9FEE0ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ENIGMAWatch: ProofWatch meets ENIGMA","badges":[]}}}}}