{"entities":{"Q3452579":{"pageid":5231676,"ns":120,"title":"Item:Q3452579","lastrevid":52393010,"modified":"2026-01-22T13:20:37Z","type":"item","id":"Q3452579","labels":{"en":{"language":"en","value":"Super solutions of random instances of satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6508072"}},"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":"Q3452579$071BB601-50B6-45ED-9BA4-B098937DF375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09fffd9779272555c502192d62cb02739013c8a7","datavalue":{"value":{"text":"Super Solutions of Random Instances of Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452579$EA1F8E3B-5F2B-40F0-B0C8-874225F619FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1bcb56b5355e4d51ed3d1939f71a4525b099050","datavalue":{"value":"1356.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$A2D8564B-05C8-40E3-B627-69A12D89BE2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3db0a1985e2740fc7b1040d048724e1edfc801e","datavalue":{"value":"10.1007/978-3-319-19647-3_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$F8386C92-AA8A-4A65-A13F-CDDE01E5588C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1802428e45a02e9e09929c3dabebd25b608449","datavalue":{"value":{"entity-type":"item","numeric-id":277199,"id":"Q277199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$ABEE2E42-A0B7-4C68-A540-9ADD3B16BA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7cea9f5b568e0cf6f4beddb231193a99016bcb6","datavalue":{"value":{"entity-type":"item","numeric-id":394216,"id":"Q394216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$57890A35-5796-4FDB-80F5-8364082B0552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"039449918372fd36372960c159b1f017e2991028","datavalue":{"value":{"entity-type":"item","numeric-id":3188827,"id":"Q3188827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$2A3CFD76-B5A4-4FB6-8CC2-5100119C79C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71643381478db16842aca8a65809169d222f8d61","datavalue":{"value":{"time":"+2015-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":"Q3452579$ADB60DBC-8E34-4EAD-873F-0CFF49C53825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$176B8DD0-35CD-44CD-9026-40B09ADFD932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$B8F682B4-6C09-4B06-A36E-2490636EF0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$48A9657D-2E97-4F43-9DC9-5DCDAE1E9A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0681c414d8f07b0305b289776fc09c5db5cf3929","datavalue":{"value":"6508072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$9D3EC271-18A6-4D80-B021-4F68C3A18C76","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":"Q3452579$B1C7C849-DD53-4918-ACA9-81A2D976C181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac7045d31e703c4333a238efe2ad856ecd6490a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19647-3_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452579$A334C59B-2305-447C-8378-30FF043CEA0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fe9ec11c587a007735ee96cdc6088e4fad55b73","datavalue":{"value":"W2407566837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452579$1AF5A567-D26C-49F0-8C0F-AC9D66B752CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e73a0fc41d93e5bbcb4575e5eb876f58659d87","datavalue":{"value":{"entity-type":"item","numeric-id":3581271,"id":"Q3581271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$41E45979-B77C-4D67-96C0-163229AF054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2758f48b1a93e71d851a0e4b14bce521c35fc05","datavalue":{"value":{"entity-type":"item","numeric-id":3503433,"id":"Q3503433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$FBA2BBE9-0BDF-4F88-B43A-BDE4B86D40AA","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":"Q3452579$DBC33E96-B004-4969-B836-E1C404CDCAC1","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":"Q3452579$358DD3A6-5223-4F48-A580-E7C07A8D18E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69684a1a242f54dae546d013f614667556966","datavalue":{"value":{"entity-type":"item","numeric-id":5958809,"id":"Q5958809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$1E215AC5-9DFE-49D9-8148-C4A38B0BEA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4327601bd6dd35bb7d6569d5132ef2e1272d6bc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624064,"id":"Q3624064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$6E133E8D-EA04-49E9-A829-94817EFC61A6","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":"Q3452579$B4ACD6F3-6FDB-4F75-BA15-62BF8362E2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f15d123876a2e8938f5e3dd7e09d1436bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$0CEDB516-420C-47EA-8ED9-34621F8240A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$09881F81-7BE8-4359-8910-8052275DD095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6fd1b7d8b3626d73270eac8a248c4a288fa63f","datavalue":{"value":{"entity-type":"item","numeric-id":2368999,"id":"Q2368999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452579$BBF4841D-55C2-45EC-9A87-3327D4A8E42A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbfab48214af0701f95ed137dd9b77a832071d2","datavalue":{"value":{"entity-type":"item","numeric-id":507445,"id":"Q507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f594bb468327c09e7e140109f116bb5da62e793","datavalue":{"value":{"amount":"+0.9333645701408386","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":"Q3452579$692A4FD4-21F2-4405-A918-E184CF777F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e66fc353f36c2d9671f2b05705e1dff971652f","datavalue":{"value":{"entity-type":"item","numeric-id":2326395,"id":"Q2326395"},"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":"Q3452579$96EEE9F3-CC0E-4CC5-9BD7-298B41F9985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d037fc602d76fccd150d7255ffc6fae1eddd4960","datavalue":{"value":{"entity-type":"item","numeric-id":5384461,"id":"Q5384461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9f3463e256ce8d5bbc87be9e1e23ba24df5758","datavalue":{"value":{"amount":"+0.8656967878341675","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":"Q3452579$2BBE768C-53D3-4035-9F3A-DD1F33E01FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2062d10d923b36edf49a05cad71c4dd6097c7655","datavalue":{"value":{"entity-type":"item","numeric-id":1877674,"id":"Q1877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcea9b4aac14bf9fa9559d8c7e11d2ff1973da1","datavalue":{"value":{"amount":"+0.818371057510376","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":"Q3452579$20C0FC56-F0F1-4105-8396-49062D9FC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d50a4c926fba5823993474f6f90660234ae0ffc","datavalue":{"value":{"entity-type":"item","numeric-id":3446816,"id":"Q3446816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4957f66ea6612cf5a4ff8b1ed377b3e751a2aae","datavalue":{"value":{"amount":"+0.8181015849113464","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":"Q3452579$63A8FD5E-F227-445A-A5C3-7258BF79569C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452579"}}}}}