{"entities":{"Q5090378":{"pageid":7119954,"ns":120,"title":"Item:Q5090378","lastrevid":94268408,"modified":"2026-06-05T06:23:16Z","type":"item","id":"Q5090378","labels":{"en":{"language":"en","value":"A \\#SAT algorithm for small constant-depth circuits with PTF gates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559051"}},"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":"Q5090378$8E1E8246-2F64-4DD5-90C8-1CD7899DC14F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0f7c00449888c50d161f0066b85e9caa46f592","datavalue":{"value":{"entity-type":"item","numeric-id":2118394,"id":"Q2118394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$058C7CD2-C90E-4566-9023-4975F80B258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91c05390a829fff9c21139d09dd51b60327fba4","datavalue":{"value":{"entity-type":"item","numeric-id":1147606,"id":"Q1147606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$95434AFD-B3D9-490C-B105-D9099A207C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e874ac9bb94f248f2932e672964c908ed73d10","datavalue":{"value":{"entity-type":"item","numeric-id":2034077,"id":"Q2034077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$FE336847-064D-4B3B-9CD8-20191C199C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86f85bcd6523b8d841f12bc59dfc37c0a07b27d8","datavalue":{"value":{"entity-type":"item","numeric-id":391076,"id":"Q391076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$78C73F4C-C95E-4CBA-B6B0-BC164883CBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23dc75239a9e082968643fb7594321b45263c2ac","datavalue":{"value":{"entity-type":"item","numeric-id":626692,"id":"Q626692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$63B37735-AB8B-4577-B9EE-699D1087978A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-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":"Q5090378$53FF705E-57C1-4D19-9F20-67C95A9EC585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b88c6c69adb10bab9df6d522dfa22e7c93f41703","datavalue":{"value":"https://arxiv.org/abs/1809.05932","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090378$8F95A2EF-34B6-4DBF-947D-92E3191AAF05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090378$1A7EE406-6FFD-4892-9C7A-3403E3000388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"772b487ae8ab99cb4802555d2000809bcda0f51d","datavalue":{"value":"7559051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090378$D822E6DE-4DD1-4954-A6AB-F2401337221D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090378$E3E0C64E-FABB-4538-8B53-32B74617BA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aec9d80919d500bada89ea07e97fa4b50a4e56bd","datavalue":{"value":"polynomial threshold functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090378$345FD203-4D83-49E0-8078-56E8771AA5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90babe6be05b75d1a5fb40f4e072538745760da2","datavalue":{"value":"constant-depth Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090378$B91C1D73-3D4A-43A0-92E5-E809AA0FC023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71af4a5126787a0e16e2854269772f7a51964fea","datavalue":{"value":"linear decision trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090378$4AB499AF-3B6A-4CB0-ADAA-2A3918B8FAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927ef01ace94e5392cef7054b8a681482240dc8f","datavalue":{"value":"zero-error randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090378$611FB3F6-2939-488F-B11E-926F0F251E7E","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":"Q5090378$AA69C787-FCB1-4CA5-866D-01BCE530308B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a482077daebe4e916258dd7a1fee04f68af9188","datavalue":{"value":{"entity-type":"item","numeric-id":5002674,"id":"Q5002674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$4FF829A8-CD5A-4237-8C5C-EC531AD87719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49e6ab2d8acfa914ff18591de59648648d94f3d","datavalue":{"value":{"entity-type":"item","numeric-id":5361845,"id":"Q5361845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$0B1A07FD-DF74-454C-8923-E9A52DBCA5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64c9aadb37abd6e7fbf7ca22480998297c44e73","datavalue":{"value":{"entity-type":"item","numeric-id":4993300,"id":"Q4993300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$2B734AD9-A158-466B-80FA-CF5761EC9645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d0aad367cf52891c508c7e7bfb594600ba61f8","datavalue":{"value":{"entity-type":"item","numeric-id":3756526,"id":"Q3756526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$3267F5F3-E618-4614-844B-41189FF1A2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6e2c2ecad99ba6427a45c0566f6b794580473e","datavalue":{"value":{"entity-type":"item","numeric-id":3453207,"id":"Q3453207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$489EDED0-5819-4698-A1C1-C4AB2FDA0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0288d80b06f7c1a213f1fe07748f09e43b0a10c2","datavalue":{"value":{"entity-type":"item","numeric-id":4568115,"id":"Q4568115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$B156A6B9-B228-4E8C-8C67-DC532E696711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9787e6d0819215c90132b2323576c33dab530fc","datavalue":{"value":{"entity-type":"item","numeric-id":1872733,"id":"Q1872733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$18006224-8865-42D3-AA68-5397ABB61236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eadf808697ad7b9e6d67dd612a733ae6ff6561fd","datavalue":{"value":{"entity-type":"item","numeric-id":4337668,"id":"Q4337668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$BBA02467-84EB-4E2B-B292-4313C84A6D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ae25e5d7aebc481ba805a5ae0662faae9cc8e8","datavalue":{"value":{"entity-type":"item","numeric-id":4978008,"id":"Q4978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$EF8B9DD8-9BFF-4FDC-804A-6C314D612067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4330fdb8d3fc161bd6319a62c82e7c6fa525fd","datavalue":{"value":{"entity-type":"item","numeric-id":5009542,"id":"Q5009542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$13EC5882-D77F-44E9-AAF5-166AF473BB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283c006f8f855d74296e4766c90e235a08fdbb5d","datavalue":{"value":{"entity-type":"item","numeric-id":5361867,"id":"Q5361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$6BB14BC4-7F61-40C4-9EC9-B6C66BDB0BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4a9a9dc22c9aa32725fe2a87b37ee0604e0dff","datavalue":{"value":{"entity-type":"item","numeric-id":5655273,"id":"Q5655273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$7EE7CF02-B853-4EF4-A69F-5F10B3EA252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a6599f545ec08b9afa71a7573eae29e700904","datavalue":{"value":{"entity-type":"item","numeric-id":5166888,"id":"Q5166888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$D200F9E4-3A11-4AB7-B30A-81B9CF8797A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc33ba20a5f7b39e05aa917bbcda8050b0972cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2999860,"id":"Q2999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$F2F173CA-FA5F-4DAC-89A0-853F8BDD80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$11FD0828-D5E3-409B-9315-E71766D81E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$4B475198-843F-4663-A0FE-91E03F7DE443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f874968bcc538d9424a44dc665d1af84ad29e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4608645,"id":"Q4608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$DFF3A528-9D48-402F-80FD-A47E8EA58146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d64788b7fefc169174f965a2ca943b56a1eb3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2963913,"id":"Q2963913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$7331AC73-82E7-43B8-8949-632955E5D30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2525b5c335cb5509c2a87f3f024f358ccdaf82b","datavalue":{"value":{"entity-type":"item","numeric-id":5466451,"id":"Q5466451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$15417F4D-F322-443E-9818-3D33A19FBB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417a74fabe64c2e6ef842d1903746d473548071e","datavalue":{"value":{"entity-type":"item","numeric-id":2875149,"id":"Q2875149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$5FBE67C1-B2A4-46B3-A1A1-A73B293F0BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048284100b7ad5f1cb03d0414fde41f98ff049f0","datavalue":{"value":{"entity-type":"item","numeric-id":5259602,"id":"Q5259602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$4A65C71E-9D8C-4F2C-95B6-5FE9764013A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a205af6decd0ce6e8156191a3f954fe4c0288c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5363756,"id":"Q5363756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090378$6FBC48B3-137A-47AE-B074-6FB0B9A93B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"335bc8f0b7166c3b2009e4f61ba95ed47974e505","datavalue":{"value":"10.4230/LIPICS.ITCS.2019.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090378$19BCA037-4BBA-4B75-AE9E-83B28339629F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38d65e41afb300f48688c1e971fb2fe11d52ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2118395,"id":"Q2118395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9254c6d1b02d3018bae6ec6b9501a47d4fa0c35","datavalue":{"value":{"amount":"+0.9875176548957824","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":"Q5090378$F1B8F8AA-9E1C-4B42-8E93-4C8891B0A329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe810d066d4dcda3ea1ff7b39c5f61e7d54dce8","datavalue":{"value":{"entity-type":"item","numeric-id":5009542,"id":"Q5009542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a846e1741b3d743f93331470a9c1b9f8b2748ac","datavalue":{"value":{"amount":"+0.8688047528266907","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":"Q5090378$897ED237-55A1-480D-9449-532505BF7C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ed2c07dbb5c99c6f45f16593a3ebb41a29a327","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9781dfab0d3490670631e86aebccbc72445f98e8","datavalue":{"value":{"amount":"+0.7771340608596802","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":"Q5090378$BEC4B9FD-AC2F-4F4F-B15A-C51D3F8E852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd5fc3541cf271edf2a6c46ff972f5977d11384","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15d94c1b90db1f3bc2971e306fb9089ee46244e","datavalue":{"value":{"amount":"+0.7745587229728699","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":"Q5090378$5BD546BC-61F1-47E1-A156-63DAD0833191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d7546fcaa661aa046b5af1c9495cb8dff0e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":5005182,"id":"Q5005182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada84c9a2dc654952e38e82e60d4966ccabdfce0","datavalue":{"value":{"amount":"+0.7686728239059448","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":"Q5090378$5428B1C7-F9AF-4BF4-B4F6-A135C8077936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A \\SAT algorithm for small constant-depth circuits with PTF gates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_%5CSAT_algorithm_for_small_constant-depth_circuits_with_PTF_gates"}}}}}