{"entities":{"Q2181929":{"pageid":2192672,"ns":120,"title":"Item:Q2181929","lastrevid":53736371,"modified":"2026-01-25T15:29:23Z","type":"item","id":"Q2181929","labels":{"en":{"language":"en","value":"Speeding up assumption-based SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202454"}},"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":"Q2181929$E80952CA-1185-43C7-B67A-3A445F303949","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"211a24f1034fedcf85ca47755e95d0e7c8d734fc","datavalue":{"value":{"text":"Speeding up assumption-based SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181929$69532DBC-A4E0-4E49-8824-F78A99BA40C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"330c7fe555a68bea4a210f894ddf0878f0efcdf4","datavalue":{"value":"1441.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181929$9B696650-7DFF-4A63-8FC0-569BF3536E79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1d20edc286b24f5e22f58520f7335900a269ef3","datavalue":{"value":"10.1007/978-3-030-24258-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181929$970EABB4-5C05-4C8C-9462-9FFA6F58B6AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33786193a32854dd5b4638186d76c28454333805","datavalue":{"value":{"entity-type":"item","numeric-id":2181928,"id":"Q2181928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181929$DEF1E7AE-DF6B-480F-93CE-4A16285A2256","rank":"normal"},{"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":"Q2181929$C27C04EE-5835-403E-9B2D-2321882BB87E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d777a513c8a436f6b680a1e02c588f4cd3d39d0","datavalue":{"value":{"time":"+2020-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181929$92B276C6-86F8-43AB-AAC3-AC81F16A4095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181929$91F1DC72-57A4-45BA-BBCD-90E1763B9CAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e407d92ebee1d287bbf320807df5ea3023bc1ae","datavalue":{"value":"7202454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181929$CFE5B2D3-2030-455A-81B3-36CA9D5838CC","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":"Q2181929$1FEC661F-29F3-47FE-9B97-2F740B0159E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be75d0008ce762ed271909c8346dfbb8316b90bb","datavalue":{"value":"https://doi.org/10.1007/978-3-030-24258-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181929$57ED102B-B4CB-4BF1-81E8-99C0DF6DDC10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1050ac05c999294c7ee1841c873aefe2630fdd89","datavalue":{"value":"W2955759369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181929$2DFC9578-9255-48B0-9F93-F3DCA7349D67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6ad6abcd48709383c08e822d5e3fa1c12b6396","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b33deec7f319618fbbd2086b273bb1b5d64e48b","datavalue":{"value":{"amount":"+0.8559077978134155","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":"Q2181929$1914919A-E402-4562-828C-EC438E4F9038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950964d65a724e0810d1250e681666c08162cdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2843331,"id":"Q2843331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ca1397690321a34d131a143e768a703a3f152f","datavalue":{"value":{"amount":"+0.8547403216362","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":"Q2181929$FA65050D-309E-4725-825A-A45747B38688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d421ec7b2abbbdba7b6179718329367b3f0f712b","datavalue":{"value":{"entity-type":"item","numeric-id":5326470,"id":"Q5326470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338efc6e556da20c8a500120ad8694b1e5bbb1c6","datavalue":{"value":{"amount":"+0.8100095391273499","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":"Q2181929$1F8D802F-472A-469A-8A8B-52E5B2D1551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f03ab87a7195dd99221b576f0c1cd2619690b6","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814febd50c5dd31b6adfbdbbc34050e9ec7d9928","datavalue":{"value":{"amount":"+0.7813414335250854","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":"Q2181929$798266E2-F3DC-42CE-9846-ECC46D345892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baa14e88319bb40aae8bb111e040434ebce5abb","datavalue":{"value":{"entity-type":"item","numeric-id":3007682,"id":"Q3007682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877b6b081af93eb06fd239151442e5ca49a3b9d2","datavalue":{"value":{"amount":"+0.7560025453567505","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":"Q2181929$3F3D1AEE-B6B1-4CB6-8E98-B8F59B2C048F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2181929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2181929"}}}}}