{"entities":{"Q5713728":{"pageid":7743282,"ns":120,"title":"Item:Q5713728","lastrevid":40739898,"modified":"2025-04-04T13:04:53Z","type":"item","id":"Q5713728","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238983"}},"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":"Q5713728$70294E04-5AA4-497B-8D4E-484ADE1967D6","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":"Q5713728$F7342326-1036-40F4-9F51-4241381398BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d270f141b93a2a00cac53003175df984c02ae578","datavalue":{"value":"1128.03303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$8F4E6D93-5360-47CB-903D-4424BE212AD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323b5428bd25b1bf57218d22ff06d9e5b29f1d38","datavalue":{"value":{"entity-type":"item","numeric-id":460637,"id":"Q460637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713728$4772D2AF-FB86-4343-BF52-9E0FFFA3CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713728$96A425FB-674A-47DC-BD42-9DFB4188E76C","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":"Q5713728$468B26EB-30C8-48D1-946E-30B6ADB62A0A","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":"Q5713728$55507490-1C10-409F-ADDA-C3D95D82C5C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$870EE8B1-B64E-4095-8227-0EB8951A1B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$9B20006E-4C15-462B-AB94-409BEA768D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$00239D4D-1547-4FAB-B68D-449FDAE0B300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03f993ddd00fdc7ad10f2265296b21e396b6ac5a","datavalue":{"value":"2238983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$034DBD15-D3AD-40B3-B44C-A6B16A5E43EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713728$CB8F8667-5F57-49B5-B5E4-56185B7A8CBA","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":"Q5713728$66D42387-024E-4CFF-A02E-061D9C093F42","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":"Q5713728$8315A371-9F1E-4D58-9579-139ABB5E6427","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":"Q5713728$7F57DEC4-3667-4F27-A7CB-DBFBC5727094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$95203A81-9DB6-44A2-9582-6256A5B73549","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713728$52E751D3-8D25-424D-9021-76FCE9257F89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66f6255faaa1e8b53ab2b93cbb11c3e4ecfcd20","datavalue":{"value":{"entity-type":"item","numeric-id":2063679,"id":"Q2063679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176fc3b9c056e7ae8ad05b8c110fb58971ee63dc","datavalue":{"value":{"amount":"+0.89432836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$42369D27-40CB-486F-9474-3B0EDC13DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971f2a2bd9be87ed4272a86d681b288a1be39507","datavalue":{"value":{"entity-type":"item","numeric-id":2191627,"id":"Q2191627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eeb27859d09ab10e398ced780d7556adb5f56e3","datavalue":{"value":{"amount":"+0.8919308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$4EDBE0B0-D6A7-4778-828E-E91711A11111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62ce3e0e60e95da3ea23371f684b44ec8f6e1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5117597,"id":"Q5117597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3289287c4e516afca304142125e4610a19aec8","datavalue":{"value":{"amount":"+0.8774996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$7CF6AC89-19FE-4809-AED3-1FA4AACD119E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be100efb7aaceae6e65088fc837540fee23ff42","datavalue":{"value":{"entity-type":"item","numeric-id":845921,"id":"Q845921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f323a903fb59b585530af32b941753cb45bae58","datavalue":{"value":{"amount":"+0.8717156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$8AD671FD-7F3E-462F-B078-0DD3424E71A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceddee807fb8b21e54578ede18aad07a1b5163b1","datavalue":{"value":{"entity-type":"item","numeric-id":2678340,"id":"Q2678340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bef0abc6ab3733926e68923e6040f0dff475a12","datavalue":{"value":{"amount":"+0.8667421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$DFAA90D7-1B4D-40B5-9703-3EC415B67BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"445f163789c77f71e606555053e27bffefc81c22","datavalue":{"value":{"entity-type":"item","numeric-id":4375805,"id":"Q4375805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc516dd0df33682fbdd9da0a29f9ef4cac42dafe","datavalue":{"value":{"amount":"+0.8560411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$B564A657-395C-452D-8823-553B098D755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bc0d37caa81caac51790599bc85f9ea85c4a77","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c61caaabea8eb5ef340ace59b27b9deba54bfc","datavalue":{"value":{"amount":"+0.8547419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$B36610B3-DA7D-41C9-8518-CA705C79DDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf116d168a9c187fece3b64fbb78c783e9f116f","datavalue":{"value":{"entity-type":"item","numeric-id":2117787,"id":"Q2117787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b52500e3d06ddcdeeb21af1dc460f045962a70e","datavalue":{"value":{"amount":"+0.8536332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$21C8AD14-60CB-4B9B-9AD1-2A9235EDCC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d4681dedf5940ee2d6540831ebc8972d0d50df","datavalue":{"value":{"entity-type":"item","numeric-id":3156301,"id":"Q3156301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f173bd2a339fa98554ec145a8f00b25f08c4c750","datavalue":{"value":{"amount":"+0.8469275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$6A694687-13CC-4AEA-AB33-3BBEC680347C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119c3371f79c14711a6bc714450af02521764fc1","datavalue":{"value":{"entity-type":"item","numeric-id":5027247,"id":"Q5027247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad04094496a9852c3e2485724557352f319e28ab","datavalue":{"value":{"amount":"+0.84651613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713728$B9CDE3AC-00C3-4C44-8892-DC1129CA3A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713728"}}}}}