{"entities":{"Q4933313":{"pageid":6962895,"ns":120,"title":"Item:Q4933313","lastrevid":51101777,"modified":"2026-01-16T16:33:35Z","type":"item","id":"Q4933313","labels":{"en":{"language":"en","value":"Superposition-based analysis of first-order probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798904"}},"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":"Q4933313$A2123E12-C563-41CB-A6FC-82CD021F01CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93f7f77e3c6c9115ef657f523c137c8e051e06d4","datavalue":{"value":{"text":"Superposition-Based Analysis of First-Order Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933313$95E0AB23-26A8-4F14-AFF5-5B725463E09C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb5c4ae124d120a0452fcd1f6ff7cc80bb185862","datavalue":{"value":"1306.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$F9E0D06C-0A63-4525-98AE-7A34DB9585BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5551d056b3f953877809584448b7a87b4df9b12","datavalue":{"value":"10.1007/978-3-642-16242-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$AE043283-12D5-42A6-9907-8F89287F91FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef16cf0ac7c5453ce39911865487b110cabbd361","datavalue":{"value":{"entity-type":"item","numeric-id":1037395,"id":"Q1037395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933313$655F1154-AC7C-4C6E-9A61-B97A54D43B7D","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":"Q4933313$38928536-60A4-4925-862B-BA5EDC386391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933313$1F4CB8D6-F3EB-4CC3-BC03-41CBC428E143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933313$9BB0F4F1-D478-4BF5-A87B-39F428763D5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933313$58947919-64E7-4DE9-9130-A32CEDA2E2F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$F0F2F454-4B2B-4D8E-B3C7-FE56877D15D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$D055ABBA-FF9C-4724-B76A-7AA6DBDFF350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$3A9CC78D-2095-4B04-9CF1-A07D4BDFF707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$EEFFBE27-EF7E-4882-ABFB-E7CB41C4D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$F327B3C8-27A9-46DF-B780-3F0D522BCED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$FBA027E4-3F5A-44B5-8B1C-7A83CDD78057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4076919ee737acc214ad8f9f5c026381aef5f792","datavalue":{"value":"5798904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$13105221-42AB-4501-B9EA-0C495DF1F1D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933313$5AE9263E-F19E-413C-AA1E-2D4808C4F8A0","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":"Q4933313$AE06D381-9A40-4910-A76D-AED6C7E073EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aa5031d654e5f69fe7c4e3cd1e513c9f7d90e46","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933313$04A3C9FA-6E81-47B3-B7D0-DF20A44A28C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b342687f6a170691905712eb29411077a5d1e5d","datavalue":{"value":"W2996581847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933313$D684B2D9-96D1-49A3-8F43-749BF7665A2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd91e6985b3d777f11a2b3e9af503181710f00c","datavalue":{"value":{"entity-type":"item","numeric-id":1949086,"id":"Q1949086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b69b007cf8abdf38cb9a11501fbcb403cfca72e","datavalue":{"value":{"amount":"+0.7861277461051941","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":"Q4933313$4A10330C-3AD1-4EAA-AB20-F92D2EDA40AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5578886dae55be9064c74c3a551bc159a1c1ddbf","datavalue":{"value":{"amount":"+0.7625513672828674","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":"Q4933313$230E8A97-1501-4BB9-90C9-98F48988889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08485e33bea3209e772fb8a642cde6560ed56dd5","datavalue":{"value":{"entity-type":"item","numeric-id":1791206,"id":"Q1791206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8578254e7a04092ed092bda635590c9eba17b1","datavalue":{"value":{"amount":"+0.7532628178596497","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":"Q4933313$DD84200C-8462-4FE1-99B0-334E6E50C285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ff215939eff046a645251203d7bbe8ad60bd87","datavalue":{"value":{"amount":"+0.7368252873420715","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":"Q4933313$F08FA391-6843-43C5-8CD6-37B66FA3069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de26ba4dd63a5f21b6bd9c402996fff7d643103","datavalue":{"value":{"amount":"+0.7343304753303528","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":"Q4933313$E6D8665D-1789-4C5D-A931-47534B0D08A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933313"}}}}}