{"entities":{"Q2453113":{"pageid":2463856,"ns":120,"title":"Item:Q2453113","lastrevid":73199529,"modified":"2026-04-14T14:57:06Z","type":"item","id":"Q2453113","labels":{"en":{"language":"en","value":"A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301506"}},"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":"Q2453113$A71D7E91-24D0-4615-8D05-5E36E76800CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c36b91983f78b60d5858e686488670041f8d7cc5","datavalue":{"value":{"text":"A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453113$C4B5A9C7-F4B0-42DF-B973-540964CA3D7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e83cd0d9b37864737b221cfb9c4daa09b2f329a7","datavalue":{"value":"1359.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453113$E6E441A1-DD8E-4EF7-B909-ABD08EB74C61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a5c78dabd7f98a4b2ab7b669bf2f2efb708a364","datavalue":{"value":{"entity-type":"item","numeric-id":1708657,"id":"Q1708657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$F3D23A88-017E-4943-992E-BD14D937E006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d8205f7645ace19f38d4b0abd4fd4de5774377b","datavalue":{"value":{"entity-type":"item","numeric-id":507379,"id":"Q507379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$3BE420B5-C4A7-49FB-A561-53B8CE892AE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$269DA574-7693-4A33-9195-C7E645518F27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453113$BB124AC7-1CAA-4BE2-9DBA-4052B01A0D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453113$9D80204F-96CE-456E-A14E-147548468B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453113$645A47B5-E88A-4842-9B3E-D68B9B850FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e172f5d49a52676b9f8b0e27df8f8f958137f93d","datavalue":{"value":"6301506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453113$0FB0F86F-8219-4461-8366-FCAA98BDA307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbabf7897b2a9be533db1a019085edc14cbe09a","datavalue":{"value":"confluence reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453113$1699FE4A-0353-4D12-9710-9AC74BD128FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453113$197578EF-6A18-4EB8-B11D-AC00B3098AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46d7f56825d9ab0ad2b32c95f35bf7c7d87fabc","datavalue":{"value":"ample sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453113$95C3580B-5CB7-4F1F-957D-2FBA6377FE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35a8f798315cc68b1617b955ce96608fae2fadf","datavalue":{"value":"probabilistic branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453113$A1AD3A8B-4D66-4066-95D7-92215F41E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453113$0BF12BF2-9B0B-4AC4-8CB9-219534B76B40","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":"Q2453113$CDC952BF-DBE4-4401-BC51-8DFC3A72E5D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20b3300f4b72741dd547e6e42237ea6650cf4463","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453113$2CDD4BB9-4BF0-4D20-89E3-BECE82FB710F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c858a6e87c462a1c7497e5d0b72e37e6f48e3ae8","datavalue":{"value":"W2134121859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453113$953AF5DA-BE70-4EFF-B090-2EA2C6C48CA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$1587E1D7-E7AE-47A3-AE2A-D311B1AF3EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23b6e54a49f6404b1becb9f5148a66c34076cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$351CC44C-3B09-4248-8A89-DD3557B057A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$4DF57C7B-0649-42BD-9575-69469F50BA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$BF0650B3-8207-4A55-A2D4-5876A7B42E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad93712811507c309cb8b4872ceb4d0fd95fbd52","datavalue":{"value":{"entity-type":"item","numeric-id":3184684,"id":"Q3184684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$7AE9222C-6547-4912-92E9-607DE30DC02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74427509d935e48ef4816006dd3f8083921199b8","datavalue":{"value":{"entity-type":"item","numeric-id":3648696,"id":"Q3648696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$E92AFED0-4C0D-48DE-8DA3-4ADBC1A470EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e86dde2ce252b353fcf619267682a107fb13c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$C70D64B7-7F4A-403E-9F31-A2C4BA6F600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fc7f17988ce0e0429ab759ddfd29ad9a08df14","datavalue":{"value":{"entity-type":"item","numeric-id":4813198,"id":"Q4813198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$39615DD5-733C-4D9F-B56B-DD39FEC5AB1F","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":"Q2453113$F5A10D31-5282-4398-8A27-9A9C96B601F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a70145a65c17f218441b1c74c9ac9f02f2de86a","datavalue":{"value":{"entity-type":"item","numeric-id":1194331,"id":"Q1194331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453113$3E5E9FD8-E320-4F70-BDE5-23E1A317B1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cc4186c690fa5315496a17ec72d9cf6d08e7a8a","datavalue":{"value":"10.1016/J.TCS.2013.07.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453113$6232553D-8519-471B-BD14-59AA27A3D726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3227006ca64fbafff61ebd42d18f42173e0eec53","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9d78086503ab3daf7580334532c298c49661d4","datavalue":{"value":{"amount":"+0.7836127281188965","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":"Q2453113$DC8AD5CA-6B6D-4F76-90F2-E5295DC9F5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ba4387f742c5d23b1be138dcc40a489b1369c","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c17bce241acea730b93bada330e59628b2324e","datavalue":{"value":{"amount":"+0.7591779828071594","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":"Q2453113$24D7C35B-E128-4D52-B963-445A46862E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a869d7bba5b398b20a3fb2403c7d75ecd928d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4536374,"id":"Q4536374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff1182d19ac4558bac5fc5edd945a628244d7bc","datavalue":{"value":{"amount":"+0.7368492484092712","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":"Q2453113$152E9764-DF69-4DEF-9C28-58E6E515234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffca0cd307af99680e1f943a19631eb6e927124","datavalue":{"value":{"entity-type":"item","numeric-id":507382,"id":"Q507382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2062974a9f98d9deb44ba2b4dd01a0444d0e23d","datavalue":{"value":{"amount":"+0.728528618812561","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":"Q2453113$CDFF17AE-BC10-435E-A23F-950B50866F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1830dd32ca52a309d97951d09880267f2ed339b2","datavalue":{"value":{"amount":"+0.7275524139404297","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":"Q2453113$9B818F83-D035-4356-A5C9-C18953B81AC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_confluence_and_ample_sets_in_probabilistic_and_non-probabilistic_branching_time"}}}}}