{"entities":{"Q4342439":{"pageid":6372038,"ns":120,"title":"Item:Q4342439","lastrevid":46549551,"modified":"2025-12-25T00:32:01Z","type":"item","id":"Q4342439","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1024333"}},"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":"Q4342439$651BEE65-2343-4892-9618-1AC911776759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab580fb7a8dee308d3f8ea5ea14e3835ae215c85","datavalue":{"value":"0879.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$71176D4F-8252-4743-801B-496BA7D8AE3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4342439$E9A3BA25-8B69-4FAB-AE22-537786B53D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4342439$547051A9-DA3E-42AB-A942-805FAF7FBC13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"421343ee396663c660b85cc3ed6181655448b08f","datavalue":{"value":{"time":"+1997-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4342439$645FF9B8-FB7D-4B93-B451-944797F2E090","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e295069d0ff97bd0a021849a94e605ae8839c84d","datavalue":{"value":"https://eudml.org/doc/119158","type":"string"},"datatype":"url"},"type":"statement","id":"Q4342439$BAC8FCCB-D88B-4FE4-9DBE-673092E26C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca81b8ceb771a2b3bcb7472ac02f61c3704da303","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4342439$9D1D0234-0A23-4B82-9891-793CA8DE47AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$0305A565-5958-4191-842F-411D17683670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$E1D2D3C9-0B31-4302-9551-5D1CA6BB9D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$1B4EF2CB-A8DB-4D15-9567-6CE2F0C10633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$5514A4F5-117A-4F9A-9BEB-D51CE006BB0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d9dd0629d09572242cac0a1a52b75596f3b934c","datavalue":{"value":"1024333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$A7C1CB48-3DB8-4AFF-BB64-84BBFD19224B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44700699f112e91ed4492301956596cfd748b570","datavalue":{"value":"monoidal closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$53982B8E-6A1F-471A-8F9C-03345DE17FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19786cbcc3cc565920701d7d123f9ef896dc0b1f","datavalue":{"value":"tensorial strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$B46A7D57-3AA4-4676-A90E-257F6C754D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$BFD8D4C7-0C07-402E-B4ED-07EB6EA18D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e41da6e9532d18d4b0fc3098833cffdeff51969","datavalue":{"value":"categorical proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$D3B3072E-FCE5-4023-ABDA-9DD94CBE8DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf624f3e102941448d7d6ee673e2d1d0cd7588d","datavalue":{"value":"weakly distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$C406237F-2A94-4E2B-8FAD-669952223497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4571df467ba9795d2007b44fc83019e57e357d08","datavalue":{"value":"linearly distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$718313C1-B4EC-429D-A520-5E8085F47DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ec91d48f80a676217615fabe59d031ebbc12b6","datavalue":{"value":"tensor-par fragement of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$C981958E-C331-42C4-88C5-AADF0047FFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$6E9C9FC4-CDF9-41D3-B0D6-BEC29522A5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722f34a6e9ca3808525d1cd06edc1edddbc6963a","datavalue":{"value":"MIX rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342439$2512E56F-12D4-4709-9AB7-29EC77F4A043","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":"Q4342439$55161D63-B59B-4428-B631-30118FE2DA75","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"6cbfc9df25eb7a2583eab593526ea866f201f061","datavalue":{"value":"bafkreif6dd5qolocoo3jbvdlvozsaet5vcos6rzaz6waq7nvu5ppteogr4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342439$0D65F9C2-BB52-4340-8A35-FF9073209401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a1195afb1c3c601a1561a604730c0b6a152933","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6804afe2de5f4b28c9c6cb6b07b551285d6d47","datavalue":{"value":{"amount":"+0.8093463778495789","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":"Q4342439$408D6557-C9DE-4642-A5A7-432680EE4791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726f5feac6d9268e2e25158c99058455e8ec7ac9","datavalue":{"value":{"amount":"+0.8086262941360474","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":"Q4342439$E237BEF4-B589-4433-ADED-9835BB1E19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609b596dec98d72c061d1f01d25a655960e7c57","datavalue":{"value":{"entity-type":"item","numeric-id":5283420,"id":"Q5283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ffb9b3f9b039a18979934dc694bc5d4720667d","datavalue":{"value":{"amount":"+0.7988892793655396","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":"Q4342439$28E6520D-7DFE-40DF-9502-1A8CD89F2B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d34d3a1a7a03a8724c7b79ed6f19475aef63760","datavalue":{"value":{"entity-type":"item","numeric-id":5108019,"id":"Q5108019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfe082cac94383e7d7a168faeef17e9c41f1d4d","datavalue":{"value":{"amount":"+0.7925397753715515","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":"Q4342439$A138987F-73B0-4E07-8610-FB3573B6B905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4342439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4342439"}}}}}