{"entities":{"Q1400293":{"pageid":1411033,"ns":120,"title":"Item:Q1400293","lastrevid":68622423,"modified":"2026-04-13T00:59:30Z","type":"item","id":"Q1400293","labels":{"en":{"language":"en","value":"Algebraic theory of probabilistic processes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963691"}},"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":"Q1400293$D3C2A13A-F67D-4D00-85A2-E59CB8C5D56A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5459e8970baf6f30950e13920beaf11761a2fd","datavalue":{"value":{"text":"Algebraic theory of probabilistic processes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400293$E24D69A8-099E-4932-BD4F-F8694E92D5FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b19bf782845754c71db28e7dec0bf11b5111fe07","datavalue":{"value":"1048.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400293$254FCF23-24BB-43B1-8138-5FBE12E04537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4d5ae46651f1f99ea7a1fd95b9ca69f629d2bcb","datavalue":{"value":"10.1016/S1567-8326(02)00069-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400293$1E21C210-54FD-439E-B349-2C4A9E5C1FDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$47187E4D-DCB9-48C7-9542-EBEB4F489A97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-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":"Q1400293$7508632A-6E87-4716-BCAD-966F2E8B58E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400293$AE6B2162-DC5D-4086-8E78-9D85947653A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c62e147e6acdeae43f10fbe7e91dce78f62b218","datavalue":{"value":"1963691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400293$E3747E07-A783-461A-AC48-5FFED8D1DFA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc7ed7ed0675b295251139554335e3091916949","datavalue":{"value":"Probabilistic process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400293$B31F0D17-7B32-479E-8E4F-700305B2A482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9139aa19be0d111bb89ce204e3fb0d357dad52","datavalue":{"value":"Probabilistic testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400293$C100EC9A-4C79-457F-9283-5C33127A5419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$20D25F96-B794-4B92-96A6-E11D22523CF1","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":"Q1400293$6E294C6A-81D4-4C17-B47F-01DFAAA2CB92","rank":"normal"}],"P223":[{"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":"Q1400293$25DD623D-3B86-41CA-A5C6-7BFC7FDB5DAD","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":"Q1400293$B845A23F-8C78-4BB8-87F2-DCC3AC6E3E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$506FCCE7-E064-49EA-BABF-CAF552005B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf2ea5999db6879205ad75fb439a7809092a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":4798041,"id":"Q4798041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$0A9C7947-52C0-4B72-9D63-5FDAD540EDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a003c2c8760fdd1c890f4fd99d1d1866babf302d","datavalue":{"value":{"entity-type":"item","numeric-id":1607111,"id":"Q1607111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$D4D18B3D-0252-40EC-8233-9F059B08DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$FBC784AC-7D05-462D-BDB8-2DC12AA4989A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90eec147673342a728814a618b57b3a6770e5135","datavalue":{"value":{"entity-type":"item","numeric-id":2760249,"id":"Q2760249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$AB44B814-6695-43CA-A24B-84556F231B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f494b826ef52cad5b9a7d9db328cf2f05835dad3","datavalue":{"value":{"entity-type":"item","numeric-id":4255553,"id":"Q4255553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$938815A6-EC45-4D32-8330-41A4D0C5A9CB","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":"Q1400293$1EE4143A-15A4-4D99-AC3A-63BB743D9758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f427ee1a3c6fca1bb3505e65e8bea718f46ea03","datavalue":{"value":{"entity-type":"item","numeric-id":4255557,"id":"Q4255557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$DDADC6F3-DD8A-4247-93AE-1354551914FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$70C01109-ED8C-47DF-B04E-4AE4E4EA4696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$03FAE068-50AA-4964-B53E-722F0837F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$FD1D19FA-ECE6-42AF-B475-D1BB9AA0C466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$968DB2C0-15BD-4C74-97CA-140FEDDAA4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$0DA5C705-F7ED-41EB-9C24-F015D743441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b49db0ff8e5dffbda9e9c5bb504d9c7c5b0fc7a","datavalue":{"value":{"entity-type":"item","numeric-id":4223011,"id":"Q4223011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$BF75F2CF-6A16-45E8-A589-7C4EE6415B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$0C9B62F9-A39E-4179-AC63-D22EA289E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99f7b33671c01046528c22fd8a8ebeda402a9b9","datavalue":{"value":{"entity-type":"item","numeric-id":4791843,"id":"Q4791843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$3585A109-AAB4-48D4-A1AD-9759A86E33BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b614d82dba81497fa765f4c8d5e838f164045ca","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$2F6961AB-8549-4331-9A91-4AAC427211BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$7E769B6D-0EEE-4912-8F52-7B14155DE8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63a7893320921072180c75e41b5cb68ea631cd1","datavalue":{"value":{"entity-type":"item","numeric-id":4942011,"id":"Q4942011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$C13040E9-7E06-43A3-BEF7-01D15617B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b06dc09635ec46f478c48bbbb678633ef1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":6104379,"id":"Q6104379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$29E9124D-EDBF-4792-A913-1DC77B3D6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64500073f4568fa832760e38bdced5255a2807ea","datavalue":{"value":{"entity-type":"item","numeric-id":1392272,"id":"Q1392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400293$A7B5A431-73DB-40CB-A450-B7834978348E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef4dd5ecb9d6073e50d69f13d2743b024baa99d","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe31c4ff949fb32e95ee3f0cdc0e240391fea4d2","datavalue":{"value":{"amount":"+0.881682813167572","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":"Q1400293$75AA9CC6-93F7-460B-9A66-06BD5D203572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20fc096c3f1dce2cd518e7cd1c4246ea30fcea2","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e8d0894efeda0ddb6a904ab8d27491c4861ff8","datavalue":{"value":{"amount":"+0.843839168548584","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":"Q1400293$E3F14520-A92B-4A10-9E26-2C0E892271A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b48ca97b2111859d731c94ba112c6af16ccf2a","datavalue":{"value":{"entity-type":"item","numeric-id":5151036,"id":"Q5151036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1397d9c808c34a163ebd76a1cdd41a65586515","datavalue":{"value":{"amount":"+0.8428288102149963","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":"Q1400293$E07DC99F-5486-4EAA-ABBB-2876ED8ECB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963261767f202c002ef935e963ac9cd120843459","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2777ce083a324cc1b42fb06a494254f56f9af4d2","datavalue":{"value":{"amount":"+0.8389599323272705","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":"Q1400293$D5063C31-B038-42BC-B287-8DC31611F756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4aa47ec20a8d524474e24d666f31d271b69476a","datavalue":{"value":{"entity-type":"item","numeric-id":4223011,"id":"Q4223011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0062036e184c7efdc3faf16888838b2eeceed8b4","datavalue":{"value":{"amount":"+0.8350036144256592","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":"Q1400293$74359788-042B-451A-8200-15C2B37C96D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic theory of probabilistic processes.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_theory_of_probabilistic_processes."}}}}}