{"entities":{"Q5408417":{"pageid":7437991,"ns":120,"title":"Item:Q5408417","lastrevid":96142868,"modified":"2026-06-05T10:31:10Z","type":"item","id":"Q5408417","labels":{"en":{"language":"en","value":"Bridging Boolean and quantitative synthesis using smoothed proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282423"}},"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":"Q5408417$F3177239-B1F3-4609-8528-E53467131CD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7372ca5287ff0d89c811447bb6e25a8ea9e28e7","datavalue":{"value":{"text":"Bridging boolean and quantitative synthesis using smoothed proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408417$B56CEDFC-2DA6-4B87-B860-DAC46DE3D0C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46eb948f772e80e040a8e027b35873a98256585b","datavalue":{"value":"1284.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$F85D8E8E-EEDB-4DB5-9A3C-8A178D727741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6168a51f776f48640d4cb7f4d497b28ec3d2b610","datavalue":{"value":"10.1145/2535838.2535859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$13658364-8A44-4225-A077-2950C4D06611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a79f3b409f94f1ce850864706ce220316e5542","datavalue":{"value":{"entity-type":"item","numeric-id":1653003,"id":"Q1653003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408417$257956E1-B096-4AED-BDA5-D0BA8E31F3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61247a6cfacb9eeb3a3ab0f75e5af171f5c6f881","datavalue":{"value":{"entity-type":"item","numeric-id":5195285,"id":"Q5195285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408417$C82E465B-674F-455D-BB28-4D4D6496E00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9a329582a17529513860d399d3bb4fd06a6d9e0","datavalue":{"value":{"entity-type":"item","numeric-id":2818023,"id":"Q2818023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408417$C4CA5BD4-AC9B-445E-8A71-1FD2C4516CB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408417$5952ADF8-51F2-43CB-90A4-D1913C031B5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408417$83C4C35C-417E-4BCD-9A62-EFF85050D54C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$5EB9B2DC-9C4B-4C91-A165-74A12E3D76FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$095E26FD-9E6C-41C0-BC8D-49DDDFA3C437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$3256458D-D37B-4595-AAB9-616AB72D6B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$9C209E13-B9BB-4C5E-9562-E25883EFFC05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcbd3139a52ec77d66df7f2bb7d3b49a6ab76c57","datavalue":{"value":"6282423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$07D250DE-B818-4FCF-951E-B209E5215531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408417$64D6EE00-6268-4002-9192-C1048339E284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408417$59651B60-C567-4E30-AF79-22179E1042FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408417$697FBBF3-7346-4C6F-83DA-36DDA4C361EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c636a2547f8d63f44eb5b3f322459baf442d70ba","datavalue":{"value":"program smoothing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408417$ECEF1573-DA53-4293-A4D4-83DE553BB5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408417$B0FF2199-1F38-47E2-AA57-FF6C081BB831","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":"Q5408417$B05C05E4-DB82-422A-A910-94BF2316913F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"499f3234553d2b181b18ed6a708df9e5aaba47ec","datavalue":{"value":"https://doi.org/10.1145/2535838.2535859","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408417$7A05ADF7-668D-418A-A555-063C491573F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"577f50249f81b5c01bc21676ae9a2b79870628ec","datavalue":{"value":"W3014235357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408417$8F821505-06F1-4C15-9284-BEC257ADBE91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc1b935c4ef1f7c1db37718510d4922a9cea460","datavalue":{"value":{"entity-type":"item","numeric-id":6109587,"id":"Q6109587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2b80e94fef828dd7286124784f0f34d6ec5005","datavalue":{"value":{"amount":"+0.7425846457481384","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":"Q5408417$7DDE7B21-F78A-4D48-B1CF-1CBE9B87470A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be946f02e692896d7a0e357d6887a420cde4b641","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71a1c493498d302bd1a7b1278acb60dc589410d","datavalue":{"value":{"amount":"+0.7118398547172546","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":"Q5408417$C8F92082-D519-4978-8593-A5FC94718A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a786592cf3bec7cca2ad40165966b5fdf1f90c","datavalue":{"value":{"entity-type":"item","numeric-id":1990499,"id":"Q1990499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ce399da30cc83e5e938c8b6c93db0e23ef2faa","datavalue":{"value":{"amount":"+0.7099612355232239","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":"Q5408417$95CA0BA4-5328-486C-BEC4-9DF31ABFF11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dc29971954425bc7712e86b4962700f69939dc","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed7c33deefcfbaf56feea8ef1ed56bc9f6ae53d","datavalue":{"value":{"amount":"+0.7096841335296631","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":"Q5408417$CAB3613A-FDA6-4D1A-9BB1-8D1D485EBC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dfdd8adea59d529b85c88f8fefe8d8253c31e3","datavalue":{"value":{"amount":"+0.702917218208313","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":"Q5408417$72BDFEC7-0BEF-4564-B2F3-B8125CF78953","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bridging Boolean and quantitative synthesis using smoothed proof search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bridging_Boolean_and_quantitative_synthesis_using_smoothed_proof_search"}}}}}