{"entities":{"Q383788":{"pageid":385555,"ns":120,"title":"Item:Q383788","lastrevid":61430178,"modified":"2026-04-10T23:19:26Z","type":"item","id":"Q383788","labels":{"en":{"language":"en","value":"Processes with infinite liveness requirements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236057"}},"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":"Q383788$9604E7E9-D100-4059-82D3-22CDB2F842DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edba837707292407ed213b5c28b54ce50d217249","datavalue":{"value":{"text":"Processes with infinite liveness requirements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383788$73079568-5765-4236-AFDB-00C4ABD7A26B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a9c4c213cee9d732b78822f9343d68dd743acd","datavalue":{"value":"None","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383788$2F653A63-FE51-426B-B604-CDFD392455A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3eb95989b75dfa8b7ccc2a36797e6dc94a9f25a","datavalue":{"value":{"entity-type":"item","numeric-id":383786,"id":"Q383786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$39032853-FD56-4DA9-BAFC-78D34E18647D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"beab1a10500124789e4c9090c73f45bfb2bd60e8","datavalue":{"value":{"entity-type":"item","numeric-id":162056,"id":"Q162056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$63370F34-E566-4977-94B5-37DBC23D7A0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$E29C726D-C443-4A31-BA23-94B7DB30FBA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383788$71FFF202-C5AE-420E-A5ED-A2F3BCA191FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91b64b766880482a298bc489e09df0119ffa954f","datavalue":{"value":"6236057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383788$8A59C5BE-11E7-430C-AE8A-4378BDCC8A84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q383788$5DD8B3C2-7917-4C9B-9EC8-0421ADB7C046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q383788$CF6DD883-D3E6-4771-8311-80B7031105BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q383788$E997FA50-ED00-45CA-8238-B7D2532778C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q383788$B87CC4CE-EEDB-41D0-88C6-DC6C697CEADB","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":"Q383788$B8AD4296-DBC3-4B05-9325-EAD22B170A05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab3e766ace70e77c075f087d7abe943ab0f86b84","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2013.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q383788$7AB490E8-3C9D-4994-BC90-5E29CD4028CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1730a32315ec4a2432d0939586d260adc452d7a3","datavalue":{"value":"W2009877640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383788$DF1FAB78-E26A-4E0C-8E49-AF0E81D37B2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$604D5EE9-ABEE-4723-9E14-26420305800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fed117738e0f9a81aee2053f258f1ad4df61449","datavalue":{"value":{"entity-type":"item","numeric-id":2760239,"id":"Q2760239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$3A2DF58A-20F8-4202-8256-5CEF1C29A4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fc17465e357c2bd669d97912a01e1265595953","datavalue":{"value":{"entity-type":"item","numeric-id":1805398,"id":"Q1805398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$2DD773A5-77EC-477A-8CB5-4F3B4144D012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$0852BE8E-FF35-4697-9AD7-36CBB5DFC820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3296a6b1c538a67044610735bc510232ff79a638","datavalue":{"value":{"entity-type":"item","numeric-id":3358247,"id":"Q3358247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$C8D8B25A-C16F-4F45-A4DE-7A72FF713728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e7d91c4bdac9ba68b110a8aad5e06949b4b2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1007234,"id":"Q1007234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$FF86E739-B823-4063-9D57-DC7E7E86CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$EAE9DA4C-3C0F-4553-80D1-C7275664B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$26A3536D-C718-44BC-B003-CC6598090FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$B9EBFF8A-1171-41A0-8FB1-586969143D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b89c35c7e7a60f330d5e75264364028412b99e","datavalue":{"value":{"entity-type":"item","numeric-id":549200,"id":"Q549200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$40635793-9B08-4D8C-8FE0-5080599879A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$403246F9-97CE-4D66-88CC-A3D2ADF059F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$ABBE87F7-E9C7-4C27-A08C-12846C66DFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$B2292DDA-C8FF-479C-A54A-6D747E863A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$FF236DF7-D26C-4AA5-AA22-964BCD5F4350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$5181F414-8827-47C7-9083-E01ABB4C2383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$95E913D1-6DD6-4456-8178-4ECB00FC057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$C6DBBE1D-C4DD-4FF3-9D6B-05F5B790D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383788$2989BEBB-58A5-4A20-B40C-B8101257632C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"127ef34d0ec782e52298048292e2e3f9e2f9f6d5","datavalue":{"value":"10.1016/J.JLAP.2013.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383788$9784B0F8-ED52-4D79-878D-AD944F1CB32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383788$666D1096-4E67-4E93-8009-D6328B6342AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383788$A0FD6589-4479-4402-B111-6B1456D8FDE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d057ece5b34051b859a1f987b03bef2e4c39e4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1007234,"id":"Q1007234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde75e2df7e9747a324722a2f6f3205707be8a21","datavalue":{"value":{"amount":"+0.8058337569236755","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":"Q383788$2EBBFCFA-3942-4B88-BB3C-A7659B5B4737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d21ee0f204110533d888447534135dc49ebd253","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d78b69c344ed7e7d30a15d1630fb073a70b3987","datavalue":{"value":{"amount":"+0.7387210130691528","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":"Q383788$B7DB3329-FB33-4717-BDE3-1937F02BD9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2840792a25c5428d4ddd14cab52eb5573c4918be","datavalue":{"value":{"entity-type":"item","numeric-id":1805398,"id":"Q1805398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddb5a35dd14bc15a3b7ab8d29c53982f08df053","datavalue":{"value":{"amount":"+0.7311457991600037","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":"Q383788$7E6C66EF-7309-492A-9DEC-73BCB327DD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c61ee564ec3d1a5940a31ab97dd95a7a56acb0","datavalue":{"value":{"entity-type":"item","numeric-id":3806829,"id":"Q3806829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826e44899255b21ee5987917adfc10fcbcd48a19","datavalue":{"value":{"amount":"+0.7258158326148987","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":"Q383788$597A94E4-18A8-4347-AB2F-93D96672C05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657dc59e1b222ad2a8adf3be3db627576df62f0e","datavalue":{"value":{"amount":"+0.7086148858070374","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":"Q383788$19649439-44D7-4479-B0A6-2CEC58EB325E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Processes with infinite liveness requirements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Processes_with_infinite_liveness_requirements"}}}}}