{"entities":{"Q2105468":{"pageid":2116211,"ns":120,"title":"Item:Q2105468","lastrevid":57125304,"modified":"2026-03-26T17:19:29Z","type":"item","id":"Q2105468","labels":{"en":{"language":"en","value":"Bounded game-theoretic semantics for modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629165"}},"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":"Q2105468$E5551F84-952B-47CC-8930-9E34C2B8D64A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6143d340d08d95b445ae965e54e8160abd02d7","datavalue":{"value":{"text":"Bounded game-theoretic semantics for modal mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105468$72DCBA7A-8CAC-4F77-B9EA-3CF791E1EDD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$E557A2F3-384C-4EF6-A170-48FA7661DFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$A9A5C480-B6B9-411B-B03C-8AC72728F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1d40d28e0398bcf7c4805f2a1cae910df48add","datavalue":{"value":{"entity-type":"item","numeric-id":1679740,"id":"Q1679740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$72456377-8978-46D3-9821-E9F53C8C7370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$C18A540C-4B11-422B-B088-4B0EBAED9005","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105468$95CFA298-0AFB-41FD-A5B9-A655DD0E9C29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"994b788cc579d00cb6957b9379ee3ba64efb7a94","datavalue":{"value":"https://arxiv.org/abs/1706.00753","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105468$78CD88A8-B293-4275-8C61-DBE2AE89EC99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105468$8CCD5F1A-4165-4AA3-962F-2C855C17A041","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7df9f17d4c2d9c36d7328dd1a88e1899128e4e","datavalue":{"value":"7629165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105468$C1DCE325-E072-44F1-8BBF-17A7686FC38B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$D356E217-6840-4850-8107-12E77321D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$C831BBE4-B12F-4AFE-B462-30C2777A772A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54781759e2eb13d12c2d3b5ce46246bad862182c","datavalue":{"value":"alternative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$3A303F8E-5DF5-4238-9371-5E5D498B494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b39d62d9570b8d27af09160791ba11bdb73004","datavalue":{"value":"bounded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$BD128527-7167-4FA4-ADF4-8DAC87E30DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$E67E5799-29E8-4074-9917-F47E2238459A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a9bcdb22275b5dc26503fc8b6429dbd888155a","datavalue":{"value":"fixed point approximants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$A8A83B59-4202-498D-8BDD-0EA179868E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf11bdd967a69b9925ac1782416d9cd8edb27ab","datavalue":{"value":"closure ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105468$3ECE66B2-DD8C-4737-A8C1-FBEC18ACD029","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"328387e62b28334c66a755ff19a6657df9b1378f","datavalue":{"value":"Q114014308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105468$FBEC7494-E7B7-4A99-AC40-D0A9ECAB6073","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":"Q2105468$A2C685DA-800D-4BE8-822A-22278CA966B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11363d49bc6e2dcc1e19c839a068f85bdc911cd8","datavalue":{"value":"W4213354471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105468$0CF6F931-E791-4D93-AE06-E2DA79804BF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d767e1a731657117bc3ae3a5f1ea13a2977880","datavalue":{"value":{"entity-type":"item","numeric-id":2958510,"id":"Q2958510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$1D25ACA3-E978-45F0-B59C-44EB5CB2E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fc9cec6c740e2d54d0e9591d120eaa62f2a4f2","datavalue":{"value":{"entity-type":"item","numeric-id":528186,"id":"Q528186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$28470734-0DD7-41AA-B414-A7986C2C1E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abc9bd837ab8b0bcca67e88ca9afbb772dbf1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$0A1C7295-DE7B-4478-925D-BAAA32F898F3","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":"Q2105468$913BD401-9AA3-4CFE-8070-4FDDDB0329D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee14dc25df7d2ebfa9ebaadcded95d96043c7915","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$8D1FB359-12E5-4F78-9DAB-14622E4AA7E7","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":"Q2105468$196F5DFF-81D5-42E7-A1C0-522574CB2F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4234eb4d5337b4503dd16f2ff2cb8245a1282996","datavalue":{"value":{"entity-type":"item","numeric-id":2225595,"id":"Q2225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$15FD7F67-BFD9-4CDA-8B34-7143ABAAC682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733c8ff50f86f78d66bd382be1bd6e20904d040d","datavalue":{"value":{"entity-type":"item","numeric-id":4691736,"id":"Q4691736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$9A0AD30A-A6EE-4613-B95A-C1BF9D841048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1132391fc7750ced0e1a2b3408f3e87c491b7","datavalue":{"value":{"entity-type":"item","numeric-id":2334601,"id":"Q2334601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$0FA7D4D7-A6B0-47D3-B06A-B3F1146176A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3dfec5bf3791e4a160a3e4fd5fcdb1af35e4176","datavalue":{"value":{"entity-type":"item","numeric-id":5021004,"id":"Q5021004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$820A949F-28C2-43A0-85EA-5E784C229B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88cdcbd9d304692db7c2307225a4bb1ff179292","datavalue":{"value":{"entity-type":"item","numeric-id":5216339,"id":"Q5216339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$101C3DC0-D43E-43C4-AD89-8499DDB9A527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$DF136088-5645-4B7B-8A90-EB11CCBFBDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$7E1ECEB4-7D70-4819-AA76-AF8CC6C33F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cfc9721e667f943208ff3ec343cdc00460182e","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$5C9881EC-6BEB-4B9F-B497-CB61A0E04DFE","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":"Q2105468$FBEE0CB1-0BEC-46FE-A72E-094340CA536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711924fc50de3187aa33f0ba192a73e906a3e94d","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$CBF05D9F-D9E4-4DA4-8A65-FDEBB4E5B10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e8f2ec674f013e9d52d53064aca995d818b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":4995355,"id":"Q4995355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$8355E683-5346-453F-A86D-9711DDEF1743","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":"Q2105468$A1B2EDDB-F063-48E4-8263-01F4F93F0CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bf56316f400add0d0fd24e4ac8769d1d269f45","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$E31346F6-B977-4FF0-A282-9E07A57F212A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c03e7823b7d77942c63ac6f8200c44ad93bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5111432,"id":"Q5111432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$52091CD2-4AD6-4CE6-9656-1C4837D72D9A","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":"Q2105468$5DC62336-3DD0-497A-8A63-6C14D7A44C64","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":"Q2105468$7492AC5D-F014-4F85-B6AC-FB4A58456C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9721deb9442f38adb19cb0812a8c6d85f84e24c8","datavalue":{"value":{"entity-type":"item","numeric-id":483292,"id":"Q483292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$039E5A38-BA16-460D-BB6C-C89F56C77DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013b378ab3df0b67c8ed7d5ba3b32b291ab61fea","datavalue":{"value":{"entity-type":"item","numeric-id":6487463,"id":"Q6487463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105468$13CFB711-2A67-4103-B459-E0D27CD3D4B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da1bc65dfc662eba1ce77317b71e75bb0abfad2","datavalue":{"value":"10.1016/J.IC.2022.104882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105468$465E76B5-62AD-4B7A-B908-3558048FD81D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6c0057ff1fe988d661c37c650606c2c1b0740f","datavalue":{"value":{"entity-type":"item","numeric-id":5021004,"id":"Q5021004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b002d2e54a4b43b05c76606b3d6a4c1505a09247","datavalue":{"value":{"amount":"+0.9896787405014038","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":"Q2105468$E8C80B44-BA55-4E92-8C26-3B7941781F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f1150041b24f8bc7d35bddae3c89e4d0b143f1","datavalue":{"value":{"entity-type":"item","numeric-id":4691736,"id":"Q4691736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b708b81904b07674bc8404cdaa5fa38cea96dafb","datavalue":{"value":{"amount":"+0.7950043082237244","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":"Q2105468$FD850537-8026-4713-9D33-1E072FD71A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a4daf06ffdeece52375ea122e6f15fefeb94b","datavalue":{"value":{"entity-type":"item","numeric-id":2225595,"id":"Q2225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d72b3c2facf31199cb7946541799065432b6a2","datavalue":{"value":{"amount":"+0.7535712122917175","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":"Q2105468$00DCD592-4C9E-4458-B73D-9AA756778F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b78d1dd018b4adb2240427ef9fddef11635ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bb30571aa6ef03e4e0913d7f732ffb9d12d885","datavalue":{"value":{"amount":"+0.7525383830070496","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":"Q2105468$A598FA5D-AF2D-4DA2-89B8-04647E93DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b5ae91b6117279a7864ededdd149ebd8006eca","datavalue":{"value":{"entity-type":"item","numeric-id":4910728,"id":"Q4910728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae129dcaf3cbbe99041253859e0bec5c18e16b1","datavalue":{"value":{"amount":"+0.7513410449028015","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":"Q2105468$4F30CF6A-69A6-4C66-B51D-841F00B218C7","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":"Q2105468$1D493B3A-E546-4660-9D5A-87B08019FC2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2105468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2105468"}}}}}