{"entities":{"Q5325859":{"pageid":7355433,"ns":120,"title":"Item:Q5325859","lastrevid":50726078,"modified":"2026-01-14T23:02:54Z","type":"item","id":"Q5325859","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586625"}},"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":"Q5325859$9B5F643A-3409-4A4A-9D20-0C1813DEA45D","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":"Q5325859$63DD2841-856C-4551-B943-A167D1A913CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa02dd79af5d3a3daec41da9ebc3963729dd774b","datavalue":{"value":"1204.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$C0CD3251-0EE0-4BF9-ACAA-232383C94930","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba5a09df545b7cc451baa2b2e9eeb3570b8934af","datavalue":{"value":{"entity-type":"item","numeric-id":5325858,"id":"Q5325858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325859$E308BD48-9B2F-40CA-8477-83D1480F95CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73d23de59616e0b5c603be479368d5f0156fb50e","datavalue":{"value":{"entity-type":"item","numeric-id":344775,"id":"Q344775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325859$396F5747-4544-40D9-8DE9-8553AF32D2CA","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":"Q5325859$091E4B72-32E8-42DF-A941-F0FCE2A6A543","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":"Q5325859$6D8E775D-75CC-40D6-9BD8-CC31E7CF6F34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$F51FA165-3C90-4C2D-92D0-2CB712D08EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$DB881411-1690-4F77-B52D-3E3A6CE26010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc314003523ecd9024689289dcf658174e248b2","datavalue":{"value":"5586625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$66A7A685-3EEA-40BA-AB4F-B7D8551F954C","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":"Q5325859$09E42046-B39B-4A17-909A-488764486DCE","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":"Q5325859$3FE25722-4184-40BE-BF1A-A65CEEB4CE9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$BCD1C9E5-8947-42CF-8CF3-056B8AFA74AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$AE4726E9-CE91-4E38-83F9-606AFCD29266","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"077972d7c388e41c03379ad6e405f4eea656650d","datavalue":{"value":"conf/sat/2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325859$BDF26EE9-93B7-4A79-861C-AA384267C3F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6dfaaa35ffed249c21e5232a3369e134a419ff","datavalue":{"value":{"entity-type":"item","numeric-id":430830,"id":"Q430830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c6791931d28aac182961d39fbda3bd0d062669","datavalue":{"value":{"amount":"+0.8218290209770203","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":"Q5325859$01413C13-FB46-4B77-B72E-F85446D2D041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba87ff74f183dfc9e56694fbd3e23bcc6e9d4aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5497123,"id":"Q5497123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01413cd4116d743b076feea28584f7a5e4ae9ef","datavalue":{"value":{"amount":"+0.7769303321838379","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":"Q5325859$E30C7FAA-4F1D-46D1-AFF9-DA806EF8DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a505666d5ffbf67d9cce8bb2a0f39608f8ee72","datavalue":{"value":{"entity-type":"item","numeric-id":4914311,"id":"Q4914311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652294e05b03e5b6ec7f810b8b9928b919f5bc12","datavalue":{"value":{"amount":"+0.7692838907241821","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":"Q5325859$CD3E9B50-4303-431C-85D1-7F9CA25414D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4621f0e11819ec3ef443da0cbe1d6898f3e13d","datavalue":{"value":{"entity-type":"item","numeric-id":2908838,"id":"Q2908838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba47ea359f85a6f6a41f90c867bf7837e9d26a2c","datavalue":{"value":{"amount":"+0.7672687768936157","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":"Q5325859$D552C10D-FAB6-4B41-8675-C222BFE93FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68eb549478e330037cdc38e8233efba2c9840afa","datavalue":{"value":{"entity-type":"item","numeric-id":2749860,"id":"Q2749860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea76bc31d114e0ec5b69516fd2dc15c24d6f17a","datavalue":{"value":{"amount":"+0.7616113424301147","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":"Q5325859$D61912D2-20E0-4712-9ED4-BA01EE944B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325859"}}}}}