{"entities":{"Q2838240":{"pageid":2848964,"ns":120,"title":"Item:Q2838240","lastrevid":58043286,"modified":"2026-04-03T14:08:52Z","type":"item","id":"Q2838240","labels":{"en":{"language":"en","value":"Unifying the linear time-branching time spectrum of process semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6185342"}},"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":"Q2838240$A826E383-FBBC-45B4-B309-4F9EA12B0F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82af7e9b9420ab2ae1d436f27bd727a444a7198c","datavalue":{"value":"1297.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838240$BD2AE526-DF1C-4F94-8D44-AF6A405BE911","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cf1c399d89d3e9aca14d050f9ae3c025a680e62","datavalue":{"value":"10.2168/LMCS-9(2:11)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838240$9C57DDF3-D380-47F4-BFF7-192CCD59DB5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838240$FFE19DC7-6BCC-4050-94AC-CB1BD0458F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741c53fc912477e5a1a01bbb10608ec4748d1085","datavalue":{"value":{"entity-type":"item","numeric-id":843210,"id":"Q843210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838240$8AF63EC5-625C-45C8-85AF-A9E35D87C9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838240$8F8B03FE-269C-4A37-8256-A681539857F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61e9ca95a473438fb5ac84d0c1f6d6b62883f410","datavalue":{"value":{"entity-type":"item","numeric-id":2464209,"id":"Q2464209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838240$9492B113-5070-4801-8E46-D494F9F41487","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838240$193A44C7-0FD3-4F6F-8801-2E832EB82542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c8cabbca9130b549339a6dd53d71f49214bfda6","datavalue":{"value":{"time":"+2013-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2838240$BBA64F94-5B80-44EC-9AA9-568E60A18AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dd443cb3f6d228cd6ceab8e70300e876cdcc307","datavalue":{"value":"https://arxiv.org/abs/1304.6574","type":"string"},"datatype":"url"},"type":"statement","id":"Q2838240$37ACBBAB-F713-4E05-B919-40627FD78FB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838240$E3AAEC9D-D040-4778-A6A0-3936A6849576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838240$A5FFD0F1-31B6-4D73-BD82-4A31AAF9CE57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ec2c55b0bcbab173c7cad11bcf89646bcdd8da","datavalue":{"value":"6185342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838240$23C509CA-1BAA-4955-A834-CC2479537622","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a426b3ee2c58275dc27872646ee690c86a095cab","datavalue":{"value":"process semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$C4383609-3BEF-4E4F-A330-08A04154322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7047b1885b70f8034ac26ad14a3138b112a066","datavalue":{"value":"linear time-branching time spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$3462B3E7-2DF4-4436-A37A-A89F403A51AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"467ddabfaa580cedf7cd33377c929a494628cd5b","datavalue":{"value":"algebraic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$D9E6CE4B-AA23-45BB-8867-63F4AF8075D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384064e395b990bf24a8c9be0e4ee81100dc4ceb","datavalue":{"value":"simulation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$9BB21E20-96F1-4683-84CD-CB8DF310F5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a719199dfa285d39aa1b3089178dd2debd94af3f","datavalue":{"value":"linear semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$FB4C1A5B-9CF7-42BC-817F-6CED03DFCA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbef4dcdf53aaad72ff7cd4824e8aec4b913afd7","datavalue":{"value":"constrained simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$E5A7AECA-D191-4528-B247-96D41E4BD943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$39702AC7-FA9F-47D7-AA65-A36B10409D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838240$C3D2EACC-D674-49E7-857E-67A149EF615D","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":"Q2838240$9E34705F-D38E-4122-98DB-E6237457EDA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ccbafa43828036b7e65826f6b0d39ba27136442","datavalue":{"value":"W2071532102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838240$7EECB89B-94A9-4077-A888-4766C5EF2F39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c138982a696a992a840b5132e75650691504944","datavalue":{"value":{"text":"Unifying the linear time-branching time spectrum of process semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2838240$6421DFEE-5BBD-47F8-A9FC-333F10C7E1EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86927814dc2a238238416ffe1500bef620675499","datavalue":{"value":{"entity-type":"item","numeric-id":3599079,"id":"Q3599079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7efd945f901a2cfaf3c916d605437390bc01531","datavalue":{"value":{"amount":"+0.870336651802063","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":"Q2838240$331931C8-AC9B-4CE8-8C09-72C8F2AB4C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc3abd0e41011c905e247f6911d82aedff204cf","datavalue":{"value":{"entity-type":"item","numeric-id":4965824,"id":"Q4965824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db33db5c01ad0447e0e8dc9eef004117595df889","datavalue":{"value":{"amount":"+0.8664038777351379","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":"Q2838240$798685CA-E8CA-4743-BC68-F1978F919895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3f7ffb1ae2438638000729071d144da2ca1b56","datavalue":{"value":{"entity-type":"item","numeric-id":2805160,"id":"Q2805160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4632b44e8fc0f1f897f1148586d7b89b06c52ae9","datavalue":{"value":{"amount":"+0.8568717837333679","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":"Q2838240$E4CE91C7-6EAD-4D92-8844-F6B6315B540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a4ed90bc9a04f0ad37cba545b1373b583ced04","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275b29a06266e370b65c027f22dabe5641fd4dbe","datavalue":{"value":{"amount":"+0.8515718579292297","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":"Q2838240$8EB1E7FC-5529-4FFF-8926-08F01BA7F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35382cc3114928c742c53a8067acc3f3b06fab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3510781,"id":"Q3510781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd1d42fd5f984cdbfa4d8cc9d0a3dc9e11837b7","datavalue":{"value":{"amount":"+0.7688053846359253","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":"Q2838240$0BEF6E13-9577-4145-8F91-ED833FA640B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2838240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2838240"}}}}}