{"entities":{"Q4633552":{"pageid":6663133,"ns":120,"title":"Item:Q4633552","lastrevid":90104603,"modified":"2026-06-04T19:14:54Z","type":"item","id":"Q4633552","labels":{"en":{"language":"en","value":"Liveness of randomised parameterised systems under arbitrary schedulers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050731"}},"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":"Q4633552$2C2E6E4B-AD66-4F65-AD75-30ABD7672FCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0afcfdfb5218ad09b8292e4838adb571137c8d7c","datavalue":{"value":{"text":"Liveness of Randomised Parameterised Systems under Arbitrary Schedulers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633552$EA7199BC-76BB-477D-BCB7-671D80699A16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b8d7d32586a7758bf1358a375126526560b803f","datavalue":{"value":"1411.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633552$59DB69AE-EC6E-4F55-977B-5E49E5A4D1A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"362ce01ea6de8f3062a6e82c3f596e17574500a0","datavalue":{"value":"10.1007/978-3-319-41540-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633552$BC7D31C6-212D-42AC-B3B4-9F0459A228ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633552$43FA8125-8CB2-4C72-AFC2-DAD9F857F074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633552$277518F4-C5D3-4EDD-83C8-67CCD36ACC39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633552$2BC996E6-C0AB-442F-B8B5-7850CDFD3750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633552$88C9A802-67D5-491D-B28B-8EC80FE37E8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3961e2e872fc2f6a7797cc18175151079262d4e4","datavalue":{"value":"https://arxiv.org/abs/1606.01451","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633552$519549CE-B048-488E-88D4-5D6A04395BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"47859ddb43dd8333fd87d86d66cf81292cc3cde5","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-309990","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633552$D89F59E5-4A90-4650-A49E-D1E884EB0CE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633552$C6EF36D4-D75F-432C-BE8C-E91F576A9715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633552$BD172264-492A-4489-AD6C-1A9D2E29D39C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd9c70aec007e644ae1850030e38510914fd8896","datavalue":{"value":"7050731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633552$FD7627CC-F311-483E-8C94-C6573654635F","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":"Q4633552$6C5120A5-6080-4A49-8340-0D56D296C218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7bcc8e2492c447ec860d97c59be9b49c5826855","datavalue":{"value":"W2478824155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633552$925C5C61-F752-409F-8E27-F78D5C4315D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a8cced7c0637e7503264498c6c8710b4e669e3","datavalue":{"value":{"entity-type":"item","numeric-id":4417853,"id":"Q4417853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1827d4d947bd58c53be912bbb239f2c8f50996b2","datavalue":{"value":{"amount":"+0.783865213394165","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":"Q4633552$A55EAAC1-0662-496F-810D-A16BECCA922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a567f1816959b42acca43a176dc00b09dbf9e0","datavalue":{"value":{"entity-type":"item","numeric-id":2226750,"id":"Q2226750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fa7b5e6810785c46a0d5a16e6ef34c21e22149","datavalue":{"value":{"amount":"+0.7646697163581848","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":"Q4633552$40AFB2E9-AC9B-4B50-8DDF-29C74353F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8727cea6aa4fb4881a31d6a2331b2a9f0ded7d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3296338,"id":"Q3296338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9934f4c9a60e1ef61ca9bab98bcb99de10ee7fa9","datavalue":{"value":{"amount":"+0.7645387053489685","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":"Q4633552$86138817-676B-4E7B-A384-86B9C6FD1FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af53033f2ed04a6f7f1b9d859620013b091db29","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45520e3d97685e653526c98dd65dc5be1a8df73","datavalue":{"value":{"amount":"+0.7641968727111816","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":"Q4633552$7F00595E-AE8E-47D3-8EA1-346D2140449B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Liveness of randomised parameterised systems under arbitrary schedulers","badges":[]}}}}}