{"entities":{"Q5429311":{"pageid":7458885,"ns":120,"title":"Item:Q5429311","lastrevid":100944938,"modified":"2026-06-05T23:30:48Z","type":"item","id":"Q5429311","labels":{"en":{"language":"en","value":"A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216202"}},"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":"Q5429311$FA8FF832-FB3B-4753-905D-634473BF52F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d456beff3b7b0ad7e666bc6384c7e8c3733a125","datavalue":{"value":{"text":"A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429311$C736A29A-E9DE-4D70-8BE3-9257777AEF0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c10ba24ca6ac0ebb485d302365676251bf7b9a0","datavalue":{"value":"1137.68430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429311$DCBFAE09-CF52-48D3-BCBD-E835EBB84932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8280460dad9b56f1c5ba7c9d60438e76e931df91","datavalue":{"value":"10.1007/11589976_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429311$830DCF06-007C-4A78-832F-38DAFDCF8A5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e393e19a61b41bc9f4f6ec33ea1fabcc0ab227","datavalue":{"value":{"entity-type":"item","numeric-id":4737570,"id":"Q4737570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429311$86E8F27D-54EB-41CF-984F-6A1C75B0E88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5d5964503d4391027a5d0b46a6541005174f7de","datavalue":{"value":{"entity-type":"item","numeric-id":2722038,"id":"Q2722038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429311$0574CEEB-F600-4E54-A2E2-116814FD11AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429311$A80B06B9-92F4-437D-A472-A1F5B04B5641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429311$48B845A5-51BA-410C-8460-41181E10E393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429311$648A233D-F0A8-4FE6-A16C-05AA44B9E3DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a2d408dd9814aab00445212d35a2c80ed86eb3","datavalue":{"value":"5216202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429311$76F44F77-53B4-4E87-9936-1DF60D94D02C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0150944062d7d840b570f5c92e362d69e86bc1","datavalue":{"value":"Liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$EDC5473C-BE52-42A2-9FF8-FBE5A89EAD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39456be9390c6950baa505401661e8f0dd7dc97f","datavalue":{"value":"event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$C94C60D7-315C-433E-8ED8-00D64B3143FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4add0db1a8ab19b74e76855d51fa728fd3774e","datavalue":{"value":"action systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$D3B7E079-4A26-463F-A455-C0F257DF29AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c010c02eaf377d3bc00a606182f5591aa3fe546f","datavalue":{"value":"unity logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$451C917D-1839-4F7F-AA1E-A33B85B055A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$51691B6B-7AC4-4E1F-9A00-82D5E8269A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65e9650d9481e643fd3d12dc9d744fee9f675f0","datavalue":{"value":"weak fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$A0B17724-2AF3-459D-9391-74F3C9ADD7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968aee7c83f197851d1e8d839a7f52e2fa7c5709","datavalue":{"value":"minimal progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$0E666369-2A09-452D-9346-AD0332210007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261956b6d884a508d46054281ec8210254350261","datavalue":{"value":"set transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$CDFBF545-CAE6-4143-9CD2-899646CF02C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429311$888A8A3A-EC71-40C0-BB3A-F8557F4D58FA","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":"Q5429311$DF9F62E0-B33C-4C4E-9463-CCF4E0C19466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2843aecfdb5cc7797d4f319ee764c62ee0e6ffb7","datavalue":{"value":"https://doi.org/10.1007/11589976_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429311$44300CA9-66E7-4F73-9E4B-FE33AD4A1C12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7a968a506c4a62ef61db7802af476aa6ca5b134","datavalue":{"value":"W1639411684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429311$C5AB11D8-5A21-4751-8F31-FCD39CAF6E62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a889c58c611b58b83c928f560fee358d11e5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4737571,"id":"Q4737571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f19568591b57d2d6e4f6ff40602a2908a00b0e","datavalue":{"value":{"amount":"+0.7777485251426697","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":"Q5429311$9793C4ED-DC14-4ABF-8D96-94EC011F4B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b1281ce992f21296a7ddeb8c281a741ba6514f","datavalue":{"value":{"entity-type":"item","numeric-id":911318,"id":"Q911318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db49970ae400225cf5dcde6464187e72b30f46f","datavalue":{"value":{"amount":"+0.7586996555328369","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":"Q5429311$307ECE99-9403-49E1-B84D-8C7FD28D1AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d1a58feefc9baf353c2f956ea82bdf23503bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3761687,"id":"Q3761687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f1dfb4fb865f3add0e2a0aa600f812a276396c","datavalue":{"value":{"amount":"+0.7371691465377808","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":"Q5429311$B4798EE4-CC76-4CAD-A5B0-CFF1E874C912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9dd4e10f09bd11e0da85ea350d66c5b0bc1cd41","datavalue":{"value":{"entity-type":"item","numeric-id":4472203,"id":"Q4472203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5997e90b2d1d7ae723f00fc5b2c2eddd6622c71b","datavalue":{"value":{"amount":"+0.7210937738418579","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":"Q5429311$C3D3E2ED-5A1D-441E-8444-B1F3263C7B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f65aab09e7a43e16ecb6c8cf68d2333c008a54b","datavalue":{"value":{"entity-type":"item","numeric-id":672492,"id":"Q672492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab36451e71230b06727c98bc5b99b7c89bcdee0","datavalue":{"value":{"amount":"+0.7174904346466064","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":"Q5429311$896BBE60-3989-4778-82F7-8AFBD0B89D87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Fixpoint_Semantics_of_Event_Systems_With_and_Without_Fairness_Assumptions"}}}}}