{"entities":{"Q5028426":{"pageid":7058003,"ns":120,"title":"Item:Q5028426","lastrevid":98393090,"modified":"2026-06-05T17:24:25Z","type":"item","id":"Q5028426","labels":{"en":{"language":"en","value":"Probabilistic timed automata with one clock and initialised clock-dependent probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471666"}},"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":"Q5028426$74331704-A942-4DC2-9209-FBB3F82D6B99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$D67FE026-378D-4718-9F35-7F8A85DD3A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-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":"Q5028426$50CFE21E-1EF9-4E15-8A0D-45BACBB680DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04eb104444ef5e10475178d35db4f0c75f633a61","datavalue":{"value":"https://arxiv.org/abs/2006.04202","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028426$03063887-4370-47CC-97D2-911B4F15EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5693b6c10bf9b0793b361e6b6e31a4629c223953","datavalue":{"value":"https://lmcs.episciences.org/8652","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028426$A5F14E56-8B42-4084-A443-B0438BD5998C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028426$1EF71190-D2B0-4D39-BFA3-D5144D4BECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028426$5FEAD6C2-C5E9-489A-8CD2-C7453008B1B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93d3a19e1b21cb55aed21b1f7e5d5cd73a65ba40","datavalue":{"value":"7471666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028426$77174DA2-A511-4954-B761-30BBF7F2A269","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028426$5192CF1D-320D-4D03-86CF-BB5E20392F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2833d5e61fd04842c7b0647ed184ef962a4a5099","datavalue":{"value":"interval Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028426$C1A74592-EC0A-4F03-90A2-89B87FFB40BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028426$68615A17-C08B-4941-8D5E-6D6A9FDF64AF","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":"Q5028426$BDD426EA-5D37-427F-BA7C-E776C6BE0654","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$586E7948-FCA4-4B36-BE8B-7B4C449359DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$C32E46B9-D563-4BB3-9143-DC292EA566B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6dc5e3285bf389a62bd58850bec0b7d69476c","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$6E9FAB07-BFFD-4CA2-B71B-B083C00702FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f59f98d960fc44264aad9cb0524c903ffb79d1","datavalue":{"value":{"entity-type":"item","numeric-id":3586089,"id":"Q3586089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$2ECF3D98-71FC-4B31-947A-5C193FA18D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$20A996C7-EE10-45AD-9B8D-1FA4FBEB1B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de997921b426531440a361b7daa6bfd1f9108d45","datavalue":{"value":{"entity-type":"item","numeric-id":1943636,"id":"Q1943636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$2381FC53-89BD-440D-AAB3-0D871D20A108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2ed521c809075a64aefc999119e39a00af8829","datavalue":{"value":{"entity-type":"item","numeric-id":1649575,"id":"Q1649575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$E9BEF051-0D8C-4CA4-B0F5-397E68A86F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a9bf20720929938d57c064ef74c8f9ac5a2094","datavalue":{"value":{"entity-type":"item","numeric-id":5458367,"id":"Q5458367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$1BFD64C6-C1B6-453C-B7B3-C9304FD5BDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58400827380938aad7d677a98b8a5e5ffe76ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$3516B5D4-DE87-44B6-BAD6-F984B513FDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b49d69d76bc721ffe93f299ec0552f08f47dd33","datavalue":{"value":{"entity-type":"item","numeric-id":1583513,"id":"Q1583513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$ED270889-05B2-4194-A591-80E4419AD997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae3c2c20f5e14db423155fb06de62cb253a7b82","datavalue":{"value":{"entity-type":"item","numeric-id":4994959,"id":"Q4994959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$A753083F-3291-42B4-A3D5-36F1586191FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$EE09C97E-5A92-47A4-AB75-730823FA5249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95487db302426a7e48ab59e40ae2b09099ff781f","datavalue":{"value":{"entity-type":"item","numeric-id":2636515,"id":"Q2636515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$1E124AAB-791A-4659-89F8-3D84B75B1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$39213F38-E183-4C31-B92E-0267F1887C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$9A1A7F4B-1E81-4173-BCD7-9EC3575CB3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca0dfbabe87718a98669f948be44f1e94d44e10","datavalue":{"value":{"entity-type":"item","numeric-id":1597639,"id":"Q1597639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$AA3AC83D-DC6E-48DA-8BDC-248955024E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$54D34B0D-E0CC-4387-8744-7642A2F299C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2cc7d02c03df769cfbba5c30a3b9fccf231a54","datavalue":{"value":{"entity-type":"item","numeric-id":5322137,"id":"Q5322137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$1BA96AE7-AF92-47A3-AF50-C03BFE1A8575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd52f10d81f6fb7a14375bf3fc493e0c93aea8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$7FB709E1-F6E3-417B-9B1A-2129068CE5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78da1ee870312cbd9637b6547d8105ccf45fa7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864840,"id":"Q2864840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$9ED4779C-4836-4BA9-A03F-6F1FF21B5B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0269a096f2a875a100dc4d87888bbc032af8ce65","datavalue":{"value":{"entity-type":"item","numeric-id":3780028,"id":"Q3780028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$03F5A5EB-4380-4642-92E8-42A6FA7AE92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb5e300c226f122409d4a590b9013a1adec3433","datavalue":{"value":{"entity-type":"item","numeric-id":1798917,"id":"Q1798917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$A78C39A0-F7AC-40CC-9CD3-407BA6E6D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c0461c38c685f6b93a76a1f2d7da8674263d78","datavalue":{"value":{"entity-type":"item","numeric-id":5041280,"id":"Q5041280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$02564DF8-34F7-42C1-A193-8C68DBC74C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8433d36f9953e72693f38149c06d29f0ff92b1","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$F557F51D-E8BE-4E13-A689-659144A149ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab7b99fe4d21c90a942101abbcf3e9b13527719","datavalue":{"value":{"entity-type":"item","numeric-id":2662678,"id":"Q2662678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$422AA7F7-420E-403F-8A9A-F44FF3C8E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc96b8b60f6ec24ffec7cc77ea727fdcb859df0","datavalue":{"value":{"entity-type":"item","numeric-id":2389641,"id":"Q2389641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028426$0D61784A-409A-4FE1-99FB-A020E4482AF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090b6bb0c3eab0c0676ba96801fa23b4c7206b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5041280,"id":"Q5041280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66f4d96ac12fd7337c5038ffb003aef32ac4beb","datavalue":{"value":{"amount":"+0.9983460307121276","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":"Q5028426$32D6195F-AA74-45FA-B523-E6F73E9AD278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f93fca35aff7bd285b30f3bbca171f54402ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537fd063a2043802b349390d6f81186d982d3233","datavalue":{"value":{"amount":"+0.8180285692214966","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":"Q5028426$902F618C-D502-4DDB-A0FF-295DA8926AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317b41ac22d4de40b461162d87f188bc7bd0c31d","datavalue":{"value":{"entity-type":"item","numeric-id":5758106,"id":"Q5758106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ae0ae381dfd31b234d6161a4d3f751e5160f1c","datavalue":{"value":{"amount":"+0.8133183121681213","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":"Q5028426$74A6694F-722D-4A01-8913-2D8F8E775246","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic timed automata with one clock and initialised clock-dependent probabilities (scientific article; zbMATH DE number 7471666)","badges":[]}}}}}