{"entities":{"Q4583323":{"pageid":6612908,"ns":120,"title":"Item:Q4583323","lastrevid":53186276,"modified":"2026-01-24T10:15:00Z","type":"item","id":"Q4583323","labels":{"en":{"language":"en","value":"Deciding the unguarded modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6928171"}},"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":"Q4583323$018F4409-B078-436A-A328-69D32D338C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fde73583dc05d30bbfc020c1b1e2ba1e787fd62c","datavalue":{"value":{"text":"Deciding the unguarded modal -calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583323$9A427DA7-AF07-4229-A91F-88528CE9AD6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b664bf5842905a487ef6b69ee7964b191ef80c58","datavalue":{"value":"1398.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$38FED88B-BEED-4322-A5C7-A73C6310222F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a92fdd544a90e249002e4a44838a933b4ef3156e","datavalue":{"value":"10.1080/11663081.2013.861181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$E83ECF71-E719-4D5F-8110-88F4A8C92166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4837f0d122d5493100cf3a55fa0f0b33a2b57f68","datavalue":{"value":{"entity-type":"item","numeric-id":507320,"id":"Q507320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$D6A340DD-5F01-48A4-8B6E-45939BF784CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$C8EEA87B-CDE4-4A79-A5CA-434D331E4170","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$45765054-0C83-4413-8E37-B5D66165CC07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583323$F7DD6715-D9B7-4D91-A109-085532550409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$F9B53876-0499-46A2-ACCD-7D26236D219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$2601DC49-06D6-4DD5-97E3-576B05B2B7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$DACCBE27-F3AF-4C45-B539-60EA8A4D07C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4fdcf4ce5feeade115beda10e17a4a797b909d7","datavalue":{"value":"6928171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$C56A4794-7F0C-43EA-9F1C-6EA138F0C1CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583323$4B3F118E-544F-4F04-AA92-4841D7ECD99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583323$36F114BA-1F6F-4474-A0CC-E21397E26625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583323$DC2C3D4B-AD96-429D-909D-6D07D0E60DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583323$7993F5FA-4632-4A98-9E42-6995958A4532","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":"Q4583323$E67F7E2E-1BF0-45D2-92BA-6CD10A25420D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b08e5f602c1c684c83ca0b895a481eb153baad8","datavalue":{"value":"https://doi.org/10.1080/11663081.2013.861181","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583323$B63192DB-6021-4037-8B16-705EF54131F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b761688bc0b074c1f9f435ea1e38d147621cc8e","datavalue":{"value":"W2049154590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583323$4095C607-B4CC-4A17-9D03-B11A8BDDA0B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d683527167f5b0b0b7f266dc71053afd7ad96969","datavalue":{"value":{"entity-type":"item","numeric-id":1425188,"id":"Q1425188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$2189A8A7-AC56-422F-AB2B-92E7E9F8FD0B","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":"Q4583323$D41D1A5F-4A58-4007-B17E-C5743E8CC2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeb9c71e6a2b7b0d29761fb36fdd974d315c83f","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$CB0DC881-4C1D-4DA3-BBDD-E573D1E0E18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6976d3496b2a5675aed7550344a5f67bf5633096","datavalue":{"value":{"entity-type":"item","numeric-id":4256653,"id":"Q4256653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$A175766F-8A9A-47B1-86A4-1659C373D11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$66C100FB-676B-44E0-955A-D501BF095C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$53C5A4C7-CABB-42D7-8E89-8CAE6B0AC29E","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":"Q4583323$49D51964-70F3-4FFA-AC41-5C6C5F7E32CE","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":"Q4583323$03B7071B-60C3-45EB-A715-D8F25283CDE8","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":"Q4583323$7A19751A-4DFE-443B-9B73-76D3E4205B14","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":"Q4583323$CBEA48A0-AAA9-45D7-9520-F7DE056E7D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa54618eda41988a65054578626fe7e86072441a","datavalue":{"value":{"entity-type":"item","numeric-id":3395043,"id":"Q3395043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$A6E47B7B-711E-4573-8243-9DE3D90D486F","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":"Q4583323$5D3969D9-8459-401C-95CE-6FAD30B5E00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48ab9b171125f2901a59d92ccc66a2bf9cf3e04","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$6054F7FA-BB2F-4994-97F2-F1A76EC04589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$739E5559-D01C-4C6A-A2DE-EA34EEB15098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077c9cc5c5eb40b039fdc94f403d2732fd84180c","datavalue":{"value":{"entity-type":"item","numeric-id":3525631,"id":"Q3525631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$FA19C31C-282B-444A-A3D4-83F6FC22A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb9802831e4e534bc43dcf5fe696b33bff47bef","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$CAD34D2C-2A48-4466-BE9D-3FF22463AB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$3C6737C7-669C-41B8-BF6F-759E178CCD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$70958F91-619D-4566-80DB-81221E610DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$BDFC8B82-623B-4829-B664-148E7E8FDA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$D2F09DB3-BF50-48BC-859A-9E802CDF6DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$43052DAF-5CB8-4CDF-B676-31207CE49196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383a3ca7aae52562570b64d9d10b45f0e5fd4501","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583323$9D758558-EE81-4D3A-B7F8-2E6A6568E873","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":"Q4583323$BCFE63F7-3181-4C99-A6AB-157CB45BEEB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69ae2f62c940b46c1609776f341b089f3a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3010366,"id":"Q3010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e484ac6889edecd706985a81dfed3dd7eafe973","datavalue":{"value":{"amount":"+0.9698668718338012","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":"Q4583323$42047A24-5C16-4234-9064-F36564698346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125def8d4eb97a4bcf3abc8f8d918972d7e1087","datavalue":{"value":{"entity-type":"item","numeric-id":5479283,"id":"Q5479283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d716e9c54138c665c1e166325b1f7fb9a83fb85","datavalue":{"value":{"amount":"+0.8079625368118286","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":"Q4583323$A18D035E-86B0-4069-9271-CE2CECB891FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcea61a45ff616dc122d2bee9b5044af04dd76cb","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474bd7d7e6359e866afc2bf565d09f2195d2a55c","datavalue":{"value":{"amount":"+0.7837780714035034","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":"Q4583323$FC4317EC-D044-4040-9318-87871F9B6B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1462275c9ecb81a5764271180f980d60f928ea","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb5e189d1fceb02d33dffd741fb97d2a3d11398","datavalue":{"value":{"amount":"+0.7765530943870544","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":"Q4583323$D2B2A140-4872-4031-B83B-AA3E48EDBB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4162787fc5bbc64e7e69fa55e2dcaa77aeab75bb","datavalue":{"value":{"entity-type":"item","numeric-id":3085177,"id":"Q3085177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165da0fd0ec0f97fc1b2b7e416d866bb54e0ee53","datavalue":{"value":{"amount":"+0.77140212059021","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":"Q4583323$8A423BB1-9E62-4F39-B7AC-72E33E1A1BAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583323"}}}}}