{"entities":{"Q935024":{"pageid":936872,"ns":120,"title":"Item:Q935024","lastrevid":65514459,"modified":"2026-04-12T03:07:45Z","type":"item","id":"Q935024","labels":{"en":{"language":"en","value":"Forcing in \u0141ukasiewicz predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306430"}},"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":"Q935024$C162E0F9-418E-40CC-A40D-6C63528E5DF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"866a6d3829d0769e8b708f5bf0a9486c78f0a8bb","datavalue":{"value":{"text":"Forcing in \u0141ukasiewicz predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935024$8DC13A0B-2147-4183-88A1-DE8F380A4462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acd9201e101d033d44f2719a9251409d0576289b","datavalue":{"value":"1170.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$2882F6F4-8324-4C26-800E-7872571C8E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$F9177B19-2C6E-41CA-95F2-D59575145FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb0bfd6631a1549ad4fd4e04d60519169799c2","datavalue":{"value":{"entity-type":"item","numeric-id":377476,"id":"Q377476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$87E1E0E9-3C11-4D23-A10F-9FB30863E191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fc3bc455be4d7a265c7bd40eaa94127306c8719","datavalue":{"value":{"entity-type":"item","numeric-id":454390,"id":"Q454390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$572B0F21-8D9C-468A-B07B-C340E6593A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$CD33F0CD-0280-4445-9874-A6E093ED610B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d7bf80e07847c0b262029f7e143cabd4beaa66d","datavalue":{"value":{"time":"+2008-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935024$F5319791-BCA7-46DF-B881-BD920D5F1CE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3f9b0bc77167e94f52389e39d06394781f9a002","datavalue":{"value":"This paper studies the notion of forcing for \u0141ukasiewicz predicate logic along the lines of Robinson's forcing in classical model theory. First, the basic notions and results on the syntax and semantics of \u0141ukasiewicz propositional logic (\u0141\\(_\\infty\\)) and \u0141ukasiewicz predicate logic (\u0141\\(\\forall\\)) are given. Finite forcing for \u0141\\(\\forall\\) is introduced as a translation of Keisler's forcing. Finitely generic structures are defined and a many-valued version of the Generic Model Theorem is proved. Infinite forcing values of sentences in \u0141\\(\\forall\\) are introduced as a semantical concept arising from \\textit{A. Robinson}'s infinite forcing in classical model theory [``Infinite forcing in model theory'', in: Proc. 2nd Scandinav. Logic Sympos. 1970, Stud. Log. Found. Math. 63, 317--340 (1971; Zbl 0222.02057)]. A number of results describe the behavior of this new semantics w.r.t. the logical operations of \u0141\\(\\forall\\). Finally, infinitely generic structures are introduced, and it is shown that any \u0141\\(\\forall\\) structure can be embedded in a generic one. This provides the existence of generic structures, as well as the existence of existentially complete structures. A global characterization of the class of generic models is given.  Previous knowledge of classical forcing is not required to understand this article. Definitions are built from scratch and detailed proofs are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q935024$A3F61C1C-A590-4795-AD6B-E23140035E4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$03F0C655-6165-437C-8B86-23492F1A6993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$467D61F3-82C4-476A-8DCE-209800C821D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$C021BAEC-62B4-46D5-9D94-67D57C120388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$40655DCE-B1D1-4CD9-B8D5-B614FA22E417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b1570e9d26566f62ad528674167599547d2f68d","datavalue":{"value":"5306430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$6B5B58F2-2D2F-4AEF-8F5B-AD569D7C8052","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a00ee1f0fed1cff25a005b9661eef099eacf84e","datavalue":{"value":"first-order many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q935024$80E8FF7E-4E53-4320-9BA5-F0BE970A7E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q935024$E7E1658F-8FB7-4CAA-8619-BFAD0279B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1297d2c013dbabbcd64306abf601bf403989820f","datavalue":{"value":"Robinson forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q935024$13917632-4AE4-451B-B982-9D003E83D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e7367567cec39515668dd84b6dacce86d6e51e","datavalue":{"value":"generic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q935024$4746CD7D-C64E-4BED-93DE-47CD703E13F4","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":"Q935024$DDA4C929-7DF6-42BC-9496-8AEA5C40D516","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eb5694257ec2e4a0ae3c7f34e69d6d7e451b22c","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9120-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q935024$EBCEDE64-5BB4-4AC1-95FE-E3DD141FC9FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f0db38484d8ce8614789c396c1d49ce62144c15","datavalue":{"value":"W2140360098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$0CDA5F9A-F4B1-42A2-80F9-DE6B4CB0E2E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a79c64039113aead593cb0db56a07ef93be24a","datavalue":{"value":{"entity-type":"item","numeric-id":5626648,"id":"Q5626648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$51CFF8FA-C417-4700-9A6A-B39977E360A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa88ab684c5086380060ed7d161d9e3c4b2ba649","datavalue":{"value":{"entity-type":"item","numeric-id":4680302,"id":"Q4680302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$AB83DF36-B812-4411-851B-EC3D7788D9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2215263e49899e291127af7771e7b41fa938945","datavalue":{"value":{"entity-type":"item","numeric-id":5294026,"id":"Q5294026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$AB8AD36E-8181-4E1E-96B6-AEDA5DC05E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$793B2633-A394-4236-B835-D0894971530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$9FD3121C-7687-422A-B8E3-3F207F7AA120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$F9B3A937-2C49-4CED-8BCC-6A8861FEB8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf2b4f3c22242cc19e03eb200da4aae91a2a977","datavalue":{"value":{"entity-type":"item","numeric-id":5509670,"id":"Q5509670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$0A462E7F-89E0-4B20-BE56-D394D76F7155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2399a3cee12945677e993826b9c2b9d8154e5da2","datavalue":{"value":{"entity-type":"item","numeric-id":5545511,"id":"Q5545511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$C4AB93CF-584F-489A-BD66-CC4B1ACFF37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$18AFBC26-988C-4C8C-88FB-2AEF1BA825FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$F25D30BB-D769-46F1-A175-982DA9700FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b631e789d1b386c94fb91c096f928d1afd6b9806","datavalue":{"value":{"entity-type":"item","numeric-id":5344181,"id":"Q5344181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$A2E2F18E-1B79-4C42-BC9D-970761E5DF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$D8C2B1BB-9737-473B-B43D-19EC302B0243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3b637b338a0c2799bb2d3c0808f04e2b466bed","datavalue":{"value":{"entity-type":"item","numeric-id":2388435,"id":"Q2388435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$AA6A369E-3003-41FA-AC06-BAF11F513F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58575da8386dff066a6fa52d271305d834d2f969","datavalue":{"value":{"entity-type":"item","numeric-id":4450450,"id":"Q4450450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$DA377C1A-494E-48D9-8ECA-682A4C18756B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad4e9209f133d73c61de1df69a89fa5aafee927","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$97E2ABEA-1D2B-4449-A0EA-45C89EEC6E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955db2d1081e1b63b84d294fb213b7f5e310df56","datavalue":{"value":{"entity-type":"item","numeric-id":1216298,"id":"Q1216298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$84D9787E-E502-43DA-9F35-BCF2D01C1D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa7705863a00667118cf90c37ed5fce250f4d02","datavalue":{"value":{"entity-type":"item","numeric-id":4180327,"id":"Q4180327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$0F91ADAA-5035-4FA4-8A91-9935522D5508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$0C2C00E3-6959-4B7A-866C-BABBA351B95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$5750A949-EDF0-4BA3-A551-5FCE5DE2DBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c235fe271f3e1bec351e7c5fb1961af1fe0df5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5485399,"id":"Q5485399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$9B7D83ED-345A-465F-A185-E0BBEDB10896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe91f76faca47b963262d469c2e8e8b6e5dfdc7","datavalue":{"value":{"entity-type":"item","numeric-id":3663260,"id":"Q3663260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$349455DE-24A1-43C8-AE5D-BD5193D09ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753e8cfa4a616118d8292bbf0c9ca829a949044e","datavalue":{"value":{"entity-type":"item","numeric-id":5626647,"id":"Q5626647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$2A5A0F2B-430B-4BAF-B48A-524CD8A3AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$4D87E161-2E11-4F70-AAE5-C253E0BBDA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ffbd377b5555af190ede35ff3772596d007ca","datavalue":{"value":{"entity-type":"item","numeric-id":3851085,"id":"Q3851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935024$3765887F-6B0B-41BA-90DF-2675E9892C83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bec4a29e1c4f6ac0f3d9095a77518cc524e28bc","datavalue":{"value":"10.1007/S11225-008-9120-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935024$601858BB-D935-4098-ABFE-87E7340915E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8232dd998b89cba66754f1a05a3c691739aba6b3","datavalue":{"value":{"entity-type":"item","numeric-id":3727973,"id":"Q3727973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4df5bcc6512868aa4fa0bc55a8f66c0fac7a3d9","datavalue":{"value":{"amount":"+0.79274863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$705577D7-2673-4966-BF9B-D01E83A39FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f3e8f9a70eafc362c7e118df72eef86687b905","datavalue":{"value":{"entity-type":"item","numeric-id":3760527,"id":"Q3760527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec21bc0e762f4327bcbc15958236cda8511e1a93","datavalue":{"value":{"amount":"+0.7604305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$F808FEDE-6959-4E9F-B4AC-A5C1E4B25AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08fc4c3a797fa10ffe0c3cc0988dfb52d21d79b5","datavalue":{"value":{"entity-type":"item","numeric-id":3510319,"id":"Q3510319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06c2c3529b33c9d099455f41f450fd92224259d","datavalue":{"value":{"amount":"+0.7573811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$3EFDF49D-4E5C-4958-887C-B7222BEA0DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a83fcaa51b0914de6326f0a8d12c6e11a64976c","datavalue":{"value":{"entity-type":"item","numeric-id":1731322,"id":"Q1731322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95389ec5bdbf8f09509078fc572f442bcdca7278","datavalue":{"value":{"amount":"+0.74950874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$833E1AE7-5DA8-4A37-A0F1-180D5B6FFCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9033b027818c078e6115b2109323a8dccac1a46","datavalue":{"value":{"entity-type":"item","numeric-id":2913982,"id":"Q2913982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbd5ca6b59e12655d24273384ac6c3539a4ea87","datavalue":{"value":{"amount":"+0.74719787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$E964AE98-8E70-42D4-B4CD-DB05C8956256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35adb5f36f07aaa624ec2af70739cd334a9b1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3510445,"id":"Q3510445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bbcbef078743948751cb2fc2cabcbec8cd641e","datavalue":{"value":{"amount":"+0.7327173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$19AFD5C7-56E3-4C8F-859C-98570B467EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7caa784e70d069c58742510979aa0dd19dc9b1b","datavalue":{"value":{"entity-type":"item","numeric-id":4795397,"id":"Q4795397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec80fab4d68850cf666c531d72fff18951580289","datavalue":{"value":{"amount":"+0.7240065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$B6572659-6C5E-4533-8DAE-ECC4B606F441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c43864247385c3a65ce07b111c005dcee56c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2948587,"id":"Q2948587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2abf60f385625fc70928892e371575cb47d20d","datavalue":{"value":{"amount":"+0.7235804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$FE566ADB-C9DA-43E8-B68E-9663AE7EBADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c862b07821f84adb5edd664cc29645886c31ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2307303,"id":"Q2307303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a155df2c4d9d1eae37dce1aa05a5f6b1912df843","datavalue":{"value":{"amount":"+0.7230189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$82E2BE20-3F68-4C2D-B574-3EF1BB67DE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a36a3dd96ae69841fb79e813f3816202aefb2d","datavalue":{"value":{"entity-type":"item","numeric-id":3553914,"id":"Q3553914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d6c4f0f5d7db1debd8cad0367bde45e4f2916d","datavalue":{"value":{"amount":"+0.7201252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q935024$8EBBDCC9-B74C-4539-A500-A9DB99A0F23C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing in \u0141ukasiewicz predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forcing_in_%C5%81ukasiewicz_predicate_logic"}}}}}