{"entities":{"Q5318246":{"pageid":7347820,"ns":120,"title":"Item:Q5318246","lastrevid":41795285,"modified":"2025-05-08T10:38:37Z","type":"item","id":"Q5318246","labels":{"en":{"language":"en","value":"Survey propagation: An algorithm for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207061"}},"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":"Q5318246$B0F571CC-41E1-44E0-AF54-666C0B65E98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"679a8d54ba8247b209e26dff44b7e2a06cd3349c","datavalue":{"value":{"text":"Survey propagation: An algorithm for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5318246$990C567D-5EF5-454B-8730-F1E1CDBF2FB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c1f08d93161ef872ccf134499a39a950e1e9297","datavalue":{"value":"1087.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$DF420C5F-5811-472E-AB38-E6D1C101FE35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a2c458cf2431e63d7439c0ab4cc2d22036a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3160045,"id":"Q3160045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5318246$7524B8FA-11D5-4B58-A77C-48F666F2C6DA","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":"Q5318246$BE988E52-F687-4684-9BE6-ECABAC9ED82A","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":"Q5318246$5B7767E4-5762-484B-AFF1-A2D587D7292B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5318246$224D14C6-F817-4EB6-A7D6-8B9A15940D90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$C5F88EFE-AA4D-438B-A937-8E3CA1DAC27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$4ABB97C6-436A-4F21-8715-632ED4C00706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"202c8451406f5d4d2154520951f221aab6839b72","datavalue":{"value":"2207061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$19E83C13-90EF-4949-B713-3D4645350E72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5318246$4EF299E7-9771-4050-B524-1F3273784E3D","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":"Q5318246$8D85F746-417C-4F9E-AE24-EEA29D688A4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53158439997c6d25376a6db8bb256554f146a777","datavalue":{"value":"https://doi.org/10.1002/rsa.20057","type":"string"},"datatype":"url"},"type":"statement","id":"Q5318246$4F5F3029-F1AC-4CCE-86E3-6FF24F05EBA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"182b316da8f987dd8490f01a1583f58985f4c6aa","datavalue":{"value":"W2950654313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$8E08ED35-7F28-4509-9034-DC38B186E379","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b09d0cf4d9775d718f7b2e3268e9412f89742ab","datavalue":{"value":"Q56431749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$62679583-3F31-4178-8F0D-1326E682C07D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5318246$2E590273-4C91-4C6F-8C94-E25EA41EC345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295a971de1672eaa359b82adb4ba3348850ddfdf","datavalue":{"value":{"entity-type":"item","numeric-id":5538637,"id":"Q5538637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5318246$8BAA2E59-1DDA-4E76-8E62-44E41B75B9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef879ea55c07611c6803076f9eb6f58a7e87b63","datavalue":{"value":{"entity-type":"item","numeric-id":1210777,"id":"Q1210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5318246$E88F8A43-DCF9-44E0-9653-0D5996FD25B0","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":"Q5318246$4A571B86-2A38-4BA2-8141-EBB8720F61C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2499f070fd0dfae5aaadf25b62eee8f8ef1d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4237477,"id":"Q4237477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5318246$15E65940-2D0A-44E3-8A31-EDBDDF588D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbe1919bd8d94a09563878bfd13ddf1adb731114","datavalue":{"value":"10.1002/RSA.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5318246$B411F249-394B-4844-8497-BA6D66D869B4","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":"Q5318246$C94673AD-8900-436C-8ED0-CE5B76BB5B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e2d69121d2f15f6ed4ffe1858482cc331a96c0","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f186bb9c2da46604f2610be7be7ec370678183f","datavalue":{"value":{"amount":"+0.9121996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$4B428627-6935-4754-B6C4-77432E6E8326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0240a8b399381336ce3a9919dd06719a8fff6b95","datavalue":{"value":{"entity-type":"item","numeric-id":5325886,"id":"Q5325886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b31c57d5a876147369d16da7f4cf0f3268c30ed","datavalue":{"value":{"amount":"+0.89002806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$64D3C4E0-6D9B-46C4-BBB3-70F544243EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68459638e42055e997e035a6d0a2fc016615eba2","datavalue":{"value":{"entity-type":"item","numeric-id":2917156,"id":"Q2917156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3086b1a9cb03cc84c5b658a101ae42946b6c5824","datavalue":{"value":{"amount":"+0.88716424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$F90EE3BC-E147-4537-B841-B33C0B00B4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fe0bf466a1f49dcb6cafacbd79f65c2cc08622","datavalue":{"value":{"entity-type":"item","numeric-id":1894360,"id":"Q1894360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd35b6a7ca1b4c8bbbaf7293bb33f5dd7b27c39","datavalue":{"value":{"amount":"+0.8842654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$E142CCAE-54AF-480F-8F4A-B544134A5800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ef3664f5e9dd0564bbf93033f62cdd01f8bf4b","datavalue":{"value":{"entity-type":"item","numeric-id":3624676,"id":"Q3624676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1abe3cb659f7225bd9c457ddecbbe46f0ae994b","datavalue":{"value":{"amount":"+0.8824815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$B0179B5C-3E9D-4DF9-B130-D99E0756201F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9927bad97444004be1677e2edaae053a9ea2514","datavalue":{"value":{"entity-type":"item","numeric-id":5756574,"id":"Q5756574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc25eb6f2bbe60558fa3ba069a8359b680bec4a","datavalue":{"value":{"amount":"+0.8813992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$FD6521B0-AFB8-428E-A2AB-E3C48A9CFC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36df5ac9c9e57dfa9b4bb7c7e606bd307f699133","datavalue":{"value":{"entity-type":"item","numeric-id":4209085,"id":"Q4209085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629cea5ec2dbdadc04aeb212bc492f3ae0525206","datavalue":{"value":{"amount":"+0.8789233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$F5A8C239-0501-4B13-AA09-BE34E3E47888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f5c80ecafa270dd3c4049721318834b3aa4c3d","datavalue":{"value":{"amount":"+0.8742067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$57C692FE-55FA-45FD-9E2F-94BFA60EC89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129e5c586d301068f8b9a6011721efeedbd9104c","datavalue":{"value":{"entity-type":"item","numeric-id":3651486,"id":"Q3651486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d391fd31647105796aa0d92b15ddf2571247e0e1","datavalue":{"value":{"amount":"+0.87226194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$7B2F0877-28D7-40CB-AD6E-86AC87BD6507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60d0452cfd88328981a8be23798d76eb88013b4","datavalue":{"value":{"amount":"+0.8699089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5318246$DB04125D-F639-43F6-85A5-F6E8ED73D9FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5318246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5318246"}}}}}