{"entities":{"Q5436980":{"pageid":7466544,"ns":120,"title":"Item:Q5436980","lastrevid":50254628,"modified":"2026-01-13T16:07:59Z","type":"item","id":"Q5436980","labels":{"en":{"language":"en","value":"On an online random k\u2010SAT model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227972"}},"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":"Q5436980$472CDC41-9C11-4461-840F-57937B7F0979","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8d59ffb9089b1554dca35cd33e557b15a8b5817","datavalue":{"value":{"text":"On an online random k\u2010SAT model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5436980$D70967A2-C031-4A5D-AA83-EFA23443E5A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e47f489693a89c6ddbe098abf59bf73aca36428","datavalue":{"value":"1135.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436980$40EF2DB1-A6FC-4568-B79C-07EAC80A6D70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c54fb9374087f8f71f09cc66f487b2439481bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3423060,"id":"Q3423060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436980$54D0C01E-4017-425B-928B-8041BEBA665D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bf5ae4c4f38a4e50ac194230d4567cace8e4006","datavalue":{"value":{"time":"+2008-01-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":"Q5436980$D2A23AD7-D756-4FCE-8B81-54CB4C2218DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436980$6ED1A4B2-C3FA-4A8F-AED5-4F90519193EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0efdfc9e0308725989c959144531e4c8868eec6e","datavalue":{"value":"5227972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436980$17A3FBBE-1203-4CF3-9308-4BDD065CFFFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e9c7ec1162b58a2970ad522205e87d26415418","datavalue":{"value":"online","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436980$D2E63DAF-283E-4164-89E6-5FEF5FD0BBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436980$034C5FF5-743F-4629-A395-E87FCBAE6E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436980$17629FC5-B067-40BA-B1A5-612FAD694BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312a2965a28d2bc44fe4d2ad10b81aa5bdd5a8c1","datavalue":{"value":"Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436980$9741A6EB-2F86-41B6-8DE7-065D4FEDC11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436980$6D4B46A8-7C9F-42BA-902A-8C686CF009A4","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":"Q5436980$82EAC730-1807-448A-BE4B-CB691E57E002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9bcdb47816a2fc502080a78da957333aaa4fa94","datavalue":{"value":"https://doi.org/10.1002/rsa.20200","type":"string"},"datatype":"url"},"type":"statement","id":"Q5436980$AFA55EAB-55CB-49EC-87FE-3958C4F26985","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"377ec3099f1321df3b30df99dad13c7477c46141","datavalue":{"value":"W4243220646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436980$B70F5169-EF01-451D-A3A0-064F4A979B3A","rank":"normal"}],"P223":[{"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":"Q5436980$4E8F86B6-FFD7-4479-86D3-6BB52699CEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d22b61f5e2c4e490ba5056dc02c5b777faa0df","datavalue":{"value":{"entity-type":"item","numeric-id":5901627,"id":"Q5901627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436980$1FFA8C5D-835E-45BF-9AB7-0958CA8A8BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b5b68e795fecee578ee6f531023fb47d4d0bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4226453,"id":"Q4226453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436980$52292906-734B-4E9B-910B-32AB5F9DD13B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5969d476c7f00354d2a24d6f37c78514243a323","datavalue":{"value":"10.1002/RSA.20200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436980$02A779CE-8017-4E35-9792-1C3763AEB6CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436980$8C48AE03-72DF-442A-9645-B2670110F4BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e1958d8c60facceafeb5f2c9fc497113269924","datavalue":{"value":{"entity-type":"item","numeric-id":2852549,"id":"Q2852549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5463f70fddeded9c480f12f24d102a73281fa9db","datavalue":{"value":{"amount":"+0.8161529302597046","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":"Q5436980$A9875431-531A-4E27-9958-80B15871E25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee321d2f2075b1b7acdac8c66c978fb9f26585f","datavalue":{"value":{"entity-type":"item","numeric-id":3588446,"id":"Q3588446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e4ce30ae853989db3b07a4819978a4ac534ed6","datavalue":{"value":{"amount":"+0.8125585913658142","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":"Q5436980$FB8869DC-B1F4-4167-A666-4767E937921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4eb76d5b03d12488dfdf5d5776e66885bef974b","datavalue":{"value":{"amount":"+0.8048132061958313","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":"Q5436980$0093503C-A199-425C-A6AF-B3BDA9E06922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db5d8162ccb63cc92a0fbba48571cbc7358af9f","datavalue":{"value":{"amount":"+0.8008111715316772","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":"Q5436980$664C90B2-81C5-42E5-BD42-538992C97911","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":"8bf0b404914c98fabc6e41c036b3d0b8f17d89b0","datavalue":{"value":{"amount":"+0.7998732924461365","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":"Q5436980$6CD5500C-0F71-400A-9977-8A6E800CB43F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5436980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5436980"}}}}}