{"entities":{"Q4649533":{"pageid":6679114,"ns":120,"title":"Item:Q4649533","lastrevid":41814753,"modified":"2025-05-08T16:15:14Z","type":"item","id":"Q4649533","labels":{"en":{"language":"en","value":"Satisfiability: where Theory meets Practice (Invited Talk)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109820"}},"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":"Q4649533$415034B0-4D3E-4C54-921F-35794227D80C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e59931046c2758875cf69cd80c7d102494663a","datavalue":{"value":"1252.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649533$3EBDB300-5FE3-49BD-9F84-A38052699652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649533$511C37C3-5BB6-4CFD-A688-60FCC8862089","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-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":"Q4649533$C055D1A6-DF75-4D93-BD45-EE0D6A0AA8B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649533$D0867542-7EBC-4FFA-A40C-5B329927E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649533$268D01EA-F184-4EB7-8C00-78FADCBA68BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9cbc865a2d6fa824a4b506c9dd36e202ef91f82","datavalue":{"value":"6109820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649533$DF04D51D-ED74-4B57-91AA-0C1CAD9FEDF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649533$BDFB2AE6-B0E2-441B-B0CA-F91C7CC847AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649533$E9101290-CC38-46C9-A1E9-F1B9290DA8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82046ecdbc4f9ff2fa0b1a681c1b87efe4513c3","datavalue":{"value":"applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649533$A2619535-4519-474A-ACC4-43F90C7B4D26","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":"Q4649533$1D7F3C4F-F08A-4503-A259-F5879909CE42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c33357c099d4d453cc63f605f1173ad9edec5a30","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3660/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649533$0B1121CF-F36F-44E6-BFDE-7ACAB918F3AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9efe514054f890ed06a4db0cf983cb63fb89474","datavalue":{"value":"W2253476229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649533$42493026-4873-4866-A229-B6FFE81121B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ae2be1bb83090dcf077917b5f1547e4880a7ccb","datavalue":{"value":{"text":"Satisfiability: where Theory meets Practice (Invited Talk).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649533$3D760BF3-265D-42E8-93B2-657C164362A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3bcb47b6a8469784959954ddf6562e4337a4a13","datavalue":{"value":"10.4230/LIPICS.CSL.2012.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649533$FC9828E8-BB9A-4834-913C-66E41113714C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f71d5aa10ae407330fc42ad7ad9002c0358e76","datavalue":{"value":{"entity-type":"item","numeric-id":2954979,"id":"Q2954979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298988f9a4b2265951d52bcf2b5935333ed5a7c2","datavalue":{"value":{"amount":"+0.887571","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":"Q4649533$19B0B10F-D071-45CF-AEF3-4A828DF76689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2615520d2ca55a8ca1d5b05635f4bd0b952983","datavalue":{"value":{"amount":"+0.8838204","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":"Q4649533$808B1073-2385-4D03-B604-9235A7883254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650fb4121216a624ee646be9799d3418d3867838","datavalue":{"value":{"entity-type":"item","numeric-id":4571125,"id":"Q4571125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c754b8b302795ac40ef32b17c5580d42ba1a4aac","datavalue":{"value":{"amount":"+0.8827366","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":"Q4649533$E137C491-7923-4B44-A30F-FB3ED08A6068","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":"c1509ab64a0307b2ba9e6e9e1562a2096fef6687","datavalue":{"value":{"amount":"+0.8815163","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":"Q4649533$EB1CA7B2-2EFB-4127-9CAE-2F06D3E28560","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":"7eef5f68bc46ef5c9d05f7b8ab6d07b2aded1098","datavalue":{"value":{"amount":"+0.8811496","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":"Q4649533$DD16CE9F-0F3D-4A97-87D6-7BA6638505C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1502f60709c57ce7dc8273036b2b8196dc4aaf82","datavalue":{"value":{"entity-type":"item","numeric-id":1601833,"id":"Q1601833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33856d9f111c734d31191c113074b62d277735cc","datavalue":{"value":{"amount":"+0.8800573","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":"Q4649533$B5803E16-E5DC-4EF8-8AA0-00458C89C6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a65100382352596d03b0e27223ea49104cd169","datavalue":{"value":{"entity-type":"item","numeric-id":3564034,"id":"Q3564034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681776098120b0af407eee0b1c54a3d3b3b553d5","datavalue":{"value":{"amount":"+0.87780845","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":"Q4649533$25E4F2FF-E0C7-434B-8F3C-36EADC39BAF6","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":"fab4c004899b671c62a18495a71aecdbc9165cda","datavalue":{"value":{"amount":"+0.87394595","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":"Q4649533$2346AA0A-9123-4572-A327-E7BB17A9C1FD","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":"918d597d3559992c8a2eb70b8cee4d5ec3c4d224","datavalue":{"value":{"amount":"+0.86684","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":"Q4649533$1BC69D6A-C817-4CED-BCAE-0AC311A302B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649533"}}}}}