{"entities":{"Q671616":{"pageid":673465,"ns":120,"title":"Item:Q671616","lastrevid":63588816,"modified":"2026-04-11T14:11:06Z","type":"item","id":"Q671616","labels":{"en":{"language":"en","value":"A note on fairness in I/O automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983405"}},"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":"Q671616$52E50C1D-4464-4CFA-A4DB-F45C28F8C89B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fc73ad7ca07e2ed894e8fc890f0e943e46832d1","datavalue":{"value":{"text":"A note on fairness in I/O automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671616$96FA48FC-73A2-4985-B887-B36ED91CCA5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bb0a9fa63ca448ef2064b02431bddc18e15b601","datavalue":{"value":"0875.68651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671616$CBBBBA0D-1950-4E9C-BE4C-D7D92C8909FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eb4ae96e7d9550b7e1e80d2439e03eef2d433cd","datavalue":{"value":"10.1016/0020-0190(96)00122-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671616$5E107E36-AA79-4113-8348-3FCDF53FAFFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83a48f01417597939c13a04ca97e7f135c41c7f5","datavalue":{"value":{"entity-type":"item","numeric-id":239141,"id":"Q239141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671616$4719C485-D14D-430C-8647-F81B8052CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671616$8564C242-7111-4EE8-8D97-90D6D065884F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671616$2F2F03C3-4282-40E9-817A-09F69C070243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671616$D29249D0-BB4C-4017-B04A-779AA9269824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"773e9795e7cc8b7afafd6f2393bda72a3b4db6b4","datavalue":{"value":"https://ir.cwi.nl/pub/1392","type":"string"},"datatype":"url"},"type":"statement","id":"Q671616$D98CB8E7-FBF0-4644-B612-D26DA16B61D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671616$CD02E0D2-6CE7-453F-B2CB-A10C668854BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8056f7d057c17b25fc4ec1885ca496458461401d","datavalue":{"value":"983405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671616$9E70B4F9-A75A-4429-8D5D-AF8C0500CBD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q671616$6F93BADE-9F87-4351-9937-40323B2F7309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q671616$0161C4FF-3DCA-4A57-9583-93920E8F04F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f31aa3a3dce3e67052188c0c95ad74993a4119","datavalue":{"value":"Weak fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q671616$A46A4718-5F1F-444E-9D51-3489535AFE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4547bdc66753225158bbd90651a8920fe3dca9a7","datavalue":{"value":"Strong fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q671616$17A84D59-9BAD-4843-92F5-F053C0EA4030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee47f00ce5d29c5c11c2736604a1a27f89258ee","datavalue":{"value":"Liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q671616$DB583B2E-84E8-41D8-BEF6-A2007E3B182A","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":"Q671616$F01EF752-4B50-40DF-A1BE-2FF2E1D4A5E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7638a82a22dfaa0ed001dcc7e9155d424c3bbdfa","datavalue":{"value":"W2002153759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671616$86C8DA44-AD73-4E22-8165-2362F2F092FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671616$25FEC9D1-3A07-463A-82AC-9CF0C652CD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d992845428d0fb8f1ced1ab9e6345b202f4dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671616$92F7C70D-974F-48F4-9DDA-491ADC65CAD8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"afbdb88e1630b3eca255731f2f1dbb538767020a","datavalue":{"value":"Q126977493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671616$D9127C15-8AFA-4842-887E-5F6BD7622E6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae59a4cc47fe1e1086ddad945bc27d2f01f42cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1424348,"id":"Q1424348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7823aa1847c3ea5df8681ba909b8b9cb1a4e84","datavalue":{"value":{"amount":"+0.7688568234443665","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":"Q671616$D27AEC1E-56FD-4959-B731-414383E3A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedddab549a0c8c06d6507046724b30e4a4cbef0","datavalue":{"value":{"entity-type":"item","numeric-id":3787456,"id":"Q3787456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1943c8ebcb18bc7e02d94f12853174c5318003","datavalue":{"value":{"amount":"+0.7661374807357788","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":"Q671616$0FEDB942-FA75-4B30-9BC4-B2122C493562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464e9486caa52eccd8606818b6b678201996ae73","datavalue":{"value":{"entity-type":"item","numeric-id":4828478,"id":"Q4828478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab1aa28468ef6a03ae70b4e9ec42d3d325ea331","datavalue":{"value":{"amount":"+0.7645241022109985","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":"Q671616$FE0B1A6C-6D11-4CC4-866B-B2CA85386DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4f56ec02c949852c091e45b5aab3218ef33678","datavalue":{"value":{"entity-type":"item","numeric-id":2423741,"id":"Q2423741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ba300bde5c72539ba26c6bae4c2dab7f2ede05","datavalue":{"value":{"amount":"+0.7643900513648987","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":"Q671616$93259E09-8897-4EAE-93F1-E402551A3590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb09fa482681de1c95537840bdef72e597c3f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5137907,"id":"Q5137907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d821a5c196f23dcf784baf04db74499d2c5feaed","datavalue":{"value":{"amount":"+0.7602564096450806","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":"Q671616$8D43B62A-F5B9-4242-90BA-233791E037A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on fairness in I/O automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_fairness_in_I/O_automata"}}}}}