{"entities":{"Q3523106":{"pageid":5553010,"ns":120,"title":"Item:Q3523106","lastrevid":80636087,"modified":"2026-05-06T16:39:20Z","type":"item","id":"Q3523106","labels":{"en":{"language":"en","value":"Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318880"}},"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":"Q3523106$D2DB60B4-568A-42CE-9F1B-313F49EC3317","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac5d32dc5a8ed7df89afc0cce216bd5360d6536d","datavalue":{"value":{"text":"Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523106$CF9538C3-E0C5-4D91-A3FE-3F879C94650F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9675ffb30b74dbcd89506e9c041ad95bb925b31a","datavalue":{"value":"1143.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$3ABDC767-87D7-4502-9025-A83B001B05AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aadf158592bd225a5e1f8ff5317a96177f48020c","datavalue":{"value":"10.1007/978-3-540-78929-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$4C50A388-07E0-4367-BEF9-55315668279D","rank":"normal"}],"P16":[{"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":"Q3523106$0A577C2A-6DED-4048-BDEC-8AFF5C6F2D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$FC768C95-1392-4E37-B963-684A6F34B222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018b85db19ecd3a912145159db4a3476bdaf0189","datavalue":{"value":{"entity-type":"item","numeric-id":547914,"id":"Q547914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$A931E476-6EEB-4E48-89B4-1DEF159064CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$CFA3E8EF-A65E-493E-BE15-F210FE7B5C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523106$5CA7C961-887E-4D26-938B-6DA40A7D657A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$BA70448A-F166-4BAF-AADF-47464FAAB99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$A8151E7C-88DD-4D18-856F-4E19F4B2CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$854FDFEA-EACF-43B1-B74E-3FA32B10477F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa65cb82db12fbd69e9faa5e648c731dae079396","datavalue":{"value":"5318880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$293C1001-0660-4ABC-BBFA-211D603DC1CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$983D93D5-C27F-427D-BCA5-21EEBF619E54","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":"Q3523106$26508751-A80A-43F0-BA37-E1B6245DEEAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fa1f0ee6fc9c0c14a885e5ccb2148edf613287d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78929-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523106$26EB3422-B4AA-4B8B-A70A-4734D5A5C1E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"828ec2c6e8f5772b4f9e07fc05c39a8ecb148ca4","datavalue":{"value":"W2126053898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523106$CEC316CD-69E6-422F-AA9B-848E075A18EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbb5e8f38b940cdd98c1bbe80dcee2ffcae0161","datavalue":{"value":{"entity-type":"item","numeric-id":4404205,"id":"Q4404205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$A9DA0847-1244-4D3C-8572-59878DE4D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$FEB7070D-1B41-4846-8596-E1F1A02C7A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339fb96a8e75b9b57ee808656ca5d76960d8db85","datavalue":{"value":{"entity-type":"item","numeric-id":3434956,"id":"Q3434956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$B26D190B-7AB7-4A4D-BE45-DD4FACC401B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14511b3434fba07b77dec79eceea724900ded85d","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$174D7B67-E447-4E13-AF50-BBC021A3DA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb069f53702ebcb4130c6349536a4829440ca29","datavalue":{"value":{"entity-type":"item","numeric-id":3136505,"id":"Q3136505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$521B7860-23B8-4775-8832-FC9DCD6C1F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$4E169FA7-AF51-4172-979E-B1CF00B844BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$FD63E986-3FA3-4965-880F-9FF4427F121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$1D96B3BB-F7E3-49C6-B500-001155F707A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$DF25A002-4FD9-411E-976A-3EC663143C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35068c5afdf5b314784db44955f1e0af782c6d77","datavalue":{"value":{"entity-type":"item","numeric-id":5703932,"id":"Q5703932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$DB624943-2BBF-4F55-B09C-7F2851A9257B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ff2886f15d08bb695e0fc9e2ac40d6685d03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4953390,"id":"Q4953390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$320F0882-2075-446B-A974-0FDB08EEEA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4279a71d98c650f1f5ea29f2003cd8176b4c8873","datavalue":{"value":{"entity-type":"item","numeric-id":5898991,"id":"Q5898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$C4913162-E67C-4181-899C-94BA8C1DE3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d12a2da8cc8af5999bca8a117656b85079f985e","datavalue":{"value":{"entity-type":"item","numeric-id":5956121,"id":"Q5956121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$4D71E4B6-27E2-4231-8FEB-48CBF771508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$DE38744E-0F5A-4066-88CD-483E2C0D6F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f02169e0d82db34a57f3c9fe58dc5d85c93ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523106$5B834C35-CCCB-4C12-9E4D-C3A5096AC664","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b622d5b7f850224596762e9ab64b66817d0c66dd","datavalue":{"value":{"entity-type":"item","numeric-id":710668,"id":"Q710668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f032816ed79386682b768763b4169f009086230","datavalue":{"value":{"amount":"+0.8805047273635864","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":"Q3523106$1B18DBFC-7747-43FB-9EAF-840360AE84A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25bf178637a996618444d91fe52318057b58363a","datavalue":{"value":{"entity-type":"item","numeric-id":547916,"id":"Q547916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d488e47e278189eef71265b7fa92b938aa41ba0f","datavalue":{"value":{"amount":"+0.8346208930015564","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":"Q3523106$F5B946BD-BFE9-4CAD-A9A1-CDA30F878C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7a626bda9e6943deabea5e935c6a725cd8dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3612955,"id":"Q3612955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfa9f2df7e13d11b69c41db333b1e10c7c44101","datavalue":{"value":{"amount":"+0.8077429533004761","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":"Q3523106$7CFFC5AB-3567-4C55-B6CD-E20744C55367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02218b805563f6fe2e8e7c5305c5377701779feb","datavalue":{"value":{"entity-type":"item","numeric-id":663166,"id":"Q663166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5e7e4de8c2b20744532576c7b31f84cd7acdc7","datavalue":{"value":{"amount":"+0.8043198585510254","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":"Q3523106$6384E003-13C6-4AD0-B5DA-65C700174C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d35fffaa4c92dc867dc629368ae72e8b3891b0","datavalue":{"value":{"entity-type":"item","numeric-id":6104812,"id":"Q6104812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08ebf77107b31ea035ae3a618022e3bf6733a23","datavalue":{"value":{"amount":"+0.7842810750007629","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":"Q3523106$4563D29C-038A-4CB9-9EE3-FB3CEAB97BC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems","badges":[]}}}}}