{"entities":{"Q3092477":{"pageid":3103192,"ns":120,"title":"Item:Q3092477","lastrevid":51330086,"modified":"2026-01-17T19:17:48Z","type":"item","id":"Q3092477","labels":{"en":{"language":"en","value":"Muller condition and fairness on multitransition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5948228"}},"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":"Q3092477$3F11E014-0359-4E01-9A18-7A9590843F55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"003b86534dac2c931852db768a9b8fba04b5efb8","datavalue":{"value":{"text":"Muller condition and fairness on multitransition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3092477$386FCDE1-0A50-4474-9F1C-394EED67E865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b1c7704bf151b067b83d93ecdc9bdcae7b057e","datavalue":{"value":"1221.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092477$742BF6D7-D465-4DC6-9302-911AB1F3DB6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a6f5f31cea8ed70cf914278eb9071e5cfc801f","datavalue":{"value":"10.1112/S1461157010000136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092477$002E36E4-7246-4211-926F-3C28DB1B7A25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77b657f9c2b326d1fc2608a091612fe72af3eefe","datavalue":{"value":{"entity-type":"item","numeric-id":592128,"id":"Q592128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092477$480FEDD5-5D2A-4609-B278-C27D135CE60D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"997f8e81aafe849f90a25017f3ed07a2b1feb16c","datavalue":{"value":{"entity-type":"item","numeric-id":2709391,"id":"Q2709391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092477$B79313A4-1295-4CE3-8ADE-6EA7EC3024AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc45eb63fd270974cc03c12b380a0b0e37f4a488","datavalue":{"value":{"time":"+2011-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3092477$5901B6A5-C65D-4BA4-8021-4CC01382A466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092477$0F4C4A89-9222-4E79-BBE6-1079ACB76979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092477$A0E55366-6C17-4F93-8E71-577B857E83C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab9b899fcf2cd1d5e5560415a92609737ff88eb","datavalue":{"value":"5948228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092477$5906A98C-4DB4-4E55-84CE-87E4BA5D83D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cece43bac2ba5af8acf616d3c27a0339414b0b7b","datavalue":{"value":"multitransition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092477$4FF900D0-718D-4BBB-A152-A82EF7B09C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba59d0e0e2c1a170aa8119943ca149bbad9332","datavalue":{"value":"regular SCCS processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092477$96C41B58-FC57-4549-B409-76BD8552F6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88de42f2b01422eb48ef10555090342b6cc2a9e","datavalue":{"value":"fair computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092477$31D5FCDC-5B7E-48B6-AABA-DB95D590E16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4d289ccdd373072065316f0158b32670d945a63","datavalue":{"value":"\\(\\epsilon\\)-free \\(\\omega\\)-regular \\(N\\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092477$CE7188B5-9772-4520-A68A-2893C4CABE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86bb5f2f7b8dddcca4415073714a30d3e4bde772","datavalue":{"value":"Muller acceptance condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092477$D215460C-76E0-44F0-B0BB-B2C40D2F7C66","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":"Q3092477$540F4B4E-113F-4AD3-A357-160EDA376C86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55dc268dbc464734223ef3f2414f2f068d27d9ae","datavalue":{"value":{"entity-type":"item","numeric-id":3816967,"id":"Q3816967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092477$CF0DE54A-DD01-47AD-B342-2A3744EB301A","rank":"normal"}],"P1643":[{"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":"0c3407e562971ebcd7a7de4b7348778b6aa77158","datavalue":{"value":{"amount":"+0.7573011517524719","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":"Q3092477$4B9CD99E-DE3E-48BB-A6E0-B0AAC7E42E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc479ecdbb30dc84b0c659d58072bc2b60e3aaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3823122,"id":"Q3823122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816221126f147ad6c506e9b7ed35ecf51b105d71","datavalue":{"value":{"amount":"+0.7370426654815674","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":"Q3092477$A8E8301D-CD92-49AA-8240-3C8872AA856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6029271130508482922d4a66daf63af5cf59a55","datavalue":{"value":{"entity-type":"item","numeric-id":5750406,"id":"Q5750406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ddf4023ddd0e651ee9d4fb896a2728e6bd30685","datavalue":{"value":{"amount":"+0.7294363379478455","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":"Q3092477$707BA74C-74C2-45ED-A967-AE8417646B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04aaabe935132e6223e4c5db8969a03ddaf8843c","datavalue":{"value":{"entity-type":"item","numeric-id":2502272,"id":"Q2502272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce17e5a76a7d1402e3b6ad53631e93e2c645ad12","datavalue":{"value":{"amount":"+0.7252038717269897","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":"Q3092477$210D573E-41BB-45FA-8D84-0373EEC490B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436261fafcc12dfa626a95c08e6a1b6c4de3d51e","datavalue":{"value":{"entity-type":"item","numeric-id":1193893,"id":"Q1193893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271505bce4f0255467b5ca53cd45243faa4c86ca","datavalue":{"value":{"amount":"+0.7164192199707031","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":"Q3092477$B058E4DE-DD21-4B87-A6F9-CCBD599356A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3092477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3092477"}}}}}