{"entities":{"Q3447707":{"pageid":5185594,"ns":120,"title":"Item:Q3447707","lastrevid":88239398,"modified":"2026-06-04T14:00:12Z","type":"item","id":"Q3447707","labels":{"en":{"language":"en","value":"Generalized Craig interpolation for stochastic satisfiability modulo theory problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499393"}},"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":"Q3447707$BF6E6068-DA0B-41E6-AF53-0F7F962547E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dcfed694e357f38a46d68bc67a434c2f45c2660","datavalue":{"value":{"text":"Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447707$7FF10019-6F49-45A0-8054-CD6A7939AC1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99a25f84faad92aa410884f7df13185afd680b75","datavalue":{"value":"1448.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$92252B8B-E771-4322-94E0-B8C03CD917B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc0c3c34e6e9b1b4d89385ba398ca1793ccba2e","datavalue":{"value":"10.1007/978-3-319-11439-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$6241D35D-9402-438A-9C4F-9CE79AE3AE97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"673aaa52eca2a9cad8b9d8981322c5cef0a20844","datavalue":{"value":{"entity-type":"item","numeric-id":3447706,"id":"Q3447706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447707$6877E2AB-3BD5-4C3F-BD60-11A693FC19C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447707$579CA9BE-68D5-4ED9-9073-0FB4BCF07BBA","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":"Q3447707$86EB3D00-FF57-4359-B11C-D4B8B8E9E248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447707$3EAA48C5-AA4A-483A-8768-FF51945204E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$66F843B0-BACE-40A8-B996-C03DC91B0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$3C355F52-65CC-4286-AC14-ACDEF05FF2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$C2DC7F45-6420-4E59-A184-1C8591BE9E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$050C4CBF-663B-4991-A09A-4C5BDA4AFE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$68D2BE8F-E5E8-4C19-AC88-256D1D1960CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8639457c8fa51ae2cb5531c920885bf3adf4e56e","datavalue":{"value":"6499393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$559BEAEE-0ABF-4ED7-AA8B-6D97909C8A29","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":"Q3447707$1D99C604-6AED-4FC7-81DE-0046E880056D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bc5ed090f11a5d944eec9a74e7142f384316b4a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11439-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447707$1CE12136-B21F-4471-870C-D94281B66729","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbaab0703145f15fed49ad0ade24bebb845d32d9","datavalue":{"value":"W146360722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447707$956A6739-354B-4026-B265-136F154690E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea804024f7ccd7c2da167d9c6c945e02ffdf072","datavalue":{"value":{"entity-type":"item","numeric-id":3000643,"id":"Q3000643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df28349873e6cc0598dba706acf5d96b9c741be","datavalue":{"value":{"amount":"+0.9229914546012878","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":"Q3447707$377A558B-3345-423D-9E6B-CE70275C29E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c26e187be2cfe9cdd455f006141175e71978d0","datavalue":{"value":{"entity-type":"item","numeric-id":2895477,"id":"Q2895477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727df8f2dd6fed38767e3485720dc410ad216712","datavalue":{"value":{"amount":"+0.8934324979782104","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":"Q3447707$01AC148C-BB54-43DC-A902-86D48E5D5F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5d149732dad07e2a62c18f8f87d63211639603","datavalue":{"value":{"amount":"+0.7862573266029358","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":"Q3447707$09C9231B-CBB2-4997-81F1-9DC339609620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f754bdf912eb9b6aed20d0b7a354284c47bd11","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24db9034a0573c1385df60a5e9194c31dcf7453c","datavalue":{"value":{"amount":"+0.7843674421310425","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":"Q3447707$86567221-728B-4DFF-8B2F-D84011E0B13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89dbb15b892cff2f017253eeff9ee21c526689af","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50ba3e4e98902600dda9195ede3674b72f2966a","datavalue":{"value":{"amount":"+0.7756283283233643","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":"Q3447707$3DC3E3B8-FAB2-43B5-8321-42D5D24AEAA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Craig interpolation for stochastic satisfiability modulo theory problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Craig_interpolation_for_stochastic_satisfiability_modulo_theory_problems"}}}}}