{"entities":{"Q703588":{"pageid":705437,"ns":120,"title":"Item:Q703588","lastrevid":63745473,"modified":"2026-04-11T15:15:30Z","type":"item","id":"Q703588","labels":{"en":{"language":"en","value":"Compositionality and locality for improving model checking in the selective mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126143"}},"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":"Q703588$FE61D52E-18B3-4B1C-8B3A-A89C5EA3BF3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceb1366cd1816d365e6f024f88b42f1d622e1625","datavalue":{"value":{"text":"Compositionality and locality for improving model checking in the selective mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703588$E328C418-41A2-4ED0-B863-46A6488AEDD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"960abf173018fee203f96cafe9a7958ebdbdb146","datavalue":{"value":"1083.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703588$539EA7FE-D265-4855-8A1E-40B08573D3D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703588$BF18FB6F-CFC9-4F31-8D92-7DE0B983E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04dc255262dac03f133b97d0ab2c442f58cea33","datavalue":{"value":{"entity-type":"item","numeric-id":703587,"id":"Q703587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703588$A65DF6F0-56A2-494F-A7F2-46E5CB151587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703588$C5BE76D5-EA22-4ECD-9D2D-F233260CE1D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703588$F9E88DD2-0011-4F26-82A0-EA0F37565A80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703588$88BE3C3F-1DB0-4239-BEE8-AF775D3164E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703588$071F9BA0-7A82-4353-BD62-3D0D865CD869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b5beee7d884323924bbfd41d8229e2cff949123","datavalue":{"value":"2126143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703588$9DBF513B-D579-4539-8DC3-D2F8125443E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q703588$5BBD109B-F739-49ED-BCF2-22882585AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q703588$58FFB02D-7DC1-456B-8BB9-FBA6E3B0B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703588$19519C3F-4B48-4674-A4A0-173FF4F6117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27092c5c6a0146c9021211214372ba608676829d","datavalue":{"value":"Compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q703588$CE5A4F08-CF6F-44C7-8E2F-0D96C292C922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26192abb7522a5d778adaaa1d0d3f653a9e46229","datavalue":{"value":"Tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q703588$1F5B0DBD-8347-4D2E-978F-2EB4475B9FBA","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":"Q703588$2736AC42-F0BA-41AD-BE37-798A17DF5485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7faee9800c17b2cbb6faa7d73c1d9fff761cd18","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q703588$AE17B12C-411B-4750-8138-3B4519DBBF51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b140279138dc70ce6f6753c881162cee4a9775ac","datavalue":{"value":"W2097768234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703588$415CE50C-DF97-411C-B4FE-AEBCEB079B29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f468df1ab64b3cef2615c8d3a50378d1c3aca254","datavalue":{"value":"10.1016/J.SCICO.2004.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703588$566B740F-6FA6-4219-B85A-E4510C8DE13F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3673b0fed49cb1bd266ea194b9dd8cd54e7972d","datavalue":{"value":{"amount":"+0.8458642959594727","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":"Q703588$2EEE49B0-1D04-4171-AD2E-9B0D15D847EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04513c0bdccc1d14a9c0a4e20e6bf9eab9493b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542566dd3ef6ca9c9d8d4a2d94038716fa4419f4","datavalue":{"value":{"amount":"+0.8199290633201599","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":"Q703588$27FA20C0-8CA2-4802-BEF7-DCE014579CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e638ed8fc54bdca56251f29c419378da16fc9ef","datavalue":{"value":{"amount":"+0.7976445555686951","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":"Q703588$20A59D12-555D-43C0-9ED4-81C9A40FE976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d35c025405b07b761085914b077ef1d974b1878","datavalue":{"value":{"amount":"+0.7970086336135864","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":"Q703588$23752345-380C-45A0-B403-A02766163F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de93508081d60055af7162ad74f14b591f41828","datavalue":{"value":{"amount":"+0.7907856702804565","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":"Q703588$6D652A63-A150-4A7A-BA1D-850F6A865FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositionality and locality for improving model checking in the selective mu-calculus","badges":[]}}}}}