{"entities":{"Q1709705":{"pageid":1720446,"ns":120,"title":"Item:Q1709705","lastrevid":72828699,"modified":"2026-04-14T08:06:55Z","type":"item","id":"Q1709705","labels":{"en":{"language":"en","value":"Separating the fan theorem and its weakenings. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856649"}},"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":"Q1709705$921F4171-133C-437F-957D-C3DE05D15E8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60489808f2cdc0219815cd8052dbfb6db379d6bc","datavalue":{"value":{"text":"Separating the fan theorem and its weakenings. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709705$27F4FCB3-00DA-4C77-8751-AF15B3330C1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5076f68dbeb9534b5d5c6b691ce9f7a01799e3e","datavalue":{"value":"1480.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$A3DEBEB0-FD6D-44DB-8467-A2A91FED3901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b363c63fe057f4cd5948128ee89e2c76b17c790","datavalue":{"value":"10.1007/978-3-319-72056-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$927F2408-F224-4ACB-ACAE-16F0D7E58CFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709705$DD97FD9B-2589-4119-80BF-BC5C66A4CE0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$5478BF4C-1557-4DB6-9505-3C8E492FF078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$B79669B5-5D55-45B6-850D-03492CE1E724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$114C40C1-8958-4DE5-A0FB-6DC199C4AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$49849F63-BBAB-497D-B02D-F62D6F1D74ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$3B9D703B-02A2-4480-A1D5-9089EE753EBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67ff727e1a918e679c7932eebae9ed75403ec81e","datavalue":{"value":"6856649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$CC1FB12F-16C0-4F31-B27A-7CBEF7D626EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481d85f2df8070cad18d0a54b4c2a17963f26f64","datavalue":{"value":"fan theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709705$689CE230-FE31-4C1D-AF99-3D1AF4B802D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709705$4FF9CF95-15F5-457D-8BE9-1E19C4F740A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709705$EC485F83-B5DA-4B32-A753-94203F28BD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6e538f2495b0aaabc0d98ce81248cc125a5265","datavalue":{"value":"Heyting-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709705$E3CD16F7-5E19-4E65-AD03-FCA3834AFDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709705$FEAFAD65-22E3-45F3-BB11-A988FCFC90A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dc69d0521f0be6c639e519b48339bd7290ba7b","datavalue":{"value":"recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709705$37CA223B-EEF9-40BC-A7CA-2A7A7B2B4B8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709705$4D7119AD-7D21-41E7-97A5-291B4CF842C3","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":"Q1709705$12C760B7-540A-4C29-A374-C98E70D86AC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29bbaf8bb090125060761091a5999dc0d63f1615","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72056-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709705$7AF7FC63-C9D0-434A-B7B8-2C249A6047E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc9c636fe29fd0bc9ab4887d62365b60adeb049d","datavalue":{"value":"W4236765684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709705$726D0B9E-4C10-426F-A961-A0BE2EF327B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5660cd431aed6a5407789e622f33bdec2520f66","datavalue":{"value":{"entity-type":"item","numeric-id":5207562,"id":"Q5207562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cde89ed07cb48e204aa467553793d865523f0a5","datavalue":{"value":{"amount":"+0.9986950159072876","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":"Q1709705$7482F8CD-D97B-4A4E-A746-B87D0432FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60d39c5885ee90337f43d80e3ca28f12efed2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3567844,"id":"Q3567844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af576472ce0de9475248fa7d94fe927cfcd7083","datavalue":{"value":{"amount":"+0.8589254021644592","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":"Q1709705$F23A7562-BC79-42D1-B0EC-61360ADAA6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c53408c8f88725ccb79db04024aa5d803da415","datavalue":{"value":{"entity-type":"item","numeric-id":5326379,"id":"Q5326379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70be4359a61db80afab771c18eb75cb7e5fbc361","datavalue":{"value":{"amount":"+0.8518937826156616","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":"Q1709705$359535F8-8962-46D4-9CA2-957F05D9C45B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating the fan theorem and its weakenings. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separating_the_fan_theorem_and_its_weakenings._II"}}}}}