{"entities":{"Q1007234":{"pageid":1009082,"ns":120,"title":"Item:Q1007234","lastrevid":50608982,"modified":"2026-01-14T13:39:28Z","type":"item","id":"Q1007234","labels":{"en":{"language":"en","value":"Processes with local and global liveness requirements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5530603"}},"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":"Q1007234$0781C366-C846-4189-95BE-60C2084C6638","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bc138bde4cfc63de753de930511090e94a442b9","datavalue":{"value":{"text":"Processes with local and global liveness requirements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1007234$82EABFDB-8B6F-4668-AF89-1AF9D6411C1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56acc41c7be9e4c1783896337dac161c6c3849da","datavalue":{"value":"1169.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007234$F62812DA-011D-4B21-A524-E0E8BB8DDF1D","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":"Q1007234$A3438B94-5677-47D6-84D8-61BA2B60066B","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":"Q1007234$9071B9F3-00AB-4BE9-8F5F-B6AC825B7CE8","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":"Q1007234$3962C296-B75E-4C8B-82F4-866B92D708A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e445d425c43514397255c49f46fa0ce50aeefde1","datavalue":{"value":{"time":"+2009-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1007234$4EBF4449-09F3-479C-AAD6-127EE9D11329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007234$1454E18B-E5FC-4CE2-8546-5DE36A39135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007234$5B7840B6-300A-4D37-A77C-0D012669454C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3fd14dcf44b8fd8c3e494960c9a45eeeaa3c27","datavalue":{"value":"5530603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007234$366C9C60-A8E7-44BA-8270-BE1E9FA93028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007234$C5CDC09E-482A-4088-8310-8F86CCC243A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007234$60E6C31B-CD44-4642-A9D2-C7A2DBEC72F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf5ebfdb31d0feefc24bde5a6658e010177744b","datavalue":{"value":"quiescence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007234$B27FA71F-8F3F-4C5C-A388-09CB5C7EC3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbbe5780fd29cad31a4c19efc6acc95961012e18","datavalue":{"value":"inequational proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007234$59D931CE-0E81-4D3F-9723-6E31DB3B0187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007234$B42BA956-3EB6-4A00-A4AE-30743F63DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007234$37C94D5F-D1DE-4551-AF65-0229C5CD4AD5","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":"Q1007234$48E492BC-775C-4D06-AF12-A14E722BD9E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85ec6164b71cb33681cdc85e748f4a7f704b28af","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1007234$A3F7F4DE-F241-463C-AD3B-4C60038EA24C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3877d55e049ce97038a849e8960ef9d2ed1ded70","datavalue":{"value":"W2030862582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007234$6E95354E-1301-4504-963A-4514383D905C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7bae4a87b29ab4740fd8151a7a3eb18c94bb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4790410,"id":"Q4790410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$6FE60128-9BA3-407C-A5EF-1249C88B6F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$61E2CE7A-5E8D-4832-9E0B-A4346148AA2D","rank":"normal"},{"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":"Q1007234$B918EE0D-6061-48B9-A330-5AB97821B683","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":"Q1007234$13EF33EA-9DC9-4CD3-A1F4-FD214A766F6A","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":"Q1007234$A3C086B0-9906-4D58-81C0-C912CBB7C9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$6AAE5FBC-41FA-4AE6-88E6-8BD1D7D77419","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":"Q1007234$BA303B00-91D1-41D2-A687-BD2C8DE33606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1781cab915eec597bf7a1f8db8d71e3db2aa98c9","datavalue":{"value":{"entity-type":"item","numeric-id":383788,"id":"Q383788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$29B5E4FF-B8C4-45CD-8CC3-D1FCA13BD574","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":"Q1007234$9E5A8026-1039-4BD7-9857-33E27E705E5C","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":"Q1007234$5F7F965F-E22F-4740-86FE-84841B0897AB","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":"Q1007234$F9AF96D7-F685-40D4-9D03-9FD7F99CCA4B","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":"Q1007234$E198813D-85F3-4182-B075-237B34EB5143","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":"Q1007234$67791DF6-A85A-44C0-A4A9-72D37894D9B9","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":"Q1007234$2497829A-B60B-4562-9E88-E1BDB0B7C7DF","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":"Q1007234$BA0A2325-FDA3-4938-962D-5464426575AB","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":"Q1007234$D954221B-205C-4DCF-AFDE-CA54965A752F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$74A98CB9-A8E7-470E-A378-9C03D51F4F40","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":"Q1007234$F9F60997-5FD8-447E-ABAC-704E5ADE9C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$8C68CF2B-E611-417B-BD73-17E6A214D449","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":"Q1007234$3DE77E35-36C1-4251-8B5D-51D6E3D0040B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c952363e0dc611091f991c1a819edf1d2d2d801c","datavalue":{"value":{"entity-type":"item","numeric-id":1391791,"id":"Q1391791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007234$1667242C-E36A-4A12-BC7A-F98EA52FF0EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d10f4c97306a56a7c12d33055925731361a38a","datavalue":{"value":"10.1016/J.JLAP.2008.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007234$0DA1A839-26F3-4998-8D94-7933BEFC9205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aaca87663f67292ab609636d8a69dac74653bd3","datavalue":{"value":{"entity-type":"item","numeric-id":383788,"id":"Q383788"},"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":"Q1007234$9A6C43FF-BCCF-4D3B-9D9A-B3B370202DAE","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":"8c3fb116b354ea925fcd9ef2339a4cbc0fe4ee6e","datavalue":{"value":{"amount":"+0.7379814982414246","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":"Q1007234$221EBCAA-CC78-46F5-A023-C44DFF1B3D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f328754d567774aa504ca5e816b43c8082c70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8dd3fa7eb4685dc62600b45d9434e455c7c2b2","datavalue":{"value":{"amount":"+0.6977712512016296","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":"Q1007234$7803E534-AB54-48D9-B832-1F594611A69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950bd244f0d0900c530a7298f4d046a9e4e62f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f30f3db68d1d931a118cad1323afdc02b1e6aa","datavalue":{"value":{"amount":"+0.6973982453346252","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":"Q1007234$C796E37C-7A4E-4711-83FC-88C3C29F37D7","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":"c20d4f36526337c6e7b6515c9034dd1470e2e1ca","datavalue":{"value":{"amount":"+0.6948302984237671","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":"Q1007234$6F879E97-15E2-4D28-8FED-34C26DEB8DF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1007234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1007234"}}}}}