{"entities":{"Q2835888":{"pageid":2846618,"ns":120,"title":"Item:Q2835888","lastrevid":52687103,"modified":"2026-01-23T06:38:08Z","type":"item","id":"Q2835888","labels":{"en":{"language":"en","value":"DRAT proofs for XOR reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658175"}},"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":"Q2835888$0557E5EF-930D-47A1-9B1D-B8B25580D471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c535bfefd7f3761befc515348f68754780fe1b69","datavalue":{"value":{"text":"DRAT Proofs for XOR Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835888$AF24A7EE-F016-4A72-B583-08AA740CAEB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83da131123746a33eda7640a07af228f2e8b237c","datavalue":{"value":"1483.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835888$B1BD7C9F-9B50-42F8-AACE-F3A1ACA74898","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0046ad34cf83718c4036c98873273500e93d04bb","datavalue":{"value":"10.1007/978-3-319-48758-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835888$33587342-BDFD-4086-BD18-B09FBE13BE03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9c35b29d433053427621eb4581b543e27f092a","datavalue":{"value":{"entity-type":"item","numeric-id":2835887,"id":"Q2835887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$58F60338-D7CB-4761-9C24-19D9F5EE6FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca432b2e16ad9e194c3af93cff128dfaded4c01e","datavalue":{"value":{"entity-type":"item","numeric-id":1799111,"id":"Q1799111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$45D56E3A-F94C-4470-A499-7A27FBBC3E91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$5627B3B5-64F8-4394-8837-A6C83DC0800A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835888$763FD99D-966C-4744-A09E-01CFCE60BCE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f2d2c437233c58c67414e9850b8ef40997e6956","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835888$C3BE975B-F0DC-45A6-82FA-A856BF1888D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835888$A977D96F-FEB4-4EB9-982E-00B67B1DC9CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"118ddf1552a17efd36364727ddaccfbb32d3d5f6","datavalue":{"value":"6658175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835888$7B25CAE0-3224-4F14-BDAC-7BE2DD53DA21","rank":"normal"}],"P1463":[{"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":"Q2835888$DB9FD0A7-9080-48E0-BCC5-1C761D8F340D","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":"Q2835888$0C7BED44-ED46-4988-A7D7-DF250210E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26b39677feb5ad5adc62495c285200e3aeefa35","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$7039F344-740D-41C9-813D-91EDD4160A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7976176a94f43b9f6319302f6d9a043832eb238","datavalue":{"value":{"entity-type":"item","numeric-id":28608,"id":"Q28608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$117D55D4-0ADE-452A-B21E-0D3757E54E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$B555DC05-C8FD-4E5C-8B58-100CF6A9F71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$326A568A-71FB-414B-B519-07EE096C7289","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":"Q2835888$07DC68D4-F581-4206-94D5-25E55711B9CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"784ccd5032fcd3bfdfccdc07535dc96815202f52","datavalue":{"value":"W2545814918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835888$6E150ECA-EE39-4969-BE06-0C3C95E4BC0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$94B6B263-E25E-42D6-9344-2A38E6B1EDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$E072927C-9D9E-4A6B-8B62-07DA56B74D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b238356f810e2a73efb0c6f840190a21dddda6","datavalue":{"value":{"entity-type":"item","numeric-id":5447514,"id":"Q5447514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$05A580D6-280D-4F1F-8986-CC51D0BFBE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$4C39198C-91CE-4769-A5BC-3850A64C9BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$CB3374A4-F189-4C0A-BBC3-33A55893253D","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":"Q2835888$054B0350-D3AC-40EC-8C03-0FA6F4D4E95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$87B28BA4-EF4A-4EC2-955C-B0BD63033C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60030fb2269d57edcb61bcd2b8f4f7717a788f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5404931,"id":"Q5404931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$B394F4CA-BAF7-418C-AA37-662B1E84C175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7e4d77503aed92727b364d8ebca331dbb48acd","datavalue":{"value":{"entity-type":"item","numeric-id":3454124,"id":"Q3454124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$25B04F56-06F0-4968-B4F2-77907BCFA0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d288a08aaed8041ecaf7478a7ae05aa596b34f8d","datavalue":{"value":{"entity-type":"item","numeric-id":3460074,"id":"Q3460074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$098A0190-0728-4757-BD22-BC7B60356909","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":"Q2835888$1145184E-5E7D-4B2D-B40C-3A1173CDE42F","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":"Q2835888$0FCE411E-82DF-4EE5-AD74-4BFA9F88758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec7487f70f3c126af41e98b308f1f3c9eb34f7d","datavalue":{"value":{"entity-type":"item","numeric-id":2818043,"id":"Q2818043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$63E37C63-3986-4449-8385-0CD766F5769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75db9bdf4ecf4e316a158af7db19da7d850d73","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835888$B1A3CD39-2188-4C44-80E7-56632481E6B8","rank":"normal"},{"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":"Q2835888$4D1548CD-DC20-4CF1-8851-28D1B26EDC98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9d293ac5478cc5a6755478bb7b711683c7a01b","datavalue":{"value":{"entity-type":"item","numeric-id":2843342,"id":"Q2843342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1642842be1878f054d3556a57f9e93804c35f9","datavalue":{"value":{"amount":"+0.8007180094718933","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":"Q2835888$A18F61D6-35D1-4275-896C-359A44A492CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e67fea2f956732ad9563fafc976c7b9b74d842c","datavalue":{"value":{"entity-type":"item","numeric-id":1799112,"id":"Q1799112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a2d6e28f9993ca8a476b2e813763729563fcca","datavalue":{"value":{"amount":"+0.7833801507949829","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":"Q2835888$9671BF0C-B538-40BD-B27C-752B5F8C5DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a26a7f4962a889a85653228dd045e79018e0222","datavalue":{"value":{"entity-type":"item","numeric-id":4645727,"id":"Q4645727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cfc87fbcb355ef4dddda0bd907af2015bb44c0","datavalue":{"value":{"amount":"+0.7567304968833923","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":"Q2835888$3BCF8884-9A81-4970-BB27-6B816FD66A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1911663a64677dd41e915eba33d6d9370e47ba6a","datavalue":{"value":{"entity-type":"item","numeric-id":2181940,"id":"Q2181940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8149da99ba46866fa493539b1d9ab27dc8d52837","datavalue":{"value":{"amount":"+0.7555983662605286","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":"Q2835888$F54C9AC2-B40B-4FFA-86D8-65D03B27CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46b033d1e975f33876f1c600fa339e0bd8136cc","datavalue":{"value":{"entity-type":"item","numeric-id":2044190,"id":"Q2044190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a7fd68b1c847019701dd6fa134be0b8556527b","datavalue":{"value":{"amount":"+0.7513880729675293","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":"Q2835888$9D3ED8B2-555D-47D9-8155-D7E8775DA967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2835888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2835888"}}}}}