{"entities":{"Q5713723":{"pageid":7743277,"ns":120,"title":"Item:Q5713723","lastrevid":92859611,"modified":"2026-06-05T02:56:24Z","type":"item","id":"Q5713723","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238978"}},"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":"Q5713723$ABA48D99-00ED-4836-B301-FD6132683DB9","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":"Q5713723$5724E3AB-C899-421D-8F1D-29C60783303F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83cf84c8ce369986381a0f7ae9a08ae6988b528a","datavalue":{"value":"1128.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713723$8709D988-89B0-42E2-A3B7-598BE2BA3E68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eef6491800e8897d5d466008af2ec38f812df0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1283140,"id":"Q1283140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713723$00D691E5-92C6-4927-BBAE-D2E2F22B047F","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":"Q5713723$FE96FB2E-251D-4AB8-A01C-5EA5097DEA83","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":"Q5713723$9FB8DB7C-11D0-4165-A9B1-D1628585CB7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713723$68DD6C67-E5F8-4355-9F4F-52D723A828FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713723$F5523A67-1488-4966-ACFA-6F18DDCE0D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa4d5b0f1b8b55a9fa384e7744d8cc8ebf91decd","datavalue":{"value":"2238978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713723$8DDFABE6-9F9B-4CE5-925C-A294CF14606E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713723$F7B218D4-9595-4277-9621-494367853D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713723$DBA9CAA1-32C3-4BCB-A4B4-F4F2CE09353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"10ed1370106ab58118612ce8fef1abc06fcb61d2","datavalue":{"value":{"entity-type":"item","numeric-id":13776,"id":"Q13776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713723$D3BEF491-8DD8-4643-9ECC-1D7A5DAC5C61","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":"Q5713723$4D2EABD8-2965-4BBD-A6BC-8FA20E8523DB","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":"Q5713723$28C0B4F2-A2C3-4B28-8216-037AD4170AE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713723$0FF8443B-FE6D-4373-A745-9F83AA723F8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713723$8B967CA2-510C-432E-A4FE-9D2403E5E473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1081f6e340c945d2b76ba4ced02d33e4ad63b47","datavalue":{"value":{"amount":"+0.7885211110115051","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":"Q5713723$BFEE5D2A-B1D2-4610-BE11-0D4E8BC9C152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c647744274850ccef5a15f5cc3ce686ccc5200","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf747f5e7ccd10cc8947e56f33481dde4d30a08","datavalue":{"value":{"amount":"+0.7859688997268677","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":"Q5713723$4CFDC4CD-53F5-47A1-89E1-86E8E3F122F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c50987a1246554721c2832df9f37573cbf16b1","datavalue":{"value":{"entity-type":"item","numeric-id":4930590,"id":"Q4930590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb77bcc5401996ddfb8731c02e85ac87ba034e97","datavalue":{"value":{"amount":"+0.7812347412109375","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":"Q5713723$704D2D8A-6869-45D2-92F0-D23803C9BD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c0a77f0232f67455c50d919d9a6fd0dceb2474","datavalue":{"value":{"entity-type":"item","numeric-id":5492979,"id":"Q5492979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c256896f4e950b790a6612f25cf6670bb740d461","datavalue":{"value":{"amount":"+0.7811765074729919","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":"Q5713723$248EB833-3819-4F2F-9EC0-F1510583A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f87fa26af6f14a84341e8c2fb516fa369887cae","datavalue":{"value":{"amount":"+0.7725194692611694","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":"Q5713723$718975A0-BC68-478B-BEB5-887104D16E7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2238978)","badges":[]}}}}}