{"entities":{"Q751644":{"pageid":753493,"ns":120,"title":"Item:Q751644","lastrevid":64099320,"modified":"2026-04-11T17:37:57Z","type":"item","id":"Q751644","labels":{"en":{"language":"en","value":"A \\(\\lambda\\)-unifiability test for set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177033"}},"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":"Q751644$F3FA6154-262D-4126-8D87-FF300E2DE00E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fdf9c5672ab9bd62c8532395be06dd5232264ea","datavalue":{"value":{"text":"A \\(\\lambda\\)-unifiability test for set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751644$4988F74A-8E6B-4FCD-B4E8-4DFF8EE0756A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"675085f29db73da16a7d9de1543105912e42ce6e","datavalue":{"value":"0715.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$7C1AB4B2-CE4E-41ED-802C-803BF9A98367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bd5e10cf870a104f08225a9700b759b0fe40982","datavalue":{"value":"10.1007/BF00244943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$1AF9CE22-B483-44B9-98B4-E9C5785567FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b17dcf0ac83f1dd38ccd61f7fa1d86349213c3","datavalue":{"value":{"entity-type":"item","numeric-id":751643,"id":"Q751643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751644$F1EEAB08-9CFA-44F9-AC60-E8F2E5B7CAC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751644$8950CC0F-97E9-41B8-81CB-F3175CAC9A73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q751644$F1D872D3-0556-4B50-89D7-BCB9C5CDB672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$61879E7A-6E5A-4086-9370-D498B9369F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$B23472E8-B69F-4B05-AF88-41500A1DE45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$F77F8425-2489-48F9-A9F8-34FBC1EC990F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ecf7b120b4c0f4c38c7f392104910b7f67e8e95","datavalue":{"value":"4177033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$94736AA0-93FB-410E-8CB6-FF76F200800D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e372ecaf216de43abb721d89694bbd483ffb18","datavalue":{"value":"lambda-contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q751644$4DEA70DE-197A-4631-BC38-BE146B93FC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d4e86f03d731ab0b9b1d9b508d1c9ccdbd1cb4","datavalue":{"value":"semi-decision algorithm for the unifiability of two set-theoretic formulas modulo \\(\\lambda \\) -reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q751644$F3FA722D-D7A3-446E-95D6-9872D39040A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543e49634ba30f5a3c46d0cb939204384771b80","datavalue":{"value":"Ada-like pseudocode","type":"string"},"datatype":"string"},"type":"statement","id":"Q751644$C1E74960-5434-4F47-A190-6C9CC83A5022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"283af18504aa49d30a08288841f9ba625b7c8c31","datavalue":{"value":"\\(\\lambda \\) -unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q751644$C1D54729-A1F0-4A51-8647-D3F8579BE61D","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":"Q751644$678B462F-E930-40D4-94C0-815D59A757F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c911d7e7cf5dec0e26d9f1a468975fd9ccdab9b","datavalue":{"value":"https://doi.org/10.1007/bf00244943","type":"string"},"datatype":"url"},"type":"statement","id":"Q751644$91F9C305-9959-4AF0-8A4F-8E57798C15F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d23a3e280c6dea6d92f704b903000af66cf7f31","datavalue":{"value":"W1551807233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751644$0C62DE61-76F3-4639-83B7-C30D88FF4279","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a995296ad29113f91b725caf0e048a53ed7331","datavalue":{"value":{"entity-type":"item","numeric-id":4249894,"id":"Q4249894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffb3cdf88f773e050e6a5c151a35191dd6ecc17","datavalue":{"value":{"amount":"+0.7876045107841492","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":"Q751644$47ED82F5-4648-4B31-A29C-ECCD259CF884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b843bbe05d7ec04b9e7443f833ea1e8de9fee8eb","datavalue":{"value":{"entity-type":"item","numeric-id":3708774,"id":"Q3708774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11369d174d01db4924427d38c64a5ae273c54ba","datavalue":{"value":{"amount":"+0.7863807678222656","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":"Q751644$35116F97-5ECA-45F5-B57F-0B6043DE9485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b6797f7baa429db18ac3c6b731d6c25f813396","datavalue":{"value":{"entity-type":"item","numeric-id":4506398,"id":"Q4506398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb92347351828f60e0fd9dd7fdc3660c0b7f0f7","datavalue":{"value":{"amount":"+0.779848039150238","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":"Q751644$B07572EA-D239-4CB3-8BA3-100964C27370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1c24fc18247147d1212af21efe683e6efa0e0","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d8ae28ba5d423365b8f12d18b35f08875cf7b6","datavalue":{"value":{"amount":"+0.7746575474739075","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":"Q751644$440D5D3E-FE0D-42A6-A175-55BDE122609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4868616f2fbf422fcd6ff0ee08bc4d8dd011eecb","datavalue":{"value":{"entity-type":"item","numeric-id":3422416,"id":"Q3422416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43224ed3b41e8bcefb1cc4504fe3cb9a7536f1c0","datavalue":{"value":{"amount":"+0.7746342420578003","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":"Q751644$0D5B91E1-1626-49F3-BCEB-F9F745FCC65A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A \\(\\lambda\\)-unifiability test for set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_%5C(%5Clambda%5C)-unifiability_test_for_set_theory"}}}}}