{"entities":{"Q4895552":{"pageid":6925131,"ns":120,"title":"Item:Q4895552","lastrevid":47416855,"modified":"2026-01-01T16:44:51Z","type":"item","id":"Q4895552","labels":{"en":{"language":"en","value":"Canonical typing and \u220f-conversion in the Barendregt Cube"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935195"}},"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":"Q4895552$36B5B89A-D3FA-4A6A-9CA5-E2ED91962638","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"463f609f9ce3c829028af4dedfda8e3d646bf8c4","datavalue":{"value":{"text":"Canonical typing and \u220f-conversion in the Barendregt Cube","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4895552$E2C9CAA4-822F-420B-BA26-8DC7F200AFFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed3e409bf7cb1b7e29fabfce6c24d7f8c5c2aea0","datavalue":{"value":"0854.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895552$730EF960-2868-4D8D-AB9C-A51D947439D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f767409d65453652dcc3f3d1a3761413f629c2","datavalue":{"value":"10.1017/S0956796800001672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895552$48BA246A-72EC-46FC-AEAA-5F6C3C69F6C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$C2E9A15C-8B3D-4780-B464-678F2C5E2FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$85997733-C81E-4320-9312-E9E0F30704D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$1900B45E-D668-411D-BF59-BDABE7763FF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a668d02226194776ec9ee0be917172cf21ef57fa","datavalue":{"value":{"time":"+1996-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4895552$6954ED75-FE41-4102-AF5C-80E46DA9DE51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895552$099F8CDD-EAA6-4D7A-A135-60B400448F82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd8fa0dc2453368b230979a23ec0a9006263abba","datavalue":{"value":"935195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895552$22D3BA9E-8468-453A-9670-1DCEF99C13D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895552$69546E00-734F-47C0-8011-479621878467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895552$F862A83D-717A-4C13-8271-CEB8DB6B2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895552$0B39FCEF-5B45-4DB8-AF86-E35D4A1CD572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908ce5f49dccc9af3e316d07148e1e97bdbf532a","datavalue":{"value":"\\(\\Pi\\)-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895552$BA64A9CE-A396-41B0-AE52-27359E5108D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffcd02a9252fa239702cf8f6030ad57827ad1bf","datavalue":{"value":"Barendregt cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895552$AEA733FB-3EB9-479C-885D-46F99F14E357","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":"Q4895552$F57D72AD-6FDA-4946-89B3-A2101DE2753F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df2c0a9da41467dd8e40df1e4a939b7164cc85","datavalue":{"value":{"entity-type":"item","numeric-id":1565537,"id":"Q1565537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$1C60955A-8C69-42A5-9F9A-7F47D49A8164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4fe1b8977f490196c9188240db25c416d17b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$C34822F9-D39B-4C29-AF8C-DDAD0EE9D4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$AA819F96-D4FA-4BA2-B6D1-99D0BF294C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$B625D686-C32C-42FD-8324-C17150C4E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7aa565bdb2a148fd351c269e59a364d9556ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$687F2433-3E81-4AD2-99BB-0F01BF71DDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b201d97ba51e9a469157bfcbb5963e8e4d8cc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895552$60B2D774-350F-472C-956C-1D8738C8228D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fde70f340bbd1f1a5e63c2ac256d3456c58a790","datavalue":{"value":"https://doi.org/10.1017/s0956796800001672","type":"string"},"datatype":"url"},"type":"statement","id":"Q4895552$BB5AB149-92A4-4B70-98D5-E600509136B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e691f87b0d3f67f7cdbb7957301e382759cf9aad","datavalue":{"value":"W2153926566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895552$808A7894-813A-45C9-A246-BEBF13D42286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbb81868af965606e5b95e3ee0a66737fe9fe58","datavalue":{"value":{"entity-type":"item","numeric-id":1302298,"id":"Q1302298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22e0efd52a8f3357cebbf4ad3df53b8ac742023","datavalue":{"value":{"amount":"+0.8047943711280823","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":"Q4895552$62C5FCB7-57EC-4494-803B-77947FD755C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09740528605c6b7edef6707296920793959b04f3","datavalue":{"value":{"entity-type":"item","numeric-id":4501164,"id":"Q4501164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22e0efd52a8f3357cebbf4ad3df53b8ac742023","datavalue":{"value":{"amount":"+0.8047943711280823","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":"Q4895552$D35E3015-55C6-4AB7-97E7-70F578757E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450d272b058e22962d9767d38ffd4fb938278b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1917101,"id":"Q1917101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a448edbfaff4d057c6e57a3a19bdbcd3e6631a","datavalue":{"value":{"amount":"+0.7625349760055542","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":"Q4895552$5075DC90-53CC-4A46-A06F-5285B1E06CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9fc4b8d5bbb2ed22afcb9da4a5b0f607645834","datavalue":{"value":{"entity-type":"item","numeric-id":2844696,"id":"Q2844696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae562d72051ba4f2f0898ed90fe115d05a004e52","datavalue":{"value":{"amount":"+0.74599689245224","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":"Q4895552$0A0E109F-9849-4B01-B9F5-73508F488B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2b3a5439b04db476a9a53138803c7da9f40c1e","datavalue":{"value":{"amount":"+0.7361367344856262","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":"Q4895552$D98B7B5F-24A1-4DDE-85CC-07343DCAAACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4895552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4895552"}}}}}