{"entities":{"Q5689266":{"pageid":7718826,"ns":120,"title":"Item:Q5689266","lastrevid":41769612,"modified":"2025-05-08T03:39:29Z","type":"item","id":"Q5689266","labels":{"en":{"language":"en","value":"A Note on the Completeness of Kozen's Axiomatisation of the Propositional \u03bc-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 961060"}},"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":"Q5689266$BCA8C524-58EE-49A8-94D0-B3FEDD2A851D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88994ab7e63d98ba033537f8503185e20d8cc706","datavalue":{"value":{"text":"A Note on the Completeness of Kozen's Axiomatisation of the Propositional \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5689266$CECC4DF4-95C9-4A80-B66D-40C3E37D1B03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c567734fafb1a88e43e5bed3be63666987f69bf8","datavalue":{"value":"0868.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5689266$04C6EA9D-0F57-4534-A065-CCCF9C6E2C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c539904c488518580ca6ffd3cb88cb571b720bb0","datavalue":{"value":"10.2307/420995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5689266$1D2403A5-35DE-48F1-8F9D-39E4CA3FFF4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5689266$F587BBD1-C16E-4D4E-BE0D-4C50C558264C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92df56a878b63d8897e6aa76e5d736fbefd9e9cd","datavalue":{"value":{"time":"+1997-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5689266$737B203A-4735-4253-A193-AAC1FBA48DAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db5923c0995f20b4a8ff64f1ddddebc4755d42ed","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0203-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q5689266$CFA4A239-8E08-455B-A4FE-FAEE27AB2AF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5689266$8538B0BE-E8BD-409C-A534-6ECDBEB6F438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5689266$F051BD9B-D733-48E2-A8B5-38BFD1F84E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e0a3eb5fab211943b4b165ee4e2b894b5ba9833","datavalue":{"value":"961060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5689266$30537A59-D002-4F4C-B61A-9EF7F8EAB21F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1677c1cec4841ccd0c49aff71b92a5c9612be2d3","datavalue":{"value":"propositional \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$B82E7FC6-F7E9-4B8F-A412-EE9D14B08DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$BF17C88D-309E-4B47-A6C7-DBA97D473C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd107b368910d6a27b494d0c0d65531451451e8","datavalue":{"value":"least fixed point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$01180602-798A-470A-93A4-658EE73C7F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b93b4956d5870e0144d20b3ad5e2e849806ae0","datavalue":{"value":"tableau proof search procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$4019EFDA-2254-44D2-B30F-BAC7C296D387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c93df835ee00a63bd4662abc8d02746841faac","datavalue":{"value":"model-extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$15B599CA-A212-4F92-812D-9B65279D1C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$E96053E1-C46A-4D59-BDE5-253B00D736F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5689266$E14D8DAB-7EAD-4A37-8BA2-40101439A815","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":"Q5689266$A9D443CB-9381-455F-85ED-27A4C14EEBAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b92c9548d77f393ed1a1840c04b193c4be2da294","datavalue":{"value":"W1998217091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5689266$AF6BCF1E-0206-4B3E-8297-0D88C661CF4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5689266$C35E5ED3-FF66-4475-8FDC-EA7E7EC16E9B","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":"Q5689266$B3BC0E7B-855F-4C4F-9FED-DB0C3640FF59","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":"Q5689266$FF259AD3-F120-468E-BA0E-4E375AAFAC52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5689266$E5B83628-165A-4F44-9FD6-CB153AC37538","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98a717377b511b6a99fd65a6ea8dbf72099eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cf1344cedee19d5fa93d3a3260a7157dd50500","datavalue":{"value":{"amount":"+0.9767549","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":"Q5689266$317C2BA0-0666-4F4C-AB18-BA431705D78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed58f0e4708196499f128148b7cdd63b69c8617","datavalue":{"value":{"amount":"+0.9011236","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":"Q5689266$B1291AAF-50CE-4E61-8340-5C4CFB13DDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c03b0fe59308fa57b5774f4f87ab5492d1bc09","datavalue":{"value":{"amount":"+0.8911013","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":"Q5689266$F2424AAF-815D-48EB-AA8B-C548D35EF89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f20e8676cf503b966151630062293f247ec8d32","datavalue":{"value":{"amount":"+0.89102304","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":"Q5689266$F7172D17-49D0-4A92-BBB5-8DC0BCCD6062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e85a0e0df29c466f6ce7080582fa73ec80702c","datavalue":{"value":{"entity-type":"item","numeric-id":4769038,"id":"Q4769038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33f7fa9499acef2bb28fd41ca6dc3c9db1a097e","datavalue":{"value":{"amount":"+0.88940537","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":"Q5689266$18FAA55E-CAC4-4157-8A1C-DC78E98D4F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ff758eeb98dd90166c8e3d25fc01851cb6b4ca","datavalue":{"value":{"amount":"+0.88671356","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":"Q5689266$CED7C8E7-1DA0-4331-9948-E7E357BA5656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c5ba2518dc57cd98c2a9f534c9c3371696bc59","datavalue":{"value":{"amount":"+0.8814689","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":"Q5689266$BE9D452A-4A05-4468-A84F-7F395D029A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1601b8c796d8b20e76b5fba486f8da6ae71efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1f4fcf526a499e1c867ee657ab051caefb0903","datavalue":{"value":{"amount":"+0.8794177","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":"Q5689266$B7B01310-CB25-4BE4-90A3-00C887B0C587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be308e199e98252502c22dfc076e713138ebd1e","datavalue":{"value":{"entity-type":"item","numeric-id":3798638,"id":"Q3798638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9087cf958b739cd5bea444dfd0809f14f176730","datavalue":{"value":{"amount":"+0.8778316","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":"Q5689266$19A66C5A-E047-4735-90F6-7F0F6260886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d39a5cbdbee23fd156fd1d350cbae5fa6a7956","datavalue":{"value":{"entity-type":"item","numeric-id":3557849,"id":"Q3557849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d530ed5c833897af5ee2d115e4a169d6d3813394","datavalue":{"value":{"amount":"+0.8761804","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":"Q5689266$1E865EFE-5457-4A73-B7AE-8BC1C63B4C07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5689266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5689266"}}}}}