{"entities":{"Q3453214":{"pageid":5232614,"ns":120,"title":"Item:Q3453214","lastrevid":52400432,"modified":"2026-01-22T13:45:59Z","type":"item","id":"Q3453214","labels":{"en":{"language":"en","value":"Mining backbone literals in incremental SAT. A new kind of incremental data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512567"}},"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":"Q3453214$4372C2E9-AE4F-4113-88C5-B84976D1F12C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24dff6f42564570b7f857edfbb50058719d8bb09","datavalue":{"value":{"text":"Mining Backbone Literals in Incremental SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453214$C6C3109D-3AAF-4D8C-AE77-0B60432BDE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b40c1485935f61b25490331215db672ba2d4e209","datavalue":{"value":"1471.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453214$BE58C8B9-1B06-47E8-A74F-9B6D737C9577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ee9a0f9163e88567bd568857b7e37daefd8112","datavalue":{"value":"10.1007/978-3-319-24318-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453214$0455F632-4A3A-4A55-9C31-B9FD9C381ADE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afbae0b9dfeccfcba4561d63e95c0f01624c401","datavalue":{"value":{"entity-type":"item","numeric-id":265698,"id":"Q265698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$F3F32BE5-2953-4C21-BD67-EA626B7D998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e339dd7bfbda36ac1d0ca0bbb1694595f418a2","datavalue":{"value":{"entity-type":"item","numeric-id":746772,"id":"Q746772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$91AC8C9A-57C6-4D0A-854E-41F898446633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$FEABDDA3-45CF-4A78-934C-967D81FDDBB6","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":"Q3453214$7B0C5D3E-DF1A-4E69-8E4A-000E29D05A30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-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":"Q3453214$53DC9D4B-F646-4FE0-8806-7BBD44102380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453214$71C0E445-A469-4D50-8AAB-75DF1D1762A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cef4f6951befbc260e419d9eddd5dc0e19e3d9d","datavalue":{"value":"6512567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453214$86F8B27D-8FB0-4D03-B567-2D92A2871E33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$6EFFC773-B064-48AD-8E3B-57FEC326AA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$BC44D9C2-0C3C-4501-966D-2FF00CFB6EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9ac366c95c8f3fd83eb82d5d73f8387dbc29a4c","datavalue":{"value":{"entity-type":"item","numeric-id":25317,"id":"Q25317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$EE6F0850-BE90-4E8B-BC2F-C0201AA054D4","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":"Q3453214$4EBE2458-950B-4D45-A61A-55FAB1DE9AE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd269170ffb2990510323164f127852064d5bf82","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453214$8F664021-D0A1-4392-9E1C-F88169A6A5FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"211d11edf9e1831d018b772671422b368447f9d8","datavalue":{"value":"W2226559086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453214$7B677E88-6352-4780-9D31-B997F360129C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"191734449ceba4bc2a76e944da27595387f6a747","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$043841E0-901A-479B-9535-8A7AB0B62F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$C14EAAD6-7542-4A84-B624-8041261BA8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$BA6B96CF-E615-4C9D-9D04-EAF840A9AA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d22e5be1cd0086b4ca5f0b22a7cc8d2ad226c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$D94F7F21-EA88-42FD-98B3-409A0E4DCE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$48AEDABE-4747-47CF-9C55-593F5D65A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dfff77c4bee72920e6ebde288946a02e7aaa04","datavalue":{"value":{"entity-type":"item","numeric-id":4589090,"id":"Q4589090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$43AB0F7D-46A0-4C18-AA1C-FD5B421B065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$7E82C862-9DB8-45A6-A5C1-4A702C3AE79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$7A48A7B7-0C70-420E-AE4E-22106A885145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e61914e50345b341b28acb200abd5acaa24faa","datavalue":{"value":{"entity-type":"item","numeric-id":3007682,"id":"Q3007682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$1639F0B6-DF3A-4FFD-96A3-15574352C0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6122a690b53da78bbd661f67fb142d629fd3a5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4787213,"id":"Q4787213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453214$A54D8C7C-E82C-4345-A897-3A290E01EA6E","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":"38214a451723840708f927efad61e94e91cbbee4","datavalue":{"value":{"amount":"+0.8128347396850586","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":"Q3453214$C80759DB-20D7-4876-AD0E-A976FE5F2C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cec2ebe1d778cd63ccf57b0287f4cf11f582cd","datavalue":{"value":{"amount":"+0.7589349746704102","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":"Q3453214$7454B51B-53F5-4071-930D-03DA992D5CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54165a1abfde1284f1db1ec08a4ba37edc558444","datavalue":{"value":{"entity-type":"item","numeric-id":4427350,"id":"Q4427350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efee390e3e0da49a65d04ac8d602ad9c369b53fd","datavalue":{"value":{"amount":"+0.7571398615837097","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":"Q3453214$B3618D64-4C4C-4CBC-BF98-29CFB0BDA574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc612c398256282a7234f9abb169713f46b99396","datavalue":{"value":{"entity-type":"item","numeric-id":2181929,"id":"Q2181929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33126d03dd36066373c755ac049468bcd247540f","datavalue":{"value":{"amount":"+0.7460819482803345","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":"Q3453214$DB3010B5-4C50-432B-AB88-C5A43C86A799","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":"50ddc763db97d708e258d7e401d1fdf33cfda7c9","datavalue":{"value":{"amount":"+0.7434110045433044","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":"Q3453214$52176599-A6D1-4B93-BAA5-11BDB49441CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453214"}}}}}