{"entities":{"Q5325863":{"pageid":7355437,"ns":120,"title":"Item:Q5325863","lastrevid":95983505,"modified":"2026-06-05T10:09:37Z","type":"item","id":"Q5325863","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586629"}},"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":"Q5325863$171F9CD7-07FD-491A-8E24-018D130A49C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af242482719519b4548624feb679f823aedd048a","datavalue":{"value":{"text":"Theory and Applications of Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325863$4990CFF2-195C-41BB-9A9E-1F8593D33EF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0560bc23dde621b5ecef2e816dffe8c2c8a5274","datavalue":{"value":"1204.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$F68E0F82-CD9F-48C6-90A5-80DFD7A2C606","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$64B855D9-C4C9-46E6-9C11-8BC0E66C4628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$C875E983-BDCC-4724-8997-A9B6F20CCC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$A66305FD-6A91-40B2-88E4-F71EF89B6B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$8C8AE1B7-BE5E-4A14-A2FF-1A663315AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68598291a844c420b8a00e1214c59dd72e68dea1","datavalue":{"value":{"entity-type":"item","numeric-id":255290,"id":"Q255290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$E0096F6D-F068-45AB-809F-38ABB0AA4541","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$CAC235EE-16DE-41B0-9A6C-9336202A8666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325863$E07E41E4-5315-4765-8CA9-FC63523716E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$9ADBE906-CD81-4776-B779-D731B362024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$5E12A972-C6B4-46D0-9A12-2BAD852CC2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$3BAC7F89-AE00-450F-BE14-0251F914BCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$44ABC21C-2B7A-4EF7-907D-819E41023B63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"261a0d80b87d26168cd2675e1a3d576091b78402","datavalue":{"value":"5586629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$A367AAFF-5D08-4C29-B55E-845F99C9351B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$FA858FBC-B033-4F19-95C2-1BE422A63652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$843A58BD-C20F-4C3B-8A47-61DAA8E3C3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325863$2B2D493E-3869-4855-BF60-4EB2332B0518","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":"Q5325863$0998E045-E393-4321-BB70-16DA29B0DF54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"973c1d11b12a0839879d25acdd61541706e13a7c","datavalue":{"value":"https://doi.org/10.1007/b95238","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325863$471B3C4C-F89E-4ED2-B51C-3A4EBCA66AC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$F942F926-058A-4EEB-945B-98B5E4FD1A8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325863$4021809D-9026-4E50-917F-4906853689E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1f6a4f9cab743941c379bac3f4ba4f59cba99","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27cc24feb64c64602c05d3d2548964d9da9a2d4","datavalue":{"value":{"amount":"+0.8652065","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":"Q5325863$81409946-34F1-495E-91B5-0E613CAFF2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110ba9c429617ca4e23f2513182619482ae4e3b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f583cf9247edb6435f53502448b81b0515bbb880","datavalue":{"value":{"amount":"+0.8652064","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":"Q5325863$96344BBD-F2FD-46E2-B151-60750A9570EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f92a482afcc0001ff1fabc620920c37e53568fd","datavalue":{"value":{"amount":"+0.8596251","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":"Q5325863$26BF7B11-7281-4DF3-AAA5-BDB82522076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0db0006f6b601a4d415d7b7169c2b11c227d1","datavalue":{"value":{"entity-type":"item","numeric-id":5713717,"id":"Q5713717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525d082bc14cce30d3f58430db12535997cd0d35","datavalue":{"value":{"amount":"+0.85181","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":"Q5325863$993AA0B6-7585-45AC-AE83-88D92B6118B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55e3f9b480ebe14a196a3fbd236aa033b03306f","datavalue":{"value":{"amount":"+0.85158193","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":"Q5325863$846831CB-4C7B-43FC-B281-D381367D2FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b48ed177789756d6086d8bec72fa577b58d46b","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3b5ebf2109c9f54daec054f39938819d738f63","datavalue":{"value":{"amount":"+0.84612185","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":"Q5325863$A1F050E8-9A94-4891-88DB-E3C31D529567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec699bed4226f46e07909515bc6b3ad29298c556","datavalue":{"value":{"entity-type":"item","numeric-id":2843325,"id":"Q2843325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870cd1ad167c52d252a5d20fd4e6fe7d324e2bf2","datavalue":{"value":{"amount":"+0.84068096","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":"Q5325863$BAE8B274-27A0-4E49-8FEB-6DEB80CB05C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcdf6c64a75f52c3346e883ec6bc39c4fbcbce","datavalue":{"value":{"entity-type":"item","numeric-id":5175308,"id":"Q5175308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afee8ca52b3be0993c59e198c98487f9ae1addd","datavalue":{"value":{"amount":"+0.8362995","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":"Q5325863$67F97F92-C78C-4868-ADDC-BF9794BC8447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e753fea26aa841f281bbc7819621ad650ebdd0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4930770,"id":"Q4930770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbdd7ac235069494957577fdfb32059398ac770","datavalue":{"value":{"amount":"+0.8360796","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":"Q5325863$33436BEB-C5C1-458C-B376-C09229C0892F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 5586629)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_and_Applications_of_Satisfiability_Testing_(scientific_article;_zbMATH_DE_number_5586629)"}}}}}