{"entities":{"Q5713750":{"pageid":7743304,"ns":120,"title":"Item:Q5713750","lastrevid":92859854,"modified":"2026-06-05T02:56:26Z","type":"item","id":"Q5713750","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239000"}},"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":"Q5713750$7B4BB22A-0219-4313-9AA2-3CC37293FE0D","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":"Q5713750$9367792F-3743-4CA0-96CA-E37584BD744A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef5fb7686631fa56dd7cde9de418af5d4b5df414","datavalue":{"value":"1128.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$5348D679-97A6-4BC4-B802-091EF2BA24BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2007998f06773bc8c2b112ff0e6e11d05606584","datavalue":{"value":{"entity-type":"item","numeric-id":2389633,"id":"Q2389633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713750$4990A65B-88CA-498E-AA74-CABA8FE9BE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54e172c70c88d6a2ec63311e0c847ccd29c983a","datavalue":{"value":{"entity-type":"item","numeric-id":1203765,"id":"Q1203765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713750$20700E1A-578E-439B-947D-6B2774EF71B5","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":"Q5713750$AF9904AF-F468-441D-A8D5-70FBF2FB3ADB","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":"Q5713750$7A5F858E-7A18-4B35-B95A-012A522211E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$307857CB-2A0F-4B65-8E99-AD50E3303B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$4BF66157-5E6C-4409-8006-48A26D66DB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$47819C91-1800-4E44-8FC0-A7F02A6EE039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cdb37a052c07e99cbd4334c44e109a4ca41187d","datavalue":{"value":"2239000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$A17A6744-A878-4086-A020-F0DC3F7126D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713750$2299A1EE-525A-479E-9A81-34894843912F","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":"Q5713750$ADB2D62C-7198-446D-8FAF-E16CB3BAEF79","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":"Q5713750$7BD63DF5-E178-4F61-98A0-E3B79D9D30A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$8FD64E2A-FAF2-4212-AA94-FB56CA2ED180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713750$3F922A5F-8FAA-4050-B7FB-287868A257E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64bd4db4b467177fd75ec31e4ecab34d80e0657","datavalue":{"value":{"entity-type":"item","numeric-id":5897207,"id":"Q5897207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70031ea75bff1add46439df9943a17b24f0b9028","datavalue":{"value":{"amount":"+0.8065586686134338","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":"Q5713750$1B5C24C8-E231-412A-A1B7-4F0C791D1161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e877f9195dc08d8c769468cc1da3d5e03ef6fba","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c041437cfb2b689119af2c8ca7411cd6796c19","datavalue":{"value":{"amount":"+0.8047011494636536","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":"Q5713750$9E677078-D3D7-4101-AB19-B6511768C840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfbfdd9bfb0113548c79d0a251aaba65f2b702d","datavalue":{"value":{"entity-type":"item","numeric-id":4649309,"id":"Q4649309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b858f08c94385baeeb80cc978cda9baddf8ebf0","datavalue":{"value":{"amount":"+0.804668664932251","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":"Q5713750$76F056E3-BFE7-4F20-B505-E62357FFC287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45653888f91473d75f560ae94f3a602cc8bf6b4","datavalue":{"value":{"amount":"+0.8017999529838562","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":"Q5713750$3069479D-2686-4EB3-9CA4-EDB2BB9FE0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1c8e8a49677a9cc54e346f38d9c542d7f94095","datavalue":{"value":{"amount":"+0.7992395162582397","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":"Q5713750$AC260ED1-55CC-42BB-9742-7F03386F52F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239000)","badges":[]}}}}}