{"entities":{"Q4604554":{"pageid":6634137,"ns":120,"title":"Item:Q4604554","lastrevid":90067163,"modified":"2026-06-04T19:01:00Z","type":"item","id":"Q4604554","labels":{"en":{"language":"en","value":"Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6846479"}},"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":"Q4604554$DDF93C12-F9E0-401C-80B0-F6DB79C1A689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3e2b7b900cf0ed993502fc35522f1026415ef6a","datavalue":{"value":{"text":"Forcing for First-Order Languages from the Perspective of Rasiowa\u2013Sikorski Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4604554$B5BD1A37-89AA-4A6F-826D-07C654E2FB54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feb891f5d473ad213becfbe665dcca1d9d0e3bb0","datavalue":{"value":"1420.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$C6463C0C-1580-4A71-9452-04C19B6F5FCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83f03226c0f0ed0f2a42f7abf6aece4bd8fc4eba","datavalue":{"value":"10.3233/FI-2017-1608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$42DBC50E-2BF3-4C36-886D-AC8812A2720B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4604554$FD67E529-0694-4BFF-8FCE-1079D9E0332E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4604554$D330D4F9-80F2-40B1-8FBF-7B5BAF1FE0BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12992cec71393b223d3be21aa58f0c76618221b","datavalue":{"value":{"time":"+2018-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4604554$7E46CD94-F85D-4328-824F-B1707168EEDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$E8FC9C87-A929-4A53-8D67-ED9009532B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$208E8F43-CC90-4ADD-8E05-C2F79DC7C9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$33A647B8-69F7-4E9B-AF16-F28575422948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d41ae3dc2c2989686534b1fc85c7d76c0f703b5d","datavalue":{"value":"6846479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$849CCD53-48FB-42EA-B900-583DA98D9C9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$9C02BBD5-3420-4A35-96FB-2F700D8A1A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30333db4b6770ac885a9419670517800b8ed939e","datavalue":{"value":"substitutional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$9E6D1ED9-72B5-4EEF-AACA-81468ACA4797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0beb4b4179dbe212d6cf18bcefad9ab8adb4fdb8","datavalue":{"value":"Lindenbaum set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$3AD5915B-F073-4AF8-80AC-67C3AC145144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"367b2b57bf60b8b2c67a9abb45772dba6f02c7e1","datavalue":{"value":"Rasiowa-Sikorski set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$1B8D4D08-AF47-49CA-8BFB-A7CFA52D03B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$FEBD81B2-4303-4F47-A22B-DB233D9EBB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$B22005F8-3656-4E03-8041-A5FFA319902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604554$881064E2-EC71-4F74-8ED4-3E86E0536823","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":"Q4604554$6B4EF78F-EF0B-490E-8335-7C01873624A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a73f21df2cd4a86c65f5793816ea794eda402a34","datavalue":{"value":"Q124865334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$54E0836C-FEEE-4B2F-AE09-4E34B3D4B0AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b197fa1ec51f2f84997694e0eed4e196b7dad1a","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1608","type":"string"},"datatype":"url"},"type":"statement","id":"Q4604554$ACE333CE-B27F-410C-B463-83618A80FF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71e31057809fcea6a40c1489cb542616b68d0d2f","datavalue":{"value":"W2775846165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604554$5CAB3EF7-7668-4310-8283-3BB121B490BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed71cbe1d3d37870f0b817b33cd722ba31703ced","datavalue":{"value":{"entity-type":"item","numeric-id":5214735,"id":"Q5214735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86350e6bbe7a44b38d357b1e2f86ec533a072f61","datavalue":{"value":{"amount":"+0.9490240216255188","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":"Q4604554$3EB9EA23-426C-457C-8276-B680DD46E80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ea3a15d6367636d22543fb15a9c56e3bc93a57","datavalue":{"value":{"entity-type":"item","numeric-id":2333671,"id":"Q2333671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7037e598af633ae65ba44dff00196fa2f57beef","datavalue":{"value":{"amount":"+0.7184666395187378","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":"Q4604554$FB841E71-7AF8-4ABD-9B79-F708C848D923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"713f23015ce7e6f807071d2a45f45b1070dc74d5","datavalue":{"value":{"entity-type":"item","numeric-id":3727974,"id":"Q3727974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7e5672d3889ec05838b0e61f48f7eadfa4f8c1","datavalue":{"value":{"amount":"+0.7073305249214172","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":"Q4604554$0FA38876-F2A1-4F47-9A41-FCB4AFBBC34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391dedd5d1193ce223c07554dcd51c6c3f37a4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1935366,"id":"Q1935366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dbbbdf8d2cd9aa2bf9f3cb8f3e1ea87f3adf46","datavalue":{"value":{"amount":"+0.695827066898346","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":"Q4604554$31BE2F85-F0B6-403D-ADC9-5F0472ABEEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d898821ac9a591e479149945e2d9046aeb6821c","datavalue":{"value":{"entity-type":"item","numeric-id":935024,"id":"Q935024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd8799b1b6936cc56781e1de97767e47cbd3592","datavalue":{"value":{"amount":"+0.6936011910438538","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":"Q4604554$8B18E12D-D10B-491C-A085-58CFA68E8FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forcing_for_first-order_languages_from_the_perspective_of_Rasiowa-Sikorski_lemma"}}}}}