{"entities":{"Q1603698":{"pageid":1614438,"ns":120,"title":"Item:Q1603698","lastrevid":74125578,"modified":"2026-04-14T18:30:40Z","type":"item","id":"Q1603698","labels":{"en":{"language":"en","value":"A truly concurrent semantics for a process algebra using resource pomsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767900"}},"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":"Q1603698$F349D152-D5E2-424A-A18A-1B4D91113ED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e4dd0fdafd497ad0a28596d92b4669435672759","datavalue":{"value":{"text":"A truly concurrent semantics for a process algebra using resource pomsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603698$870D6881-08AB-4CE3-8A46-E4101C12EF6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64499de1e2db27bc5fdd77a4c7ae5706867ff013","datavalue":{"value":"0997.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603698$73356651-3912-4334-8A28-EA3D73514076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22a4be483ebf831b630eb93e8138afb667e0c1e8","datavalue":{"value":"10.1016/S0304-3975(02)00021-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603698$063C6EB0-AB63-442A-9B4C-88037A755BA7","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":"Q1603698$CFDE0179-9C01-4786-A820-C5DD0A240675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603698$8C28AE6B-DA67-4C04-92DB-603C79292785","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603698$60513ED3-24EB-4615-9325-517A5F7FE3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603698$BDA88C58-3B81-40B7-9497-47D6888F438D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db8f8e00d878847b6ce6af452c22fabbc3b46ac5","datavalue":{"value":"1767900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603698$2BD24C6F-F156-4DFC-A839-913B859D79E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603698$E3B9F700-3627-4B42-88E1-339315885ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae1d75b1a8bac6f32719a17b250aea49b10f444","datavalue":{"value":"SOS-style operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603698$FDE4AF59-D51F-4422-831E-19022BBB90B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603698$2B8FF024-0C40-43CA-A8DE-642B9A82D821","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$16C08A85-6590-4F03-B785-E9BF6FBBD686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$FA077CED-1423-4146-8A67-C9F2F6CCFF02","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":"Q1603698$1D976AC7-9231-45B3-9B76-A2DC982EBCB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$09307F90-6E2D-4E2E-BD38-979C818EAA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c2b19e7aef23edf5000482ab760bd4b4766519","datavalue":{"value":{"entity-type":"item","numeric-id":1270563,"id":"Q1270563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$DA3C93D2-D66F-4819-8A44-6F6385FFE03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7773b5fac753051f02e266f0833ecca67d012f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4945248,"id":"Q4945248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$7865C729-0F68-474A-9DCD-9696DCDFF5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec16afd2969885a8b698fe4b08324537694f2d85","datavalue":{"value":{"entity-type":"item","numeric-id":1605180,"id":"Q1605180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$37A8C98A-88A3-490C-91BA-A8A8AA6507AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$A3AB9E2D-90EB-48F3-B3BE-578935A08368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$8BC4AA0C-50EA-49B5-B343-9815430E84FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$82A11CA8-3BEF-4DF9-AC5F-61372A78FE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$15A975A0-4930-4BF7-950C-60C819E4DAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6dcd8f17c801f7d1fd08e11a36cb2932612b4bd","datavalue":{"value":{"entity-type":"item","numeric-id":1365671,"id":"Q1365671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$BBB02545-4B7A-46A2-88B0-6F4A635346C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c19f76adfb5359b0264cb30e95fcb57d994a47","datavalue":{"value":{"entity-type":"item","numeric-id":5680318,"id":"Q5680318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$5EE6E154-171D-448E-8FFA-6762CFE5EA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$E7F3C830-B764-49AC-9875-C8C859639F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363ff06b747cc0d1f525d4ca72a6cf12fb4d0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1083212,"id":"Q1083212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$7576B639-4C6C-41FB-8665-53DAB4656956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8057307abd048e380d569602a2025bcd2f9ddc5e","datavalue":{"value":{"entity-type":"item","numeric-id":4379559,"id":"Q4379559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603698$62A9A4B4-9FF8-491E-99FE-83F29CCA9C2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d1dc9619f368157a4fdfb527412eb96c3b13d4","datavalue":{"value":{"entity-type":"item","numeric-id":3178291,"id":"Q3178291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa3f096f24243376a847bc90aa06fda8a7b2692","datavalue":{"value":{"amount":"+0.95826685","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":"Q1603698$760DE80F-FA2D-4824-BC9F-8555E7B74804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b2e02e79084d144e35b596a0ad0d29ba1e45c2","datavalue":{"value":{"entity-type":"item","numeric-id":3642523,"id":"Q3642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f85a56a3abcb172fe2a6fff6137c18b69decdb","datavalue":{"value":{"amount":"+0.9043805","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":"Q1603698$802F537F-A231-40D5-A3DC-DAF57A91DE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee46bb6155734f571e6aaffc2c6e7e9c977bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3975160,"id":"Q3975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176b9d1e1baefec09061108fe5d6dc054231a865","datavalue":{"value":{"amount":"+0.8954513","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":"Q1603698$CD7E16DA-678E-4862-848C-E0D37E55841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901c195413165a6bb458d8da674fa3a556aaa19f","datavalue":{"value":{"entity-type":"item","numeric-id":2871829,"id":"Q2871829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a5d6a0d7ea4e834734010636a5123c53e3ac1b","datavalue":{"value":{"amount":"+0.888488","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":"Q1603698$C3473A14-0CB1-4B2E-AF4E-7F8B0CD9237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490d0e491b007dfa1fb4d06dfe57cc799bfcab9a","datavalue":{"value":{"entity-type":"item","numeric-id":3798221,"id":"Q3798221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e19962e9f17119d7c612d49471ac46ad44fd263","datavalue":{"value":{"amount":"+0.88775545","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":"Q1603698$126A2E51-ECB7-4718-AA19-111D411F5AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033c80d1f4b3b605035f569e4c8d55f60e1fdf06","datavalue":{"value":{"entity-type":"item","numeric-id":4381717,"id":"Q4381717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b286d47e6a9bd691c98acb2d03ebe8704eb40f74","datavalue":{"value":{"amount":"+0.88659483","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":"Q1603698$5B61A16C-8A5C-4127-BA6F-D26422C0DC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f699caaa5adb6f24d9506bfdec9c5de10359de","datavalue":{"value":{"entity-type":"item","numeric-id":2956720,"id":"Q2956720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791913fdd7eca72722eff41ccba287087e00a109","datavalue":{"value":{"amount":"+0.8856211","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":"Q1603698$CAC367AF-50AB-42E9-8D27-52EA4D779458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d8a3796364b06cc4a9792b563c40cda0fc2071","datavalue":{"value":{"entity-type":"item","numeric-id":1179704,"id":"Q1179704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4491f5e72cef3a668af381426e42dcf84a7cb25b","datavalue":{"value":{"amount":"+0.8853526","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":"Q1603698$5A9E98C8-2AC4-4501-B394-8BDF5203FCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f33d11939c62fa3318591a1533b406fc8a931af","datavalue":{"value":{"entity-type":"item","numeric-id":4896650,"id":"Q4896650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7c64b2d62461db531a8bc6cee9fee4cd8ab500","datavalue":{"value":{"amount":"+0.8766731","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":"Q1603698$D0848282-ED65-4DAE-986B-D0B261C77657","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A truly concurrent semantics for a process algebra using resource pomsets","badges":[]}}}}}