{"entities":{"Q862410":{"pageid":864258,"ns":120,"title":"Item:Q862410","lastrevid":64939101,"modified":"2026-04-11T23:14:07Z","type":"item","id":"Q862410","labels":{"en":{"language":"en","value":"Regular random \\(k\\)-SAT: Properties of balanced formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118128"}},"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":"Q862410$1021E7B3-99AB-40BC-8732-E0ABA11F54AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba8a801c005030de23ecaf78953b602658145a1d","datavalue":{"value":{"text":"Regular random \\(k\\)-SAT: Properties of balanced formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862410$23916445-8DD3-41D5-ADC0-25D887DF3DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"134c251e5048ad7d277275ade15499fda666bc86","datavalue":{"value":"1109.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862410$9FD18EFF-0522-4F44-954C-662B42677C00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7aa50cb090133c1276a20a5c3fcef5cf7557266","datavalue":{"value":{"entity-type":"item","numeric-id":765339,"id":"Q765339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$8EB9DBD2-CBB6-414F-AF24-45E3F02ED67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfae979f0a47bfa42d8c494b5d7ad537e92bd6b4","datavalue":{"value":{"entity-type":"item","numeric-id":808704,"id":"Q808704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$C7C2DC6C-6A56-4180-BDCC-E314E4861D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"193320f327ae4d3c6cc05cdb97f90cf8ab3715dd","datavalue":{"value":{"entity-type":"item","numeric-id":862409,"id":"Q862409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$FC5AD043-A37E-42B6-9579-0EFD05B0D7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$FAD1D8A1-CFD9-47C5-981D-8D610F670804","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$EC854D82-CF88-4A27-B183-942877A16738","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862410$DBFE8992-DF2F-4D13-9A8F-C5DB83953487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862410$967FFF7F-63CD-4C43-AC50-6DD9C57B81C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80d401337433b9edb952983f2d28f426ee8c4443","datavalue":{"value":"5118128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862410$8F28E309-F238-4CF0-AF4B-18D90C98FEAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1e7eb452ae4c92c43fa47bb0afb8177365a429","datavalue":{"value":"greedy algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q862410$56ED514D-C2B0-4753-8446-57C1649455DC","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":"Q862410$3D775D0E-5117-42D8-9A06-A467707274F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cb83346bbe9317cba7cb955dc1b6a1fb29521f8","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9012-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q862410$DF58AD2F-FE3E-4B0A-B3A1-7E7F12C1DCB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a0a2958d30ef380426addaa01e2daa4ee7453b","datavalue":{"value":"W1987851683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862410$400DE41A-C734-4114-A50B-8AB53828B733","rank":"normal"}],"P223":[{"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":"Q862410$5BDFB51F-789D-44C6-B155-3E415CB58770","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":"Q862410$03E5AFE4-1BE7-4DD8-A887-D41EDECD810F","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":"Q862410$F54A9860-1B30-463E-AB91-90F5E14E5FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$658B0122-1165-410A-B436-377B51445DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af8467cdfbad1c95b6d9a393e2ddeda30266a8d","datavalue":{"value":{"entity-type":"item","numeric-id":4828949,"id":"Q4828949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$B72A8487-7C08-4BB1-8763-4AC36EB2202D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc0041549453656fa232e0c8585a9b3818a1e19","datavalue":{"value":{"entity-type":"item","numeric-id":5958807,"id":"Q5958807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$D0B0C22A-478B-4D8A-9AD7-E7974CD9AEA3","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":"Q862410$CBBFCE48-EBEC-431C-80D9-E6D337257BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$C626BB45-6DDB-45CC-BEF7-ED8DE32CB320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6940ddaca0716cce9edd8f622e908bdbf2dbd208","datavalue":{"value":{"entity-type":"item","numeric-id":3989744,"id":"Q3989744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$F49ABDB8-B393-4615-974A-CB4F7BA0C874","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":"Q862410$34B758BE-3AEB-4575-9F7B-1C37CC2CAEC9","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":"Q862410$8A2B780A-755B-41E7-B981-06AD68598C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf59279ec921640243f0d294b136bbadf9f25cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$9EE2134C-1B3F-4A8F-9EE7-455B3CF5AF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd8ecffe12414298d30b6cce97696749e27d5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3439115,"id":"Q3439115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$39F2FA70-A60D-41A8-8701-90BAA42DBEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df61c4df8f812c83e621e524aa24458422ccaf1","datavalue":{"value":{"entity-type":"item","numeric-id":2741510,"id":"Q2741510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862410$E5534324-2EED-44B3-AED4-427CD20AA465","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":"Q862410$733E48F0-646E-45A4-8A4A-666A6014C6EE","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":"Q862410$81818EF6-04BE-4EB0-9C50-4DD2F917CF34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c0114d34e951052491894175ce5421bce564d22","datavalue":{"value":"10.1007/S10817-005-9012-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862410$1EE48091-3FEA-4D0A-A35C-27E54C8ADD62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc87edc12877d89881cdf34d30704c2c4694198","datavalue":{"value":{"entity-type":"item","numeric-id":2990202,"id":"Q2990202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926cf04e9522fce9e5ce0394d4e1c50359f61725","datavalue":{"value":{"amount":"+0.8422810435295105","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":"Q862410$E2F8DC12-95AE-4907-8748-D181866CA1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d0745dccb660cc22069d24d6fc9d07d75aa099","datavalue":{"value":{"entity-type":"item","numeric-id":4930594,"id":"Q4930594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b170dd07309804ebf60d93bcd73df3d9d558ab","datavalue":{"value":{"amount":"+0.8363772630691528","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":"Q862410$0FDC584F-6691-4FD3-AF0A-3D6B20024E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0304f35f9e4ae0eed5ed16865b0b4b8cb93cf6","datavalue":{"value":{"amount":"+0.8258101344108582","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":"Q862410$032AD973-A00D-4A05-95D2-12E71EDC5863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc67e674ae546865eaa093292f1cca0d0330fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3177360,"id":"Q3177360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2693a85db6c33911bdec9e8b112e4d174cc4f230","datavalue":{"value":{"amount":"+0.8159465193748474","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":"Q862410$3A1DD1A8-2E72-4688-B1DF-3D7FEA82990D","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":"a678ce742a9bdc5e109c9a1267529df8518d320d","datavalue":{"value":{"amount":"+0.8090839982032776","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":"Q862410$B04C59E8-94D9-414C-A9D3-12D89F891CC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular random \\(k\\)-SAT: Properties of balanced formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_random_%5C(k%5C)-SAT:_Properties_of_balanced_formulas"}}}}}