{"entities":{"Q5145652":{"pageid":7175223,"ns":120,"title":"Item:Q5145652","lastrevid":53912915,"modified":"2026-01-25T22:24:59Z","type":"item","id":"Q5145652","labels":{"en":{"language":"en","value":"Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299486"}},"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":"Q5145652$CEF31618-15C2-4E81-8DB6-C763835BAD80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a33e797a020a4d5a892eacc70ebab67f4d34162","datavalue":{"value":{"text":"Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145652$C3EB56BF-0407-4705-B593-8D7354EB48ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba2b179fb5d2eb8210e534fc2ac0c54b1f6401a","datavalue":{"value":"1498.18030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$5765913E-5211-4029-AE66-A9D99814692F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"958cfed7ac6e5cd3c1eb68fdb31b5ce8e89ada80","datavalue":{"value":"10.1145/3373718.3394769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$87BB8ED7-79CF-4739-8024-2A8590227165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c1a1eb66397fb4e40c33e2ceced0bd79686aca9","datavalue":{"value":{"entity-type":"item","numeric-id":2200827,"id":"Q2200827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145652$CC62C8CD-D8A6-4A28-A75D-6850ABDD1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145652$949073D9-EDC8-4D40-80C3-EDB942BC655A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145652$C87B6BBC-6EE1-48D8-9281-61C883655E5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145652$FA597D8B-EDCE-4082-BADD-0E03570D0EE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$FA016B22-222D-45BD-996E-0E830A71AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$A6937940-FDBE-4700-AE0F-004BC7F26A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$EF6E67C5-CC13-417B-915F-43B91E85CB28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7772c89b2e919bfa517b3cf3df9cdb90f5b61381","datavalue":{"value":"7299486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$6A9B6EA1-F74B-4228-B196-639B1D713B62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb334cd29cfc90e840a6380261c560edc6a49f02","datavalue":{"value":"bicategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145652$B59451C9-F7FD-4FCD-B83D-43E84F5F3E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156fd7cbaa59bf24c844d8689bd0d065a387b70b","datavalue":{"value":"Cartesian closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145652$6388F056-44EF-4C6B-8F71-427F8EBA3B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145652$944FAD5D-5631-4D2B-AABA-B75058EAC37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145652$742F13AE-8143-4F39-92EE-7C64C972CE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db2592bddc30f2c314c26f3465e01aa7200f3a1","datavalue":{"value":"normalisation-by-evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145652$252A576B-D794-4BAE-811A-E9DBA55075F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145652$FA06571C-A363-4E32-BC78-225D2A065C4B","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":"Q5145652$959E596D-85DB-4B04-A0F4-62115255E5CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73e6da94ee892094ccca7f1519733cbf06bc6cc8","datavalue":{"value":"https://doi.org/10.1145/3373718.3394769","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145652$2A9DEE9C-F253-4A32-AD85-F60F462D9039","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86d88e3c6302970346998b9b47ef34a4f9f21835","datavalue":{"value":"W3029012198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145652$D8E3ADF6-5064-45DE-B7C0-2697B4B29B84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddcf435da8cb03d4f4ab09c3d38ed06b1999e94","datavalue":{"value":{"entity-type":"item","numeric-id":5068207,"id":"Q5068207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe369a7823b81d34459ff8961fff5516477627af","datavalue":{"value":{"amount":"+0.8951737284660339","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":"Q5145652$ABB0824C-D18E-432C-9CCF-EAA3ED067652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c70260e1814bcfd5a93fa7584d882147bf3c47","datavalue":{"value":{"entity-type":"item","numeric-id":1850951,"id":"Q1850951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd0a765ce329a756ceb935ded4dcdc29b22a8d5","datavalue":{"value":{"amount":"+0.7933657765388489","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":"Q5145652$0CC96C98-383F-4955-9675-D6C62868EF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5760441ac57cb6a2a1d91376c630fa8180c9fb","datavalue":{"value":{"amount":"+0.7755300402641296","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":"Q5145652$4C577A5C-A766-4CF6-B337-2AE566175EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae81c0ea6549c6b668b4c8b459cf4d46dc8e5bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2744122,"id":"Q2744122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e618cafb0f6e73c59b047c2ba6c9ba592c352fb1","datavalue":{"value":{"amount":"+0.7506029009819031","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":"Q5145652$B128389E-4D22-4306-988D-A7F8A8E2988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04a2c3c89ee8c7748aa151102c68a7c364a489c","datavalue":{"value":{"entity-type":"item","numeric-id":2200954,"id":"Q2200954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e618cafb0f6e73c59b047c2ba6c9ba592c352fb1","datavalue":{"value":{"amount":"+0.7506029009819031","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":"Q5145652$E7E8157A-C3B5-4F0F-BD66-9C80CB2C91CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145652"}}}}}