{"entities":{"Q2481970":{"pageid":2492713,"ns":120,"title":"Item:Q2481970","lastrevid":74184447,"modified":"2026-04-14T18:50:38Z","type":"item","id":"Q2481970","labels":{"en":{"language":"en","value":"Pairs of SAT-assignments in random Boolean formul\u00e6"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5264280"}},"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":"Q2481970$B1F4B4C2-F236-4458-81A8-0D2ABF3D5F7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82187c199856fa1e156a9d234f5a42b86d2c75e2","datavalue":{"value":{"text":"Pairs of SAT-assignments in random Boolean formul\u00e6","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481970$A0D07806-667A-45FF-87B9-4E48ABB82DDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5d0b83c2bae99a9db2915cf45320b32c82d7128","datavalue":{"value":"1136.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481970$91AD928E-9E29-46D5-A69E-1C9474E6B696","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e974d97bfd43337dd9696788581e32a53e631389","datavalue":{"value":{"entity-type":"item","numeric-id":598195,"id":"Q598195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$B6A9F3E3-5749-488C-9933-8A7B9031C481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cff8465229d11a39730a9e8e661bdd0fbed33d3f","datavalue":{"value":{"entity-type":"item","numeric-id":290455,"id":"Q290455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$BCBD7D70-4902-470E-BF5C-8CDA738482A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"111aaf633fff6b623f6fbfe96688e9bf86c4ff45","datavalue":{"value":{"entity-type":"item","numeric-id":212748,"id":"Q212748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$BB115D88-4AD5-44CC-9183-59043B15F468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c89a389cfe18acf9b42f03905ba53d9733e408e","datavalue":{"value":{"entity-type":"item","numeric-id":220479,"id":"Q220479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$B42E83C9-8775-414D-8237-662049B0CD4C","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":"Q2481970$D72ABFE9-CF0E-4F7A-A8C8-3F7427D4F7A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f15d7b3e72dcb73f65f19932d271f9b71965c44b","datavalue":{"value":{"time":"+2008-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481970$A7486899-EE0D-4F90-A0DE-B84E00F6224E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"300a22722938b52a9d4ef689a427e008526d5348","datavalue":{"value":"https://arxiv.org/abs/cond-mat/0506053","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481970$F5287A88-62B8-4088-A9F9-98CD3F899B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481970$853E9B0C-5A0D-49F3-B60E-BB5148DEC24A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbbe5cf6a0491fd662109ab02f67473cb267d192","datavalue":{"value":"5264280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481970$AB593D13-8E9A-4A3E-BE71-5EBA3389E325","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481970$665263E9-9C2E-4477-A5E8-F1AB4EE1D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c4e650abc856b5f51d0b5123c5930fad01c53f","datavalue":{"value":"clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481970$B38114D8-D46C-4EDA-909C-A1C9523E137B","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":"Q2481970$BB84E700-1848-4190-A087-4C5EBF1965E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9b5d90a9c0d1a19227c83bab5618708131e00bb","datavalue":{"value":"W2115885909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481970$B66EC324-B816-4FE6-94E3-8AD4A62E77FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b3a019d4e407ec6d267f665efd7d69b14c2c5fe","datavalue":{"value":"Q61444433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481970$F7FBFF3D-B02E-4837-92EB-959EAB9F462E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$4C3078DD-5F28-482F-8FF6-F5E3F093FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$979FD4F7-8BDC-4421-801C-FFF9E2F131D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1eafdbadab6556c3d155308f91ffabae30954f8","datavalue":{"value":{"entity-type":"item","numeric-id":2674173,"id":"Q2674173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$6D5FA8D5-6A41-4C0F-BAAA-01FAB6B80D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$186A1DEA-4122-4A0A-8BA4-5097A1445612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$2D9A8402-7865-425D-A207-8A879C022D17","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":"Q2481970$7D3EEEA0-9A35-4BCA-889A-5825140FA3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6cb6a4d0aacfc126ab3b1d0dd224c9400a8e85","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$DA75DB01-993B-4663-871E-DC218157DE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3150ccd621fbcc6deb9315c7b7f04d84e34b19c","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$829F9652-4E17-449F-A85E-258194A07F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb04515f456952574e37fe18c959d696b38307","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$119C76CB-A4AD-4824-93F4-DF39C1E7C930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e9e5cea5a6e817d1dce64aea7c9dc0d68e013f","datavalue":{"value":{"entity-type":"item","numeric-id":5471051,"id":"Q5471051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$70E73565-D9EE-485E-BAAA-C40BEF2CADE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$839F845A-2FFD-4033-9BAD-3718420D34EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9bd35b3cd11b40cb5a5dd304127339686bf593","datavalue":{"value":{"entity-type":"item","numeric-id":4466289,"id":"Q4466289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$E17AF561-FEB4-4392-A19C-90BC1020F1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd26ddf21865df61e0dcb99209ac4ebff7bfd6b9","datavalue":{"value":{"entity-type":"item","numeric-id":5325855,"id":"Q5325855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$81C8D323-7EB1-4FA7-9044-247708776108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd4ff31dcc3da7bb250ac184b12de184df8b3c4","datavalue":{"value":{"entity-type":"item","numeric-id":2837678,"id":"Q2837678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$638A5B9B-184B-4394-9757-D675395D0C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea2e3a0bd9f78e5b63cf1514302cdbf7d2f3ce8","datavalue":{"value":{"entity-type":"item","numeric-id":1870233,"id":"Q1870233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$D3142EB8-F327-4D79-8867-6954BCC89348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8e08770b1d9daf882ed891a46c081902775f05","datavalue":{"value":{"entity-type":"item","numeric-id":1565907,"id":"Q1565907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$8542E7DD-ACA3-4E45-81CB-3238364EF412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03ed455aa03a39582e8642c14989042ccc1554e","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$2F27A556-5EAD-49E8-B42A-CC276EF37DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965af1e8607d59f8fbed0403373251c83afa91e8","datavalue":{"value":{"entity-type":"item","numeric-id":2433947,"id":"Q2433947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$11921300-A2C4-4A20-BB3D-4A9F51A32098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ee5a960ecc2f227d8d8bcf80007a7c201918ce","datavalue":{"value":{"entity-type":"item","numeric-id":4968895,"id":"Q4968895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$762DF823-1487-4400-B9D5-E90287E5EA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ecbbacb4ff268f9dd9ef7cf67c72d1fb84db4f","datavalue":{"value":{"entity-type":"item","numeric-id":4825480,"id":"Q4825480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$46E935DB-630E-499E-80D0-AAE712F95FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e823aae56464f911722aa40bd4ee02dc893ffa","datavalue":{"value":{"entity-type":"item","numeric-id":598196,"id":"Q598196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$E041B380-A421-4067-82F0-6B7E557E24A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39243acb5be0cfcc434f9cb518b6622c1e5ffea7","datavalue":{"value":{"entity-type":"item","numeric-id":787158,"id":"Q787158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$FE14B05E-E57A-4130-9FA0-48B9BB82136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ec1138e7f4e3e3c409696ab04f941673a66909","datavalue":{"value":{"entity-type":"item","numeric-id":4667855,"id":"Q4667855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$CA495F46-BCB3-45B8-AD87-AA78AD8FB984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4168bee951528c8b38d5411801002561615d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":1612300,"id":"Q1612300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481970$FFF5C0A9-5CA5-4DF7-934A-C45E729E3B2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfd68224507735a2f10856c46bede3e779e1ef4b","datavalue":{"value":"10.1016/J.TCS.2008.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481970$3B6587B8-D2D0-47DE-8C7D-12CF1BBFBC45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4df546ffd8cae746a9a2888262b7434e15a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c2392b6a7992474f74d1111378664d524aab52","datavalue":{"value":{"amount":"+0.8417619466781616","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":"Q2481970$203CE499-8467-472F-9E94-AEF8BA909DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a8a9b4b6f7a993c5971c2f1e46d2cb42085cf3","datavalue":{"value":{"entity-type":"item","numeric-id":955013,"id":"Q955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a640eca01e47dec9c4c64a242bc8a6a93b9de9a","datavalue":{"value":{"amount":"+0.8353499174118042","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":"Q2481970$D878B36C-8E8B-4F8A-BB0E-18E25760E19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1300725a9623c27e391fd5324a139a393ca89d","datavalue":{"value":{"entity-type":"item","numeric-id":978588,"id":"Q978588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c735b5819afc2f0d7001efae7b4efbb327cb5c5","datavalue":{"value":{"amount":"+0.8307443857192993","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":"Q2481970$A90AA2FF-6B03-4C33-A7A1-9CE001A70AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a8cc5ad7b6eb8887556fa387a8c1776bb16a29","datavalue":{"value":{"entity-type":"item","numeric-id":5471051,"id":"Q5471051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50ec07b7f8ed0bcd7b7f30fd7cc73513b1f4abc","datavalue":{"value":{"amount":"+0.8268434405326843","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":"Q2481970$B8D5A04C-E425-4059-8F17-8B5D485BD099","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":"c666b2c2bc87ce022be5344a115bd388e2ddc2c0","datavalue":{"value":{"amount":"+0.8233805894851685","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":"Q2481970$7A83F2AA-6DE5-495F-A8E2-5EC58C1B503B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pairs of SAT-assignments in random Boolean formul\u00e6","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pairs_of_SAT-assignments_in_random_Boolean_formul%C3%A6"}}}}}