{"entities":{"Q1409307":{"pageid":1420047,"ns":120,"title":"Item:Q1409307","lastrevid":68636823,"modified":"2026-04-13T01:05:59Z","type":"item","id":"Q1409307","labels":{"en":{"language":"en","value":"The fixed point property in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1990929"}},"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":"Q1409307$71D10AD4-0E06-45A1-979D-2BF0015908DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31b31ddfa806ebacb45c5bc5f2f5d26ba1149098","datavalue":{"value":{"text":"The fixed point property in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1409307$D65887E9-EE78-418C-86F7-D79F73909D61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59f181df5abeee572dba124c3c7bb9425ee05077","datavalue":{"value":"1031.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$7526EFD7-4B46-48EE-ABA0-C23155B7F677","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cf98fac63c3c6c906207a16892916922f8f929","datavalue":{"value":{"entity-type":"item","numeric-id":1409306,"id":"Q1409306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$71C4360A-66E9-43FE-B095-CCD018324010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$59EC5E70-BE55-4C6F-B6BA-A25FE4E2EF0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca5125b05e2c98c67e38c71dce31dfb7bf4b962a","datavalue":{"value":{"time":"+2003-10-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":"Q1409307$C1873F4A-2843-4B11-90AE-45114B32D4CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$4DDC4378-01D0-494C-BAD6-A04FEE560A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$C551F3D4-939F-4197-A195-B244CD564081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$C31D80A2-04FE-4DD3-A956-CEA89C2B396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$17CBB667-416D-4DC0-9378-CBCAEC0B2E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32d429d3d64508ba034053805267660353c09c39","datavalue":{"value":"1990929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$06D7A6BF-FDE1-4097-8143-1C97B59F6732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0fc85093724dff24be8f7c75d0157af8854702","datavalue":{"value":"provability predicates of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409307$51E8795F-EF83-4ECB-B757-A066CECCD5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409307$C5D2C81B-ADE3-4F9B-932F-E566BC7C5F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409307$17CB1ADE-60C1-4F3D-8221-3B4C3E5D3E98","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":"Q1409307$B5FB82C6-D858-40D3-9948-1DE9917E47A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21e9cb877a1843ce523f483d8457dfa59cf3e524","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1054837934","type":"string"},"datatype":"url"},"type":"statement","id":"Q1409307$40987301-DFB1-4616-9749-B91286B9CA74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d24af54384d5b8c16864ddbbb10c480ba7e90f4","datavalue":{"value":"W2089011123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$A9D86848-3B27-437C-9BFF-FD12FFF74AB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$0402CAC2-380A-4336-9756-5B7E2CD4E312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$E96A0728-13A3-4D49-AE8F-FD27E23A89E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$F640D9BA-DDEC-4759-A1D7-E1127EDA2BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e746d596ec0a02ea78c508dbfd871837e35f1ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5641128,"id":"Q5641128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$6CCE12B7-FBE5-4B6A-B027-6BCCAC3D98F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$6BF9A22C-E967-4DD2-9013-49F211842CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da5ba51d3fda529c78c9f4483730fc2d471baa","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$EAD82E17-AA70-4C31-B7C2-EF3DC2297D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$92C63637-266E-44F3-9DA0-26196BFEF4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f461cf7a5e877faa2e3c015a198d1b2183e02cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4254108,"id":"Q4254108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$B31CB1FB-DD13-42FF-A4B6-6CCF8F3E638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$29A6C820-4665-47E6-9A5D-07FBB3ACD07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$75D054E0-C2A3-422D-84DA-6F8D47BE3106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$A09798ED-3245-4472-A5BB-857D06439903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409307$3EFF3BC3-23F4-4F85-BCCF-FC61299FEC1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66aae72d5859a7e5eb886169f89fd9fc742c4807","datavalue":{"value":"10.1305/NDJFL/1054837934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409307$28E4960E-E3AC-453F-B63A-CF7EC82E292A","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":"16578e5eb5d02d73774b2bff0f08a5f7a45c8ba2","datavalue":{"value":{"amount":"+0.9073495268821716","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":"Q1409307$902F03F1-08DA-4116-924C-9B1961FE896E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266ce4026e37f619dcf0c79dcfdf5499bb3cfe9e","datavalue":{"value":{"entity-type":"item","numeric-id":2776807,"id":"Q2776807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882451541a4600625adbbc035efe2a469abc189f","datavalue":{"value":{"amount":"+0.8223434686660767","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":"Q1409307$F1AB7F5F-A92F-414A-8C9C-85A6E82D35F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2d5b1446f0c59e8a06c8ab5bbbb284c54202a0","datavalue":{"value":{"entity-type":"item","numeric-id":3001092,"id":"Q3001092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf28ef003daf8cbf91754b5dea9a87a06cecb08","datavalue":{"value":{"amount":"+0.819174587726593","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":"Q1409307$8F74CB2F-2FEB-425A-A849-E8B9D499ABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c3ce0036cec035e2e5ad563e37f8d5a90ca09e","datavalue":{"value":{"entity-type":"item","numeric-id":749521,"id":"Q749521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74747166fdaf8ed68d44b599d6c58a8ddf909a09","datavalue":{"value":{"amount":"+0.8129568696022034","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":"Q1409307$A32F3D24-FD1D-4035-BA46-74080D9FEED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441c58a0b5a77d5d2a5f3d6a67c35070c9065651","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94064b9566bc365ffc29d7b396d12fd1ceaf0a4f","datavalue":{"value":{"amount":"+0.8103072643280029","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":"Q1409307$F8BFECF3-C7D8-41DD-A540-548AB896D906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The fixed point property in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_fixed_point_property_in_modal_logic"}}}}}