{"entities":{"Q5325873":{"pageid":7355447,"ns":120,"title":"Item:Q5325873","lastrevid":50726168,"modified":"2026-01-14T23:02:58Z","type":"item","id":"Q5325873","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586638"}},"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":"Q5325873$89438385-AFDD-430B-A198-AD16920159D7","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":"Q5325873$E8C67339-7786-4A2B-967B-16D438242218","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e2e3c4da254d968851a140eac6f74a1325e202","datavalue":{"value":"1204.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325873$54D85BA7-1C89-493B-BEEE-772A28765C26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325873$D1EFF7CA-F124-47B8-920B-5C91057417FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f772495c323a6ff12303eb1e65f068d69fff6f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5325872,"id":"Q5325872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325873$809B8EA5-44E4-450A-BA3F-9D1870C305C6","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":"Q5325873$04D8C344-1D48-4787-A546-8974B93D0AAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325873$316E4A46-4F63-4CCF-AB5A-1E3C58A234DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325873$8861681B-F341-4789-B5DD-4B0D5EBCE704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325873$3A0C0C10-69F0-41D2-B4DD-09D9F85D3DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65f45863a7a6fe47917418a760d6273d3e1b8219","datavalue":{"value":"5586638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325873$18629FC2-000B-4CDB-9514-394A81C87767","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325873$953C6508-C373-4661-B6C0-E7ED605750F0","rank":"normal"},{"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":"Q5325873$2E8616EC-CFB7-484A-A133-4461FD3E2D5E","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":"Q5325873$B11FE2D0-05B6-4DEB-902F-1429F60E7043","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"973c1d11b12a0839879d25acdd61541706e13a7c","datavalue":{"value":"https://doi.org/10.1007/b95238","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325873$A450FD39-0C49-43DC-AEC0-9F5ECA667A0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325873$99FC43AA-4084-431A-B22D-8A0B0490A7A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325873$AA9EB8E3-5FC7-4714-9754-196E1B7D6384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed712d830cce384ca92f51a325e6e3db45e30f5e","datavalue":{"value":{"entity-type":"item","numeric-id":5713736,"id":"Q5713736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663429b7b7e32dce1cf3de962768a3e247e82ac5","datavalue":{"value":{"amount":"+0.880520761013031","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":"Q5325873$6079D0D2-EA12-4103-A88C-3972947E1A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b946c947d57e11f271dd231e42d6b5428322967","datavalue":{"value":{"amount":"+0.8409501910209656","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":"Q5325873$E3DF4945-6EA1-4D96-B2A3-8AF147C4CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed24ac00bd5f3eb86c49d70cbbc09fcc92919b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3502688,"id":"Q3502688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55e5674492a46686852cfc5d4a96bcbce18eb63","datavalue":{"value":{"amount":"+0.7840628027915955","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":"Q5325873$891AEAE3-9058-4270-A24C-861EA7B19158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c40345bf6b21298a95012ad3355c57bbb561ff","datavalue":{"value":{"entity-type":"item","numeric-id":5325875,"id":"Q5325875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1b685d7be3f01fe3ae1128f20314bc484b8dd6","datavalue":{"value":{"amount":"+0.7742090821266174","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":"Q5325873$98864F5C-3FEA-49DF-A65F-F057996F1845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512f3816d5ba136ef4741f7c18e2c7755f184cdf","datavalue":{"value":{"entity-type":"item","numeric-id":3612472,"id":"Q3612472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423f7d2e4a5ec8908bcae2d465cf66aad30509ab","datavalue":{"value":{"amount":"+0.7661879658699036","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":"Q5325873$1BEDE748-DB7F-441C-B207-BB8D65810B65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325873"}}}}}