{"entities":{"Q2209554":{"pageid":2220297,"ns":120,"title":"Item:Q2209554","lastrevid":71553300,"modified":"2026-04-13T23:01:16Z","type":"item","id":"Q2209554","labels":{"en":{"language":"en","value":"Simulating strong practical proof systems with extended resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268901"}},"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":"Q2209554$DC697059-36F3-4E2E-83F5-C637693FEB1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eb628a271c682c6ebf4d9cc6c2bea4281215784","datavalue":{"value":{"text":"Simulating strong practical proof systems with extended resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209554$3C87E8C3-4200-497E-B652-B28B19DD528F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35606dba11197824f6edfcc0da4c6d46d2974d2a","datavalue":{"value":"1468.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$418616C9-525E-42EB-B6A6-50E82BA0F70E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f58cb4392b797c6a9cd32772df8b3616c15ce","datavalue":{"value":{"entity-type":"item","numeric-id":1680259,"id":"Q1680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$155FF5E5-CC05-4C34-8B38-154BB6AD4265","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":"Q2209554$62C029B6-F26E-4287-BE56-0E23F4AA0D57","rank":"normal"},{"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":"Q2209554$030788BD-7A45-4303-A9CD-75F067A8D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$C15201B7-A0E2-4DAF-8413-727E05214E91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$12BE08FE-72D4-4C8F-9812-0056E514081F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-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":"Q2209554$557A0AA1-7E39-45F3-B1C2-22CD4A82421D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$1C8909CF-DED0-4AEF-8DE2-B17B66E64304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$7F30EA98-8CAF-4C96-A801-E9B559E391D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$769D1EDF-B06D-4002-AE92-24C25FFD2208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$D8711AD6-A5AB-4FDF-AD8A-0E10E1AD0C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$5866FE80-6DC6-4362-B5CF-847828678CBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d566a7dc37573ff06c1a627bca052ed46dc493fc","datavalue":{"value":"7268901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$E23D6178-3457-4E92-829C-B7E3E7553C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$9CA91BAB-8F59-44DA-9B9E-B0A066C9A121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$88DBF3E3-64FB-4DB5-8B5A-F56EEC97016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$DB769974-CE27-4C41-8073-87B1B7B7D4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$5E3B3AB5-0585-475E-BC8A-7AB850101B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$E919D25A-B240-468F-8330-0EC7E1E06AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2bd7f972687691fd228f5fff91285d00c4ce4f","datavalue":{"value":"DRAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$10874934-FE0D-4DDA-AFB7-E679221E5351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca26c2a476a3694ea134b209ff6375c73e3bf72","datavalue":{"value":"DPR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$6D0BFDE4-90C2-4ADD-B0CA-E3B241DD9A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c5dc8c1bf21d827fe6a511cb64dba53a875fc","datavalue":{"value":"blocked clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209554$0AB80B48-2609-47CF-80AF-C7F2DDCC8CF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$49EBFB0F-23FE-478A-822C-9F80717B1E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"301291d1e9b4069ab8b0119823c179d7d50daf07","datavalue":{"value":{"entity-type":"item","numeric-id":5973615,"id":"Q5973615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$6A408F38-0159-4FE2-A159-5BCC56408CA3","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":"Q2209554$BC8932FD-8E6C-4AF9-8568-268FDDA44D29","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":"Q2209554$2856A195-8BAE-4D9C-A653-DD50143338D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ced927c734546ab4e65412a20ee3cd5bae21902f","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09554-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209554$9B4C67F9-3979-414B-A71F-904339919439","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"188e675b9900c2ebfba192b6976e6cfcbbdef77a","datavalue":{"value":"W3046591311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$525761AC-1304-476D-8BE0-D6B904110C13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"969f22c2e1fcc10b1a49b07f05e049c2339de4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1884991,"id":"Q1884991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$BEB367D1-DA10-4C3F-A87F-1B0961CADC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$818007B4-3E72-4B1A-BB3A-4F12DB751BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$57556BD3-B73C-431E-BC81-D0DABF74EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$6B03508C-FB7F-4176-86E0-4A2D7AFF092D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$DA157779-CB7B-4622-9F83-53809EFA6324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9787938b4bdd367ccabbe7faf36857ca182203e7","datavalue":{"value":{"entity-type":"item","numeric-id":2324225,"id":"Q2324225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$B5AA9AB7-8852-4162-82B0-2FF098E0B3CC","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":"Q2209554$9A95DC25-2965-4554-A247-C616C0A6B2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$3E6CE6CB-59B4-4207-B522-608800F459A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7f4338d79de40b34fd30046415813d87c344b6","datavalue":{"value":{"entity-type":"item","numeric-id":2405245,"id":"Q2405245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$ADA3BE75-CB0F-41A4-9A36-32A19A7A7230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf772690cf31a35a32c2f2f4f39692662f8aa11","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$E0B77908-ECA9-4183-B993-0B7F6AC8D508","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":"Q2209554$DE4AACA3-2DFD-48CB-930F-8E7FB1C77693","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":"Q2209554$F496F617-3A22-4A00-8016-DB13ADA17068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73ca6e418060dc9aa1dc7053b40ae99fececfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$69D5F14F-2D78-416A-9407-A50AA3519423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b23cf2e3ea0c2f15f6e745918f55a7ede222992","datavalue":{"value":{"entity-type":"item","numeric-id":1799112,"id":"Q1799112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$37333150-1F3F-433E-AAB8-32F0CFE9605A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfc9df2b22ccfe710854f5a13d2c017a857dca","datavalue":{"value":{"entity-type":"item","numeric-id":892235,"id":"Q892235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$C118F3E6-C775-4C9A-82A4-8833FC9EA4EF","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":"Q2209554$5F42A933-12CF-4991-A3BD-7EF4A0E07BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$E36E786D-6401-4850-9FEC-D69FA969B8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b58d0abcd9e4d9a58c0a0e5204160a728cc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4645727,"id":"Q4645727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$35EDF832-4D00-4C33-BB8D-D30093D04B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdbfd9418840eefe921b7c66e8d9c4b67ffb71a","datavalue":{"value":{"entity-type":"item","numeric-id":5222981,"id":"Q5222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$1D0521A7-725C-4A95-98A7-A23F33BE99D9","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":"Q2209554$89980ECE-C98D-4247-9EBE-885E16F7527B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$92924E6C-EC7A-4934-9D18-5689064A9415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$FCA310E4-0787-41F9-8E5C-06154FFC001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$79A9DB2F-5196-425E-B050-3358664E6B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871a7838603e3c550db89a4460c5c1dba9e680e8","datavalue":{"value":{"entity-type":"item","numeric-id":694550,"id":"Q694550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$16BC0D5D-04D9-4C23-AD6F-DF85B2D77A0C","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":"Q2209554$18AA2CC4-371A-4232-97EB-02827D280F73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e9371fb6a041f4582ea573578356431fa4acb4","datavalue":{"value":"10.1007/S10817-020-09554-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209554$C2407E11-986A-4BC5-B0EF-2E61704CCD55","rank":"normal"}],"P1643":[{"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":"f5f984ccfbd97e2089c77f978a957f6168d2ca82","datavalue":{"value":{"amount":"+0.9132465720176696","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":"Q2209554$983074BA-0CA0-4723-A9F5-D556FF7A2643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ca69dbb2a24d3517677fc5d81e39fc165e7937","datavalue":{"value":{"entity-type":"item","numeric-id":2181921,"id":"Q2181921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8abf2316350b8b889a61201ca190a0a56c7f542","datavalue":{"value":{"amount":"+0.8347675204277039","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":"Q2209554$24A5ABB1-8DBA-4CDE-9305-32B80E8AF663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c36d3312f2d09610a2170b7380e4e4dd1744e15","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b093bb28b28c44a86ebc030c614c1345e0b01e","datavalue":{"value":{"amount":"+0.7930902242660522","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":"Q2209554$799C7CC8-88AB-4437-BF7F-F1B492F34E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c39daab12e315be6f39463fe9830d593b1d0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2324225,"id":"Q2324225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3ae918849049a858e65f8448e8a4b9d43a7aaf","datavalue":{"value":{"amount":"+0.781170129776001","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":"Q2209554$BBD5B765-E274-483B-85B9-733554CA59D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d4f82a2c93aee7655c7f8f8b6962870c018144","datavalue":{"value":{"amount":"+0.7797344326972961","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":"Q2209554$1BE7937E-1B72-464B-BE67-2AF472EBB3E6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209554$1F4A42EB-5E4C-4D09-A34A-6B34EEE2CC12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulating strong practical proof systems with extended resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulating_strong_practical_proof_systems_with_extended_resolution"}}}}}