{"entities":{"Q3006121":{"pageid":3016845,"ns":120,"title":"Item:Q3006121","lastrevid":85471982,"modified":"2026-06-03T08:43:22Z","type":"item","id":"Q3006121","labels":{"en":{"language":"en","value":"Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907061"}},"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":"Q3006121$B6737200-2170-4DED-B74E-866F0DFEB72E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c1000883e46408629a9f3b1b44fc4eb52819c93","datavalue":{"value":{"text":"Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3006121$BDB58B7E-A5FE-4792-9396-BE3615D957C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36a9cc381fa709459d1e9fe0faff67e494ecb3a6","datavalue":{"value":"1234.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$A744653A-8BB9-4407-8BE4-3B81AD393E94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82660d9eb264be2cfddfa7dbcf878b5395975e95","datavalue":{"value":{"entity-type":"item","numeric-id":3006120,"id":"Q3006120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006121$30D1B117-93E1-4210-B51C-5D752EE802EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625d7e3986a43411b876f69d9a3e10581f2ceb79","datavalue":{"value":{"entity-type":"item","numeric-id":484108,"id":"Q484108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006121$33FB50B6-C0D0-4CD8-94FD-34B9B09DF1F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3006121$B7B509F8-6A02-4410-B5E3-CCBAFF1AF443","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6333fa374c442d984ba7d90182d8d93c6ef9137","datavalue":{"value":"https://semanticscholar.org/paper/78ca96f497b8df9fe5f67f4f90413ffca307a41f","type":"string"},"datatype":"url"},"type":"statement","id":"Q3006121$0DDC0CB5-696C-4613-8A08-38213ECDEA0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$C3295A6D-3EED-4DEC-A964-D40B1DBC151B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$8B91FF81-FE78-493E-8781-9465E14241CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$A8A538A4-1073-4FE1-99B5-1AE4D85CFE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$38C64B4D-CF1D-45D1-80A9-179F2AD4BA6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9003cb4e9890721d481b4c4c4175fc4af91ce09","datavalue":{"value":"5907061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$3876D73E-B514-47A9-B9D2-43BD22832DC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a9d18e66959f91169a7f9a7e142388db8563e6","datavalue":{"value":"foundations of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$94A93246-9352-45AF-BBFF-E4340159959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$6DEE27EB-75BB-49D0-9328-7F4740792727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$E4877346-996D-44BF-B122-BA4FF796B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb4f02c66a8e07947dc2ac8deedf0a966362a8b","datavalue":{"value":"lambda-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$6CE532F1-F5E6-4649-B4AD-1010DE1DAE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946c014ec936820e978ec80a6578cf278abacfb0","datavalue":{"value":"relational type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$460D92E9-81F0-42DE-A776-F129FDCC87F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08457163f35017d1ef276c0ca5888ff9fc6801a1","datavalue":{"value":"functional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$9F6E071E-8141-4231-92A2-CC156D09924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad18e36c478e5aad8a2c55fa1acc60f3afa69abf","datavalue":{"value":"theory of abstract objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006121$C009E916-DBC2-4C7B-9A1A-DDDE07C7E835","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006121$0217493A-E0C6-4679-95CA-2A5257E1873E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006121$4033A5BE-CA22-4721-AA67-32EA624D7FE6","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":"Q3006121$117FCF5B-20B4-4C4E-8532-23818A4C8017","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7270e785c5ed7662a3991f4ef6f1b7cdd2620f4d","datavalue":{"value":"W1989156455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$03A3F858-4881-4A32-A919-ACFB51F40718","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"998243fb4bd446207a0a732d37a96f43b979e245","datavalue":{"value":"Q58127028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$7807F171-251E-499E-9CB2-EC34F0165947","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4caafe248853bda37ba0e144c8333cb87394ff77","datavalue":{"value":"10.1093/LOGCOM/EXQ017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006121$5FD5CED0-162B-4521-A87A-9337C790CDC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b385eed773debe8321203b8912752d716ca20fb","datavalue":{"value":{"entity-type":"item","numeric-id":3081829,"id":"Q3081829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6ce20492695aecb5c7ed9cba886500bb71d194","datavalue":{"value":{"amount":"+0.91694367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$6B1C8DE2-2831-466A-9147-D0728030ADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c841b6f0cc024190cc4e137119760ea830773a18","datavalue":{"value":{"amount":"+0.9154196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$B923EA8E-F25C-4D22-B72E-7592A130562E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773d94da1b82fc3bbb90df79ebcc8e660157bbe5","datavalue":{"value":{"entity-type":"item","numeric-id":4372855,"id":"Q4372855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709f2c0026c1111656b0a255a09aae606c0844c9","datavalue":{"value":{"amount":"+0.89858013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$BDE0D735-F2E8-4DD6-A76E-B85720837BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fba82f0dcec115429cd4d57c9e84093b7eb89c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263807,"id":"Q4263807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d1f65ac74f472038ec34e95c777af6fe65b75f","datavalue":{"value":{"amount":"+0.8973204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$AEA87951-EF31-4CA0-9351-931C47C30C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0a142ad2c3598c030546208e0fe5fe3c05610","datavalue":{"value":{"entity-type":"item","numeric-id":4862761,"id":"Q4862761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2dd2b5edb5ddbad25d03f858334f4e39cb8fba","datavalue":{"value":{"amount":"+0.8964269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$FE2D92A5-4E3B-4AED-B3B5-28290B92CEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547bb2911bbfff14f604a506a0221b473ff7181","datavalue":{"value":{"entity-type":"item","numeric-id":3824291,"id":"Q3824291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c660e95307212a877137ada930cf9a761bd938","datavalue":{"value":{"amount":"+0.8931641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$D6843980-E876-4BB7-A1E7-EEF2D99368FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71341020b9726328193b01d7725d977f2891642c","datavalue":{"value":{"entity-type":"item","numeric-id":5056429,"id":"Q5056429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8a411902c48b6c7a2a8ee08b6482441bc357f5","datavalue":{"value":{"amount":"+0.8911533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$E181587C-5797-4F43-BD2D-51915689F35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f68b2e4d6aae41c90466bfa81235cf13dc5ca53","datavalue":{"value":{"entity-type":"item","numeric-id":908912,"id":"Q908912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c46cf8f64f351609cf7397c7003a27be7820190","datavalue":{"value":{"amount":"+0.8859522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$4843D228-7CAE-4627-A5B6-48F3FA28F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5de8f9deac5256023a02b625ed47c4679aab24","datavalue":{"value":{"entity-type":"item","numeric-id":2909746,"id":"Q2909746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf48322d64468ef8cab1e7eb71fe60188975242","datavalue":{"value":{"amount":"+0.8825434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$AC4D9BC3-1348-44CA-B1D2-18B9D382AC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f73f23363c7166801cb82a871dc3ef0a8a32197","datavalue":{"value":{"amount":"+0.8787181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006121$579923A2-655B-43BF-ACD6-EA54A7CBD989","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006121$3CCA42A5-4F75-4400-90CE-B9B29314448B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations","badges":[]}}}}}