{"entities":{"Q4510741":{"pageid":6540334,"ns":120,"title":"Item:Q4510741","lastrevid":47520706,"modified":"2026-01-01T23:27:46Z","type":"item","id":"Q4510741","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1522506"}},"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":"Q4510741$A73F533F-C34E-4402-B837-653A0367569B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ebd8e9d8f8295bdfca32d1e5ecc1d600365680f","datavalue":{"value":"0967.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$26DEF5CE-A6FD-439D-AF7E-992F436D9427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf47f0c2f8921918b490b998264be36172ab63f7","datavalue":{"value":{"time":"+2001-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4510741$0A3F7080-655F-439F-9D94-42C7028385F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$2460EAA2-392F-4FF7-8417-C549707D4CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$8CAFE8F0-D168-43F6-A47E-06F4F9A8F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1644e904c7e2e8ee8c52b2f0b786e3a0ac9a79bc","datavalue":{"value":"18-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$4B893F60-777A-4D37-B768-0ADC199F4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"844f9f136caac8da7a3420e8eebe9b80805bb44b","datavalue":{"value":"19-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$1EC66942-34F2-4D9C-BD3B-921614F5C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$93EB81C4-FB33-475C-BA0B-808834D6AE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$40FA280A-6300-402B-8276-44A1C115724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$2F5D1596-AAAD-48EA-9DC8-1BEA99291232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$B35C0035-3F5E-446F-8FFC-F7AB9D0A98FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7c2a5927d8cfdf5c1f3ac3c8f98754a0f4fbc4","datavalue":{"value":"1522506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4510741$A44A183E-EA1B-4C10-B6DB-14149711D58E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$CC97A89F-3CC6-4C95-B10B-14516FA9DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e352599b67dfca7ae0a807a2c9e8e2b14da9766e","datavalue":{"value":"lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$3F4BAD8D-CD66-4E30-AA61-03BBBEF7CBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bff7e4a4536831a746765cf2bfc36024b1e1be","datavalue":{"value":"logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$0591E356-534C-40CC-927B-F139C8EC9B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$42D0D766-573D-49CE-AAF2-EB6C017BF473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$37D82667-7CEF-42BD-AA5C-D07C17508119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$3CE66564-0344-40BF-94B0-0BCDF1EEBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$361B8E7C-6BBE-4143-ABC1-D9276F81E1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7dfe8fd61b6c8a88e34ed209c8f77d833734bc3","datavalue":{"value":"categorical program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$3647D3AE-5DBA-4F10-9E6D-525C4EE749C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5332cbceb52cec640aa3bf6e33ff3203dc60b93","datavalue":{"value":"parametricity condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$66EFA333-D895-444C-910F-1CF69EA4543E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ea00eef2a7cfbee5045f61bb07fe600fbfdbdb","datavalue":{"value":"dinaturality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$29168AE8-1992-4A1B-9808-649914A237F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150579e9a8da329339157802a8d589307de9435b","datavalue":{"value":"Gentzen's proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$56DE1C98-9105-4091-814C-43D59382A420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8887f0b40f002db7512c42e94b50e461b5ab67f","datavalue":{"value":"proofnets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$991BC29B-3E3F-4AF7-B32A-A0E4BD5B99DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$6DF4C660-2907-489A-B496-E3F61EA4849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4202ceea3cd2ee148050042c139a0b6c5503399","datavalue":{"value":"full completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$F3F76ADA-2598-4D5A-97EC-7D185FBFC408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a1fd12645890d62895c1bdb1fe8b402066921d","datavalue":{"value":"full completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$4F44496F-5963-40A9-8A4E-ADF377CFE0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d7badcf4fef6bb4b7d855995eca2b7d83c4c60","datavalue":{"value":"free category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$FE1ABD97-4CDC-469B-9C78-861F50868750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8ab92162c1447a3cfa46dab0f78d10d66251e6b","datavalue":{"value":"traced monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$B29CF965-65EE-482A-900B-40AD286B5F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66565212894f617d9e135f451b753f6472725ee9","datavalue":{"value":"algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4510741$5DF3781C-D93B-423D-945D-A251CCA32BD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4510741$F6286ECB-0CD4-4CF4-8256-B9A861BD98A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4510741$89FCCBF9-4618-406A-9582-298C0DC65921","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":"Q4510741$3B8C1642-7788-468E-B8E8-CFD7AE03F03D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12901f2112901842ef4ac0618c1401f8c4980724","datavalue":{"value":{"entity-type":"item","numeric-id":3682463,"id":"Q3682463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e0ceb39de791e5cc75447dec60304f54a13a62","datavalue":{"value":{"amount":"+0.8154308795928955","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":"Q4510741$5E99BE00-4E67-4DEE-8064-96038211CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e79b4c4f84e274cbad2812e52bc2b795539545f","datavalue":{"value":{"amount":"+0.8097150325775146","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":"Q4510741$66FFF32A-CEA5-40CE-98D8-F46224AEE19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b148f8bb4e026cdc02a40f181a6192c111ffe4","datavalue":{"value":{"amount":"+0.8036858439445496","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":"Q4510741$AE8E6BD8-6E1E-4FE2-9204-1E70EA811D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b631cd2e93f33864ee120e19ae27db405a2481f","datavalue":{"value":{"amount":"+0.799000084400177","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":"Q4510741$8A236F2D-84C2-4881-8457-2A5708857C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af0c7f5c6baf3b2686e4a08e8c71e127348997c","datavalue":{"value":{"amount":"+0.7924725413322449","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":"Q4510741$2B077BE4-CC56-48C8-A553-869AA353DA08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4510741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4510741"}}}}}