{"entities":{"Q875517":{"pageid":877365,"ns":120,"title":"Item:Q875517","lastrevid":65039304,"modified":"2026-04-11T23:54:29Z","type":"item","id":"Q875517","labels":{"en":{"language":"en","value":"Axiomatizations for probabilistic finite-state behaviors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142390"}},"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":"Q875517$6CF0DB54-48CC-41AC-828E-940EC9B7577C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bf1eddb89f74ab4f88f548f9a7976f92bdf9882","datavalue":{"value":{"text":"Axiomatizations for probabilistic finite-state behaviors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q875517$800CA2D9-9985-4355-AC04-C3A48A917F26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8d8411a9c7fa43e1365a8cae582f09addc6ec17","datavalue":{"value":"1111.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875517$81A8566D-CAA2-4C71-88D6-73434A6E9A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$1F659061-1478-46A4-BD91-D24F210FF61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$D8DA59FF-59B8-4AC7-9E70-FAD3F72F0A43","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":"Q875517$AC385019-344C-4505-AEB0-58DC6A2017E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q875517$A219BC0A-EC17-47BF-8729-F40EE2898FC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875517$0F463707-D2A2-4BD0-88B7-92C00BB4FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875517$3FAF044C-61ED-4563-9FFE-9B7600B62321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c4285e777aa249f38f5f30c37a6559516b97809","datavalue":{"value":"5142390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875517$090A2729-74F0-4FB9-9B31-F0C25C03EFC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q875517$56CB738C-2E31-4EEE-BEF9-8B55B9965E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q875517$DBDE5D93-C797-45D1-8BAF-9D79D844A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q875517$90EEB7B6-C6C6-44AD-ACB1-7A0A7270BACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q875517$3A685593-EF05-4CED-B892-AAD0C1BB9706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7988d6e2a15b70f386d1c36238312f63eef396d","datavalue":{"value":"behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q875517$5ABDD6A9-182C-4362-8CEB-04BAD3EDDBE2","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":"Q875517$097A59E0-E6B2-4FA6-8E9D-2161E0166285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17a197117abd1fb16fb9ae22e0cad4bacebba0ac","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q875517$C4B61450-41C3-43B4-8216-9243628B5444","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9950f81ce0a737619f840115eaf42dda08812563","datavalue":{"value":"W2152398409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875517$8F456386-19F2-4FE3-9105-F36F98A92E46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c892f6716ab3c44f387fbe3d967748617d6aee94","datavalue":{"value":{"entity-type":"item","numeric-id":2996139,"id":"Q2996139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$88E48DFA-F635-49CD-8AE9-C82D8E42ED72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0eb5674f5aee2d2425c47370db13662fd90f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$CCE5A692-DACF-4276-9931-C94C79517F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215c24ea925c1d72b08f750cc9960d8b6c67b38f","datavalue":{"value":{"entity-type":"item","numeric-id":1899914,"id":"Q1899914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$A28144A3-5D79-40F3-97B7-4945CA23C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$61171AFD-A4F6-4E9B-BAA5-EFAE45F38566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$EFDA08EE-DBCA-4374-BC08-63FFBE4E3E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7f41066e9f4c31755bb0d6f58077d78d50178","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$8D8B0EDD-3432-4134-94E0-D873D6BBA617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249ab90415ee5445f74cf15f703666c408a659c3","datavalue":{"value":{"entity-type":"item","numeric-id":1884877,"id":"Q1884877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$DA83F957-5A42-413C-844D-7492F1ED8FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1229ad2aa3510ac5312937653e250f744214a4","datavalue":{"value":{"entity-type":"item","numeric-id":4508299,"id":"Q4508299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$B7D41A69-09DD-42D6-82A5-1B4604D23887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$22FB73E4-9900-4075-B95D-D43316C2E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$8ABF59A3-2E76-4750-85E9-715E0E97E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$A6B90972-F4E5-4D60-A3C4-72135171C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$40C0A427-0465-4003-B9A6-3131E0BA441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d9f48f74f421576fdade1de250a250b0bbc10","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$DF9014DB-426F-4FB9-84CB-0F7D250695EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37aeff4d7f97de72ac15dd4407bf47e67ba69094","datavalue":{"value":{"entity-type":"item","numeric-id":555750,"id":"Q555750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$B7F33F57-9FFD-4062-9283-6D38ED6FE637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$99C4FBAB-731E-49F6-AD8E-315408C3B381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$B9DA86DF-4C40-4A38-95C6-B8E2B78F15FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fdff17abcad57b939a9c8288c5a756afbaddcf","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$8B1973B2-1E0C-466D-9500-4DAE04C422F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875517$4AAED240-11B1-4D5E-9494-591499AD71DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ccb78d2a76d0c644c1ad9f68a71ec13a3e537bf","datavalue":{"value":"10.1016/J.TCS.2006.12.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875517$ECDF2B1F-CB8C-4B73-BF31-3E730A1F767B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a480789f173c062a23ed88678e013af5b800c6","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943a4394db78c075f617d70a58134fda25a2df40","datavalue":{"value":{"amount":"+0.9976789951324464","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":"Q875517$8D6115FF-0C8B-4F5B-A046-489F805A0100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412e21895d466a2e5ca1cec9a80bb43c8c010a46","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b854838f216bb0cab622046fb6d98c69f19acf14","datavalue":{"value":{"amount":"+0.8765625953674316","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":"Q875517$596F112B-DBA4-4639-9D3D-B7CAFE016384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8f230934bc16c9b8659302ef0339c1eeb255e2","datavalue":{"value":{"amount":"+0.838947057723999","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":"Q875517$24E6B3BA-771E-4DE0-85C1-D0D4A238C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b162a9f0ad2fee6d52d225eb9af6e82ca2d643","datavalue":{"value":{"entity-type":"item","numeric-id":615236,"id":"Q615236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a3a38339cc7307a57cc85cd7626847fbb18afb","datavalue":{"value":{"amount":"+0.8379185795783997","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":"Q875517$1C0616DC-A321-47E9-96FF-04BE838509C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8cad16e87d5d132cc1c0f188317da475c31e641","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5334b5df7ee3b22a04f06b082f9822540e1983","datavalue":{"value":{"amount":"+0.8210669755935669","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":"Q875517$7731D88E-7E18-4544-A1E4-1F0A3B33FAF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizations for probabilistic finite-state behaviors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizations_for_probabilistic_finite-state_behaviors"}}}}}