{"entities":{"Q5325860":{"pageid":7355434,"ns":120,"title":"Item:Q5325860","lastrevid":95983478,"modified":"2026-06-05T10:09:36Z","type":"item","id":"Q5325860","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586626"}},"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":"Q5325860$05D57B8A-FF11-4AE8-9C52-8B08AF66DD65","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":"Q5325860$F5F9140C-948F-4261-8169-0DF448FD91DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd364ab9613521d40ca943c01a6f896a13eb15cf","datavalue":{"value":"1204.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$C8C08C2D-B2C6-4E27-83C2-BF9611FB07EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb0466461e16e203e1eebcf15c374dbae0d4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":714019,"id":"Q714019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325860$95399416-20A9-4B6A-AE2B-C57F553C7F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325860$5EDA97C9-2820-4A49-9785-4DE82F791718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6879434540b31e0f3562b59343a4081818cc9a","datavalue":{"value":{"entity-type":"item","numeric-id":708333,"id":"Q708333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325860$EA61FD2E-D6C8-48D8-A16D-64E8A9FB0E9D","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":"Q5325860$90D89FF2-3FEE-4C0C-9CE6-324E88E8712B","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":"Q5325860$BD55647B-F062-4A6B-ABF0-5056DCFD020F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$6C61AB15-2D29-4A5B-A9C0-203E82FE0B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$A007582F-C46C-44D0-9B7A-B8875FEE0B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$0B49CEBB-6AE4-49E1-B6E7-265D470B549E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$6BE56181-5BB4-402E-BE8A-969DD4208863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"280e77bd5e3763a50dcf4c0e6a5ed59aebd0b3b6","datavalue":{"value":"5586626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$79CD3DC6-41E9-4143-8CF9-7F9165FEDF9F","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":"Q5325860$8DFF1BD9-D6E7-466F-8561-DC5867D5B1C1","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":"Q5325860$FFC8C16D-EF74-4343-B302-866ABE6952C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$871FB794-126A-476A-ACE2-27ADB942D41A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$C89F5215-7C3C-4BEE-A29A-C001B0C6A592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325860$D12CB724-3287-4162-B71F-426F3C4DC7DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef019ff45542b2e9fb9aab563a2f0f87e7c660","datavalue":{"value":{"entity-type":"item","numeric-id":3599093,"id":"Q3599093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3128695d4f57a5103f9aaf3f141a201d4b88da4","datavalue":{"value":{"amount":"+0.8621708154678345","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":"Q5325860$66F8EA3E-669D-44FE-9E4F-72EC471E954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41ab37df3ce98679c6ef9a156ba85d80e3c9302","datavalue":{"value":{"entity-type":"item","numeric-id":2440094,"id":"Q2440094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2ffecaa262b36723db0bd920493cb069b5c6c1","datavalue":{"value":{"amount":"+0.8253477811813354","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":"Q5325860$F7828F4F-B309-4D57-B85B-DC93704D4D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1802191fa23212aae6e025f604a4353265a1266","datavalue":{"value":{"entity-type":"item","numeric-id":2310754,"id":"Q2310754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5245728dde6fb9fe22298adadcd1bb24edb8544","datavalue":{"value":{"amount":"+0.799302875995636","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":"Q5325860$82847C18-A803-4FFA-81E3-190A5C0643F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ea7173fc2509c64027945790286914d262661","datavalue":{"value":{"entity-type":"item","numeric-id":3386749,"id":"Q3386749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a58b966c43ac23832c0a05802dbcfdc7486d1f","datavalue":{"value":{"amount":"+0.7898814082145691","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":"Q5325860$D715227F-5FA8-4F9B-A13A-58859B049202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb73ef257b7213d8ec0a025880d8d1e60cd7b531","datavalue":{"value":{"entity-type":"item","numeric-id":326466,"id":"Q326466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9890e2ed7dd40d39e918cdbfb2ad977e3d1421a1","datavalue":{"value":{"amount":"+0.7891467809677124","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":"Q5325860$AD0A8213-6912-43C1-B7A8-91BDB699E7EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 5586626)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_and_Applications_of_Satisfiability_Testing_(scientific_article;_zbMATH_DE_number_5586626)"}}}}}