{"entities":{"Q3541724":{"pageid":5571628,"ns":120,"title":"Item:Q3541724","lastrevid":80954660,"modified":"2026-05-06T17:23:00Z","type":"item","id":"Q3541724","labels":{"en":{"language":"en","value":"Engineering DPLL(T) + Saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374265"}},"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":"Q3541724$00AFE1CA-5561-4301-9517-205FA25EF649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ec6c8bc8ba9d56a80acb7c08a200f89bfad2794","datavalue":{"value":{"text":"Engineering DPLL(T) + Saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541724$4E244B60-2045-40E3-A1AB-BB5514AE2055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcde13058a34fab3cb007f10cd32dd80249ed927","datavalue":{"value":"1165.68479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541724$E83D65B4-0417-4D7E-99E4-1E86A15052AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"244db47660aac68c0d5e97f9afa009ff9a224be7","datavalue":{"value":"10.1007/978-3-540-71070-7_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541724$327DB483-04B0-4A6C-B33F-A4F7BD90D431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$B167B9B0-76C5-4BBD-9F2F-34BA02390882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$551BDA00-878F-4816-BD9C-540E0DFE5D02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$B96DCB94-9096-4C17-82F8-4E0DDC6A2F7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541724$625C85EC-1EC6-4EF3-9743-DFDAD7393F77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541724$DFC2CFF8-29E4-4085-9C56-99762448AAA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13135de98ff9ae368f2c594fadcb7560b9328463","datavalue":{"value":"5374265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541724$0653B050-6400-4D0D-8DD3-D71611A7EF13","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":"Q3541724$63B7A51E-B37C-4ED5-AC06-AFA646675953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ae92d07749e8a3784bbe8ba5213e15caebb908","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541724$345D3235-8EA6-42FB-8748-2C103056D06E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18d3c4c3faaf45382b00c610046cd51c6f6272ee","datavalue":{"value":"W1595962583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541724$E657E3F4-8404-4306-A841-64282F650C55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$A857E888-8365-41E8-9D74-D8C001DFDAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$2134F471-8D86-49DA-91ED-076F1E9BECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$FDC58A3A-A250-4ECB-BF31-21BE3F38FC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d8e42945beda42154d7aec024ac2937b8249c","datavalue":{"value":{"entity-type":"item","numeric-id":2864401,"id":"Q2864401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$74C38641-0AA9-4439-95CF-3EE83A9CA1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a25e9311f149db16764369e47282066b24774c","datavalue":{"value":{"entity-type":"item","numeric-id":5307058,"id":"Q5307058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$67B34FC3-0DF7-489E-A2E8-61193B263283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$0A197F38-44EC-4CFB-9141-F5B2ADE334BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$067E2AAB-781A-48AA-854B-2BD932862970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6aabd216f47d0fff51bc16b7b02c09de222664f","datavalue":{"value":{"entity-type":"item","numeric-id":5055823,"id":"Q5055823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$35180813-5CF1-49F2-8615-E6912F9D80C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5dec0979ee80b250e5f4d24210da01a00ee71d","datavalue":{"value":{"entity-type":"item","numeric-id":4913860,"id":"Q4913860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$7FD61A98-7A6D-4568-9102-AE3A492FD73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$5C014549-8D6C-4BC1-B23B-8E185E91DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$EA00553E-FB88-4C80-93EC-2CE0BB99AB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$C39FEA55-6F06-44B0-A75D-A2ED48C3137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ee4f5358d83048f7143c1c798ef96590ad2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$4494F5C6-50A7-4CE0-ABCE-2C0E3184A7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f0f454de37370c738cfaca1e856b2545814b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3541723,"id":"Q3541723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$C2565F41-E4D4-4D09-946F-B84EA3880F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541724$06991E39-AB18-4BFE-ACF9-87ACC0FDC8E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a028d76918394e54c3a6f9e22e703005b52a92","datavalue":{"value":{"entity-type":"item","numeric-id":5191095,"id":"Q5191095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375a96224c915549471c249bc46405aa6e2b394e","datavalue":{"value":{"amount":"+0.8336422443389893","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":"Q3541724$EF167364-8761-4B94-973D-57E1551BF0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6034a75760f3afde9544b9a7050759ef980c4e","datavalue":{"value":{"amount":"+0.8234782814979553","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":"Q3541724$CA96F3FC-4A89-47E3-B27F-746DA03A1AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd1f875057910272dc1f6cefa7437b5d6cd54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9edfc3ab89678672d024a6725bef40ca4cea883","datavalue":{"value":{"amount":"+0.8210980892181396","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":"Q3541724$D30DC4DE-AE71-41C4-981F-6D4B54D90478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47fa51543127b144699ea47ffbe93caf3f9b06a","datavalue":{"value":{"entity-type":"item","numeric-id":4708927,"id":"Q4708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2d394e1fab65a2bbd920167f5f0213ee2a03d6","datavalue":{"value":{"amount":"+0.8207858204841614","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":"Q3541724$54399714-B562-4149-A8BD-5A103AE83922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2031382577d2a1d41f15d39c84a7805ef24c45ae","datavalue":{"value":{"amount":"+0.8020244836807251","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":"Q3541724$7B6F5BDD-5A5D-433D-BA45-F643E05E7831","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Engineering DPLL(T) + Saturation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Engineering_DPLL(T)_%2B_Saturation"}}}}}