{"entities":{"Q2289094":{"pageid":2299837,"ns":120,"title":"Item:Q2289094","lastrevid":57343329,"modified":"2026-03-30T14:02:31Z","type":"item","id":"Q2289094","labels":{"en":{"language":"en","value":"Towards a structural proof theory of probabilistic \\(\\mu\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158711"}},"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":"Q2289094$35988603-0304-44CF-8568-8FABD4CBCDB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ac395842adf7188f21edce194de716c261fe5d3","datavalue":{"value":{"text":"Towards a structural proof theory of probabilistic \\(\\mu\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289094$93674348-C31E-479A-8E1D-0697416A4697","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ef0e519a17c917a5745a9ff8cde5768e079fe51","datavalue":{"value":"10.1007/978-3-030-17127-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289094$0C548983-7E50-41BD-AC0D-A590531D0345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a9109d1712782836bb81a5d941dd9b8e09cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":2289092,"id":"Q2289092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289094$53246DF7-CA4C-4F71-8C4C-B139B577E23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"466f8d3b528aff7ffa9f33e27b9f8701a8563e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2289093,"id":"Q2289093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289094$66440CE6-DFA4-4285-9AD4-444BB89981A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289094$5984CD71-8829-4D4D-955A-193285163B97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289094$40468805-BF65-4D27-91B2-09BADEFCC025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289094$C60D3A8E-107D-4FF8-8B2C-9F25DDEFC44E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73e876d03ea9027a1d8d93f305a66727f6452ca2","datavalue":{"value":"7158711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289094$94371FE3-D289-42B6-9142-29BE67C6E211","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":"Q2289094$E84DB94C-A341-4076-975B-D4205402B834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e7cdaf97a73302f33caa48840f25f122e903b9f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289094$7FC123BD-72C9-4652-AB5E-D8A12DEC00A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e804cc7cd6db3e69113af9db82c589fa7271eef","datavalue":{"value":"W2926764908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289094$6224DF06-DBC8-4FD7-A9A2-2454125EEC14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14b2781cf53a32ff1483b07c1a973e84c072a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4636572,"id":"Q4636572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3ab8cf88b755e72499906844b3868bfcfd4581","datavalue":{"value":{"amount":"+0.9367799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$45FEF93D-2A25-49E1-899E-8F57929D04C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dc6185729e487d5eddef1dfe3d84e5d8e1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1977920,"id":"Q1977920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba47e953dd35a75fad87d99a9f58008e95bf65f","datavalue":{"value":{"amount":"+0.9183169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$7C3800B6-91E4-43FB-B427-ABC2981F672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e69e92b51ff7b7d18783a293b192f83ba830d1","datavalue":{"value":{"entity-type":"item","numeric-id":5150948,"id":"Q5150948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88d3cd322e32c6ad414e4099571bf5b66b3437c","datavalue":{"value":{"amount":"+0.90582114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$7EE45D29-41DE-406B-985B-60DDFE043AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb9138a8c9d7699fbd7ad1b6601cae906f6ccc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048957,"id":"Q5048957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17692b1f5a1ee86e9f3c227cbc6e04e654dd5476","datavalue":{"value":{"amount":"+0.9026567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$BF596518-765C-4C0E-8E26-8672858E02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6557d6216f1aad8b129721844a1e22f2f249388","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5771297072d01c17fa338b97841b664ea15f67","datavalue":{"value":{"amount":"+0.9018619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$C7596BF7-5A43-43DC-9A10-0B73622ECDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd409b59efcc17a4715d69a93c07e764132fa15","datavalue":{"value":{"amount":"+0.90180045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$298FC889-AA57-4FC2-9969-A1999A1F6C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ffd81127fc3e0ca06eca8fa3ca7cf589d18ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3530806,"id":"Q3530806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fd5abeb39758000eacd30bb6688f0a8a22a814","datavalue":{"value":{"amount":"+0.8993199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$6A55EA6C-F766-43C4-9E67-9FCFBDF59BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac08a39ebac44e4d0d0a2329da7e6e4834ac12d","datavalue":{"value":{"entity-type":"item","numeric-id":1961298,"id":"Q1961298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516f31b44e803b3fe12ed0167ef3824c27c763e4","datavalue":{"value":{"amount":"+0.8945917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$E1986322-F688-4D96-98AC-9FEDC21AF4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afff89aed0cd32c368dc28ea9e160650d78eb55b","datavalue":{"value":{"entity-type":"item","numeric-id":3297838,"id":"Q3297838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1879b2a4473dd1faa47655f902188b229d16fc3c","datavalue":{"value":{"amount":"+0.8944783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$9D5AF188-A971-4F33-BCAB-274E3A1E163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60263cfed2f0011facdda13fb6cb3cf520aaab8","datavalue":{"value":{"entity-type":"item","numeric-id":5079740,"id":"Q5079740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222d82dfe8ac8e74df981ba2e4962b9a17c8a835","datavalue":{"value":{"amount":"+0.8904136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2289094$633A43B1-84B1-40CF-A659-A86253F5AF9B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289094$1E4C05E6-E42C-4CFE-8474-73743E933649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2289094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2289094"}}}}}