{"entities":{"Q5277697":{"pageid":7307272,"ns":120,"title":"Item:Q5277697","lastrevid":52850270,"modified":"2026-01-23T15:39:41Z","type":"item","id":"Q5277697","labels":{"en":{"language":"en","value":"Inflationary fixed points in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743941"}},"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":"Q5277697$3BC0271D-5BDD-4745-99F3-8206C032AA50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f272cb4a26a4709241299faf82e662ccb015f3","datavalue":{"value":{"text":"Inflationary fixed points in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277697$7FAEEDCF-1E09-4D6A-83F1-AEBD314D819C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b6ea1c48233e69ab9eb367b8e378ed902e91f37","datavalue":{"value":"1407.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$1D7362AC-F31B-481B-9286-5634D63A65D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad89c17e984d4a37a05357d17f0e0bec04d1368b","datavalue":{"value":"10.1145/976706.976710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$3C4FCA1E-0138-488E-A21C-3770B3A61B25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277697$C3081362-70B4-41A8-ACB9-B82861B106DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277697$6E6CEACE-D259-4666-AFEA-840FCC968E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277697$B2FB154D-A4F9-461F-8729-D970D9EF4C2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277697$C298AC03-0D38-43D1-949A-60322C57FC88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277697$1C4FC6A5-A4CF-4F1A-B838-344E9CF29929","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$A09FFABA-448C-45F2-AE24-BBF77665312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$621C9EBD-162E-4D66-A54E-155DAC348ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$63832B5E-B68F-4528-8230-297EB01E3CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$14282277-DC9D-45B3-87CD-072191D51C0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"333c06d26536f5a7cc00360061d431bf52330836","datavalue":{"value":"6743941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$A0709852-7959-4680-9CDA-0897F7EAA0D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277697$81AD91FF-30A4-4C3F-8AD0-E764CDD8C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277697$36942114-17BA-46E4-9AA2-3C5AB91ACCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277697$4A5B9354-F46E-4F4F-8BDC-61292D34206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277697$9FB9F38D-17DA-471A-AE76-6A4720D60CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277697$E0FC1457-BDA3-4FA7-A53E-B877AAEFA8C5","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":"Q5277697$C55BB2D1-F091-4755-BC06-807CE9AA7C0C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c65efe50692910d553f10c898113edc2bcdb6170","datavalue":{"value":"Q58215691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$C02D859F-414C-4210-99B8-F95971F17275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21b3f009f2c30d310647d9fb635b5ab8e256fbd7","datavalue":{"value":"https://doi.org/10.1145/976706.976710","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277697$0CB9843D-DCF9-4780-B0AC-38046782EFB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b02da88b73d21a490fc5f1f0875695832d1ed4","datavalue":{"value":"W2045916861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277697$92F98C2F-820E-4AEA-8194-5AC798175E02","rank":"normal"}],"P1643":[{"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":"fff312f3585cf720b43321479616f76205010f91","datavalue":{"value":{"amount":"+0.9986484050750732","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":"Q5277697$4E62DE54-936F-4FDD-AEDF-52E23E56C0A5","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":"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":"Q5277697$65A67077-E2E0-4440-AA3A-D140E3C5A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76387bbc50fc0fa7e60b5f8361a7b638cbe8abe9","datavalue":{"value":{"entity-type":"item","numeric-id":3647275,"id":"Q3647275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3278fcfa3af2fc2b9845df319b749c4ecbcd8203","datavalue":{"value":{"amount":"+0.7650350332260132","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":"Q5277697$E20E8BDF-87A9-452F-9DC4-322171B4BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47cff96c273c1dd405a5e2bae64340be20f9113","datavalue":{"value":{"amount":"+0.7634953260421753","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":"Q5277697$FE9D4336-8ABF-4460-9E65-A4FC6EAF9CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9852e8d95d730f31c9ebe1fe54edf140479337","datavalue":{"value":{"entity-type":"item","numeric-id":5705921,"id":"Q5705921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb5ad9554d40eec01aff97d049810fe2a8b93db","datavalue":{"value":{"amount":"+0.7606102824211121","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":"Q5277697$5058397A-46D8-4A73-A1EA-D24782535F5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277697"}}}}}