{"entities":{"Q1166926":{"pageid":1177675,"ns":120,"title":"Item:Q1166926","lastrevid":42924799,"modified":"2025-07-16T02:11:45Z","type":"item","id":"Q1166926","labels":{"en":{"language":"en","value":"Fairness and related properties in transition systems - a temporal logic to deal with fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3770933"}},"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":"Q1166926$9943D969-F6A5-457A-A786-1BF3AEB914A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71757ff7b60a83c745e1be6c18a56ad818aeabd0","datavalue":{"value":{"text":"Fairness and related properties in transition systems - a temporal logic to deal with fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1166926$1F448374-8091-415D-AC59-48F4200E2D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c618a088082ddefeb5295db9eaf8541966d3fa8b","datavalue":{"value":"0489.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$53E4FF64-FC62-45BE-A027-152EA947723D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94db5db89516e7d8257defaad47e4b0f5e4c98d7","datavalue":{"value":"10.1007/BF00265555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$D28C4E44-E071-47E0-8A91-F9BCBA7380D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f6784f6308f0bcb9daad4210076668589ccab7","datavalue":{"value":{"entity-type":"item","numeric-id":1166925,"id":"Q1166925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166926$04623838-AA27-4882-AEC9-F18671D33451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166926$B690F744-B9D2-4DC8-93AD-364DB2EB4748","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166926$9C6C5BED-B37C-4765-B851-3406C28453BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1166926$CEB3D01A-D1DC-46E4-9A5C-750F15EF5C68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$4F756CA0-34BA-4A24-838F-F1EA5F8D98FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$D356EB6C-82BC-4479-9A1B-50D963280A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$F986102F-E824-4D00-9CCC-008BAE3F7F91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa5220e602825b9a3f58bc23a1e9290f8f1b2199","datavalue":{"value":"3770933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$E1E22E80-853B-47D6-807B-EECAB71BDF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49cd8de9e186c7b4f2e233b519e1a3d353a0d2a3","datavalue":{"value":"unfairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$A8E82583-A7BE-4565-8711-9F2C95B2DA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a1709a767b93d46426c73ab58adbcff76e4212c","datavalue":{"value":"classes of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$AA0C7E74-C387-4FD1-9FDA-486BB64BACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b778b1313fdf5a9f6120e28506c1c34a3a94d8d1","datavalue":{"value":"fair reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$6613D299-AE3B-45DC-8AB8-867D2F08F119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$58767D7A-D2A9-47D2-8F68-8A288D8080B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$72320ED3-9869-4BF5-8B68-021D838BF736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$4EFD1A17-F8D4-44B4-BC11-520F9C473B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1e1f7411fa4ee4639f0d11db00572e1177a3dd","datavalue":{"value":"absence of livelock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$A94A91C9-4552-491A-9D86-92AA605B9446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05be9ec2823af420cbb8d75b7c5bd7cad15db25","datavalue":{"value":"absence of starvation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$4C223BB0-D03B-4DB5-892A-9433D5E56F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b22bc9c1af62a0ad907d7c9b40242202dbb39e0a","datavalue":{"value":"finite delay property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166926$96D03846-85E1-411E-83F9-A0398F8170EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166926$FA148809-B92A-4C60-A9D4-485E9D068314","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":"Q1166926$03FC5F98-FE20-4988-8B47-74C8B320A944","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be7d76df42f5d37fc015b796771038f23ab062d0","datavalue":{"value":"https://doi.org/10.1007/bf00265555","type":"string"},"datatype":"url"},"type":"statement","id":"Q1166926$DC448527-B460-40C4-BD9F-77944E42CD0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"041357e751d7ff68f4209a6adb803c88665fbb84","datavalue":{"value":"W2126395320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166926$33BD97AE-F926-476F-AA7C-93099F13CB66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1166926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1166926"}}}}}