{"entities":{"Q2938159":{"pageid":2948879,"ns":120,"title":"Item:Q2938159","lastrevid":58065444,"modified":"2026-04-03T16:16:58Z","type":"item","id":"Q2938159","labels":{"en":{"language":"en","value":"Structural Refinement for the Modal nu-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385970"}},"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":"Q2938159$C94DD951-890C-463D-AC8D-01B29442C7BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82132f7435fbd1ba3745a4bd0b252bd517b5d8f3","datavalue":{"value":{"text":"Structural Refinement for the Modal nu-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938159$36389B6F-A474-40A2-AF2D-FD7DF51E0048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85caa7b060e02e5b07f4190b878bbdd4e6b6afca","datavalue":{"value":"1432.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938159$D2E1BDBE-50BD-41F2-8ED6-0B95FEDC53A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc80eeec30de119e0e83dd7f39fe91ebe78f266","datavalue":{"value":"10.1007/978-3-319-10882-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938159$A35BE1A0-E657-44AE-A795-27E15CEA8BCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938159$7910DC4A-A3A7-4B61-A699-167AD408AD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938159$426E0FFF-8333-4BF3-8CF8-A23E1F128418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcd4b26fd536e6aa8f09ce8ab65a6210fabcecfe","datavalue":{"value":{"entity-type":"item","numeric-id":386616,"id":"Q386616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938159$CC8E25B9-D35F-4089-BFC0-65BFA15C0BA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c440b8d1d21e884d119c2788cfaf3e8b7186450a","datavalue":{"value":{"entity-type":"item","numeric-id":2938145,"id":"Q2938145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938159$C8FE36CC-BB9F-4ED4-9F93-52963B841588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938159$BD70A850-76C3-423C-9D12-4528E13B5ED3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccb4823126d246999433e5142c84ffcd1d6eb78c","datavalue":{"value":"https://arxiv.org/abs/1402.2143","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938159$6E75429A-3EFC-4927-AB96-3EFFF03647AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938159$D19D6F6A-07ED-4073-9CA1-60BFC3BB1D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938159$533E9DD1-900E-4CF8-8AD0-62E25EA5C495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f604af48c0d558719d1b13e84a31bc3e962c37e","datavalue":{"value":"6385970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938159$7C58994E-B5AF-4026-BF9C-D89C4FD3F01E","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":"Q2938159$8198B95B-A93B-486B-90AD-445F28983103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aec79c03886f871670bf24a8fa518adc55532d8","datavalue":{"value":"W1788643058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938159$487C584D-0D1E-4EAC-AD04-EF7024DE68A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba778d7781b4bbbaee63dcac407712bd61880e5","datavalue":{"value":{"entity-type":"item","numeric-id":3033311,"id":"Q3033311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2943d56b58570cb74cd35684814b56a34a3cc715","datavalue":{"value":{"amount":"+0.8990721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$7644AD31-FED0-4362-AF00-250A1A02175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bfc6f87b3dcd334c607afe3d711993c880250","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2943d56b58570cb74cd35684814b56a34a3cc715","datavalue":{"value":{"amount":"+0.8990721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$4A044E26-1ED6-4142-99F7-0925A385BD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c98e4fa0ba5717a9700a1f53c88a772d7fe62ac","datavalue":{"value":{"entity-type":"item","numeric-id":4636025,"id":"Q4636025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7af850c212bf4e7af383f5c607676d89f69d57","datavalue":{"value":{"amount":"+0.89003396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$3F56A67F-6D2A-4367-BFD1-4F39F93A580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a04a6107acf78343f93043eabd619b24087bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5752543,"id":"Q5752543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26fdc3d9abd6cb7e1ae9c9b35264d870d446ee5","datavalue":{"value":{"amount":"+0.8894495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$0E569C16-28DB-4CF5-8935-56CD741DC8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ba4347c385b7b857d7f517cc75226f766cabdf","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455fb160b40b04e1e1392d0646d653e729527f56","datavalue":{"value":{"amount":"+0.8883657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$7C97596C-5040-4B27-9BEB-3419FC50BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02b3fdda5f3c78fc71958d11c45980d6e9532c3","datavalue":{"value":{"amount":"+0.885286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$F6B7E0C4-9158-49B5-8FA8-2FF5163B30BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc7dad513c6e967aad039980dbc35e1b6f5414b","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fdd487ef90372932d7d7e38a9c267939a83cde","datavalue":{"value":{"amount":"+0.88286287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$1AAF6ADE-1645-40B7-A95C-4278FEE507F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f7d4a96404f77fd35cca6d55a19fd2b38dca28","datavalue":{"value":{"entity-type":"item","numeric-id":4489076,"id":"Q4489076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9589c2779af55f3c6c2fde9ef90440e0d49bfb28","datavalue":{"value":{"amount":"+0.88185024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$8E0D62DC-6C55-4A63-9EB8-6AE8E4ABA68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0a50e466707129605d225106e5b7250c6fcc1","datavalue":{"value":{"entity-type":"item","numeric-id":4635600,"id":"Q4635600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a50f47e4285a09a7a7598f9a05af3cc708940b1","datavalue":{"value":{"amount":"+0.87899965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$4DE910AE-F79F-4266-A0CB-9D37DAB55D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e64155cc6439bb60ec56946b7bdb88c1ea7def","datavalue":{"value":{"amount":"+0.8786571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2938159$D7C696A7-8521-406D-AE1F-64653662255A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938159"}}}}}