{"entities":{"Q6859908":{"pageid":20656081,"ns":120,"title":"Item:Q6859908","lastrevid":84252428,"modified":"2026-05-14T05:39:42Z","type":"item","id":"Q6859908","labels":{"en":{"language":"en","value":"Progress, justness and fairness in modal \\(\\mu\\)-calculus formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158336"}},"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":"Q6859908$6CA655AC-7C84-4747-A290-9659265555A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a985bf2bb488a9ab077b9f903aecbf55aa58c700","datavalue":{"value":{"text":"Progress, justness and fairness in modal \\(\\mu\\)-calculus formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859908$CD1A43E9-C731-4D8C-A935-1A8619F4E4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2bd0107bfc4de11f930a9558e1f41c631afa000","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859908$5DA195D5-D568-4119-B76A-6354D9F786CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"488a19754b8f2a87b6fb154079fcededb4dea170","datavalue":{"value":{"entity-type":"item","numeric-id":6859907,"id":"Q6859907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$FC0EED34-9293-413D-ACC9-D467729C72B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$10194657-57E5-4111-8510-837B95788712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$FD2E86EA-D911-4176-8D6E-13D4576E787E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859908$F9D5F1CA-83C0-41B0-9DDB-6C27BD70EE66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859908$F74322F3-3E68-4403-B407-762BD9950C48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"609f154fe487f4fb011a0255619b105392c6ad3a","datavalue":{"value":"8158336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859908$77035564-9635-4A24-B93F-5E0E9A4D61B7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$25B741C0-1384-4119-9CF1-35FCA627CB5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$38AB5A10-3272-4BEC-AEFE-E9CC43E47B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6737365da39b9d472c87867f1b8caace9ee0a89","datavalue":{"value":"property specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$200BF1A5-F83C-467A-8D93-22E7987F1C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02eb92ab6bef3e9d4cf577786ef56b35f98c090b","datavalue":{"value":"completeness criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$A037C51D-E701-49B9-9DEE-FA179888EAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd37b947bda5a6427b7991d62f3e7539df1588","datavalue":{"value":"progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$B90587BB-4115-4DD5-94D6-867E2CBD9E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dc44194cfc50a4630e574ffd9744bb82d32a71","datavalue":{"value":"justness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$EF1C11D7-72E6-424A-9F91-0DFDA035E310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$3A11C5C5-DEAF-431A-BED2-6AD2F5C43C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859908$96BDBDC0-6D89-49AB-85DE-5910BE5CBF23","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":"Q6859908$17A78FFA-8DFA-43B3-BBA1-3633C4EE6293","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$C8F34786-C1A2-4887-852E-710E93682168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"240d02459ac45fced65ee4bfa11fa80e224695f1","datavalue":{"value":{"entity-type":"item","numeric-id":2182670,"id":"Q2182670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$E3754AFF-F839-49C1-AF0B-88E4FF54410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$74F7B29D-A0E6-4EE4-B4D2-6B68BDF2685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$9D246071-2B71-4F9A-A3A5-C31126C5347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e6bfa9fd1705edeafb2d476da08243926866f","datavalue":{"value":{"entity-type":"item","numeric-id":549180,"id":"Q549180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$BFB161A2-A59A-4BE9-81FB-88CE7390CA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$DF85D6C2-D6D0-4E25-85D3-55F7EB108092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$9D2493AF-DB0C-4720-83F7-ECCE4D1B3356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c98f07a910f52803118e3f822afc04cb2c7614","datavalue":{"value":{"entity-type":"item","numeric-id":2289100,"id":"Q2289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$E145EADD-8600-4FE4-835C-1BBE2D613717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d373879a98b4d8f775e407ab654b77afb108d96f","datavalue":{"value":{"entity-type":"item","numeric-id":5020945,"id":"Q5020945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$36A37712-1C28-482D-ACE7-0528E498F51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d672073ef872c6d81a40e4b50aa086fd9cff6","datavalue":{"value":{"entity-type":"item","numeric-id":6053409,"id":"Q6053409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$9F5A6791-65E9-4FE3-B4E4-4E4E3C7CFF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689a359b14c7eaf1819996ce0a39be45acac584d","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$DFCA169F-44B9-4B80-A596-7E536FAA13AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$AC868F55-D16D-498F-8BBD-D3CD5E7B2CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$C6A21012-BC30-4DB8-B374-5A07C9041DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1fca1251b9a8527d1b796e2899a1aaef492180","datavalue":{"value":{"entity-type":"item","numeric-id":5137907,"id":"Q5137907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$20FEAED4-7696-4F59-A5D3-4B6664F5B2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ca5a8227a448c7bfe377187aa16f6a75d0e362","datavalue":{"value":{"entity-type":"item","numeric-id":5415659,"id":"Q5415659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$D430B6B0-DC9F-4885-8DFE-D72585CC338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2cbd406133dd80bf3f5d166c994f8dbc0f6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1124314,"id":"Q1124314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859908$37F07C4D-314B-42EF-A6D7-9C265690892C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Progress, justness and fairness in modal \\(\\mu\\)-calculus formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Progress,_justness_and_fairness_in_modal_%5C(%5Cmu%5C)-calculus_formulae"}}}}}