{"entities":{"Q2465670":{"pageid":2476413,"ns":120,"title":"Item:Q2465670","lastrevid":50242919,"modified":"2026-01-13T15:23:58Z","type":"item","id":"Q2465670","labels":{"en":{"language":"en","value":"Trellis processes: a compact representation for runs of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223716"}},"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":"Q2465670$D03D9FDE-4D73-4D06-BAC8-CBE97BF0B0C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5798c52450d650d06c2b0e31702e7e2f6b4cdc1","datavalue":{"value":{"text":"Trellis processes: a compact representation for runs of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2465670$CDC0EB8A-9C93-4947-9C3E-683A4A61A069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e3dba44fe177c5e5370ecd6f2d4a8c70883d6d7","datavalue":{"value":"1128.93367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$D8F6C1FB-A8F7-4F1B-9DA5-63FD1319C91C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1bdcf80607946755b0257aed29a9fef67fae07c","datavalue":{"value":{"entity-type":"item","numeric-id":1273381,"id":"Q1273381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$698FA140-7066-4093-85C3-CC843F983FDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$2782F908-EBCF-4F5D-A085-ABD47AD8C161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903918ebd358b56a998ba218752ba98982e17a15","datavalue":{"value":{"time":"+2008-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2465670$BE5B4957-5EFC-42E6-9D59-0D73151A857D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afbe1f3cc22e413699db562e20a3cb0642c2d2b5","datavalue":{"value":"https://hal.inria.fr/inria-00070452/file/RR-5554.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2465670$42C4ADAD-243D-4987-9C2C-685B41E0FDB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$71BB0FDF-368B-47AA-B760-C1651FBE7575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$AEADBBF3-219A-4420-950B-A38170928216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed04e2b81c0b7ef49a7148886a58ce5fcfd9fff7","datavalue":{"value":"93B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$D313AB59-D1F8-497A-AEC5-C15CBDF0DC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$DCF446CA-A791-423F-90C3-330E6563DE49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107e5b17f3a34406a45371eb29672cbb3fcf7754","datavalue":{"value":"5223716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$39D5FE12-EF79-4619-9F7D-B74F8CDA4807","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$1C65FAF2-479C-41DA-AB5B-CE7E6C8D9451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$EDB2FDE6-FA4D-4183-A3C4-31D6E7069AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a622d68eae5501d0cff683a197bd29e93017bb24","datavalue":{"value":"true concurrency semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$1FA74260-CC8D-4D96-A8E2-18BA8B313BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d8b0f2c5da812bc802cb2eed3afe984c3fa7488","datavalue":{"value":"branching process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$645FC937-1852-4559-B78F-57F2594F827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$B02E00EC-16EE-4B6B-AA21-CD3C0579E590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040a69a94775f100554b6565430bf6f9d8bae2ac","datavalue":{"value":"trellis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$7E0C8233-7E6C-47CD-8191-225634B5017E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$90ACA07F-3415-446F-A82A-E94446F565D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e8f6007fec85d442fb112bda32a31899c9fa96","datavalue":{"value":"product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$BA2A1DF6-A055-4FAA-8431-9F040BEC55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$380E120E-C9C8-4CE6-B703-A25D8B146485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e8251378e6e40b9e946d030aeb94b41e173c61","datavalue":{"value":"diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465670$EB6769D3-DAB4-4E6A-BF69-E22F583B6DD9","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":"Q2465670$6A858586-38DA-4636-A470-B145BF5400BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55de2251bf2c2c902c9b0ea81a91087dbc09e66a","datavalue":{"value":"W1977395451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$99305A2E-3CDD-48CE-96B6-3CB293817809","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d49ff11d5ad2710bf005f26691170d3bd60e28","datavalue":{"value":{"entity-type":"item","numeric-id":1606300,"id":"Q1606300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$0D41FECD-3326-4242-B0F4-090DF9623824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1753986140d6c424bbe332c8913ad759f29a35dd","datavalue":{"value":{"entity-type":"item","numeric-id":5266845,"id":"Q5266845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$7922ED3F-1B13-4117-9A7F-869466749B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c5ea71d4317066e2c5be020455e39a904514fa","datavalue":{"value":{"entity-type":"item","numeric-id":4535793,"id":"Q4535793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$A3F2AE9F-C42B-4605-9F16-0844C6EC06EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8813cf229542bc0c1c0f02c1b5d1ad10ea8351f4","datavalue":{"value":{"entity-type":"item","numeric-id":1975198,"id":"Q1975198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$78FA48B5-AC85-47E7-A6EF-84F925F6021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$BBBCC0F7-9972-4207-8B72-95C92629B290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bd5fdf5aa5844fbfdca79209f802260aedff52","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$5C05E6BF-4534-4478-9847-A2C5F9D66FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$5B05D61C-F761-4E72-BA78-D1D4BEDCB500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afb991c31c2e42e707968de678758f398f1dda2","datavalue":{"value":{"entity-type":"item","numeric-id":4270050,"id":"Q4270050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$F45CB424-D0B1-4959-8DCD-93B316D54B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294dba982d7e9358051e91f911a0679da5e99b50","datavalue":{"value":{"entity-type":"item","numeric-id":1773098,"id":"Q1773098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$1B5E1F8C-99A0-47A2-8EC8-30B51018CAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b958090e2e15e6bb4d7615e965e2bd4142931fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3550622,"id":"Q3550622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$02A65A4C-0DEC-4272-BFE4-12985F9841A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe284ad5027b18a1559668324b748580acb9786d","datavalue":{"value":{"entity-type":"item","numeric-id":816699,"id":"Q816699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$ACDC433C-DB39-43FF-BE46-E6D3F1AAFD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$A6F5502D-F4D3-4CE5-9D00-C008DC89F0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4f99a25a7fd91d594aa880a0d1e0eb5bb7612","datavalue":{"value":{"entity-type":"item","numeric-id":5897493,"id":"Q5897493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$27E43125-5434-4780-8D27-8BC4E6E9B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$BFF1DCEB-080B-49DC-8EDA-87A0B73AB976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$01078A5E-6F29-4330-B831-93CB7A560242","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":"Q2465670$B8DECDF4-B10B-497C-BC49-4C838AED15C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$AF154CBE-0ECF-4E86-AACB-C116226F0FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$F9A3E3A2-D0BE-4028-A9C7-CD416A3C3360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059bd12c9c25b77f8a1ec80a50673f42073dd0e","datavalue":{"value":{"entity-type":"item","numeric-id":5184417,"id":"Q5184417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$E414E095-5547-4830-9C92-3DF157F22CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12113c52b3127249cd98f6e5578d7e039662dec4","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$C709AF94-1BDA-44EB-94D6-C58860C466B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$033B1761-4DD6-4B4C-9A29-3A926ECC8A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59765932a2bd0bcd019ba51aa0a82b2904333289","datavalue":{"value":{"entity-type":"item","numeric-id":1610350,"id":"Q1610350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465670$76A4F6D0-606E-4FFC-961D-491BC33B9813","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a24dd8a0d792265ff8fbfe5cddac3bdb35dab30","datavalue":{"value":"10.1007/S10626-006-0001-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465670$C2726B9C-E53A-4727-92D6-5A90339B90CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303dcbfc88d04078b2058378d028a100d817d350","datavalue":{"value":{"entity-type":"item","numeric-id":5496933,"id":"Q5496933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81826902675f1266a452e2ebbd799432b6944582","datavalue":{"value":{"amount":"+0.793406069278717","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":"Q2465670$9B5F9F5B-3999-44C0-8B91-8A5CE00B691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39afc7e5ec9efcbe146a6b9df6b3899d63d5185b","datavalue":{"value":{"entity-type":"item","numeric-id":5899084,"id":"Q5899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab897db124626ae7e0e465191e66bbdbc141a260","datavalue":{"value":{"amount":"+0.7396152019500732","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":"Q2465670$8A1DB7CB-2750-4357-B63C-031A978B6A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01177e5f21e2fdeb40f2606a1ef7e1c0071a7fee","datavalue":{"value":{"entity-type":"item","numeric-id":2465674,"id":"Q2465674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4e3ae058c04f3a30e419e9cb3c79eff6515084","datavalue":{"value":{"amount":"+0.7355828285217285","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":"Q2465670$738C5C62-85C8-4298-BF53-FC1622B5C1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d36d5fbe3d14b7df0b0d566ae6d2eb55a1a772d","datavalue":{"value":{"entity-type":"item","numeric-id":1773098,"id":"Q1773098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b658086f305db278bd459072ea5f8975b6f9de","datavalue":{"value":{"amount":"+0.7157498598098755","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":"Q2465670$7F189D64-6E76-4749-ACD0-8BF66AF052B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743873bace8268fa2909788f1014c3cf5d5821e","datavalue":{"value":{"entity-type":"item","numeric-id":5464479,"id":"Q5464479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d01dad27670562f8f89142b7defb1b52528ef4","datavalue":{"value":{"amount":"+0.7102237343788147","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":"Q2465670$88BC5CCF-EE11-46A0-9A91-543F26E2A5A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2465670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2465670"}}}}}