{"entities":{"Q3335754":{"pageid":3346462,"ns":120,"title":"Item:Q3335754","lastrevid":48730315,"modified":"2026-01-05T17:50:22Z","type":"item","id":"Q3335754","labels":{"en":{"language":"en","value":"Category theory based on combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867291"}},"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":"Q3335754$D024E2AC-0078-432E-9BE7-96C71B9122FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1caf3cfce5acffb0d9c157e8cc4f5dc8346064ab","datavalue":{"value":{"text":"Category theory based on combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3335754$6A51465D-6C1E-4563-BC93-EA7920E8BB59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"965a18c62cb3910d8f7d8632ec072a882bca6a8e","datavalue":{"value":"0545.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335754$8FFBF678-4F48-4C49-939E-9C82E7FF0243","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d9e31f0f32ace61e4a062a0a5e0d4525f0a050d","datavalue":{"value":"10.1007/BF02007137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335754$EFD5A8BB-AE07-4427-8366-D874B5F603FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$4330EE5E-FC72-4268-A759-5C3C8ACDBB2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3335754$04DD696D-1EAD-4590-8A23-9C774A7B801D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"404e8b5b444a8af30b8f91bca0f1995d77ddaa04","datavalue":{"value":"https://eudml.org/doc/138019","type":"string"},"datatype":"url"},"type":"statement","id":"Q3335754$301F698E-AA82-4135-ADD8-9ADC9A75C4C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335754$EE925EEC-6EF5-4B32-9E16-C6D19F0E9D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335754$1360C155-24F9-42F0-80DF-54E5B962278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335754$83A73037-4188-4D14-AA59-A5ECCA58EC07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdcadd4a54a7e3bc5eec6388ed1292e74e8d10a5","datavalue":{"value":"3867291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335754$5BD3D11B-DBEF-4272-9C4C-6FE257B756C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"049244242366575a59e8ff0db232a5e254bfa361","datavalue":{"value":"set theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335754$69B32EC5-E161-45C6-A9AB-F12A20FEA2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d0d0db45a982dc57097973557e0aba754440aff","datavalue":{"value":"higher order categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335754$FA72E138-233C-4962-A67A-E92B2DFFB53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cc6d6f6a2a1aa99efcbad9cfe3b4be690c20df","datavalue":{"value":"functor categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335754$BB324031-453C-4B05-9BB1-C3BE684FF44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348ed2bea88a6271060d628a1589c91f0cec2c7","datavalue":{"value":"Natural transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335754$90DFD23D-CFF4-45D3-8EC1-57F722C4E1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0e14db37d1fb7bcc0ca311f6b73923f55446f2","datavalue":{"value":"Illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335754$F2260482-EFF2-4546-96E0-3A090579DA7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$5B096B20-9DB5-4543-AC8F-A6154D1BDD0E","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":"Q3335754$178DC5B5-9683-4ACE-A17F-4728AF07CEEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c2584425bffb8f031f8ec34589e5110521a522","datavalue":{"value":{"entity-type":"item","numeric-id":3322072,"id":"Q3322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$41480462-52CB-4F99-8542-2CA34C8C9ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80b8af0db62d82075b52b458e18249b7e4b1275","datavalue":{"value":{"entity-type":"item","numeric-id":3322073,"id":"Q3322073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$7AC00D07-FF4B-4669-BE72-E88919CF1D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ee8ad5ef59d19d9c1c42fc765be3205cdeae58","datavalue":{"value":{"entity-type":"item","numeric-id":3043111,"id":"Q3043111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$1E27E55E-CC38-40BE-8538-2A0FF9BE6081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce0b4c43ba20dba026c38bc07f89ab730899ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4722038,"id":"Q4722038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$1E495D16-775B-4359-890A-CA295F6E50BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$BD25A85F-EE3D-4863-9F99-D30A2837ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$D4B0DF85-BDFD-4CB5-B7BE-77A33ED1FFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb0580a258952ac0fd65f6f9d86ae32e158a2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4185007,"id":"Q4185007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$271A1359-B946-46A6-9AB2-35DB139E8D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335754$630B7BC6-0BEB-479D-9BB4-8936E432C640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838e29cf004be44be7eca01e8855d9f2e7dd8243","datavalue":{"value":{"amount":"+0.7747474908828735","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":"Q3335754$D139DEE5-30AA-45B0-B980-FAFA34FDA755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94543ed8cd2aff76c9dca0156f6e9ed0d176fcb","datavalue":{"value":{"entity-type":"item","numeric-id":685421,"id":"Q685421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0da9bc7d5b28f8a6af95a6f474a53f7d276cc7","datavalue":{"value":{"amount":"+0.7678374648094177","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":"Q3335754$288AA152-C13B-41C9-A233-7B1035C0866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211af35d4841c4e2e50eafb8044ab30c9c5bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":4918375,"id":"Q4918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6fafd127c2f8a4762690a18746d1e14d60fa5b","datavalue":{"value":{"amount":"+0.7556015253067017","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":"Q3335754$EAF86D05-23A4-46D4-9593-ECF6432BD3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb82e35188c4f84564412003378f2caefb0b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":3693676,"id":"Q3693676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953e8b5d6bf043de4ae67494bfd154a3e7926469","datavalue":{"value":{"amount":"+0.7555248737335205","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":"Q3335754$5F5E1677-AE7D-420C-B75C-945BC2ECC5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afe440b07b81f885bbbf035518c32ca61ef38b7","datavalue":{"value":{"entity-type":"item","numeric-id":912587,"id":"Q912587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de360d652c184f4cea6c9eaf80481964b36d4e5","datavalue":{"value":{"amount":"+0.7540392279624939","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":"Q3335754$45B9034A-52B0-4A26-96AA-C9B0BE263E9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3335754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3335754"}}}}}