{"entities":{"Q5325869":{"pageid":7355443,"ns":120,"title":"Item:Q5325869","lastrevid":50726141,"modified":"2026-01-14T23:02:57Z","type":"item","id":"Q5325869","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586635"}},"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":"Q5325869$FCAF85FB-ECF8-44D9-B855-AFF2A2308EC5","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":"Q5325869$6A6F05D9-0D1F-42EF-B33F-77981D5F20D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df9786630f892a873eb41b3958997bbc4294ad1","datavalue":{"value":"1204.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325869$911F0DED-9812-4CAD-BC00-BAEA6F90B01E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a87f2196dd9f8c3ab22fcbd16d29eadc35ee82","datavalue":{"value":{"entity-type":"item","numeric-id":309926,"id":"Q309926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325869$E8C13AD1-F6DE-46D6-BDE3-85CA946AA826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f21c49451e0155cd2d6c84660e980278f8965a7","datavalue":{"value":{"entity-type":"item","numeric-id":323050,"id":"Q323050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325869$13080C4C-D6EC-4FC6-89A0-908A066FB0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a5cb47bfb987a892c1ea29852a7967462f77d1","datavalue":{"value":{"entity-type":"item","numeric-id":215106,"id":"Q215106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325869$B6235F74-5B6A-47AB-9000-0C42A5F5CA34","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":"Q5325869$961841D8-AD00-4819-9697-580DB97F21C0","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":"Q5325869$964FBEE6-8911-4843-AA4F-25EEDD299218","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325869$1DA0461A-9573-4BC3-8CBE-BDB2DE66E900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325869$EEAA86CB-D80A-45D2-AC4A-7CE33D3D036D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e283e5afafc34b874b9eeb32274ad8b35839a4c3","datavalue":{"value":"5586635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325869$F260240B-7621-42EE-B6CA-D89576482EE2","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":"Q5325869$1134B5DE-EB37-4163-AFC1-C532CBB0944E","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":"Q5325869$8C46B486-4CF9-458E-823F-421360F0E075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325869$BC01A4C6-CC1C-445E-8ED7-A79088CF8497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325869$1EAF4283-DE25-4F95-B535-EC5CB26F22B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad2853014a8aea3e780603611559fb731ae7398","datavalue":{"value":{"entity-type":"item","numeric-id":2887073,"id":"Q2887073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9195d23983e8ebbbc33fc5ec61b4445b38fe15f8","datavalue":{"value":{"amount":"+0.8410599827766418","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":"Q5325869$64E4195E-D3A9-47C7-AE5A-B9F371CA0843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cece314386152413c8b8269c77d71e6038316be","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1065d9fb52f9ef412ab636aac652ed4ecae0ca9b","datavalue":{"value":{"amount":"+0.8309464454650879","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":"Q5325869$F3FCD2DF-0C43-456A-9194-B4B5BED279A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d340cf1ccc43625772b4b084b2173d89caa81be","datavalue":{"value":{"amount":"+0.7839842438697815","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":"Q5325869$3ED3C499-8D63-4BBA-9D30-C050774B77B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a604f0275d9723a1aa6552d4af54dd5bdadb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5325854,"id":"Q5325854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39496108117124971fb41d76a44efde9c627ec5e","datavalue":{"value":{"amount":"+0.7824578881263733","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":"Q5325869$6DE09638-54F1-4ABE-8314-63EB2FB12924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f56d079705479d9ba616fc54f07bfe99a6cc33","datavalue":{"value":{"entity-type":"item","numeric-id":4583677,"id":"Q4583677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6815acb616e84bd6b97eaa6970ba4376ea9f257","datavalue":{"value":{"amount":"+0.7785008549690247","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":"Q5325869$2699312E-F7F7-41D2-AC30-811F924A1723","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325869"}}}}}