{"entities":{"Q2326395":{"pageid":2337138,"ns":120,"title":"Item:Q2326395","lastrevid":78576041,"modified":"2026-05-06T11:55:27Z","type":"item","id":"Q2326395","labels":{"en":{"language":"en","value":"Super solutions of random \\((3 + p)\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114325"}},"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":"Q2326395$411B2F8C-097A-42F7-B1A7-046E2500A8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f56624891e4ef3b8e8387c7cb52e2a2453c3dd23","datavalue":{"value":{"text":"Super solutions of random \\((3 + p)\\)-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326395$DC5374F0-79B6-4F15-97B8-416B5E476DE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9463b94328d1b29747c1a5707ded9ea3a8770011","datavalue":{"value":"1430.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326395$C24DE0C1-0273-48D6-AE64-1162E2F3C458","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afd894e45e27c57e9ec83dc9628a74a5cde3781","datavalue":{"value":{"entity-type":"item","numeric-id":291396,"id":"Q291396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$2FFB6FFE-10BD-4C9C-A5B4-B8962E6B5AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"433bc6f972644a6448eda0e8cbbc2e14879cc548","datavalue":{"value":{"entity-type":"item","numeric-id":890504,"id":"Q890504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$456D873B-D2F3-4713-BAA0-20D576933BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$04755D8D-B695-4307-8297-600862EBB032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326395$91240622-E92A-4663-9FB0-307926468D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326395$A176B6BE-02CE-49CE-BF76-47EA9E005E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326395$8CE7A9C6-F0FB-4FAA-AAE2-335A26A9E076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"667c97aab61b8668ef9cdc8b956faada2cd8f868","datavalue":{"value":"7114325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326395$23504E34-01B1-4A2F-9889-978B38D959E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36edd3f5c3008f18e53aaad844a88a4ba42ab5d1","datavalue":{"value":"\\((1, 0)\\)-satisfiable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326395$3EE2EC3D-6D57-4AF6-8AB0-D8873C497ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba82770f6e94527c10c3712587194b4d0ef57593","datavalue":{"value":"super solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326395$40AC87BB-6421-4618-AC49-60AC87826A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326395$9D2AB15D-56BC-4A51-B6B9-337C2E489073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc60f8b4a637a6c4ef60783748ce8e2612a7ed2a","datavalue":{"value":"unit clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326395$5EA4B608-AACF-4BD0-97D1-2A1C776B57A8","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":"Q2326395$21F75B1D-2935-4CE0-93C5-EA65AB71ED9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6d710b6ade2c7a98797f6b058c1a0ddcdd13a3e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.04.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326395$6EF0AAE8-AAF4-49DD-B22C-6454078C8618","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c0ba70bbcd059eee09035236e87c42adee16951","datavalue":{"value":"W2944997627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326395$618A9181-4F6F-487A-BE4B-6B6DC78AD84F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"213888b37453d8aaa1d0d856afbc3c9660e59705","datavalue":{"value":{"entity-type":"item","numeric-id":3191968,"id":"Q3191968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$6CFE18E6-88CA-4727-8C58-2B1210432F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd86b08db9c5e9d1bb208efc1ea66bb7b6d20b36","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$5BBACB1E-FCA0-4D8E-A567-6876D1935F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75293a6b9e75a76007ddbb019630ee5d574cfb00","datavalue":{"value":{"entity-type":"item","numeric-id":5958803,"id":"Q5958803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$BF595D1B-B39F-434B-968F-05D863E2A61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4799e5a32c687eea79d573479ff8c58240f3cb62","datavalue":{"value":{"entity-type":"item","numeric-id":4004078,"id":"Q4004078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$A34664B2-D307-467D-9174-35C88A87C19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$C66DEA04-287E-4AEB-855C-ECC27B0BE3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc69e791e3ac729c39aee0824be53f2494fd734","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$FAAC4F4E-7A64-40D8-9DF8-46F319C3D300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$4E2E23D9-DDD8-47E0-BEFC-C35895D7D281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ebc381f908c8e5801e453261ac7ab7bfbdda453","datavalue":{"value":{"entity-type":"item","numeric-id":764375,"id":"Q764375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$41C95FFA-C785-4E20-B933-09095A65C016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab5428b9311d289af7c342defd2d6767de6574","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$CA8A457E-4EC2-46A8-BF38-437ADE1F519F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7955c6e632c62fc5b965c85834c4907eadec4719","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$09F4A93B-7C93-43C9-A284-782E3FC3A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$97542D70-8CED-45CA-8A79-2E08A6ADE63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c460f983de9e6a420aef566a3398a70e655aa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$F04DE6B0-427F-4329-A534-29286F9B3DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$1A6F6C46-47FF-4A23-B57C-B844A1A9FF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7540f3671d86f8ea56c0771af46d4cd00976ffe6","datavalue":{"value":{"entity-type":"item","numeric-id":5713870,"id":"Q5713870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$D4520F79-69AE-4E02-8C82-AAFA3B384B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe527c70667abdcc4643bcdaa21cf1b7741a262b","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$2620489C-4F61-4F02-864D-64E986A35961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a7374bca659a899751abf921f96f3058a7c997","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$FE2A29AE-7922-4D08-8B04-EE3AE99621DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$4C66D56B-5C5C-421D-A710-03A906A72503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14138bd19dbcaae6e98023dd587529bd29d27579","datavalue":{"value":{"entity-type":"item","numeric-id":1916491,"id":"Q1916491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$7F49589D-3AEA-4BA6-85F5-A9B83F8F3ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43df79b3cdc2fbdea788dff0ce41035df2bba8a1","datavalue":{"value":{"entity-type":"item","numeric-id":507445,"id":"Q507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326395$395C9E3A-4757-4FCC-BA35-E27009555683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6880e789f6b88f6fb6f183daf216960f71a2610c","datavalue":{"value":"10.1016/J.TCS.2019.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326395$7942136B-BF59-4DB3-A229-DD911281CF02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a2dd6e4ceb834e05be2a62ae5da97180ee49e1","datavalue":{"value":{"entity-type":"item","numeric-id":3452579,"id":"Q3452579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08eb25f8f0b8695f7ace876b6949a0f6af4e80f1","datavalue":{"value":{"amount":"+0.869693398475647","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":"Q2326395$6EB8C977-9A52-490A-997D-16315ADC272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113088b41a6687d17adc862c3ed9ac5434c9f6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5958803,"id":"Q5958803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03afb4a828d14e9f03c799d5267a57bb1a3e54a3","datavalue":{"value":{"amount":"+0.8606523275375366","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":"Q2326395$775E0BA8-BE3C-44DC-BDF9-B8F69096C1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c098662167eb9d951535cc3eedbf0aeb2faa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7656f937ace3d0c32cd97a08355522d0f4f191a6","datavalue":{"value":{"amount":"+0.8604009747505188","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":"Q2326395$23A5F195-0776-456B-ADC6-3CF08F5A6D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482f55c95270d7025f056a26d71c005b387dded1","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650aeceb07bdab909523a5a2d25d46252970b0ce","datavalue":{"value":{"amount":"+0.8388703465461731","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":"Q2326395$EE0A773E-E1FC-46CE-952A-44569D8CD6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b48a8ec04e2849a738b1651d8c75b594918bf70","datavalue":{"value":{"amount":"+0.8378604650497437","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":"Q2326395$11662D92-6291-462B-9BEE-883AFDC2A249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Super solutions of random \\((3 + p)\\)-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Super_solutions_of_random_%5C((3_%2B_p)%5C)-SAT"}}}}}