{"entities":{"Q2871832":{"pageid":2882552,"ns":120,"title":"Item:Q2871832","lastrevid":51900512,"modified":"2026-01-20T12:19:20Z","type":"item","id":"Q2871832","labels":{"en":{"language":"en","value":"Reversibility and models for concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244361"}},"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":"Q2871832$403D286D-F1FA-45AC-BF51-76B47F674F8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93ae413c1f30a9f84fada1dbea21447a6679e023","datavalue":{"value":"1278.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871832$49E564EE-22B9-4101-B3B5-D412A1C7520B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$632D0392-0BED-43DE-BB1C-5186712723A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$22C97913-712D-46D2-AE26-5384BD00F108","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$FB77D51E-6022-4CC6-9D98-AFE3B4FFD45A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-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":"Q2871832$E59C4DF3-0F21-4FB8-8669-9475C47971D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871832$F5B24650-451B-4EB6-BBD3-C756FB5F2506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e035651fb6dfb4bf6d936dad590be7f2b920a81","datavalue":{"value":"6244361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871832$9D0E5FCD-6CE9-40B2-8373-82D34F7D4640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871832$9F45C352-D3A5-4081-BA6D-782FF5D97217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871832$E3C57DA4-3BF8-4EE2-94F6-2C1D929B1E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca3c1ee6841d2d03b6de88021140c92814ee0b4a","datavalue":{"value":"prime event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871832$F0778DB9-A702-4885-A098-1C64D292FA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eed5aea85b2cc382b7e3c33df3bea6b27959130","datavalue":{"value":"hereditary history-preserving bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871832$6B45FE71-A89C-4E5A-904E-A964B304FAD7","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":"Q2871832$41150BD9-79E4-46E6-A4AE-033A3703C29B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f917ac85a0ad22361acc7fa5f3ee04928ced47db","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871832$36714392-D41C-4290-904A-9CE91CC812FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee6facdcc3836bb2192ac8966e6dc129df4d5d15","datavalue":{"value":"W1995845908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871832$B199211C-E025-4724-9DF3-130DE544F482","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$3E7DDB5F-650A-4210-B814-7D68F6D0444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$C3A2B1F2-E935-4B6A-A8E6-5BB96C2EC802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$150CB659-3E64-48D8-8A65-A02BBD68C188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$DDE08979-70E9-4E7F-A3C5-AA66032CE8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bcf248d456c61a3425e176dcb6add098f14a24","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$F42ED914-44EF-49B4-95BC-A81D55F4F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$F40B5BF0-84E7-48A4-BA93-ECDA6788DF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871832$8895ED79-35B8-4556-B3FA-FA59301607A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9e611f79719ead12b1005310e189ed2ab127b6","datavalue":{"value":"10.1016/J.ENTCS.2007.08.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871832$528475AD-95BB-4B21-A512-00F756411596","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7dca46c56542c28b6a3bf7dee6df74449161801","datavalue":{"value":{"text":"Reversibility and models for concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871832$1008F270-1305-4582-8C84-082F641E1113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab27a003de382101d1343898f83a1b00edcd50c","datavalue":{"value":{"entity-type":"item","numeric-id":3188912,"id":"Q3188912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5bbee33930f2bf3e24f29c7a932c58677d1c369","datavalue":{"value":{"amount":"+0.8698104023933411","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":"Q2871832$3D6B33E5-EC4C-4543-89BE-86C592E4B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f130aaf865704e68f87263289d7d68d140b9bd49","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec005f1f11779de575fb074041247c24ab84374","datavalue":{"value":{"amount":"+0.840072512626648","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":"Q2871832$9797C553-521D-4FE8-9B23-08C00FFCFBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecf9b8433df8711edf942e13a5c4071422bffe5","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc2088e6e98c48159b952609aa4d4e57269062e","datavalue":{"value":{"amount":"+0.831263542175293","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":"Q2871832$68C047FC-40E3-443D-A372-134A0A12CD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd0a2c1f81cd4346c50a5d76b9cff0324e91428","datavalue":{"value":{"entity-type":"item","numeric-id":2866345,"id":"Q2866345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8841103f78d850f9592fd48a7f12bbbb421cb480","datavalue":{"value":{"amount":"+0.816340446472168","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":"Q2871832$DE674523-8292-411C-B642-5A4C5C57621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cdc508c2a08944a5d0fc2d4b9460a668ab5780","datavalue":{"value":{"entity-type":"item","numeric-id":2022303,"id":"Q2022303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8949f3e378ac91e3adde89cb1e6ec68e6ea56b6d","datavalue":{"value":{"amount":"+0.8146781921386719","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":"Q2871832$99D48A1D-3463-4B7C-9DF8-3FBAC853B2C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871832"}}}}}