{"entities":{"Q3060980":{"pageid":3071696,"ns":120,"title":"Item:Q3060980","lastrevid":86095601,"modified":"2026-06-03T14:16:43Z","type":"item","id":"Q3060980","labels":{"en":{"language":"en","value":"Modal fixed point logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825964"}},"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":"Q3060980$C4986075-1992-42C6-BF16-E43D7A0B1C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51b2bb10da83974c9d85186ccd1e94dd5c31727","datavalue":{"value":"1214.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$29097842-B93D-470D-8074-4B767D180DC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e99dd6125493110476cfa67d3e63e4b25e8d3404","datavalue":{"value":"10.3233/978-1-60750-100-8-129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$5922F2FA-ABD5-4142-837D-68AE6B57A51B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060980$877B5C81-D580-440A-A743-4F03F6995392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a148a0f7f88b9e1cbbef4b920e7c605d6b8ccf5","datavalue":{"value":{"time":"+2010-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060980$A8CDC80D-B3E7-42A6-8BA1-52240954A462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$2DEBEDDF-BD81-4414-8970-7FB584EE92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$8B4E35FF-1817-4F1F-8FD1-677C7B88A9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$26A386A1-D464-4B9D-AEC9-173A3C76C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$8495AA07-85E8-418F-A2ED-00B901AC57F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$E24126F3-512D-4A1B-B9D9-B41BD3991CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebdb462d858348a1b2c1eee89d0d1d4ccca1b16c","datavalue":{"value":"5825964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$A35A1FBA-74CB-4B1C-9E9E-0464F3724729","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060980$7C74C88A-29C7-4B14-B082-0E096674C140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060980$303D1687-E890-4084-A614-6379F542BA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060980$4742249C-D841-4BE2-96C0-76A69776F8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96741e5f5e30c6081464b293cd1385c4b7d31ccf","datavalue":{"value":"multi-modal logics for belief, knowledge and common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060980$876F3C11-02BD-495D-A9F3-C17E33327E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060980$29796A84-1F62-4271-9062-DBF909DA3451","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":"Q3060980$A57F4B7B-7327-439F-8AED-455624838884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30abc684d3a4d3583301c40ba400dab7572bf01e","datavalue":{"value":"http://dx.doi.org/10.3233/978-1-60750-100-8-129","type":"string"},"datatype":"url"},"type":"statement","id":"Q3060980$75EBE163-5724-4CE1-B21C-268F24B9EC18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af27a33e44ecf300df6697555d634195b6444fe3","datavalue":{"value":"W2404368132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060980$B39990A9-84D3-4E1A-9268-6C55EABC8759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41bc414eb05a14f4dbac68f70785c0f807c1f164","datavalue":{"value":{"text":"Modal Fixed Point Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060980$6D72D2D6-E5F2-4AB8-8107-578F0C540D16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81f0426ef62bdfd1fe5efea390405663ec39fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4254108,"id":"Q4254108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0d2ae73507b183c91ca85a538a0d22d1cda83d","datavalue":{"value":{"amount":"+0.8102219104766846","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":"Q3060980$C8D5F339-C653-439F-8549-2FD24F15D961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b8cd382c585035f1f09b095fab3c26884f21c7","datavalue":{"value":{"entity-type":"item","numeric-id":5277697,"id":"Q5277697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bafc4eff98cef62cef9bb839ea3baa2cc90f5c","datavalue":{"value":{"amount":"+0.7805467844009399","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":"Q3060980$BB3563AC-9B3D-4BEC-8D9D-4A955A0B11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c797aaecf45109147d3ac9cd6f45a46f7681527","datavalue":{"value":{"entity-type":"item","numeric-id":2885299,"id":"Q2885299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6f7cbd3f69ceeb4d4b3b7e8ee44e8803e91b2","datavalue":{"value":{"amount":"+0.7790819406509399","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":"Q3060980$C382F653-9A23-4456-B5A1-57037D8881DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a637999b132d561731e438d9c302ae373ac21d36","datavalue":{"value":{"entity-type":"item","numeric-id":1190508,"id":"Q1190508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c1d4c793fc3272af88be98d2d256321a87bbe2","datavalue":{"value":{"amount":"+0.7745949625968933","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":"Q3060980$DD25AAF4-9FF4-4BEC-9224-1E56EFEC6B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54201ef46f6591c75840b042cdb26f324123e12","datavalue":{"value":{"entity-type":"item","numeric-id":4783314,"id":"Q4783314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c1d4c793fc3272af88be98d2d256321a87bbe2","datavalue":{"value":{"amount":"+0.7745949625968933","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":"Q3060980$52692D9E-1E30-4B78-9846-906BF54DAAA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal fixed point logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_fixed_point_logics"}}}}}