{"entities":{"Q2908473":{"pageid":2919198,"ns":120,"title":"Item:Q2908473","lastrevid":51543668,"modified":"2026-01-18T17:33:03Z","type":"item","id":"Q2908473","labels":{"en":{"language":"en","value":"SAT and SMT are still resolution: questions and challenges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076894"}},"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":"Q2908473$7BA4BA28-B95C-49B1-821E-37800BEBB23F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"019ef4010c853c307298d1e069e5c3c5ab122939","datavalue":{"value":{"text":"SAT and SMT Are Still Resolution: Questions and Challenges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908473$D65F355C-E3A6-4CD1-BF46-2971DAD754F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ec5f9c601d1c9ac0fcd1195ea527f4e08eef98d","datavalue":{"value":"1358.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908473$ECC17252-E59D-4BFB-8AAE-A34A112C7B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b47ac332280a7f1839d1ea566f843a45ecc7fc4a","datavalue":{"value":"10.1007/978-3-642-31365-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908473$F71108CA-AC7C-449D-B4F7-961AD43707E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908473$AEDE1BC7-39FD-43F9-9064-39EAB1C6C92D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908473$C83EFFFF-3726-4C29-A6C8-C8A7DDA4E324","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908473$98022293-E8B6-4C94-827E-C33E3E06C258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908473$2BAFAF41-EDE0-4591-920F-027DA794851F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03fbfb19cf40e7c1b38d76adbbb7660608d7358d","datavalue":{"value":"6076894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908473$5F583B37-C2F7-4F46-955D-C3CA4542E092","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":"Q2908473$220E2BCC-9C24-468A-BB16-5C242F00909F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67a841c2224e243574f9ac1b169132e430b2434d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908473$DF8D8BDD-8C85-4072-A658-A27BCA4C6A81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65cafe52afee9eb41b0b4d93190f952223fcc5c7","datavalue":{"value":"W49465025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908473$CBE7040C-659B-464F-AACA-E50F8E17FA8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77602924e10f541a936ffddafab3e6a200d8ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":5432330,"id":"Q5432330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8e2a7b9598420ddb61fbd4347c93fc57a9a86a","datavalue":{"value":{"amount":"+0.7905312180519104","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":"Q2908473$BE70F1F8-6920-451F-A99D-A5E9488D5E57","rank":"normal"},{"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":"7ffa5368fded20ecd05d825c96454c96d1307c8a","datavalue":{"value":{"amount":"+0.7700961828231812","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":"Q2908473$E543D164-9ADD-4631-88EE-0534E127A29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea49af491734bb1eae9415b843e3fb6e2b96365","datavalue":{"value":{"entity-type":"item","numeric-id":5504707,"id":"Q5504707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803e6457d9099af468f2ef1158d8a5f7f4d2cc6f","datavalue":{"value":{"amount":"+0.766437828540802","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":"Q2908473$FAFEFFDE-308B-4DF2-A918-16C1E1E2E1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f2c9ba8659a530cd60e759304e8942a9797647","datavalue":{"value":{"amount":"+0.7650837898254395","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":"Q2908473$E1ACD4C0-657A-4B75-9C87-AC195C46A7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314012b1f286c7adbc5a626730fecd3af744f3d4","datavalue":{"value":{"amount":"+0.7620009779930115","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":"Q2908473$09E6F892-F9B0-41E2-AC6F-D18988650B04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908473"}}}}}