{"entities":{"Q6635697":{"pageid":14246849,"ns":120,"title":"Item:Q6635697","lastrevid":55977241,"modified":"2026-02-21T16:57:46Z","type":"item","id":"Q6635697","labels":{"en":{"language":"en","value":"CNF encodings of symmetric functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941440"}},"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":"Q6635697$24730BA1-CAF7-4A20-BF18-608C61276E98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba92a2cd3dd403fba05dc95c0ced071125ca9ea","datavalue":{"value":{"text":"CNF encodings of symmetric functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6635697$0175AADB-1495-4E5A-A05A-3E981AC3C799","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d09f57fc5d14199a6711dac6cd486e6e44550c03","datavalue":{"value":{"entity-type":"item","numeric-id":6584046,"id":"Q6584046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$81A5C8F1-1659-4ECE-99E2-2C647B06BC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$681C0550-07BF-4DA1-8974-C66A78BE09E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e018a4b69e5a9e63bb6543414f386384bae419b","datavalue":{"value":{"entity-type":"item","numeric-id":2354590,"id":"Q2354590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$D2A1AB71-4BE2-483B-949A-464C8257D7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"872cff46619f7b7ed1565b9de513de4d345866ce","datavalue":{"value":{"entity-type":"item","numeric-id":6584047,"id":"Q6584047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$789FAB11-532E-4134-8425-556F4F4AE17A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$4127AEE1-6F68-4C00-AE06-2F3835A1B98C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6635697$A4387453-9CCD-4DA2-B437-CB3B5CD3823F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635697$7E5FB5AE-8BB0-41FC-9FFC-D41645CEE572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635697$63D06534-3A7A-4BEF-96B2-31D275C5C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635697$997D2E1B-4C3B-4950-B927-F6593EEEA33B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc6fdc72ec32b764af58c2f9160c97907b97ff15","datavalue":{"value":"7941440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635697$F2B666B0-BF77-436B-B307-31CC35AE3FA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635697$2F32243C-CFC9-46A8-AEB6-A66406307F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d146385bd214c988dc91b3c0cc2011de48b86fe","datavalue":{"value":"parity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635697$441E6381-096D-4159-8858-692AAE839412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c55def250e1585037dab482b105f7d3aa06c3c","datavalue":{"value":"majority","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635697$9BBBC89A-2F8F-42C5-A9D7-DEF486E6A604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635697$543DF4F3-55C7-4FBE-99E6-2A1D234104F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2773dc0449ebf96bb1747bc4f2b2f0a2faa889","datavalue":{"value":"circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635697$2446BE9E-1497-4216-A7D2-C263505EF1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0283841a5984d0ead194830870566a24cfd34f06","datavalue":{"value":"CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635697$1610316C-95D5-4C02-83F6-B3996A4374AA","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":"Q6635697$69AB4328-DD57-48D1-BC76-838D3F161503","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b77eec5c9c6a43ad6b380ed444f38129edb7d5","datavalue":{"value":{"entity-type":"item","numeric-id":3614150,"id":"Q3614150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$57704E8C-E35F-4184-8930-69F542F6B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$BCC4B7B9-3E72-42BF-A7B6-CC167DD19579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eeb14584ff70f1d774e69aacb12f5fba030d62","datavalue":{"value":{"entity-type":"item","numeric-id":1294046,"id":"Q1294046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$5F43A48A-CC28-4DD6-B2C1-B8552781A289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bf044672d4972084e24a6d2bb24e437faa0458","datavalue":{"value":{"entity-type":"item","numeric-id":991778,"id":"Q991778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$9098BCFF-FBEA-4647-A4CC-A5052D25FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0901957f032f20947cb5707cb4dbad7ac83016e7","datavalue":{"value":{"entity-type":"item","numeric-id":6584048,"id":"Q6584048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$B4C4C1A4-B9B6-4071-9304-F9E68D7B7F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596375c15e8ef30b4e9a656384a80701909964d7","datavalue":{"value":{"entity-type":"item","numeric-id":1904663,"id":"Q1904663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$58C383DE-C36E-4CC0-B310-52BEB85AFA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8177a7d2f06279f0ab7180572e89b634fa00ce","datavalue":{"value":{"entity-type":"item","numeric-id":5091231,"id":"Q5091231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$2FEADD7D-E68D-4681-8A87-764926D56209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$2639BA40-B573-456C-8E5F-9C4C9E0F9CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$A2D7B1A9-A384-4014-976F-9D4B1536197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f640491c1847a2e863d94471ca7418b4c26382f","datavalue":{"value":{"entity-type":"item","numeric-id":2749865,"id":"Q2749865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$DCA8EB95-D87B-465D-9C7D-D06860A6C725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b134ffab87ee113f6cad08f123008a24686a33","datavalue":{"value":{"entity-type":"item","numeric-id":6083571,"id":"Q6083571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$55DB4B92-FC3A-4A6E-AB25-2BCBDCE1A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4045704bdf81dd16d250919485ee3b1ad882e36","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$C4A94A84-8710-411C-99BD-3EEDC5F52C1E","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":"Q6635697$52350361-A525-4A79-BAE2-1AD25C59C8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb92d396ac73c70abab648b0cf9f07700571ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1408386,"id":"Q1408386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$F8E31C4A-AC42-48AA-9001-B68420324F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$932BF44F-F1BF-43F9-A40B-10ACE06D403D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$886ADC90-38DF-413A-9952-FA4CEB3D7FDB","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":"Q6635697$8605EB89-9E88-42D7-B860-352ECA66AD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d629883fe1d8cfcb493de168c946ca849ec332","datavalue":{"value":{"entity-type":"item","numeric-id":4164821,"id":"Q4164821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635697$4B993803-AC1D-45E9-B0D4-D8437D542760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c353454e41a97f00ebb6ce2b1f4ebb90d42b3a4e","datavalue":{"value":"10.1007/S00224-024-10168-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635697$40F5DA9B-1C77-4843-8D4E-582139D33F86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6635697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6635697"}}}}}