{"entities":{"Q287334":{"pageid":289101,"ns":120,"title":"Item:Q287334","lastrevid":60718809,"modified":"2026-04-10T18:42:55Z","type":"item","id":"Q287334","labels":{"en":{"language":"en","value":"An experiment with satisfiability modulo SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585623"}},"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":"Q287334$65AA48C2-FA42-4733-9EE8-E0479B552E54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04f94baec28361682c926801dda8831d169a2fbc","datavalue":{"value":{"text":"An experiment with satisfiability modulo SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287334$4F61CA27-6F87-4455-8A51-9375F25F6A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60b0bd77d89e1f029c7944df42dbf38555b41140","datavalue":{"value":"1356.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287334$B3052149-FF41-4425-B26C-77DC8D4450EE","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":"Q287334$59B32968-ED54-4FF4-8EB8-FBE639509DFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287334$3C185E0A-991A-42EF-B378-2C988CD907CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287334$931C7A1E-795E-4340-B184-9F46347EA2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287334$3E0EE5CE-8C99-4C81-8D96-780589F60250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99ad500811d2a4f9dc120f492e962f79e64b4a2b","datavalue":{"value":"6585623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287334$BF2AD000-816C-4077-89AE-6E1B24876505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q287334$13D86C73-0298-4197-9693-092F400F15C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q287334$389C78E0-0147-483B-882F-773099947269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee58896cbcd0c3b2610daf5dfe86f8cc0503014","datavalue":{"value":"magic squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q287334$34A35C7E-1D96-43D3-968E-550C3174F00D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$28115F50-804F-4A1D-9B0C-9B89F2F518EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$9813B998-7D6A-4A87-8F70-303D584E8024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$AE202E99-4679-4A83-BBFB-93DEC01B7E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$C191F0A8-78C5-4FB3-A72E-EC3A8A70EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$13D3A4D8-465C-4F5D-9B44-4022D824F455","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":"Q287334$05955200-1321-4970-A658-CC4D4EF234FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"809f7a78d7aed7bbf8e535bdd3cbde409f7f6668","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9354-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q287334$26022FAA-CBBF-425E-81CE-57486336124E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a302f2c301a5ca9fac087daaf42b385324f8704e","datavalue":{"value":"W2262466478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287334$CD5AD411-9D6E-4DE2-A01D-E87769824668","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c05b09c34b58df818e02c71c537afad11a52b78","datavalue":{"value":{"entity-type":"item","numeric-id":1322209,"id":"Q1322209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$39C3496E-A7E8-43BC-9067-20482680C047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2167c65cce7cae937a43193ffcc320dfd4570b57","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$E97A3DB3-5AF3-4B7E-A6F0-7B0A7A4027B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$A34D1DFC-D270-4F51-9515-CBBC994072CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$80F78A17-FE0C-4C1E-BFFF-1C910FFE101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601e8f42f53703da76a364c7c403bb369bdf2f7d","datavalue":{"value":{"entity-type":"item","numeric-id":5900299,"id":"Q5900299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$CC94F1F5-BEEC-4135-BA91-C89F2AAE2478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a5433d174282ffb20534b8cbcc4b3f13d0a9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2896011,"id":"Q2896011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$22103FC5-FEA6-4D7B-ACB3-AF6E616DE582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$3BB1B30D-6D21-4BF7-B29C-8FEFA92D1EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$305AEAC7-6688-4770-A38A-4E99527AC1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acee90e2a65ace2f625951dd37c79555edc8b788","datavalue":{"value":{"entity-type":"item","numeric-id":1617009,"id":"Q1617009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$15A74A44-3714-46E3-97BB-DC7127289783","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"755a5f52006206e5081cd95ca972b0da5ff52e3c","datavalue":{"value":"10.1007/S10817-015-9354-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287334$D579954A-10FD-4F4C-A496-11E9E6D20277","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a433c2a2a3fa7f0a5df2450fb7a18832c4e80e","datavalue":{"value":{"entity-type":"item","numeric-id":3460091,"id":"Q3460091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ead86c8d354deb928759b93748b1e9adfb8cff","datavalue":{"value":{"amount":"+0.88987684","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":"Q287334$0651E312-A408-472E-9606-1A2713D84D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb7c1dbf8744178a2c6739979c6b95c0df5d6b5","datavalue":{"value":{"amount":"+0.88651055","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":"Q287334$99CC8B6A-A2F8-4C61-9709-DDA7F4717B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773a16eb821af62aeef0f8b676ac1158efeefebc","datavalue":{"value":{"entity-type":"item","numeric-id":3651277,"id":"Q3651277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e058a57ae1141ad6eda677a7e3ccefc153606b3a","datavalue":{"value":{"amount":"+0.8835931","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":"Q287334$BEEA516F-0B61-4983-8C34-13D8CD6C6A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb29bdfd2432d520a44e436c9a9d449e487108e7","datavalue":{"value":{"entity-type":"item","numeric-id":2405239,"id":"Q2405239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9be54ac8cd7c23f35f4e239218af02abbc0852f","datavalue":{"value":{"amount":"+0.88326186","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":"Q287334$D332DA2D-8038-4C89-8157-B2FDF2A207ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc722fe8344d52749d485eba64f9f29682ce10b3","datavalue":{"value":{"amount":"+0.8815896","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":"Q287334$D5CAF4F1-CDDF-4F2C-87A4-9A2EAE0B6618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46ec990cd9a3ce6cac4ee58ba574342be6bfc13","datavalue":{"value":{"entity-type":"item","numeric-id":651313,"id":"Q651313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a66f0024b1153bbafd6102eccacbd965463074","datavalue":{"value":{"amount":"+0.87627006","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":"Q287334$74932267-352A-43C5-BA3B-772649D03131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7f46bce67bfa15c600247c8b576bccde5f8bf6","datavalue":{"value":{"amount":"+0.8711092","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":"Q287334$3AFA929C-E2CA-4F75-AAEB-50CEFAB4C440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353b46cb2a124cc2200384a940b087517c5b273c","datavalue":{"value":{"entity-type":"item","numeric-id":1037239,"id":"Q1037239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e64555a3a6bbe15d1c54bfc9984223621d36edd","datavalue":{"value":{"amount":"+0.8702641","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":"Q287334$995ADA8B-2C58-4609-9A50-6B34F8C57960","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d61bff0569c627118d0a2bec0f13ecb365be712","datavalue":{"value":{"entity-type":"item","numeric-id":6156057,"id":"Q6156057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287334$88649547-424B-45EA-AE96-5B3F669E3A27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An experiment with satisfiability modulo SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_experiment_with_satisfiability_modulo_SAT"}}}}}