{"entities":{"Q3454124":{"pageid":5233524,"ns":120,"title":"Item:Q3454124","lastrevid":52406018,"modified":"2026-01-22T14:06:15Z","type":"item","id":"Q3454124","labels":{"en":{"language":"en","value":"Expressing symmetry breaking in DRAT proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515534"}},"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":"Q3454124$20A99073-19CA-4265-8FC6-C1B03A61074F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c818d15c81901dbe6743bc0c3356290005cfaae7","datavalue":{"value":{"text":"Expressing Symmetry Breaking in DRAT Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454124$DF91C45D-9AA0-4073-B18B-B36033EB1CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd0c8ff0c32463ab73cfb4187ec49064c744e061","datavalue":{"value":"1465.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454124$1F62C0E4-8048-4299-AAAF-FB25F2634C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2730131774c352c1e75612fd762c132ac9c00b2f","datavalue":{"value":"10.1007/978-3-319-21401-6_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454124$F169C6C4-BFFA-4151-B968-D6E4F4F08429","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$88E35163-E8D9-4A4F-983F-0C363BE145B3","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":"Q3454124$06651FDA-20DC-4DBD-AAF5-8FB139C06AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab141dd3f837977df0bbbad339ac9c4afbc7f053","datavalue":{"value":{"entity-type":"item","numeric-id":2456369,"id":"Q2456369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$8C6794ED-143F-4562-9158-06073B3408CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$AA3D850E-4034-4899-A5E9-C138C797505A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454124$C66C3EC8-D8B7-4E98-8287-0816F8153A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454124$8C872FAB-929F-4A45-9733-88BE2FD8022C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30c371ff506257e5458ec1c298577c8d4d7772c6","datavalue":{"value":"6515534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454124$F4AD6A99-661E-4B00-AA61-DE9340B6BB83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$20D20647-6563-4301-B8F2-6C243148645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$441D6D13-E271-4EBE-9372-88938F85FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$4CA6B929-BB98-4170-8FFC-7F1EE750E299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$6FAD749C-B5E9-4276-8246-3F5ECC099A89","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":"Q3454124$FE3C96C5-7594-4237-AB11-670FCC328F2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1eebaa3abe9d50dc5d4af91702dcc3d3d565efe","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454124$06A2B4AE-FBAA-461F-8021-57E4DF5559A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"424a61f40db5c0f837c4f0d2f71c0a3ff8c3b5d9","datavalue":{"value":"W2236514805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454124$C86489D8-7D5E-4BF0-A85E-2ED880BBB842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$49534FD7-4DF6-4491-AD44-98CAC8F0A523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ebd646b82cf8ee7484d451ee05b668c27b65b2","datavalue":{"value":{"entity-type":"item","numeric-id":3192068,"id":"Q3192068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$84327B62-2440-405B-BC49-ACEB829DD5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30bc125421999969ba2f186689a9c83cd75ca08","datavalue":{"value":{"entity-type":"item","numeric-id":3546251,"id":"Q3546251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$9D5EE81A-C600-4EAC-84FB-34AC85976E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8d3606448939a44632cafc0ff0031984524e16","datavalue":{"value":{"entity-type":"item","numeric-id":899586,"id":"Q899586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$FF7AE812-68DF-492C-BDE1-BD58DD02E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdba4af064cab5f0d5d2b05f43f44c0bd28a3bc","datavalue":{"value":{"entity-type":"item","numeric-id":807609,"id":"Q807609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$B5689DE8-FA16-4F61-A93B-407970A39A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b2f70116abffc6de3d10b38f300653d0038b7c","datavalue":{"value":{"entity-type":"item","numeric-id":3637171,"id":"Q3637171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$4F1F4957-EC85-4F8C-8F05-4BA82DF8E0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da81d4ce0df58ebb6e1c7a47e6b95b7dc369590f","datavalue":{"value":{"entity-type":"item","numeric-id":1379158,"id":"Q1379158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$95D680D3-CDED-46CD-AEAE-C0D92027CB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3508621c44cb1e31d1449d9069f4f0e7ae434","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$8940F85F-0730-47C8-AB95-7152FEA4DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$6C034A00-A68A-448B-A570-C11A94738406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a15bfe95a60b53b4fa4d80a8444dfc5ccbed95","datavalue":{"value":{"entity-type":"item","numeric-id":5822062,"id":"Q5822062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$AE841184-B92B-4058-A475-C6925E7BD72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$A5BA091E-12E8-41EB-A096-28F70678EB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$B93CCBCE-54F3-4BA9-9AFE-C8E4E113C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$6E2FA50C-AC7A-4A04-97CD-75F09EB5BEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36dae5803e0965ad10705e59b8bf6df76adb51","datavalue":{"value":{"entity-type":"item","numeric-id":5327347,"id":"Q5327347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$F8CA17FF-E00D-4A52-98C0-84724593CACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdf64b2a914be509f334d011c8426b5f7796a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454124$6DAB8483-B5D5-4E30-9F41-8CA616DE02A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013be5a145b2df8e11b46a8274e234d4827e499a","datavalue":{"value":{"amount":"+0.8486308455467224","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":"Q3454124$22F2C1B9-C9D6-4485-9365-B9A962F91AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8b2a384f669c37c78cf86b76a6aea4722bcda2","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677ce5a065710b37fe0fa0a9d243192465a9bfda","datavalue":{"value":{"amount":"+0.8205616474151611","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":"Q3454124$67A9E21D-C000-4DEF-B2BF-997967CC7D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564123d2907de3bee2b84eeb20223ba694ffece0","datavalue":{"value":{"entity-type":"item","numeric-id":5505539,"id":"Q5505539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7631abfaee46880c2c30698bf879f217d22f02f7","datavalue":{"value":{"amount":"+0.7810582518577576","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":"Q3454124$79606059-4DD9-4F73-9AB8-697C3F0ACB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5487731d7cf4c6f844009e4d7681bf0eaf46d0","datavalue":{"value":{"entity-type":"item","numeric-id":823775,"id":"Q823775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1392bab5a6307bf901f4fe9fa122fdec049543","datavalue":{"value":{"amount":"+0.7763480544090271","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":"Q3454124$0799B057-2DB1-4CFD-AA9A-79FF3CAFE32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3939d7a3c83b9a1049c013f8948e957bc26d3451","datavalue":{"value":{"entity-type":"item","numeric-id":1037644,"id":"Q1037644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b9e19efd06495e8d992191af033442ff55d450","datavalue":{"value":{"amount":"+0.7717347145080566","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":"Q3454124$E6F3C96B-DA0F-4DCD-AE3D-7590175691E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454124"}}}}}