{"entities":{"Q4649540":{"pageid":6679121,"ns":120,"title":"Item:Q4649540","lastrevid":58321272,"modified":"2026-04-04T17:24:33Z","type":"item","id":"Q4649540","labels":{"en":{"language":"en","value":"Bounded satisfiability for PCTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109827"}},"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":"Q4649540$69B2AA2B-7B1C-42D3-97F8-B96D2DF52A79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a58dcbc314f36f481b82428465b508372543aa","datavalue":{"value":"1252.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$A04D483F-CAC0-42A9-A634-8A7275BE9DCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649540$C4C2F0F9-32FF-486C-844B-8F8BB5F3F6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c230a0b785564d61a24340635d1989b0735c2a89","datavalue":{"value":{"entity-type":"item","numeric-id":259048,"id":"Q259048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649540$68F629ED-A660-4034-8157-0BF0749A551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649540$61C912CC-337C-486B-9FC0-26059BA714FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649540$9239F8BA-8FDF-4109-BD29-D7F8DF33A79B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f7e0651f222459e092c49e1d31c06c4e0334645","datavalue":{"value":"https://arxiv.org/abs/1204.0469","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649540$0322E28A-592D-490D-B2CB-168C36048553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$40332BEB-0684-4FC2-A67D-3650EC3C839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$BC85BB94-F3FF-4F7E-BE0A-74C6577BD613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$E781D111-3911-4CB4-8C64-673AC170F7E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f02ebc6488d040aeb28a603e9d91430535caf37e","datavalue":{"value":"6109827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$15CA422D-7608-4204-89EC-21A98543081C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649540$CB965E0C-CB1F-4BC4-9582-95841B138F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649540$36A48889-AFBD-4DC3-8187-7F79C7C5AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649540$231BB914-83DB-4260-8D82-65427C3D0B19","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":"Q4649540$FC0945DA-E85C-4F4C-93CC-B2CFE6256F1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4b32c8d7569794bc9e629d0ddc9fa9e6217e7d2","datavalue":{"value":"W2963957680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$B1E1B46C-1B94-408C-BBE2-60E873BB741F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1862ba54ec2d5c92e34931da257abeb075f4d34","datavalue":{"value":{"text":"Bounded Satisfiability for PCTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649540$B5CBBA92-B311-43F8-B2C7-E55F0F5A7623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbc326af3791cafa116ad4778e7a7de147228a0a","datavalue":{"value":"10.4230/LIPICS.CSL.2012.92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649540$1B0DAE8B-E403-466E-BB4B-E6B8CDDB8531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41f1a17c84a20e42684c096b88b1ee9405cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":4635861,"id":"Q4635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e2e725444a02587c1b34f040471aa52dce786e","datavalue":{"value":{"amount":"+0.8165001273155212","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":"Q4649540$BD6198DA-3A6C-4884-9AA2-25EC4809C2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25233e7eb47f7098522faf6316788821040861b","datavalue":{"value":{"entity-type":"item","numeric-id":5009450,"id":"Q5009450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759bfb15faca7517bc43d245bf9dfead2d8304ce","datavalue":{"value":{"amount":"+0.8084869980812073","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":"Q4649540$1653B8B2-9E5E-44D7-9FF3-91EFF4DE8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca25ae9d53b36e89ed53feb9067a23520f3eee71","datavalue":{"value":{"amount":"+0.7690891623497009","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":"Q4649540$94725002-F4E3-40FE-891B-8D3CECD1C371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca25ae9d53b36e89ed53feb9067a23520f3eee71","datavalue":{"value":{"amount":"+0.7690891623497009","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":"Q4649540$6FC3C015-2CAB-4C51-827A-F6104A5221EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9021e837ddd2c2a7502348cf284da4a2a50d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":2894281,"id":"Q2894281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7d4e816a8727957f7a5ab4d42b50721c718945","datavalue":{"value":{"amount":"+0.7620936036109924","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":"Q4649540$1D0D9B5C-D919-4973-9C98-F68216E3BDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649540"}}}}}