{"entities":{"Q5713705":{"pageid":7743259,"ns":120,"title":"Item:Q5713705","lastrevid":48613495,"modified":"2026-01-05T09:35:15Z","type":"item","id":"Q5713705","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238962"}},"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":"Q5713705$F96F29E2-4352-4D4B-8CF4-35885BEBEEE7","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":"Q5713705$0184D73D-63D0-4D1F-AE23-413833692AED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2af462ae3d2a01a628aa39214ce24407f163be34","datavalue":{"value":"1128.03314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$82FFBF42-169C-412B-A867-1B36AE906462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713705$784CD14A-AF49-4A9F-BB5F-A68A69220E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661b8efe27247a7f26ece5f3fb8b6af3672d2c4f","datavalue":{"value":{"entity-type":"item","numeric-id":255274,"id":"Q255274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713705$CFD6102F-3743-4538-BD16-91843E13508C","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":"Q5713705$84A6DA64-7B57-4324-90DA-086260F63D7E","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":"Q5713705$FCF7DB57-3A15-4527-8F75-B00C986C81C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$86F77875-9E83-4C21-B306-DDB7B812C364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$5520475B-0A61-4358-A202-FD8D70FCEB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$47B292C1-B531-49A0-A887-EE156DBA1DAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da0232ba5c4dd635da27b284c5efc3f5317bc5e5","datavalue":{"value":"2238962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$63AB4BBB-D4A5-4720-809C-0171D63FAED6","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":"Q5713705$A4FB92A6-F20E-4F9B-8895-C0AD3AFD7BE6","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":"Q5713705$41F8528F-0034-4C2B-9182-1101AD2B6D6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$74CE6234-98EA-42DC-A748-3C00D6373DED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713705$C3CE5E86-7FDB-4A75-8A3B-14234DC9EA72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779599644c02dd6e99046380126d5bb03fcc2ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3181643,"id":"Q3181643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb2d7569036c7a3c076c9bfbe778dc801e165cd","datavalue":{"value":{"amount":"+0.9065974354743958","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":"Q5713705$3D23DE0B-3799-4333-A299-101A73F99EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7d1599290e3502a27b6999c883b03e5695fc1b","datavalue":{"value":{"entity-type":"item","numeric-id":5756572,"id":"Q5756572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23a0656196b17aaacabc2df0f662957f301b52b","datavalue":{"value":{"amount":"+0.8796009421348572","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":"Q5713705$1E564B37-C8BF-49DF-83EC-65154689A7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da77a14e1a94da59522797cd37febab33779121","datavalue":{"value":{"entity-type":"item","numeric-id":4202937,"id":"Q4202937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308765400d184e3465d46a8a9a531e12e20e131e","datavalue":{"value":{"amount":"+0.8512836694717407","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":"Q5713705$737C9543-415C-4218-BB06-FB06A03168BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ce90f53827001ef14b5751ceb40b9ee8a355be","datavalue":{"value":{"entity-type":"item","numeric-id":4281687,"id":"Q4281687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08e0b5563227c465e597c53c1512d189f071ba3","datavalue":{"value":{"amount":"+0.819520890712738","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":"Q5713705$6DBA76C2-1612-41FD-B941-A833A76045AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1faf1989557315c081940c1b4a5b551fcbc29b7c","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08e0b5563227c465e597c53c1512d189f071ba3","datavalue":{"value":{"amount":"+0.819520890712738","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":"Q5713705$6911E52A-ED1E-4FF3-AF60-D8E9F65EF477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713705"}}}}}