{"entities":{"Q5437615":{"pageid":7467179,"ns":120,"title":"Item:Q5437615","lastrevid":58571454,"modified":"2026-04-05T19:39:09Z","type":"item","id":"Q5437615","labels":{"en":{"language":"en","value":"The modal logic of forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5229018"}},"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":"Q5437615$E437ABAB-D397-49F8-9045-630C11C86070","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60fda668c794ac7c9d4e8db73d2825064d127c22","datavalue":{"value":{"text":"The modal logic of forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437615$C927BC85-B65F-4844-AAE8-74C879A50094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b90514f24635369c88cfe4293582a235d80e9e9b","datavalue":{"value":"1139.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$DC981BDD-F2B7-4254-9960-AE4415E4FC8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2bd8a7c7567fe0ef53ea3149474577b80d95dad","datavalue":{"value":"10.1090/S0002-9947-07-04297-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$872B993B-B8A5-4F93-B820-805FAB62FDEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$5CB79D04-AD42-43D6-B112-4C84D9794780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$D753EF15-5917-4D33-A1F9-12366BC1D7CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$0A264FC5-D74C-473E-BEFD-94787933391F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437615$3DA576EA-B8BA-4918-8543-9582AA87FAF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87cb84ec74fdac55c899ba923deaade9d19da337","datavalue":{"value":"https://arxiv.org/abs/math/0509616","type":"string"},"datatype":"url"},"type":"statement","id":"Q5437615$41D3CDAF-7B2C-4FFC-9B34-4EB87D1815A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$5FF2C465-CA34-464A-A536-6098DFD67B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$0B03279F-18FC-4351-87DD-BD2B5E05F281","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c6d8d48c21c4948fe99cd8f58bb2a8899c53ae7","datavalue":{"value":"5229018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$65FE8C96-34F4-49CE-A40E-AAD9F59F4886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437615$601922F0-FD15-4451-B4C4-C7CECA1FCFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a90f162187fb7c567c9552dff81656d5a2ddbc","datavalue":{"value":"forcing statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437615$52BE6567-B19B-40DC-8027-9095CE89275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84bc401168bcde14bdb92ea14fc8490ac62c8004","datavalue":{"value":"forcing interpretation of modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437615$53C038C9-0CF6-40F4-9E68-0B15571AE1E0","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":"Q5437615$7EFACB98-AA4F-43E6-84C4-B52EFD8016AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dea4029a6e2dcb538173029b4787fe4b21153230","datavalue":{"value":"Q55967154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$69F83B6C-146E-49B4-A65A-4E546B0E8EEE","rank":"normal"}],"P223":[{"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":"Q5437615$BAF05D8A-B4F0-418A-BA27-B27E601E6428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e104690be231038fe69bb6c40f47ba736b4f0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$30FC6566-1A5A-4577-A1AB-3486B930FF59","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":"Q5437615$8E4265AD-47AF-47DB-9073-0390E2E935F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$3B5A8138-776B-4BB5-8D32-36961A311EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd031867925522d5debdc71d5083763241a4dbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3160552,"id":"Q3160552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$9E9B75D7-6C9B-4EF7-8EE4-7EEF3C283DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47ba1e3a9a24f55bb2a9787e72c255913b157ad","datavalue":{"value":{"entity-type":"item","numeric-id":5693598,"id":"Q5693598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$1FD1AFAE-7D0C-44A4-AB47-BFC3BE271781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$95CEE334-775A-4133-82E0-D1CB15C88DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$484C31B4-F356-4D3F-9656-F45898F87F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607f9af0800e012c32195cd0b0ade6ed3eebc696","datavalue":{"value":{"entity-type":"item","numeric-id":4340909,"id":"Q4340909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$516B4069-DAFA-4824-A7D0-ED27A8EF8436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437615$231ACE5E-58FD-4220-8953-010093C6A30F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28264597b2e2ac8d23d6612d064e065ad3f77844","datavalue":{"value":"W2069506349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437615$6E0831F9-E583-4D34-9FBC-967E5C48F74A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de267b4b0a0adecfd341255e937fd6f04024e8ac","datavalue":{"value":{"entity-type":"item","numeric-id":498994,"id":"Q498994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9949367f8e732a49435630a668975462d6107ec6","datavalue":{"value":{"amount":"+0.8530627489089966","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":"Q5437615$0DF1779B-F63A-4591-B4A2-80EECEEE342E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d008b2777681b535fd29e184542353a77dd3cab2","datavalue":{"value":{"amount":"+0.8284111618995667","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":"Q5437615$8FBE0C71-82BA-43B2-BD9D-E1BEAFB85840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5606f10ce11631acc92de30e8ceb529a49446cf","datavalue":{"value":{"entity-type":"item","numeric-id":2805035,"id":"Q2805035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad6b4851033154ed5a5fdcf8902a2bd7a7bd540","datavalue":{"value":{"amount":"+0.7890873551368713","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":"Q5437615$1CBF9228-E1DC-410E-B05A-42AD56F409CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6016374a7476ff0cad9697687f1d4f504bfc42d","datavalue":{"value":{"entity-type":"item","numeric-id":1982014,"id":"Q1982014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d9f9cab9561aa58f5299116c2ef3eee266b10a","datavalue":{"value":{"amount":"+0.7735193371772766","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":"Q5437615$E2E89158-EC27-473B-8555-71178D8ACBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828cb47c2a27f529fed4ebd1b45b813960074eff","datavalue":{"value":{"entity-type":"item","numeric-id":4382481,"id":"Q4382481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0620e30378ed8685f7b4b61ef9ac902bc5802e23","datavalue":{"value":{"amount":"+0.7692247033119202","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":"Q5437615$BE47B1EB-7897-494D-8559-B443A5E4F922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437615"}}}}}