{"entities":{"Q3192183":{"pageid":3202891,"ns":120,"title":"Item:Q3192183","lastrevid":52096607,"modified":"2026-01-20T22:35:05Z","type":"item","id":"Q3192183","labels":{"en":{"language":"en","value":"A unified proof system for QBF preprocessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348229"}},"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":"Q3192183$5065DD8A-7E9E-4380-ABB7-A123862C4211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3356a4946126622e7f6aefe94a64f67f6eb37b","datavalue":{"value":{"text":"A Unified Proof System for QBF Preprocessing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192183$84FC8C27-639A-4571-A2D6-D1DB4F072C57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b95fc24f21abc0ee471877f757b4eccac18472f7","datavalue":{"value":"1409.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192183$772FAE28-D0DC-44EF-AE2C-75FBF983D24A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"565e22ed398e9e647600eb58cf1d2c5bebdbeb23","datavalue":{"value":"10.1007/978-3-319-08587-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192183$C3372982-7674-4BD0-9C5B-7154AA36F802","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":"Q3192183$60917FA4-AF52-4DB3-9D65-266F00E0B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192183$D026690E-63B4-4F29-9A89-7D50AC3D9819","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":"Q3192183$E19001C0-3A32-4100-B300-367BCC8B7317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192183$0E185FF8-5A74-437A-8A85-BC14FE7D222F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192183$AA7BE4BC-6F37-45CD-9E8A-E0642B75D536","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192183$26C9CCF4-7AB8-41B8-B96B-9B393AF2AC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192183$3992BD93-AC02-4BD3-BEAD-4D6562EF6E50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce4311e41d9a3adf4dd5ed7bd8a71c0e0fec4dc3","datavalue":{"value":"6348229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192183$73A405E3-6AE6-45E9-AB13-BDF37698041F","rank":"normal"}],"P1463":[{"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":"Q3192183$6EA109C2-B18F-448A-B071-543BBA11D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192183$D44C63FE-3CF2-4277-AAF6-2405CD7D21F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192183$9C253186-4A2B-419F-A324-AB4D4360E798","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":"Q3192183$635BF465-E8B8-423A-B0D1-55DAA7C6F2C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2375aba5a4e7dd7f337a646556d092ab900d678","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192183$6A260272-CEA6-43CC-8294-39D77DEFC1D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcab48451461786a157075b694cefc23eb501ff1","datavalue":{"value":"W88271430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192183$6DAED1F0-C80F-4FAE-9A03-84C1BA55CA13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5917fae84451ac558b4e757a8d3d8325b47d62a4","datavalue":{"value":{"entity-type":"item","numeric-id":2362496,"id":"Q2362496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba8bc37251045a612f5ebe2a9acf3a1490c9b7b","datavalue":{"value":{"amount":"+0.8810267448425293","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":"Q3192183$36F4E146-EA62-471E-B49D-0D79AB2E5F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2ef5f6c51204d36c0cb396c92d9f6a725b0416","datavalue":{"value":{"amount":"+0.8665419220924377","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":"Q3192183$BDF90BAF-E8A6-4E6D-A025-2E3CA9D313D7","rank":"normal"},{"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":"75a306b4d129f1d7b0d169ab24b5c2651fcd46a8","datavalue":{"value":{"amount":"+0.8466061949729919","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":"Q3192183$442F6400-3D33-4D3A-AAF9-8A292250E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9695626990872a97c04faa503faf1ead3d10e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3612470,"id":"Q3612470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08db71c112a9700ac86f64b90c492bdb7196cef","datavalue":{"value":{"amount":"+0.8376088738441467","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":"Q3192183$DD076385-4A95-4B4E-B630-32FF7E6E45A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547ea570c686df36f9e11150d03e1248d63f9bcf","datavalue":{"value":{"amount":"+0.8160328269004822","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":"Q3192183$34F0AEA2-6D5E-4391-AD70-E621BB75F103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192183"}}}}}