{"entities":{"Q4992525":{"pageid":7022102,"ns":120,"title":"Item:Q4992525","lastrevid":58390164,"modified":"2026-04-05T00:27:58Z","type":"item","id":"Q4992525","labels":{"en":{"language":"en","value":"Modal specifications for probabilistic timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356923"}},"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":"Q4992525$B2E42485-1498-4848-906C-50B8047AF4BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33a35c3bf64ced2f901bea11a0985e67ed457401","datavalue":{"value":"1464.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992525$08939B48-73D6-408E-B9E3-911A302E79A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992525$917D4C32-BE3D-461A-BA88-2791710A9DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b95012edfb330af432b65fe252c46d99aeb72ab","datavalue":{"value":{"entity-type":"item","numeric-id":608352,"id":"Q608352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992525$FEE40D42-768E-4A72-8476-086A204573DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992525$268E122F-F2BB-454B-9BBA-793B6A0462EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992525$6D27605B-68A3-498F-9955-04C6C27A944D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992525$FF7E08F0-7E54-4C4C-9082-816DB5D54DDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8a6cfd227afa4efaa0ca0320e0da8c682abaf5e","datavalue":{"value":"https://arxiv.org/abs/1306.2695","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992525$6525084C-F356-4F8D-ABAA-96CF0ABAE5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3bc0c7b84f30bfc3d25740388337b3beff713c0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2013.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992525$852A0619-9566-4353-9F97-2C8E3DA2E194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992525$5D2144D6-75A6-40F8-B263-65F1EB3C566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992525$4AB45957-ED41-4A48-BA82-CEC8CFC66947","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a829a7f8369fa876f1c024415d292cc96aa25152","datavalue":{"value":"7356923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992525$D200489B-5679-4EC2-B340-14FAAFF820DD","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":"Q4992525$786A2E62-BE54-4D21-B828-A755F57C18D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a2d919e61b5868396aa0a337ab45e0ed312249","datavalue":{"value":{"entity-type":"item","numeric-id":1951603,"id":"Q1951603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77927e7f7b02acb13f016ea2470828211059329c","datavalue":{"value":{"amount":"+0.8314822912216187","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":"Q4992525$1F765D7D-4A19-4D1C-B086-1BBA32444B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b05de137f3b926136982958b1ca99722a1ca7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a498f2e4d04a442a2199e72005612ed957c3bf0","datavalue":{"value":{"amount":"+0.828640878200531","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":"Q4992525$838AA023-C7EE-4E73-9F6D-B57B5DF01064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaea121a8afd5bc58d197eda7e3576390f33abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848870,"id":"Q2848870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec9af2367cc7cde561303190807770d2d2a9add","datavalue":{"value":{"amount":"+0.7920955419540405","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":"Q4992525$552FD9CA-2F2A-4681-A155-E7928A6E1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a7b5b0e1d5bd801b77869d7b6ffa9693b1e5f","datavalue":{"value":{"entity-type":"item","numeric-id":386011,"id":"Q386011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c8c7229b2d8351dbca1363d5a84744e0272bc6","datavalue":{"value":{"amount":"+0.7883957028388977","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":"Q4992525$F572B2FB-7B40-444C-A886-838EDEBAAEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0add54a764ac02f2329798cc005bc54762c5966d","datavalue":{"value":{"entity-type":"item","numeric-id":3075492,"id":"Q3075492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff791cffb3c6998f0661f62b8d0fce23a2875f15","datavalue":{"value":{"amount":"+0.7861676216125488","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":"Q4992525$153F4E35-44A9-4376-BF37-827E42BC52F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992525"}}}}}