{"entities":{"Q5325851":{"pageid":7355425,"ns":120,"title":"Item:Q5325851","lastrevid":50726036,"modified":"2026-01-14T23:02:53Z","type":"item","id":"Q5325851","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586618"}},"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":"Q5325851$E3AA0367-C604-4AB4-B116-3378FA798D3E","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":"Q5325851$BE6A2412-BB20-411C-9B15-F965CBC8838F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b20c82e5ed8341f2734cfd8f73eddfbc370fd072","datavalue":{"value":"1204.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$1B851F29-A381-49A1-9A4A-0434E816EB9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf5182a19b212ffda00714b5b3df6500eff6760","datavalue":{"value":{"entity-type":"item","numeric-id":860384,"id":"Q860384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325851$67C6B5F9-9391-43BC-BD6D-F87FA7E5381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"135e405fd840330edbc68cbaadd3047c39ff81ac","datavalue":{"value":{"entity-type":"item","numeric-id":744057,"id":"Q744057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325851$7355E491-FB11-4FEC-8A76-4970B6539E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a21800a31795763583b54b40324d17bf6c6658","datavalue":{"value":{"entity-type":"item","numeric-id":261377,"id":"Q261377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325851$158B3485-1375-484E-8AA9-D087A295FE38","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":"Q5325851$B62D59E2-092F-45BE-9143-A2ACA27C2799","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":"Q5325851$769FDE51-C3BD-44DD-ADEE-C6414CBF1ADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$650E9631-6880-41BE-BBD5-945530DACD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$3E27D37C-2052-43F3-9896-8AA01AD5CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$2FC75462-BC41-4C63-B1E5-F3D4FF97F34C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c21a16b9b0a0f05000eaa9048c615ebd14c35a94","datavalue":{"value":"5586618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$4B6D9345-6885-4674-AFA1-C1485D2F0FA3","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":"Q5325851$E04B4868-601B-4BBF-904E-A901FEC80F17","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":"Q5325851$964B591B-1BB5-4773-ACB2-65CF4752E60D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$3E179D1D-B73F-42BE-8097-071049703EB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325851$E502859E-6887-44EE-B717-65512A7B96F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a010bc4b39da6a3c74171cf7393f3bb97be4be5d","datavalue":{"value":{"entity-type":"item","numeric-id":860385,"id":"Q860385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28cf649de23aefc7e477ec9b522265da40cef6b","datavalue":{"value":{"amount":"+0.9972407221794128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325851$2E3585C5-F05A-4FA8-9E11-B84F29DE3CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733d6a0f3ce9bdebf7f80ed945f8d96f7adc1710","datavalue":{"value":{"entity-type":"item","numeric-id":827897,"id":"Q827897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9ca5598df9cf4dd1dd47dea714810ab5bf82b9","datavalue":{"value":{"amount":"+0.7714118957519531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325851$EA841B39-0098-42BC-A1B9-507760109F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2479c6c8e84b6160d4b613c1b10578187b49658","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a215b48b2e677388bc96830d6295f05bcf1a38","datavalue":{"value":{"amount":"+0.7641053199768066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325851$A818747D-BF9F-42B3-ACCD-6F85290E2393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0060081064b85359c2f6e96c2fc463c8b90011","datavalue":{"value":{"amount":"+0.7615108489990234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325851$448060BA-8EE3-4B70-8468-F454A7836276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a96fc7a6669b3524f5e66da5f8db9380af047","datavalue":{"value":{"entity-type":"item","numeric-id":5305561,"id":"Q5305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d398436b427e39742b5f1b13894f7d7fc9b7322","datavalue":{"value":{"amount":"+0.761439323425293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5325851$A402F216-9488-42C4-AC82-562B9969CE22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325851"}}}}}