{"entities":{"Q3166993":{"pageid":3177703,"ns":120,"title":"Item:Q3166993","lastrevid":51586784,"modified":"2026-01-18T22:27:50Z","type":"item","id":"Q3166993","labels":{"en":{"language":"en","value":"A theory independent Curry-De Bruijn-Howard correspondence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101127"}},"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":"Q3166993$CD09A068-52CC-46B8-89B0-FB1675E457CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e2e1c2dea1e27fb2eaf7e9be5a3e6b553ee28d2","datavalue":{"value":{"text":"A Theory Independent Curry-De Bruijn-Howard Correspondence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166993$415E40C0-D07C-49A4-9F12-7C87BC3484EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3139d231b3c81fde7cc5125d56ec4ebf1486b456","datavalue":{"value":"1367.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$5E234CDD-7B71-4B75-B1F8-D2EA736C92D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36aab52a24b569b01998d58a4f086d251c78a596","datavalue":{"value":"10.1007/978-3-642-31585-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$CC44C779-D2D9-461E-9AC7-6029255220C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166993$F2AF25AB-A591-4CCB-8625-7228CB31727E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166993$02D8AE49-E30A-43C4-B635-9095342FA3A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6cbd049611c29872719c16270d47690fbfe6cd","datavalue":{"value":{"time":"+2012-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166993$47F139D4-F919-43D2-BEEA-BEE619AA6C8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$0037D274-33BF-4A9E-9D12-32189DE14A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$86953D79-3130-4A36-9BC6-FD0EC49EE429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$EEE6B6DD-1C49-4146-AE37-6B03057DE50D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43c9d2b94cd7024e1f95a7ad4dd86f06a148f61f","datavalue":{"value":"6101127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$F19F4AEB-ACFF-4792-A349-4CC2E28D01AB","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":"Q3166993$E1898569-BD10-4D20-BA1B-94B5B9697DDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6523e520216377b7cf2c9495ea782e6924ab462b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31585-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166993$4CD11D95-0FA4-4F48-BCB2-CEF0207731CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d735c22c17218944eb459a68975ddaf511d4fde5","datavalue":{"value":"W111425133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166993$CD0BFD19-ACB3-47A6-901C-9E4269D24B05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571715c9b22f21156b5564d4a3ea268ec8394ac6","datavalue":{"value":{"amount":"+0.8260455131530762","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":"Q3166993$55583097-13E0-44FB-A530-75908DF6F5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209f9de9ba717173821b2a4fc55dbfb89bc5e5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4297779,"id":"Q4297779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667e9ac08959cfa147c2afc2fa918b91278cb365","datavalue":{"value":{"amount":"+0.8179357647895813","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":"Q3166993$B7EDA551-7E45-4FF4-AD25-C7A7995486C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af832bbe9edf612f5af3fb313fc7f5dabb61f2f","datavalue":{"value":{"amount":"+0.8132461309432983","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":"Q3166993$55CA0CD0-4CE1-4628-B5AE-F1B9C84FAA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef70568ea46ad23ba540051acda66845ec8fd124","datavalue":{"value":{"entity-type":"item","numeric-id":4488199,"id":"Q4488199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b30160cb887b7c5a61db269ce4ff7331a94dafc","datavalue":{"value":{"amount":"+0.7633136510848999","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":"Q3166993$77BC11A0-AAF5-4D55-84BF-123A6BD26DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20064da0a0397d979008c6ca2a64b9c8a4f5925","datavalue":{"value":{"entity-type":"item","numeric-id":2766808,"id":"Q2766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233ac078164f303a9eea72e58b6635e9c853f5b9","datavalue":{"value":{"amount":"+0.7562740445137024","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":"Q3166993$76B08314-30C3-4E8D-93D8-E1A18A4302AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166993"}}}}}