{"entities":{"Q418010":{"pageid":419777,"ns":120,"title":"Item:Q418010","lastrevid":51467453,"modified":"2026-01-18T09:38:09Z","type":"item","id":"Q418010","labels":{"en":{"language":"en","value":"Sahlqvist theorem for modal fixed point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034862"}},"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":"Q418010$6257DFDA-926D-410E-A15E-1196CDC72D15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b45613b6fd670d09d09982dfda7039dda798d9de","datavalue":{"value":{"text":"Sahlqvist theorem for modal fixed point logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418010$FC1FD39F-5589-49C0-A940-BDFD77554FE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f0dd606b380110845161ffd93259beeea92bfb8","datavalue":{"value":"1268.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418010$455146DC-9659-4519-BA81-26489CED55D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$C6D4F26F-3BD1-4D1E-AE77-763F0DD59AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$AF70AEBD-544B-4710-89F9-25BE4288F812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$C6652E4A-D892-403E-8DA8-82A1684A8D53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca73c9fd6ed6faae5f9d9115ce0403eb94189576","datavalue":{"value":{"time":"+2012-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418010$3442F440-BE5A-47A4-B536-009E29C37DB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418010$4A3B7AD4-5755-489B-8D58-07C86DCD70DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418010$EFD2DEA2-9813-461C-8FDA-06576D0E8054","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00b1dd5f0f6aefe32f6984a7bc7084769e6a6d4","datavalue":{"value":"6034862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418010$7DE01866-BF33-483E-A79B-676896BD46C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q418010$37E32ECF-FA94-4A99-848C-CCCF0B3DC305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q418010$7101F505-2917-4ED3-9725-EF30BA0B9048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253991f8f2099459340ecb25796b731e725a2eea","datavalue":{"value":"correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q418010$90569114-CA43-487F-83D3-F16AA55C8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb474a1914a8c21efe7f063fd7fa2b83183410e","datavalue":{"value":"descriptive frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q418010$50DE35FD-CE45-4F14-910C-8B6B446A521D","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":"Q418010$98A065AF-C296-429B-92EB-B52135FF6F33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bb7ed2d7f8d0beb46bae7c539609c47ca1a9da5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.11.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q418010$EB37A636-DD5E-4767-8E68-638AF553377F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc55c4d90ea42e23898a0dc5e503479ad4078426","datavalue":{"value":"W2079922393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418010$4647C6DF-C222-4682-B9F5-B66FCCB40C38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a068703dde9b5280ee9a65f63f5583c1d1d4eaf","datavalue":{"value":{"entity-type":"item","numeric-id":671986,"id":"Q671986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$97EAF325-076F-46C9-A60B-8C263C3F05CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c918bb0d37d193ae56f522b6070df3640b429216","datavalue":{"value":{"entity-type":"item","numeric-id":5718684,"id":"Q5718684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$8230EC3D-93CF-4251-8A90-2701620BCC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$687B16B6-A865-4CF4-905D-AEF58439795A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28fa90a523982688ce77dcd738ae3ef55d4ccb6b","datavalue":{"value":{"entity-type":"item","numeric-id":454371,"id":"Q454371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$BED246FF-A209-4F6B-9263-BCB7ECD942C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44327a5579a0cbf0c357be79a96c284d752ebbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3056296,"id":"Q3056296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$87659B65-985F-4176-B76D-F9AD4A4985B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c9fb8f20086f91aaf3d3e9d01ebbd2e5846368","datavalue":{"value":{"entity-type":"item","numeric-id":1762482,"id":"Q1762482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$6CC393B6-5457-4239-94BC-6E9E1551C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$36D4D626-D5E8-4B0B-81FC-C2ED78081E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e409cf2076b6a20a90c4b9f6e819f0a627a1c89","datavalue":{"value":{"entity-type":"item","numeric-id":3557849,"id":"Q3557849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$DBA85F62-96E7-4253-AFD3-A24E49B887DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1ab685e497cfd9ecb230678f453cf50b1f4b95","datavalue":{"value":{"entity-type":"item","numeric-id":631077,"id":"Q631077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$3E919454-A8E1-4D18-A2ED-83AFEE1FC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$D1EF42BD-49EE-4627-A052-818341929F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$C49CFC41-4464-4604-B26D-C6DD986B6403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$389C408B-E360-4F87-A2A3-A54611F33B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f689c1a4357e46124a93297cf676351227270bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4430401,"id":"Q4430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$260BD61D-BA4D-47A9-BA6E-5B87141AAFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$64E9BF22-F334-49FB-9D45-0BE7FE39F497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8c901d4015b09e0965de901bfa5ab71fc1eb08","datavalue":{"value":{"entity-type":"item","numeric-id":1128984,"id":"Q1128984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$B4548A7E-2207-485F-8B03-320A62B2C826","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":"Q418010$1EA89A10-FE9E-4764-9988-A12FF6331136","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":"Q418010$686DC482-31FB-4465-9F37-5BBE8399633F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce3446495ff4bc05ac1fcd507ad391bef55e5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250040,"id":"Q4250040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$91FB8FEB-6588-4AD6-8B57-A8416E69922E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$8440CB42-226C-4ADF-ADF8-0B17E9A835A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$1A707B81-5B24-4A58-B11E-DA4819F8660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3c80b500a26b9f2863ab05df3b7d3242e9625e","datavalue":{"value":{"entity-type":"item","numeric-id":925850,"id":"Q925850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$3A437DB8-EDD8-4DD0-88CD-6401AB8D5570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$487F1DF7-FB81-467C-8FB5-216ECD5E171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f8da7733f5df652657471b8fc372ee15cfbac5","datavalue":{"value":{"entity-type":"item","numeric-id":5585437,"id":"Q5585437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418010$A49F0790-7414-43A4-8A4B-440D0E19F275","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":"Q418010$89E36444-39B4-499D-9A4F-C4F726D5E20F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87bea13f0cd35392c586fa34b1f7241731851328","datavalue":{"value":"10.1016/J.TCS.2011.11.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418010$446CCC2D-C30D-4F2A-8414-676EC52ECBCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20a75bf7ee732c4f2c9d26b1970bab3a9069d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2983394,"id":"Q2983394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc0a5a109de413a2ac976b2dca25251b9785791","datavalue":{"value":{"amount":"+0.8567553758621216","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":"Q418010$303E36D1-CBB0-4CE2-A799-30755DA4D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7947200071e067cdf2ac9395d0e42456a5b6e7","datavalue":{"value":{"entity-type":"item","numeric-id":1762482,"id":"Q1762482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502475f839aeb313f9125651993a1666606c78fd","datavalue":{"value":{"amount":"+0.7973269820213318","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":"Q418010$1B18CCD0-1ADD-47A6-873D-AF1B9CF4C909","rank":"normal"},{"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":"b8b4fd8ed982545cdddbdb3e04491f57f4639be8","datavalue":{"value":{"amount":"+0.7809814214706421","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":"Q418010$EDCBA237-7C2E-4C77-A031-CE56A1A69BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9d1a642b79fca45fac6af097dd12ef0d2614bc","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5fa57ae635141cbaeeeda6c59c5312f453b3fc","datavalue":{"value":{"amount":"+0.7791776061058044","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":"Q418010$42C97C5A-98D4-4FC0-884A-2447F52DC0E8","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":"6c14633e938daecea53d6d9fda4d9a69c556435a","datavalue":{"value":{"amount":"+0.7790618538856506","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":"Q418010$25671BEF-3D77-4027-ADE8-C1A9738173BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:418010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:418010"}}}}}