{"entities":{"Q5714746":{"pageid":7744300,"ns":120,"title":"Item:Q5714746","lastrevid":48614053,"modified":"2026-01-05T09:39:50Z","type":"item","id":"Q5714746","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239199"}},"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":"Q5714746$9092D96D-35F0-484F-87FD-00C3BCAE8832","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":"Q5714746$0F5CC26E-6445-4B59-9D52-425E9023EB72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26a14c14ad7b855faf4a547176a189778d09e853","datavalue":{"value":"1122.68598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714746$A84FA5B0-F0C8-42E3-8109-5C271A4C8E38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714746$740A7061-CDC3-4C70-830D-EA34AF8CBEA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c9af1c277bfac673aa74e2ae50af85b30e39759","datavalue":{"value":{"entity-type":"item","numeric-id":5714744,"id":"Q5714744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714746$AB288BDB-61ED-44B1-8BBF-E3F6E8B9E748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5809689288d4cb657261f5df7954ed948efcb4","datavalue":{"value":{"entity-type":"item","numeric-id":393118,"id":"Q393118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714746$1C6FAF53-F1E3-4872-AA83-1E051CA03A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18de0b53dc564ea06d37c76bf4c268c3e2ce970a","datavalue":{"value":{"entity-type":"item","numeric-id":5714745,"id":"Q5714745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714746$2CD6A760-AF41-4E67-8EDE-D899C3D32736","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":"Q5714746$4A2FA13C-A5B4-4417-AFD3-80E5E42B2A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5714746$CAC39750-3ED4-41CA-9D4E-D849D001D7A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714746$33F2A385-3FE7-416D-842B-4E672F0EDAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d18c4d818f8d9e75556d34c0a71732fe154ee7f","datavalue":{"value":"2239199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714746$F5FF0CF4-1963-4818-B742-86A6DB7EF65F","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":"Q5714746$21186223-93A8-4CE5-A717-5C535A04BE8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714746$23403DB4-F9B0-4A79-B046-11DFD4022D14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714746$A4303300-CAB3-494B-BDF9-74535119E5F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2f72e9d4b2fdc14ab371fae47941b7994980d9","datavalue":{"value":{"entity-type":"item","numeric-id":5457273,"id":"Q5457273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcaec0841cf8a9ac22ff052dbf8f87fd5c0a7e9","datavalue":{"value":{"amount":"+0.9100179672241212","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":"Q5714746$3D994CA3-CB36-46BA-995A-2C6D93CD7839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd2d6a51802cf53f2b30fe61f09ac14a5687ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e23119f303cdbab36057e1e731772d5e2f79d9c","datavalue":{"value":{"amount":"+0.8194183111190796","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":"Q5714746$188D400F-B41E-4366-8070-92FF9967F38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e45b606eabed5bdb0ecb9d682fffb754362e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857ee53c9162a0772e0c8d36801379e08f9b4910","datavalue":{"value":{"amount":"+0.811438262462616","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":"Q5714746$DE2EE879-58C6-44CC-ABB7-63D9DD21B099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e5a5770bdd285cf8e690dd1b104b3917e17995","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7453b1213a74fba42a08b5f7b92563f9bde39605","datavalue":{"value":{"amount":"+0.8087624907493591","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":"Q5714746$B434A6BD-B5C4-45DF-8FF3-FBF985D190F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4c44822b53ae619d62d8b940224636a058b7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754147,"id":"Q2754147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9aaa4d9aceb1cc19686b19aa00b323ffaa37b88","datavalue":{"value":{"amount":"+0.8078747391700745","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":"Q5714746$21514F5A-1807-4241-A7F8-31D6711E2BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714746"}}}}}