{"entities":{"Q1892095":{"pageid":1902837,"ns":120,"title":"Item:Q1892095","lastrevid":71079291,"modified":"2026-04-13T19:20:31Z","type":"item","id":"Q1892095","labels":{"en":{"language":"en","value":"Consistency of a \\(\\lambda\\)-theory with \\(n\\)-tuples and easy term"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761852"}},"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":"Q1892095$3BCAA124-3398-464C-B746-8C018B2E9E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71461d770055846a26030b6e049852ab6bc4f374","datavalue":{"value":{"text":"Consistency of a \\(\\lambda\\)-theory with \\(n\\)-tuples and easy term","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892095$06E71DFB-0F11-49E5-B5DC-3A046D4878D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a24d790d05b60494a281ba89eed013a679bb3c20","datavalue":{"value":"0820.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892095$9FD8E0CA-B51A-4995-8AAE-93E2950425FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9994e22132749d99397bc99150caa21bed2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":457561,"id":"Q457561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892095$ADA415CC-CC6A-4D61-A364-D40A60EA7162","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892095$D15D02EC-7ECF-4DE8-AE56-590932EC0756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f78d507593b00743bcc5379c7be91e53b8be2eae","datavalue":{"value":{"time":"+1995-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892095$3069CAAC-BD15-4A2D-9B64-446F772A8311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892095$166C0F77-D412-442F-8AAF-C92FD14585A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4495a07d42cc024723c9d7af2643baf4da1ed732","datavalue":{"value":"761852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892095$30BD02E9-9BF2-46AD-B165-C3220983C044","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892095$FBA46D4D-7DF9-4ECD-9797-CCAC9937F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2922a70562dfa24cc997a9041821f747e814568e","datavalue":{"value":"beta-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892095$A17042B4-7845-484F-9EB6-14F62EFBFA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892095$5CFC9A05-383A-454F-9E79-7DE9F33C98BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892095$9B1F5B16-D39C-4B78-895B-0E7964AE6FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892095$29E95EF5-1A2E-4682-ACC6-008A2574D04C","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":"Q1892095$E5560388-95B3-470E-9497-D81CD12A4D0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c000e6611e77d82ddba897d4e31ce7eb0761f227","datavalue":{"value":{"entity-type":"item","numeric-id":1314346,"id":"Q1314346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1c728bbc74d71831614b09a9b49023e537b4f6","datavalue":{"value":{"amount":"+0.782710075378418","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":"Q1892095$AECF677E-52A8-4FE8-BA81-72C91EB3D099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f8cffcc11af1de75e52a12977ff977c01d00b8","datavalue":{"value":{"entity-type":"item","numeric-id":2889181,"id":"Q2889181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc41b78fc428fa0f2f7175d4b5b0daf68b7d292","datavalue":{"value":{"amount":"+0.7801237106323242","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":"Q1892095$2A842767-DA0E-4531-8D61-F28D4676B889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16931ee5196cbeb132ed462d3e31a5281ea35743","datavalue":{"value":{"entity-type":"item","numeric-id":3982064,"id":"Q3982064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7147de28972ac72b1714d09f0832bf183429b052","datavalue":{"value":{"amount":"+0.7782799005508423","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":"Q1892095$2694CB97-D62A-4680-BE26-9E059E11CEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4475a89784cf95d8ba2c35c528163ed6760f1034","datavalue":{"value":{"entity-type":"item","numeric-id":5955931,"id":"Q5955931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3b9f77d19a312ff4707cd8584e2c5af89cdb06","datavalue":{"value":{"amount":"+0.7780315279960632","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":"Q1892095$1A4EABCB-EF05-434F-AE6D-DB43FBF3812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132f06e93dbb10cca6cbc376f91d814de553da26","datavalue":{"value":{"amount":"+0.7627986073493958","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":"Q1892095$AB3D93D3-5EA5-4BC1-90F7-477E5AFD3F9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency of a \\(\\lambda\\)-theory with \\(n\\)-tuples and easy term","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_of_a_%5C(%5Clambda%5C)-theory_with_%5C(n%5C)-tuples_and_easy_term"}}}}}