{"entities":{"Q6141869":{"pageid":13276176,"ns":120,"title":"Item:Q6141869","lastrevid":58716066,"modified":"2026-04-06T10:59:03Z","type":"item","id":"Q6141869","labels":{"en":{"language":"en","value":"Square Coloring Planar Graphs with Automatic Discharging"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793146"}},"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":"Q6141869$D003B237-7207-4FC1-8D34-8AC0A8667FFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80c2f384b1f89b4b3a5bc7e9372e8ccd58d9565","datavalue":{"value":{"text":"Square Coloring Planar Graphs with Automatic Discharging","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6141869$CDD10686-BE74-4393-BEB9-9358ABEB3EBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45519d120af8e0577b4d0b30edd29b4b330bc5e3","datavalue":{"value":"1528.05020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$6119DD2A-6742-4788-8D3E-B29FEF27F232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebc3e32045f9761c31fcd6202016ff847b18bae9","datavalue":{"value":{"entity-type":"item","numeric-id":512580,"id":"Q512580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$27895217-CA63-4244-9B09-891384D21F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4df75a59e4d6bf841cc01df669d2fbd5c175410","datavalue":{"value":{"entity-type":"item","numeric-id":2092343,"id":"Q2092343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$F82AB87C-1E1C-44CC-8F93-4217B889DE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31d325ca60f73edd64865815c4d295ec5cd9d098","datavalue":{"value":{"entity-type":"item","numeric-id":2685323,"id":"Q2685323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$5E6C434E-CABE-4154-941A-517F7DCC55FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8acddea1a39e0f346d74120dae0af6aa23637a22","datavalue":{"value":{"entity-type":"item","numeric-id":777376,"id":"Q777376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$89C4CF38-5475-4DE4-B9FB-3B52E51948CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$33F85388-70CD-4864-AFF8-C4C8A9BC6F54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6141869$46428446-EB7A-44FB-BB69-881B8C3785CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea3599d7e84b2b6bd5dbfedb44251b2ca03a4f7e","datavalue":{"value":"https://arxiv.org/abs/2204.05791","type":"string"},"datatype":"url"},"type":"statement","id":"Q6141869$18DFD4B0-D5AA-4012-A135-49560084E178","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$FC1BBD87-A8B7-42E0-AE2F-0A28ABA1F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$3272750B-F896-4F65-99BF-F35DE9981706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$F3114820-1EED-4AC9-9D12-86CDE528146E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28197c3d8d3a8f246649c527212433e2358ec325","datavalue":{"value":"7793146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$6A8D434D-5C42-4E2A-8880-288037897240","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0286134cd56ebaa48cb73a6a7c2e961fe7af2df2","datavalue":{"value":"discharging","type":"string"},"datatype":"string"},"type":"statement","id":"Q6141869$69781D36-A2AC-4028-A32E-276DE8043979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734166dd76551156a537e5c17e63162394a8c79d","datavalue":{"value":"automatic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6141869$A7F6ED63-16F7-4BB9-B4A7-DD8E2E3C4D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07dd1af9cde869826662a24262c74c2ea41f5663","datavalue":{"value":"square coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6141869$06334A65-A1AF-4301-9FA2-E7D1A5B6B15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a602521768d4795b8ce801eaf970fa00075370dd","datavalue":{"value":"planar graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6141869$013FED31-6599-4924-B21B-EFC5B9ECB1C6","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":"Q6141869$3E89B7CC-3766-4A22-98EB-980B3C095925","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc1a7957b7d798e1d2a9be4b818f4733f6c3027","datavalue":{"value":{"entity-type":"item","numeric-id":2439826,"id":"Q2439826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$B15FC3BE-56FB-4A3B-A7BE-2BD9CC63B386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9328fd3a34fb4b6ce7887fc52cf1e0cdef518e43","datavalue":{"value":{"entity-type":"item","numeric-id":4097312,"id":"Q4097312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$35E92AB3-8BC2-47A1-9741-3B065B6BE471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96ddb507533c6785625930d99f2ed682bfa7586","datavalue":{"value":{"entity-type":"item","numeric-id":6047966,"id":"Q6047966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$8B5C7894-7DAE-4FCD-A52D-A6E47B19BF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839df9bf299a41a0b90898e3f1200dfa7920029d","datavalue":{"value":{"entity-type":"item","numeric-id":2685324,"id":"Q2685324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$7BB0F631-AB3A-411C-BF20-69B34F289E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf43096ee29a92746f7ca7f3caa2b67c2789f91","datavalue":{"value":{"entity-type":"item","numeric-id":5970770,"id":"Q5970770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$A91FB815-D874-4A72-8D05-AE9B7661A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86999ba58e97e58eab736310f51a54f0daa3026","datavalue":{"value":{"entity-type":"item","numeric-id":463288,"id":"Q463288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$56ECBDA5-143F-42F6-89EF-24C5790A6877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1a4a128498ebb5e22feca2aee51f72881eb50","datavalue":{"value":{"entity-type":"item","numeric-id":5403062,"id":"Q5403062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$504C7BC1-B432-4BB1-823A-319D3AC85FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e46c770015b6dfef2d7a968ee59905da9cfbb0","datavalue":{"value":{"entity-type":"item","numeric-id":345097,"id":"Q345097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$77B57B4E-F437-4F18-B50B-FE72AF6ADC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d6602f77eb4f54aafd9e5c6554284770134358","datavalue":{"value":{"entity-type":"item","numeric-id":2876030,"id":"Q2876030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$D2D18F76-DDCF-4C66-AFC2-75E981B57500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea2b52bd7fdcad59d0e77458720e77705633d6c","datavalue":{"value":{"entity-type":"item","numeric-id":2629492,"id":"Q2629492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$60048C64-3549-4A61-9C75-BB664425EDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95231f4b213cd13d041dc721ab1abc4e2e1fb8c7","datavalue":{"value":{"entity-type":"item","numeric-id":507506,"id":"Q507506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$5643D9ED-76F2-4EB0-9DFB-6196605F628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e09fec5d336d41c3a34de2171a3b627f63c544","datavalue":{"value":{"entity-type":"item","numeric-id":1273392,"id":"Q1273392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$74EE47F0-632C-4262-B143-75EC9520AAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80729b727269bc2fa64fea4c6c2dc2d495839f11","datavalue":{"value":{"entity-type":"item","numeric-id":2662786,"id":"Q2662786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$62EF6766-226C-4ADA-88A8-EA81542975AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a47755a3f68d46fd9769f68d415454c70926e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3503513,"id":"Q3503513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$E9C6F1DC-F8EE-4567-80B2-1D50727DA819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2db8b608624d4e282e884c10a2bed4fd7040b1","datavalue":{"value":{"entity-type":"item","numeric-id":2797092,"id":"Q2797092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$1BEF24CE-E95D-49FC-8EE4-B419809827D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$02C2CA91-EF37-4004-A033-080115F4DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a3e3956c7dc2c29190b395eaa4f399542bef0","datavalue":{"value":{"entity-type":"item","numeric-id":3032911,"id":"Q3032911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$5E7A1343-FCE7-4BE5-93D8-2D7747942B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d410191799a2e6002d017917904648ded75357bf","datavalue":{"value":{"entity-type":"item","numeric-id":3948344,"id":"Q3948344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$58A76B9E-2614-4735-AAD1-92D4EE06E507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aa2ced45d94993946d5f5dd5ec0017168e16d5","datavalue":{"value":{"entity-type":"item","numeric-id":2875538,"id":"Q2875538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$3CEC4C94-6B95-458B-A353-BB6051E7BC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616a12f1b4171508ebaf60e262e4d47a5750c4f9","datavalue":{"value":{"entity-type":"item","numeric-id":3546362,"id":"Q3546362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$EF2BBE13-D816-423F-ACC5-54007D5589D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b386bd6ee5195023964e0899bffe280fb65b6544","datavalue":{"value":{"entity-type":"item","numeric-id":2988062,"id":"Q2988062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$2CE59089-30F3-48C4-B4D7-770F812665E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2995e895172c75ee038401663ed2df02ae1373","datavalue":{"value":{"entity-type":"item","numeric-id":3541568,"id":"Q3541568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$EAC2567B-55E6-4588-B929-D8FD22AB1E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873e1ab723e9d030ea4a86c28637053b6a72b5b0","datavalue":{"value":{"entity-type":"item","numeric-id":2151384,"id":"Q2151384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141869$E3B2C9F9-8438-4222-B858-1750AFF95D9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f043c806f6b203ea730770539a8b1f3380973893","datavalue":{"value":"Q129919578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$14B46190-3B0D-40F9-A3A2-F63BB6AFFE07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93daa25b5e8f2c9befd390f0ce957ee68640f4ae","datavalue":{"value":"10.1137/22M1492623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141869$9A597E70-C9E7-46BC-BA37-83EB3058BED6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a655985dc1419655b7d4b2c46e753f7177aba204","datavalue":{"value":{"entity-type":"item","numeric-id":507506,"id":"Q507506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81e3242778f450f161ecbab455e67f20e3ff34a","datavalue":{"value":{"amount":"+0.8084741234779358","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":"Q6141869$2E433100-EBF9-48FA-99ED-5DCEEC1797AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd6a9a9466fa0aeac00aa578ae07adef01cf54f","datavalue":{"value":{"entity-type":"item","numeric-id":2685324,"id":"Q2685324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1413e329fd017b36a46a3337f8344783ada50e","datavalue":{"value":{"amount":"+0.7636070251464844","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":"Q6141869$A9024618-4378-40E7-A7BF-AC66ACFB74AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75196e2eb2363cc6477446f6f4c9ce21c3c4e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1928491,"id":"Q1928491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab2ea8d3ae73fb9a3232f51419feae7b4236bc6","datavalue":{"value":{"amount":"+0.7614731788635254","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":"Q6141869$1B929C6F-65A4-4BC3-891C-08D1ED641906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4459ca9270f19fa647b21f29a26dc4147d5c51a","datavalue":{"value":{"entity-type":"item","numeric-id":4797924,"id":"Q4797924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0e950ac076062eebe6b633985610b2839ff2c1","datavalue":{"value":{"amount":"+0.7595345377922058","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":"Q6141869$7EC651B2-9621-4E3C-B77C-AF2E8A151F91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6141869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6141869"}}}}}