{"entities":{"Q5713735":{"pageid":7743289,"ns":120,"title":"Item:Q5713735","lastrevid":48613735,"modified":"2026-01-05T09:39:34Z","type":"item","id":"Q5713735","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238987"}},"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":"Q5713735$DCE3018A-70E6-469F-B803-B14EE575B3BD","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":"Q5713735$CA8094B7-EE68-42D7-9297-104799722646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11fdc6dee89def9d2a7d60f1b0d38b3abcb191b9","datavalue":{"value":"1128.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713735$A48D2D45-118A-4708-9D64-3E6F4AF99FA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77645d4ce62026e02599fb286001734477276d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5713733,"id":"Q5713733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713735$658D3A3E-37EF-4F23-A5F8-913C56B95F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30eefc04a71fcf567ed5ddd69b5180f5084ceacb","datavalue":{"value":{"entity-type":"item","numeric-id":5713734,"id":"Q5713734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713735$9372C79D-7930-4676-9986-8ED4A23EE854","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":"Q5713735$EE3DCA36-7473-4084-BAF7-C94B83B07EFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b520865fd883bc73fc620b09c86f160900096aa","datavalue":{"value":{"time":"+2005-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713735$77656846-1708-4B3C-ADA7-038A788D183D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713735$C2C75250-6F80-473A-AF02-510EF410737C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f412827d5040dca11352f3735b33ad757ad12db","datavalue":{"value":"2238987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713735$CD7948F4-D9B3-4121-84E4-F7220D50CC8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713735$35FDBF88-E5B7-49C1-9EA3-2BFA35A2855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713735$95D6E974-7020-49BC-AA3A-459D69D6279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713735$8E413983-9B5A-4865-9AD3-170DA1BD78E8","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":"Q5713735$F450F80E-019E-4ECC-86F9-56C3EBE8485F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64dc5720e0a37f50535f68f0b7d0dea92dd100ee","datavalue":{"value":"https://doi.org/10.1007/b137280","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713735$88AE7A70-815E-404B-A392-48C27703C108","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713735$752B16EE-06DA-4963-8047-A14BF0D9448D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713735$CA9F6256-8210-4CF4-9D7E-CBA094A32DFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7322ee4ef4abd204d607df07d94c6fba43a66b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527697,"id":"Q3527697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105147bf395fd15f48e292f410bed703081346d0","datavalue":{"value":{"amount":"+0.7455222606658936","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":"Q5713735$5FFCC462-9F23-4BC6-974F-13886D6A04B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131190c2b2187b63fcde458c8da5d298ca96043e","datavalue":{"value":{"entity-type":"item","numeric-id":3005891,"id":"Q3005891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d382b368c8683c8c704daa99d52ef5f6a94572","datavalue":{"value":{"amount":"+0.7437660098075867","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":"Q5713735$D9371269-486C-4BF8-BED3-412CCD1357AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bc23ebc6a01f7d3247426cbc6e651886bf156a","datavalue":{"value":{"entity-type":"item","numeric-id":2385440,"id":"Q2385440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0df768cd74e8e55a73b38276ff57342acf8313e","datavalue":{"value":{"amount":"+0.7257295846939087","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":"Q5713735$A3508C6C-EDD5-4EAB-BBE8-EB99C978A966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9b3c49734ec755ba4232f3c877f9f153ba9f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5457275,"id":"Q5457275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e22f6a167f6d77a22f43b5ef8e556792af86fa6","datavalue":{"value":{"amount":"+0.7257030606269836","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":"Q5713735$9DB57F88-D41E-4541-B15A-4104B8EB31E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696a8403dd5de3dd4d4669b8e30cb3069cdacb30","datavalue":{"value":{"entity-type":"item","numeric-id":2506238,"id":"Q2506238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e1fb8fe0e1a935401f3852b293fb6b3c750407","datavalue":{"value":{"amount":"+0.7208209037780762","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":"Q5713735$17DC3091-22EE-40EB-B4E8-FF38FB9D179A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713735"}}}}}