{"entities":{"Q6541156":{"pageid":14152299,"ns":120,"title":"Item:Q6541156","lastrevid":57344703,"modified":"2026-03-30T14:10:03Z","type":"item","id":"Q6541156","labels":{"en":{"language":"en","value":"Proof systems for the modal \\(\\mu \\)-calculus obtained by determinizing automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850748"}},"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":"Q6541156$69B8D8BF-635C-493E-B255-B0AEBBA3C581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0cda0cc7288762f48e80beeddc72f15f4bc50ba","datavalue":{"value":{"text":"Proof systems for the modal \\(\\mu \\)-calculus obtained by determinizing automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541156$262B9EB9-5E06-4782-B04A-ACD461C6B0B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88ebda31a2f81ed6630d9dd50386e30112cfa3e9","datavalue":{"value":"10.1007/978-3-031-43513-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541156$7764A94B-BE49-4DB4-BE65-53428E6A55F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a2ec38188d4a3eed248f26b7489985f1ebdd21","datavalue":{"value":{"entity-type":"item","numeric-id":6541155,"id":"Q6541155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$DBA51363-D575-4C2C-A76B-06AD623DE30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b8c1a49575084f5bdc367a6646e379136ae3a4","datavalue":{"value":{"entity-type":"item","numeric-id":6443670,"id":"Q6443670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$5616C4CE-47D5-4C03-B293-890455D6914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46f7074353c6dc85f739de24e8c3bfb3a0179d4e","datavalue":{"value":{"entity-type":"item","numeric-id":1742624,"id":"Q1742624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$52D3C967-1ADE-4E57-8CB5-423021FCDDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$04B8BD1B-667E-4623-A9AB-C0B0976E1844","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541156$A6999BB7-1DA9-4829-9E25-6332765C42D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541156$6CBB0245-F77E-49E1-8360-BCAB3289A894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9188f205b8e9027331e16781ee1a7910576ba479","datavalue":{"value":"7850748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541156$CA6480A1-12C1-490A-A645-86B8A247EE19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac72b7d30a5e6217cde0f76a00b9b77334b047fc","datavalue":{"value":"Modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541156$553624FB-AE48-497D-BF66-F3A9B4B9A696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157d7d4a5518af0d098c8310a134d9bf65945a3c","datavalue":{"value":"derivation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541156$99A6734E-EE52-447B-A82B-10C5DCCD3580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1d2200fded9fd979bda810e2fcb3fdc1f2c8a1","datavalue":{"value":"determinisation of B\u00fcchi and parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541156$DA3751C9-6292-46F2-B9C7-FB066AE84CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc93d7768e240c101683df99db25f2c2327a628a","datavalue":{"value":"non-wellfounded and cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541156$7A01936E-6F31-431D-9A52-27D804C24015","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":"Q6541156$B4E8E937-CC9C-450C-BB73-5719A78F0A12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d640a4a3ce383613ef37be53ccbf764972f1aa","datavalue":{"value":{"entity-type":"item","numeric-id":6639555,"id":"Q6639555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$3FF51060-FBBE-4787-87A0-4A63A565F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$CF31AB0E-87FA-4CE6-83E5-D8BB4579BDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$00BCFF90-76D3-4798-B0D7-E306D17335B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$A6336730-D651-4E41-B017-AEF42E02A034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$0EDF91F7-4022-40A7-A511-698193FDA8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5132ec1ad4854b065a2ce166ce91ff2ebf2f175","datavalue":{"value":{"entity-type":"item","numeric-id":897653,"id":"Q897653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$D38377CF-410C-4EE7-8125-2CA64F81B77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d27bb6ae96f431a93b0bde28566a067e2dbb4","datavalue":{"value":{"entity-type":"item","numeric-id":4913776,"id":"Q4913776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$7C0319BD-2BAB-49DB-B405-8595C57238D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e870512a16e2d4638901d53e633d2793b9b0103","datavalue":{"value":{"entity-type":"item","numeric-id":4583323,"id":"Q4583323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$1286A670-208B-45F8-A5E1-0E8253ED16A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$A1A990E9-3029-43C9-9916-533B666857A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$BA5B9D0E-642C-4DC7-B4F6-05D448E8081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7668f3f051470e944eec849a456581c40bdf3f","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$B51BFAEF-D3DF-4A19-B29E-67FB707F16E9","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":"Q6541156$D0896620-43F1-4184-B81A-9E960D549832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0602e5944996005250e6a17df4fc87bc2740dfc4","datavalue":{"value":{"entity-type":"item","numeric-id":5092321,"id":"Q5092321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$D69D545B-02F9-4923-88D4-F02BEC6A32BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325f9d91f00b299d505d6a1c7a29850d6c1afa43","datavalue":{"value":{"entity-type":"item","numeric-id":2142090,"id":"Q2142090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$D99512FF-DFB3-45D6-9E34-418805A2D50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$99F250A7-0972-43A8-8B5A-C42F502B88D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$E0EB0D04-D080-46C6-97B6-1DBA653C1C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$EC4F66AC-DB18-4B18-9E4C-56ED94717650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611b4b935078a360190ff636d736f887e8acfc9f","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$89A22753-ED54-40F0-B02C-E6B9525403A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$5055764E-DA29-4F22-89B4-8CC10B984601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541156$F33D15DE-384D-4934-B961-A25766DF7BDA","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":"Q6541156$B4E90236-4C0D-4B83-BB8F-F088846106F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541156"}}}}}