{"entities":{"Q4612435":{"pageid":6642018,"ns":120,"title":"Item:Q4612435","lastrevid":58301757,"modified":"2026-04-04T15:31:32Z","type":"item","id":"Q4612435","labels":{"en":{"language":"en","value":"Flat modal fixpoint logics with the converse modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009549"}},"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":"Q4612435$7D3FAF63-CDAC-4788-BA63-34D0623485E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82d3aec754957621dee51f73c94fca085987d5ec","datavalue":{"value":{"text":"Flat modal fixpoint logics with the converse modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612435$5D8D7EE3-8117-4F34-94C7-BDD8DC883323","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffdbcaedb1b8fc3e5b97570bc1dd6b2912d014bc","datavalue":{"value":"1444.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$B6B8556A-DAFF-4C87-B3BC-179099FB2D38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612435$363D36E4-A79E-47B1-B36A-F80C70B83ED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612435$ADE6C78E-0DC2-462A-8966-CCD4B9009B7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71824fe9f74599d44186d91551496da50f133bf8","datavalue":{"value":"https://arxiv.org/abs/1710.04628","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612435$A0A3BD21-7317-48C2-BA01-59B6B40EAF78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$DCA18FF4-EF45-4D43-AF36-D283C7549538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$0428E0E0-22B7-46C4-8A63-7BB179284E09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"938748cac9f06bf4fdd6b401c65b258f3eedac6d","datavalue":{"value":"7009549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$D256AE73-BEA5-4084-A4F1-E2C5F82CBEA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90349db19b3cd1f9411abfa2b48e3dab0925ab77","datavalue":{"value":"modal fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612435$D0BD2D88-02B2-45B5-BD1F-1B0DD0DD5F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612435$33053EB4-5C79-4B7A-8A39-8891FED4E3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a0eae2740662668607e372628f50a49de3c636","datavalue":{"value":"converse modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612435$FBC2D3EF-7544-4D7B-A7B2-15553B1B0454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612435$1CEB6B5D-AE44-482A-963A-0923CB0B66F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf63861c7b73457c74eae26bb28923489eb81de","datavalue":{"value":"network","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612435$E74547C6-2AED-4550-853E-A1076A37923D","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":"Q4612435$F9B100AB-6FCB-4649-AF8B-1D79873F6259","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d41c115ea9f60eaf78ca0af281bef5641fa486c","datavalue":{"value":"W2964150129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$B42F43AC-38DD-4EC5-81FB-6E2E3B8BD5C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"392f00e7020f8853b08f9d115b1040a3e6235f0e","datavalue":{"value":"Q129836157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$7CCFC5CB-E8B6-457C-A733-84D644E6EC4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccd91fb4a5ddc2dcef5bfc73a467b4d7e98da0c7","datavalue":{"value":"10.1093/LOGCOM/EXY016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612435$1E5579D1-434E-452C-B43F-916C15F2E9EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612435$85F8C2D0-27DF-4A55-B14E-6AC90C9FFDA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd503dd4bacafa57c2df3e5aceeafad30c0f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1da54129f868fe4d9a6aed4b4ef0e9d3ab35eb8","datavalue":{"value":{"amount":"+0.8459519743919373","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":"Q4612435$CA670AC4-E2A3-4BE7-987C-44B1E6066111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c82fc07fb9bdf5e5bcd35acc66acc4c8ba0dd19","datavalue":{"value":{"entity-type":"item","numeric-id":3498489,"id":"Q3498489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76486bd9e8c5167794ee4d6231fc9924c7a7e399","datavalue":{"value":{"amount":"+0.8101064562797546","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":"Q4612435$D22FB919-149A-4302-AD69-3E49A19A502D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7aaf2fe3676b42dbcbe13ca8cbf85dbfe8b3d8","datavalue":{"value":{"amount":"+0.7363761067390442","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":"Q4612435$58B89697-DFE7-4DC9-A0FC-7D0809F885FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612435"}}}}}