{"entities":{"Q5325849":{"pageid":7355423,"ns":120,"title":"Item:Q5325849","lastrevid":41879471,"modified":"2025-05-09T08:48:07Z","type":"item","id":"Q5325849","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586616"}},"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":"Q5325849$7C757FB0-3620-4F1B-AEFA-44156526A8F5","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":"Q5325849$ACAACEA9-9AC9-452D-84BE-0100279D83CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8637b8865f562b36b30b600b4fce7e3414c34599","datavalue":{"value":"1204.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$63E22C9D-CBB4-4FF7-A1EB-457EBF3539A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325849$4DD73925-6D7E-44BA-B29A-C592E792DD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e1b5f2fe0d2446515dac4de7b129b1d01e3c079","datavalue":{"value":{"entity-type":"item","numeric-id":2643300,"id":"Q2643300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325849$91B83947-1E67-48F4-8895-78E4F61096B7","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":"Q5325849$FC875736-9758-4484-A09E-0AF7A1525D21","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":"Q5325849$6F3D2529-8020-4D02-AA9F-975FB62D0956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$31CE44BB-A10B-4098-B649-6FF4286C65A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$A519C5A9-38AD-486D-93E7-DE73AAC2DB66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca655c7a701de4f86130f6d4b2b8980430363c76","datavalue":{"value":"5586616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$C6501F6C-A2F7-47D9-9532-81DB635DA936","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325849$1F1F9839-88E9-4F48-B4AA-2AD1B1D9A9AA","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":"Q5325849$55B38A8B-3B7D-40EF-8450-11A11ED06316","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":"Q5325849$62B6C030-99C8-497B-B613-7521C46B2F23","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":"Q5325849$0CED03BC-0FB0-48FA-9F50-EDD0DB13F769","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$156C3865-8B02-4EF1-8554-0DC304DC9AC1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$6FD99FB5-290F-4C80-87C0-88C543F30B97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325849$CEB34FDA-46AD-434A-9912-7CB2E6BB646F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04198316b86dbd67e3757d3e364fa2597cd606c0","datavalue":{"value":{"entity-type":"item","numeric-id":1680253,"id":"Q1680253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc390cd0495a409399624466c382a64e6d6f9efd","datavalue":{"value":{"amount":"+0.85264564","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":"Q5325849$4C7A08BF-73BE-4D01-9757-194A97D92394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3913820f0f7f91e823d617ba44a2cd3c836457fb","datavalue":{"value":{"entity-type":"item","numeric-id":3620438,"id":"Q3620438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefb747b56b73378346ab95a64fff08525fc7554","datavalue":{"value":{"amount":"+0.8406373","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":"Q5325849$414191A3-17B1-474F-BA35-C79AFB2E6B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df07242b0caace58208b32a9a26351298b9d6624","datavalue":{"value":{"entity-type":"item","numeric-id":3502699,"id":"Q3502699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59619028560036e87ed5a897bbc209f6b00af660","datavalue":{"value":{"amount":"+0.8216451","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":"Q5325849$E3FE84B5-3971-4EDD-B707-DB47DDB21A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9a63fb66cbc5d876d45a265c2b55d1a852d3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5713706,"id":"Q5713706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bd1f30a183e0b73e263fe2d72904f51d7faff9","datavalue":{"value":{"amount":"+0.8154784","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":"Q5325849$5A3CD9B2-3243-4484-B4A5-E48715C96C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f61cb3cf8931f66f627088ef5a9d011e6b25b27","datavalue":{"value":{"entity-type":"item","numeric-id":2980924,"id":"Q2980924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a9029c5e062ec6c5f5f5a7720a6a50bd3f2ad3","datavalue":{"value":{"amount":"+0.80786806","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":"Q5325849$FBADC384-DA4D-4BFD-BA90-F6F78BC3720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4568fa3a8ad7bdecc5370f0bf7818ab40764e9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4014810,"id":"Q4014810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0700a45b7f11ba3fdab31c48a7a2535789691c87","datavalue":{"value":{"amount":"+0.8073992","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":"Q5325849$1C101936-34DE-42E2-AC7C-EF8D72E9344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bd5fb86ba9c43792d13849d62e1dd2d2a7c441","datavalue":{"value":{"amount":"+0.806769","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":"Q5325849$4A0206FF-D6D4-4DF8-9383-FBE2419D29CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8309502e54e970688f066cc50c761a383407f8","datavalue":{"value":{"entity-type":"item","numeric-id":606913,"id":"Q606913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7190bb830ee5be276679e1051e03e78c3ba9fd","datavalue":{"value":{"amount":"+0.7907649","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":"Q5325849$1061074B-E399-483A-BCC8-7B917313CD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fab5ee2f1056f67c7cca1c78cd3b32f4dddc39","datavalue":{"value":{"entity-type":"item","numeric-id":3453232,"id":"Q3453232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2361fbb7427d60b303808b59cddbd3c072f1e65c","datavalue":{"value":{"amount":"+0.7894187","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":"Q5325849$2595E2A7-3DB7-48DB-A613-2B7AF8273F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c22f04c9a620fa526d1b2dfbb22d6d05c12625","datavalue":{"value":{"entity-type":"item","numeric-id":1352293,"id":"Q1352293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efe968c98ebb61031f994543955ce810713d2fc","datavalue":{"value":{"amount":"+0.78894925","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":"Q5325849$44867A03-7CAF-41DA-9990-AD5A12831A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325849"}}}}}