{"entities":{"Q1799597":{"pageid":1810339,"ns":120,"title":"Item:Q1799597","lastrevid":72986469,"modified":"2026-04-14T09:12:53Z","type":"item","id":"Q1799597","labels":{"en":{"language":"en","value":"Short proofs for some symmetric quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958567"}},"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":"Q1799597$AD291F2D-9100-47CD-9536-F7A711A8111E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eada664570630df37cd15c6322de1fd99ff1274","datavalue":{"value":{"text":"Short proofs for some symmetric quantified Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799597$1110310C-F467-404A-B571-A16465D99358","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35af3d4f0e4c13be2015d43052accdab591dc239","datavalue":{"value":"1442.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$4E841CDE-6635-4FFB-B3CF-9818E74E9383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e34375b1d44004fc65a252d19b9e51bf0f0a020","datavalue":{"value":{"entity-type":"item","numeric-id":392146,"id":"Q392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$EFC20F9F-D0A7-49F1-B79C-5AD06967495A","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":"Q1799597$F23E5D60-45AA-483D-8A32-E11BE117DDBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$2654727A-71F0-4514-8D3C-0DB72EFB3A34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851604a72cdd40de4e79399957d1d12419d2f19","datavalue":{"value":{"time":"+2018-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799597$789903EF-3550-4125-9AC8-98CF4A12C671","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21835fabf30274edac41a3888d9ee44770e72c63","datavalue":{"value":"https://arxiv.org/abs/1804.01437","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799597$556C1C65-0489-4635-9BB1-DEBD2F78C37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$5C257BB5-BDF8-4CAA-B056-979DBDCB4F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$ADB15BE1-DE56-4E0D-8161-521ED2304491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f28104fe76e5c43498e80a23198f2b40328adbe7","datavalue":{"value":"6958567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$119C8384-51C1-4CE8-9A67-791818296D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799597$7DFB459A-6D8D-4281-B17B-E2B358BDE586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799597$5D1E0D7B-3D18-4953-91EF-3B42CF1A405B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799597$3DC82EBF-AE6A-49D9-B171-0BE03C33296D","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":"Q1799597$50560A35-06E0-450C-A39C-FCACE180DCD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fbf534eb345834ccf5a457b09f1c40efbabcaa1","datavalue":{"value":"W2963104944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$792AF5F6-543B-4989-8C87-A79C403E83F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$E7741E9F-692D-426C-ADC9-9C9CE41EDC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02290303b06a20be00812bd3ebe49ee85d4326d8","datavalue":{"value":{"entity-type":"item","numeric-id":4993272,"id":"Q4993272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$95C4542F-5D60-4178-93F5-023DD332EF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$33A5D580-6C7F-4219-8B2E-EBE1E4B6AE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81b715a41dbad1646161e307ff3c7d5aa1d605f","datavalue":{"value":{"entity-type":"item","numeric-id":1656578,"id":"Q1656578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$A4C029CB-7183-434A-AB4F-9FAF35B0F5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$BA5690EB-4E27-43C8-9484-675190B84312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0da76e2853718738024b76e22a55cc2755df5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4315881,"id":"Q4315881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$C40B9BD3-1FE2-48DE-83F2-231D2D26BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$CA5FDD3F-8DA3-4286-8336-7758C9CBE2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2a85fd0daac5ebbfe9d1d095a6735cbaa6d82","datavalue":{"value":{"entity-type":"item","numeric-id":1961453,"id":"Q1961453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799597$875C0505-5515-4482-8EEB-32B04FADA1B1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e76a4cfd754cbf2d2067bdd192a753e2da95e620","datavalue":{"value":"Q113872247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$86D35681-BCD6-46D2-8ED9-0B8EE5BB7EFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4294ede53b8f32030715c7e541b2d8a2541ff791","datavalue":{"value":"10.1016/J.IPL.2018.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799597$5654A9F3-283C-4E38-81C4-C2D0EB88BD63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bafd925df46399fe0286f7f45293c25e387def6","datavalue":{"value":{"entity-type":"item","numeric-id":1656578,"id":"Q1656578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6de04bde41632dbdbd99fb142359b6d874dc32","datavalue":{"value":{"amount":"+0.8419399261474609","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":"Q1799597$C8AA452A-30E4-4099-BE99-CF2EEB0EA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c376fbd979a5db1a3b79819778b8902384b7b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2181920,"id":"Q2181920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa818f67838e22364c62d476a47fff7e5f9f0b56","datavalue":{"value":{"amount":"+0.8412457704544067","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":"Q1799597$DDD43C8C-0EB1-47C8-A436-3C19E1A166EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b771066b77fa4d9ef60f7decbfb1d3b0a90aaf7","datavalue":{"value":{"amount":"+0.7822688817977905","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":"Q1799597$CAEEFBD6-24EF-4ECB-A410-EFD604A0D888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4b434b2e0a1979e9861c92b5cb556302cabb15","datavalue":{"value":{"amount":"+0.7749432325363159","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":"Q1799597$BA372131-C75C-46C0-9DEC-B2A5474F9122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6e396fa66334b947dcd82b2b6879e797832123","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e6db262b7d241b8414bf8b4f0e6fa6306ed004","datavalue":{"value":{"amount":"+0.7629259824752808","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":"Q1799597$9839BEFB-4085-4385-8AD6-2A90DD61BD5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short proofs for some symmetric quantified Boolean formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Short_proofs_for_some_symmetric_quantified_Boolean_formulas"}}}}}