{"entities":{"Q3972526":{"pageid":6002425,"ns":120,"title":"Item:Q3972526","lastrevid":47047303,"modified":"2025-12-31T12:18:13Z","type":"item","id":"Q3972526","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 15880"}},"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":"Q3972526$8BE3B11C-91F7-4455-8F02-91B3F26CCC50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7404b7143ca8a7c92a2688046a4c64ab9975f881","datavalue":{"value":"0739.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972526$47D5C25C-4225-4B60-8913-2368D364E9A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3972526$849549B6-7C38-45D4-94C4-8055E99F3AC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972526$BB71919C-0DEE-425A-8FF4-33A73C61B60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972526$C74FD438-4D25-4C21-B750-383A6E9EF829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972526$2E1F493E-B35F-4894-8879-93664E9AB441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb63b18ea08c2a156159f3182f6f6dc6b4d0213f","datavalue":{"value":"15880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972526$E541B304-19CC-48DC-8A4F-88770D3CA2D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972526$777E0883-C92F-4889-9DE0-9D98BD60A4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aac001f3bc5bfb12430607e307e08eeac4bea86","datavalue":{"value":"biclosed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972526$47701767-2CEB-48B4-A26F-3276E7E18D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0faee14ffea00dfe13ee740667a652bfc9e2248c","datavalue":{"value":"symmetric monoidal closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972526$8AB2B0EA-9441-48C6-B939-1A27DE260871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd9babcadc46a34e904c1b513437f3acccd8da2","datavalue":{"value":"balanced sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972526$75BE9484-2818-447A-9919-AE10E95049B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972526$C045F9FB-8648-44D9-AB02-702A7D805284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"970ea7b604da2cc8ecf16084a23ac84157bbb264","datavalue":{"value":"lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972526$A539E8AD-A50E-45AB-B798-E8542F1F89AD","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":"Q3972526$3536ACFA-5AAE-41F1-933A-51B168AC18CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0325aca116319c5dc33c8d90e391514a9911e86","datavalue":{"value":{"entity-type":"item","numeric-id":3974848,"id":"Q3974848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d83dbccf5b404dbec6acb75c29ccd7caf5cf46","datavalue":{"value":{"amount":"+0.8210213780403137","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":"Q3972526$43C32BEA-7F1B-4810-AEE7-991B626A558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c023c26a619a3608a512521312f0fec12e213308","datavalue":{"value":{"entity-type":"item","numeric-id":2498908,"id":"Q2498908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65163cf771afdfed4b297682e0fdf99e6d1c1fad","datavalue":{"value":{"amount":"+0.8160151839256287","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":"Q3972526$43729F20-EF98-4992-B565-10A32B497D1B","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":"c07b83cd4713a5c91c5a8d4a809d9965466e537a","datavalue":{"value":{"amount":"+0.813438355922699","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":"Q3972526$8C4C508A-3AFE-45D4-B6E0-B4C659909B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a84602e3d56607299a82baf35d4be3b10d7e2a","datavalue":{"value":{"entity-type":"item","numeric-id":757581,"id":"Q757581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e56b3e8f7ebc4d1f8a9c5f42ce3af07e77502e","datavalue":{"value":{"amount":"+0.8086015582084656","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":"Q3972526$27E26CD1-D9A0-46E3-AB75-25F0C28E5023","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":"b3f5cb5e624782f9f6688b30b8ebb62868b5a918","datavalue":{"value":{"amount":"+0.8063070774078369","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":"Q3972526$1F582CCC-5496-4C4A-A1CC-65467BC1AB37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3972526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3972526"}}}}}