{"entities":{"Q5741469":{"pageid":7771020,"ns":120,"title":"Item:Q5741469","lastrevid":52579820,"modified":"2026-01-23T00:53:39Z","type":"item","id":"Q5741469","labels":{"en":{"language":"en","value":"BDD-guided clause generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6605758"}},"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":"Q5741469$BEBD4089-F071-4CBD-B8DE-2606119593A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af226135dd8b35cebc1cda122e64dc1d0c69edd8","datavalue":{"value":{"text":"BDD-Guided Clause Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741469$7D3CCE9F-33C1-44FF-BC52-E065EDE77378","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7454ce4237e0f85229c909dd5549a7a99c9cd308","datavalue":{"value":"1459.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$3971541E-1CA3-4152-AAE9-8673BF3A9B5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aba71d9a770c876e9c94918e98bb0be4fcba916","datavalue":{"value":"10.1007/978-3-319-18008-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$5405EE8E-A6AE-434A-AE3A-F026E752D647","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bced63c6ac43722e11201cc9ac85fe512b55f94d","datavalue":{"value":{"entity-type":"item","numeric-id":1694680,"id":"Q1694680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741469$0E889BD0-E5B2-4335-9950-436C8116AE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741469$A4DECADF-985F-4A59-9F83-46AB63EF5F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f0739bbccf85a65abe2caac01d750d4ac30739","datavalue":{"value":{"entity-type":"item","numeric-id":5741468,"id":"Q5741468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741469$B7BBFADF-1BCA-4483-8CE2-27C1E2271A82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b1652380338ae242279135a846e7aa433b3b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2815089,"id":"Q2815089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741469$4807D9B5-BE66-44B8-974F-4C54D7E5EE01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6174f0f308bfe5451a1e92e04ac4da80f563ab47","datavalue":{"value":{"time":"+2016-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741469$2AAD8280-3284-459C-91A7-6B1CA30A1CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$423347DF-F9B2-45AC-967D-2AE9D074BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$364C7703-7418-4579-9006-42465CCB9E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$77DDDC8B-501A-44B7-ABF9-4AD2062DDB24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1177a9f00cd0fc0513360492eef762f66c4f9d80","datavalue":{"value":"6605758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$28495D1B-1816-493C-AED6-49A623511C61","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":"Q5741469$C62B6210-E751-4A82-A361-56FA0A85F81A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bee661e864b487d0e5f5daddba5e86e8346a499","datavalue":{"value":"https://doi.org/10.1007/978-3-319-18008-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741469$33FF3305-3D6E-413E-9AFA-3675317ECD3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2c7376abf24d82d04f4119da846a3981508ceb0","datavalue":{"value":"W807127281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741469$ACB875E3-D0EC-401B-B967-6B31BD1DA44C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972ee0921f1e8ce5931a7e9582921476798ba028","datavalue":{"value":{"amount":"+0.7855134010314941","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":"Q5741469$B425E534-AAAB-43E5-9F39-DEB6247B370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbd40e4696f0fd5ddfba1637da940af21d4683c","datavalue":{"value":{"entity-type":"item","numeric-id":2630816,"id":"Q2630816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f31e98bf40a41d6193fc1a8e25f82ea6f697ca8","datavalue":{"value":{"amount":"+0.765949547290802","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":"Q5741469$EC8CC7EB-E572-4758-BB4E-B01F0AE421A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c210f9e2458dfa15182c6ccc9e2738760db6d8","datavalue":{"value":{"amount":"+0.7649513483047485","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":"Q5741469$6B714181-0509-4764-AF8C-E4F1A7E5B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e0c030e8dbc614e4322a184d68187bdd818b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587716,"id":"Q3587716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc2446934da52de262afd80c88dee0692a0b270","datavalue":{"value":{"amount":"+0.7626760601997375","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":"Q5741469$14599B0C-58A2-4EE0-A0B2-6ECFF7F819F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d653b564b78faf4f12af25646bbfe2afa342f3","datavalue":{"value":{"entity-type":"item","numeric-id":5325865,"id":"Q5325865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4602d0264df559c16a5c48b1930b334dde2b922","datavalue":{"value":{"amount":"+0.7540008425712585","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":"Q5741469$C5D14FDF-F244-4337-BB27-2F855512BCBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741469"}}}}}