{"entities":{"Q2946636":{"pageid":2957356,"ns":120,"title":"Item:Q2946636","lastrevid":85133264,"modified":"2026-06-03T06:00:25Z","type":"item","id":"Q2946636","labels":{"en":{"language":"en","value":"Modal abstractions of concurrent behavior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483143"}},"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":"Q2946636$D2426E94-2D9C-4F6C-927B-67A7E43521E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea309d28dc004c6d439b70834266d8c70be48ae0","datavalue":{"value":{"text":"Modal abstractions of concurrent behavior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946636$83EE1C68-6E8D-469B-A159-01D4AEED1DE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cee4044c3526dc33f8999b2c3132fd5038988945","datavalue":{"value":"1351.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$998C7BD3-E9A5-43E7-947D-D49D8B4D7219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3c5f278b76e1affcb71b3766371fd60d6164ed6","datavalue":{"value":"10.1145/1929954.1929955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$6B12A9FD-D8C6-4FEF-BD07-7FE6936E4836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946636$1DA6A8B8-488B-453B-BF3B-9024EB03B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"642bca2c0c70e0fe0be668eb577dc392727dab2d","datavalue":{"value":{"entity-type":"item","numeric-id":860907,"id":"Q860907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946636$FC7F7413-A04E-402E-A9BD-F4271016CD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946636$9D506980-DE74-424D-A737-74297A1C5A19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946636$25915510-CE0B-485E-B8F8-ADF7C9FC8E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946636$CFE3D3FA-2C32-4A2B-ADB6-226302E4D4E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$47B2414A-D994-47CA-A6EC-5DFA74CB3077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$73B0D95C-542B-4D4D-9BA4-DF5107A4513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$5C6F137C-2312-4574-AE22-1E5DBDD63672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2518bff5009c8ff794754f26c16728f8e5fe6d6c","datavalue":{"value":"6483143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$138A0EE9-A71B-4F7E-9721-24784E6BA549","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$53AB7A53-46D4-417D-82F8-1614B97F8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$748351C0-6A81-4845-B5FC-B4194CDBC67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$7D8B0899-7086-4DC4-AE27-EA44B605B0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$95684CE3-08C1-4C8C-B3CF-4D93A2C7D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$FB6A7F6A-A0C7-4E57-AF7F-A7426112143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$8FFA0F02-1570-44C0-8EB7-75C3265B63FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$A84F8F11-AFB1-47ED-8A08-D02E83D4BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$A63B0F14-49D3-4D82-9CAE-8D5697719E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ef7bffa6ceb4afe836b612c509c7dad852a01b","datavalue":{"value":"monotone frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$5F7C9032-7DBF-4098-84AC-6FFE4F8A8068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73379dd69806eb4024c6ae5d6e12ac8005459a0f","datavalue":{"value":"overapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$76A230D7-19FD-4FB5-B2F2-FE7DBD8BA1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ae2e76a94134630492fbf529637ddb4e7cc619","datavalue":{"value":"underapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$8FB389BB-69AA-4947-8C8B-B2268B455F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$46469B36-4E88-4256-B3B5-31209659E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$1E892CB6-7759-4834-8173-37E1B0881D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946636$C34AE198-A711-45F2-9CA3-790B02003C05","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af68b81613475cec90204487894535b5fdaaf211","datavalue":{"value":"Q59416333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$F7FA4B3D-BE8E-4C1C-B92E-925DF4224D03","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":"Q2946636$E7DC5AED-9E22-4651-8D8D-B26CE6B764A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df568fb73a56d7e79db68ae450bc9e9530138721","datavalue":{"value":"https://doi.org/10.1145/1929954.1929955","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946636$4FA7B80A-4A08-4695-B086-61F72E00CA8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48ec4affc35ac8bddb55e5b20f0f3ff6a595e23f","datavalue":{"value":"W2005263036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946636$FDA6F9FA-9EF8-4A70-81D8-B72B19485127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5a2734d06b7fce815b9ad42a494e3cb25021c3","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9da0319604bb817080fdf45573e09e5ca33970","datavalue":{"value":{"amount":"+0.9399633407592772","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":"Q2946636$7D4DF226-F4BB-43F9-8263-381ADC576630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad03ff6333c3ed180eebe7337a643a70d2c0de2","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a565c16fa9bc7412573676fbcf89f328355dfb","datavalue":{"value":{"amount":"+0.8121058344841003","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":"Q2946636$820BA14A-A6FE-46BB-A6BE-01921F8CEBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a99cf25d737fad764ccaba7dd45bc4d5654ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8a621a3608be585fb6f4c9d775111b6f84a9c1","datavalue":{"value":{"amount":"+0.8046285510063171","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":"Q2946636$B2359F2F-D778-41BD-AE8C-65B605A676A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40dd7428812ef8a50d04039218b10d1bb55e2c7","datavalue":{"value":{"amount":"+0.7649608850479126","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":"Q2946636$A048930D-49C1-4556-9F52-7315AE4B7EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1fae45d1c3b308655127ba1e86a3f7b81f3bd2","datavalue":{"value":{"entity-type":"item","numeric-id":4737005,"id":"Q4737005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46adcce54e871d087c6725fe641b09418261e18","datavalue":{"value":{"amount":"+0.7615158557891846","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":"Q2946636$08336995-6648-47EA-9DBD-94362B296809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal abstractions of concurrent behavior","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_abstractions_of_concurrent_behavior"}}}}}