{"entities":{"Q1610037":{"pageid":1620777,"ns":120,"title":"Item:Q1610037","lastrevid":70971543,"modified":"2026-04-13T18:36:28Z","type":"item","id":"Q1610037","labels":{"en":{"language":"en","value":"Consistency argument and classification problem in \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1783147"}},"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":"Q1610037$FC69C68F-3351-4249-937E-3E0C71F6B0B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a170d52a7592013804ed2d2df70a9e1f510b5df","datavalue":{"value":{"text":"Consistency argument and classification problem in \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610037$6D10CD2C-46F6-4D4C-961B-26F1CC63E4A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8759fa02b2b00ace648a951eb31e288075b81e34","datavalue":{"value":"1003.03515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610037$AE79C148-BB4A-4E2E-86C8-DA6256E1AD5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c44e8e86f829799ad771e920cbed75a339d53a5","datavalue":{"value":"10.1007/BF02917403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610037$69FE6A88-BD4D-486E-B29F-0A3881D3EE19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe9e33ec4e4ce49f6bd3f41237aa4786f6b2389","datavalue":{"value":{"entity-type":"item","numeric-id":230381,"id":"Q230381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610037$A57F8FDC-1B53-483D-887E-7651896BF4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b374c92ba7d0e8f92f380eede0e79191bcbbc35f","datavalue":{"value":{"entity-type":"item","numeric-id":1610036,"id":"Q1610036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610037$8F690A7C-B91C-450B-98CC-F2811F6D6FDD","rank":"normal"},{"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":"Q1610037$CD6BBCAC-10C4-4D49-AAA8-A2BBD664CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610037$B3C7F5FB-A433-4512-BE7C-F505580F37D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610037$819E6C58-27E6-4DDF-A545-5FAB1008E565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ff829be26711905016fdc54cdab22246fd5f3d","datavalue":{"value":{"time":"+2002-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1610037$71E7DB89-9DD2-476B-9D5E-DEC96FB32F8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610037$E25A69D4-303D-4409-981D-842617D7903A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5988e1056d8b126b9e3d4c9031a640de5977b591","datavalue":{"value":"1783147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610037$BD5BFAD4-B53A-4888-B9CF-A407633E5334","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":"Q1610037$89FAAAE2-C7C5-4302-B88E-7CAED813F0AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610037$B5776F8A-5A38-4650-9E98-A58EC02F4368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610037$29B31660-43BE-4B8D-A57C-44D50874B41A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2da35f1c10ac44e41e8a5d879caf2a6068ed9183","datavalue":{"value":"https://doi.org/10.1007/bf02917403","type":"string"},"datatype":"url"},"type":"statement","id":"Q1610037$EF6D6D19-E0F7-49C3-A34A-A02F2BF64EF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2f71c39b38c382da3ad6ebac4ec626e82befb32","datavalue":{"value":"W1976400665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610037$E8D11222-F3F3-4193-AC95-54AB665937A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b777ec978d26d3babb39bdba94d11b1e495384e4","datavalue":{"value":{"entity-type":"item","numeric-id":3583100,"id":"Q3583100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c53a29029d959e14c82320220c4f8c7d7b4ee1","datavalue":{"value":{"amount":"+0.7523968815803528","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":"Q1610037$0115424B-E087-4EC5-8813-C1BD5870D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03af0ef1b71f5ea9d8e78f9c93a51ade97b04bf9","datavalue":{"value":{"entity-type":"item","numeric-id":2729668,"id":"Q2729668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f41662c6286a93c1c01cf4617788b9cbf04e8df","datavalue":{"value":{"amount":"+0.7417349219322205","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":"Q1610037$3D74468A-715D-4396-81E8-2D2BE9FFFF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f16b5b949416f005f34c01f700fef534201659","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60978edd112a474ed08dd68ab7742c0a8b7d28d","datavalue":{"value":{"amount":"+0.7415526509284973","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":"Q1610037$1A98B664-B467-4B88-A955-4F8F8EDBB0C6","rank":"normal"},{"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":"a60978edd112a474ed08dd68ab7742c0a8b7d28d","datavalue":{"value":{"amount":"+0.7415526509284973","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":"Q1610037$36B97C56-B627-4CD7-8A2B-8974A1F4F913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d379272fd586084fcc0dfe56e611e00c99324d56","datavalue":{"value":{"entity-type":"item","numeric-id":5895465,"id":"Q5895465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406baf6ef00993adb4f0695a8fa8bb27f8616622","datavalue":{"value":{"amount":"+0.7366957664489746","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":"Q1610037$73214DD7-6A51-4F0A-9FAA-54312B08FA80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency argument and classification problem in \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_argument_and_classification_problem_in_%5C(%5Clambda%5C)-calculus"}}}}}