{"entities":{"Q5713724":{"pageid":7743278,"ns":120,"title":"Item:Q5713724","lastrevid":92859620,"modified":"2026-06-05T02:56:24Z","type":"item","id":"Q5713724","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238979"}},"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":"Q5713724$61BD4ED0-444C-4A33-BADC-959E2C16395C","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":"Q5713724$92C944E2-D1F8-4FD4-B7AD-D10083E690EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5de68f19d690912273ac65f9cb057055ea27e93c","datavalue":{"value":"1128.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$04C68A0A-2198-4103-AD73-CE0AE1475A73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713724$034552FF-5131-495B-9E60-E4944A8C9DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713724$61C43ED7-4F99-47D6-BF16-BFF628464F9A","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":"Q5713724$1D93D4D8-C1D8-4D9E-8BBE-5F8383E3288A","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":"Q5713724$907A2F9C-E65C-4739-BF15-6190D87E85FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$D1986F05-0D73-4991-831D-64FF8F47F934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$5EB8D800-BD29-4442-92BF-21946BDFB77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$1F84D2B7-7B6F-4556-B869-11148139D7AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d627741cdaccd048e36e4c26401f5e9a2ed8f0","datavalue":{"value":"2238979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$50FFF275-15D9-4E29-B719-A41126C45C59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713724$838E93F1-1EE8-4B21-B799-1ED8C3C82DA9","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":"Q5713724$5B864577-ABBC-4473-AD3C-9C77D6FCC9A4","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":"Q5713724$1A1B6B4C-B33E-480D-8578-C6EF094784E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$9F3431F0-D13C-425A-B359-7B71665F221E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713724$E4A8C8A8-56B6-41CD-A259-F1F808FBD3AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1342f2fa80443240294e89d6a99c9448f05812","datavalue":{"value":{"entity-type":"item","numeric-id":5714753,"id":"Q5714753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7564573772f580f00c84ee3ec4607b42199e867f","datavalue":{"value":{"amount":"+0.7797803282737732","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":"Q5713724$891DADD3-FC14-4048-B930-A2DD2C0C44B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91d83419ba1a9ae3734ac836d7c6dfb6f52135b","datavalue":{"value":{"entity-type":"item","numeric-id":5150982,"id":"Q5150982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2fdef91e5eebefdf305259bbd01ccd690ecfb3","datavalue":{"value":{"amount":"+0.7742651104927063","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":"Q5713724$28871ADF-B49D-4761-A001-DD9B8F07D336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9959380f5fc5199e055818191b17e35eea94605","datavalue":{"value":{"entity-type":"item","numeric-id":4341044,"id":"Q4341044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865f5508855f86588ab5a6779d41447621cebe05","datavalue":{"value":{"amount":"+0.7367883324623108","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":"Q5713724$DD05C71F-4C62-4C71-8335-43578D58FC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8ae0c6fd5215d763b2d56c4c61851b80c64f65","datavalue":{"value":{"entity-type":"item","numeric-id":1272598,"id":"Q1272598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071519ca5bfa20a3ba0b18e61d419f92aa546a1f","datavalue":{"value":{"amount":"+0.7325979471206665","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":"Q5713724$0BCAED81-B18F-45B2-B2EA-46E67B8A8C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f771479938cc1c59d36669e47d77573bf3afa84","datavalue":{"value":{"entity-type":"item","numeric-id":1312179,"id":"Q1312179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c281c34e538013c7eda45a8c6790ee7236a39697","datavalue":{"value":{"amount":"+0.7323305606842041","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":"Q5713724$09451E7C-106B-47B9-9330-EC5CDB2D539D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2238979)","badges":[]}}}}}