{"entities":{"Q1799077":{"pageid":1809819,"ns":120,"title":"Item:Q1799077","lastrevid":43332817,"modified":"2025-07-24T20:03:07Z","type":"item","id":"Q1799077","labels":{"en":{"language":"en","value":"\\({\\textsf{QRAT}}^{+}\\): generalizing QRAT by a more powerful QBF redundancy property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958098"}},"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":"Q1799077$AD06F6D0-D87A-4077-BF65-5913AD697208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6cc0628e4285b0892694561991bfac7ad79f98e","datavalue":{"value":{"text":"\\({\\textsf{QRAT}}^{+}\\): generalizing QRAT by a more powerful QBF redundancy property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799077$AECA7402-6EA4-4FA8-9BEB-960736311FB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04c96344f01bf68226e303a83da914f98e3600b1","datavalue":{"value":"10.1007/978-3-319-94205-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799077$74D257B8-01A8-4779-BFB6-D32ED30BD25A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799077$07B595EC-4B12-4D24-884D-668C2189BC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799077$C0D2EC35-4700-43D5-8801-1DC588D6FDDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799077$5753520A-F158-4BC5-B983-A9863888A3E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8027e3a21f38b5f9cd3aad5ff6ca2eab57a2583","datavalue":{"value":"https://arxiv.org/abs/1804.02908","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799077$255F3F32-81A6-4032-850B-E13A24AACB33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799077$B7D49B7B-887B-461A-9C22-3EFA9531582E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03d30a2bf7911d6d47d5d4b4b1ca7e7ccddb8042","datavalue":{"value":"6958098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799077$1081389B-D22A-4BD1-9297-FD0CF99A2413","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799077$3CE7885A-4DEE-43CC-B2B7-74855DE59D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799077$37E5BC20-AA61-4DFF-ADA5-616313000759","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":"Q1799077$A3034C2E-26E9-4DCB-A26C-36E3CDC96B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1df51005918e6ee69c653273b44e12307a3066","datavalue":{"value":{"entity-type":"item","numeric-id":40348,"id":"Q40348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799077$4792FCAA-AF12-47D8-AEF6-B0C27F8523F0","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":"Q1799077$7959D6DC-F33D-47C7-8A67-0BDBC78CD7AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aab8022d3d4326f634a45a96f86ddb88aa4f2cd3","datavalue":{"value":"W3103481621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799077$00D491C1-7A7C-4631-8ADE-F663C6BEA17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2caae3c88bd411f954346557b19767f2499a51","datavalue":{"value":{"entity-type":"item","numeric-id":2181932,"id":"Q2181932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666e4918c040803eee624e10e4309e533393cae0","datavalue":{"value":{"amount":"+0.89818954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$C9FFE97C-032E-47F8-BD34-AAA2C8E8DA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a76d4b960130cce38d5661b43045d8c25c14a77","datavalue":{"value":{"entity-type":"item","numeric-id":2818031,"id":"Q2818031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7be9487a5ed8d877036b1b59ccbeece94460736","datavalue":{"value":{"amount":"+0.84406614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$710EA87F-926F-4B64-9C76-65239BF6E113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eda7db6142d1b23e23a69f075fae77721f06131","datavalue":{"value":{"entity-type":"item","numeric-id":2118282,"id":"Q2118282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876d159002c787523854af12f904a0062dee1872","datavalue":{"value":{"amount":"+0.84328306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$18BD9963-B304-4031-9CE9-E0BCCAD01349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087c048a643a5f5f2a4ed72ba18639b533577335","datavalue":{"value":{"entity-type":"item","numeric-id":821566,"id":"Q821566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4678ab4de76cd20b54af494687d43196c3dfcd48","datavalue":{"value":{"amount":"+0.83557975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$F9E2E567-D88F-486E-AB33-D7D4DDAB2C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa2580f63de92ceecfa3f3978a3d0efdcf5890f","datavalue":{"value":{"amount":"+0.8335024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$E01499A4-528E-4FFA-A533-4B85593A71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21912678c793043e87c93a15fb64ec8ae3b6383c","datavalue":{"value":{"amount":"+0.8325858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$67A15DDC-6A45-43CE-ABBB-3E1FA98FB7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a307647da7c7c1c0553dad80cad2c48a608223","datavalue":{"value":{"amount":"+0.82985985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$53317892-C78E-4416-AE6A-18744DA6955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b9e5df668a1fdb9ba01479172185859d674a02","datavalue":{"value":{"entity-type":"item","numeric-id":2938767,"id":"Q2938767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3934c1dadbd4e61ffb696e14e34f5e2aa4b8ff53","datavalue":{"value":{"amount":"+0.8273561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799077$5771A990-387F-457D-B8C8-BFC39D2DBCDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799077"}}}}}