{"entities":{"Q6859940":{"pageid":20656273,"ns":120,"title":"Item:Q6859940","lastrevid":84252362,"modified":"2026-05-14T05:38:36Z","type":"item","id":"Q6859940","labels":{"en":{"language":"en","value":"Effect semantics for quantum process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158314"}},"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":"Q6859940$E1E8C114-169E-4498-A8DE-531E002994AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51b6bb1e61b78bcbdeb081960ea9a019303f019f","datavalue":{"value":{"text":"Effect semantics for quantum process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859940$997ABEEC-3D16-443D-BAA7-0A19FE0F1C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1789542bf26eab1a00040d3cdff68b51b3c39d3f","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859940$9E0FA1C7-18B9-4119-8363-1AE565DFD935","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3b916ed19f856e0e92242bc75f6d266057ce8b","datavalue":{"value":{"entity-type":"item","numeric-id":6859938,"id":"Q6859938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$AD9AD097-BF09-4061-8F2F-D8BD2B4B233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$C5963B92-3198-4D0C-8C79-88668EA5400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e211825fddeaafbee7423e823b916063d24fb412","datavalue":{"value":{"entity-type":"item","numeric-id":6859939,"id":"Q6859939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$B2ECB863-C2B5-42D6-A8D1-4297D878DD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be1d5a3b63880fcc8eca084ea5231cba48014678","datavalue":{"value":{"entity-type":"item","numeric-id":1657454,"id":"Q1657454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$063EA52A-7D7A-425E-B5A0-C424094DCABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859940$1AB3BA2D-8E61-4DA0-A8C8-B426D58A8E1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859940$BE3F9B1A-E013-4B74-B7D0-0084F8F1A46C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"773b7890203e1b52bee32f0e2737293890654f1c","datavalue":{"value":"8158314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859940$27535683-BF05-4302-876D-E70A7815118B","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":"Q6859940$5FD5190C-97BA-4461-AEC9-6CF28C817803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1b945751b30c9dd72fc79df8764f578009876d","datavalue":{"value":"quantum process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859940$2DAC5C50-C528-42B9-BC23-A1F2EA8A443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2adaee9d893320b6fbf8527d1551bb61bb98109","datavalue":{"value":"probabilistic LTSs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859940$E2C4BD5B-675C-4785-8FA4-55630BCDD190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efaa781f2dfbf114a73b429f76357bc8d0f82d3d","datavalue":{"value":"effect LTSs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859940$67DED8D2-9C02-43C5-9375-7C2B75DE154D","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":"Q6859940$E1666556-C7F8-4BBB-8C16-90077E6B9949","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc9be2ea4a911b9d242ff8bc16ec55b3db288f6","datavalue":{"value":{"entity-type":"item","numeric-id":5111249,"id":"Q5111249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$64129E92-6BB8-400B-B6A9-22FAF57FF39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9132eb582bb0cb94a8e9effdadcd521c87a3a155","datavalue":{"value":{"entity-type":"item","numeric-id":477162,"id":"Q477162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$00D9CD5D-DA3C-46AA-B1BB-F20905D4EE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9d1d109696519069e249b71c52e6b5ea5973a3","datavalue":{"value":{"entity-type":"item","numeric-id":4492159,"id":"Q4492159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$4E960D0B-06D5-4230-ADB5-3A62B464E4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4713601d1c8ef967eab0ecdf7000bf6ea50cd8","datavalue":{"value":{"entity-type":"item","numeric-id":5111636,"id":"Q5111636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$B180F3CC-EA08-4005-AFC1-28E586DBE863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902709f4dcbd174b118821ae56deb419fd6c42b4","datavalue":{"value":{"entity-type":"item","numeric-id":5009413,"id":"Q5009413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$E19E5E46-C6A4-4320-92F7-13F4521BF45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f11dd004e431645bb9138ef419b348fe0dd498","datavalue":{"value":{"entity-type":"item","numeric-id":2915165,"id":"Q2915165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$5DEAF2D3-E10E-4894-8A66-F552DBF0F7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b96d5c58a0ca9174f6032bcd47e37d85ea1b74a","datavalue":{"value":{"entity-type":"item","numeric-id":5169970,"id":"Q5169970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$2AA9E7DB-A524-40B8-B685-0E3DB3FDFDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefe441f63bff59cf74eb614e8d0c6f895bdbf43","datavalue":{"value":{"entity-type":"item","numeric-id":5357722,"id":"Q5357722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$28C6C90D-60E2-42CF-A3FF-DBED33F6D653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2165011b7c5eb0683e8726f8b356b8c8128b0bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5276142,"id":"Q5276142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$BBBB906C-C2B0-4656-BF54-5AB700162515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dd8aa7abcc706b49b51a701fadf54e7c1efe16","datavalue":{"value":{"entity-type":"item","numeric-id":5504973,"id":"Q5504973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$1715A906-9815-4091-831E-1DBB80142CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a56b54cf5d1c5ab4eb5e1acf25bda9e1ec3971","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$7073F7E3-196C-4781-91A9-052058D33FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$1D253BB1-DADC-4DD7-8CE5-9C84409B55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a648a8dbf45933ef10375980ed077e8c6b7c3905","datavalue":{"value":{"entity-type":"item","numeric-id":549198,"id":"Q549198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$95BFBAA8-1B50-46D4-B7B5-09CDC1452AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d8c5609ca0a0f461107a64b8abe5c6a8543a6","datavalue":{"value":{"entity-type":"item","numeric-id":5482268,"id":"Q5482268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$9FD0E3CF-5154-4B53-BB34-D6FA5F6A34CE","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":"Q6859940$01E79241-2ADE-4BBE-8F9E-28BA0028A297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f876b843060f7bd2407c7bae6d97e6264d0713e1","datavalue":{"value":{"entity-type":"item","numeric-id":3196618,"id":"Q3196618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$52B3647B-5316-4635-901B-657054509C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$EF3F7182-D09D-42C1-9514-FE44B49CD6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$3E29B202-7E1B-480D-8C49-E35F00AF81A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c882190794f8a6c97719550dbaea55d1ad2774e","datavalue":{"value":{"entity-type":"item","numeric-id":2010969,"id":"Q2010969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859940$45C76472-F058-4DF5-8149-A83010F0A69D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effect semantics for quantum process calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effect_semantics_for_quantum_process_calculi"}}}}}