{"entities":{"Q6174528":{"pageid":13309416,"ns":120,"title":"Item:Q6174528","lastrevid":94073540,"modified":"2026-06-05T05:48:42Z","type":"item","id":"Q6174528","labels":{"en":{"language":"en","value":"SMT sampling via model-guided approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728837"}},"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":"Q6174528$EE44A8B3-5C28-43C9-851B-2F1FFC340BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36b36e259a46a04c1f96874468c8a4986608834","datavalue":{"value":{"text":"SMT sampling via model-guided approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174528$4A897984-CF28-40A2-AC4C-71B42E6BE088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02754ed2051e316261fc2dd8c5bbcb0672926e37","datavalue":{"value":"1529.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174528$44179EE8-2D86-409B-A99E-63518622DA12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b331ee05d5c6f5d07068bb87628093d654ecb66","datavalue":{"value":"10.1007/978-3-031-27481-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174528$82B4EC43-78AA-439A-A83F-40F438514243","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0fcfb02cea233080a598f9e97432641297d4f9","datavalue":{"value":{"entity-type":"item","numeric-id":6174527,"id":"Q6174527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$B2495E0A-82CE-421C-813A-D86E2490586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff1cd0d70de11eb728d61f3a042d97b17144bb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2226764,"id":"Q2226764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$30250A32-BE01-40CF-831D-54D67A40C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$66AED47E-F8A8-4D03-8918-AB3568D763A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$ED12FB6B-0546-481B-BB2B-06AEE7C50689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174528$7FD2EA45-A076-4D00-A9BA-42F19BB269D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee74b9d8155762a9cc80c9d809c3142a812c4d92","datavalue":{"value":"https://arxiv.org/abs/2212.06472","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174528$B6842A15-24A7-44E4-B908-1484059083C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174528$ED92ADE1-5B27-4BC9-8652-3E05A632144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174528$255B5773-A857-4455-8005-1C9D49F9232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174528$FE6C618F-B492-4A7E-8019-5798616C8A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7c9ba131a872d745c0a5eb299c898ebeff68427","datavalue":{"value":"7728837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174528$9209B753-5884-495B-942E-93C88CF14DEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba995d8a1ea1d482cb71dc1dbcca5d83976758b","datavalue":{"value":"SMT sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174528$E5FB2374-2827-45A9-9B10-FB0B402CE039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220c90ff868b9bbe54e333a97627456654c26eb5","datavalue":{"value":"under-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174528$547013FF-B7C3-4B27-BA3C-02C109C2F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174528$FD636621-34F8-4B38-BFE0-8E731AB09215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600d652f22c3de99ff3c4b116f80566d88f0d840","datavalue":{"value":"model-guided approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174528$98E798CE-0893-4013-8587-5EB1BF34E63F","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":"Q6174528$FB82F9C6-510F-43BF-AA70-D1534BEF0043","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8ecb2f5459ec5120e3e2a395d043ec206c9a42","datavalue":{"value":{"entity-type":"item","numeric-id":1656573,"id":"Q1656573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$F875F585-67BD-4DC9-AEDF-2552FFE20BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959ed3943a15ae80b504f9845be1c8a7c5425342","datavalue":{"value":{"entity-type":"item","numeric-id":3100380,"id":"Q3100380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$99F91F2F-A515-4637-AC69-DDFD91907D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09206fde3d946f36f56cc0c3636d596e4c86a679","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$C698CD78-D062-46E5-82B3-ED63AF1453C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$46F932B4-49DC-4232-9176-D6794D76FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$E3760DE1-9DB5-41C4-9DEC-5C40C133F4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$5655C781-D874-4F68-BCB6-ACC0DF822376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87158d175fb35e1bd21ea6ebc86be071dc0ff1bd","datavalue":{"value":{"entity-type":"item","numeric-id":3033291,"id":"Q3033291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$9924EC23-6B61-406B-AAB6-67FFFE599681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741e30ceb0a83e043199aa0c9fefa3fb42ab37d6","datavalue":{"value":{"entity-type":"item","numeric-id":5624533,"id":"Q5624533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$25A19A95-D6BE-4950-B9B8-F34F14A3535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$D699D275-055B-4AB1-9CAD-860F1D528E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c86a5e28d6c51eaa2a99b16c606b0ac4b53517f","datavalue":{"value":{"entity-type":"item","numeric-id":3007690,"id":"Q3007690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$7217671F-E852-4E31-B050-1CE63A268F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce988b655ef5f7e61ebae1da2029a26a8fd66977","datavalue":{"value":{"entity-type":"item","numeric-id":5222984,"id":"Q5222984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174528$FA1DEECA-CA01-4D2C-AB8A-44EA47EB2699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9c38c035f02da5797fe202788101ea54c4e173","datavalue":{"value":{"amount":"+0.7431593537330627","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":"Q6174528$FF8469C9-D74C-4E70-BA03-ACB484D7817F","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":"5bca1f0e336ec778efd2fe0c30a647d2abcaceeb","datavalue":{"value":{"amount":"+0.7369204163551331","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":"Q6174528$3CB0A6E1-5C69-4FC3-A4FA-E9DD87EE164E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc0de09a2afea9a1626d45e744ea455012c8813","datavalue":{"value":{"entity-type":"item","numeric-id":5194954,"id":"Q5194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f09530d468fb6e27b7636378b037a5aa5ec8055","datavalue":{"value":{"amount":"+0.7186129093170166","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":"Q6174528$541BBB43-08AA-4721-A580-23D3287B9C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1db8002b6915e68a9f0bc0f41875e6e57a8367","datavalue":{"value":{"entity-type":"item","numeric-id":1683928,"id":"Q1683928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525e1b8a3fccaf97df70bfa308dfc96481ba709","datavalue":{"value":{"amount":"+0.7164234519004822","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":"Q6174528$26654B73-BF12-4D1C-B220-0A34E76BCBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8bb1e1afec84f33c6bb199e7c8906414e60e04","datavalue":{"value":{"entity-type":"item","numeric-id":1656573,"id":"Q1656573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca5f19acc1292c7a9a2b553ac40226862136b97","datavalue":{"value":{"amount":"+0.7150432467460632","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":"Q6174528$A6494255-7F6F-4BB0-AA6E-44017288D61E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SMT sampling via model-guided approximation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SMT_sampling_via_model-guided_approximation"}}}}}