{"entities":{"Q3024907":{"pageid":3035623,"ns":120,"title":"Item:Q3024907","lastrevid":48509866,"modified":"2026-01-05T01:33:32Z","type":"item","id":"Q3024907","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2185715"}},"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":"Q3024907$DAADA2D4-B834-4EAF-8F7B-700B29A75459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a800e8849450fdf4d46c591e760e9ee3bcde662","datavalue":{"value":"1063.03535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024907$F6B30067-9B16-4159-AFEB-01B977CA315B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3024907$0B80A19A-131D-4453-BED5-F1C1F198FAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3024907$FF5EEB33-C9CE-4DF9-8ABD-487C9379B276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3024907$160579F6-FACF-4DC3-B635-F9B84E103FC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c90d1f2360f7f585c929be7f10869403b5189739","datavalue":{"value":{"time":"+2005-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3024907$3A3FB552-E4BF-4678-8716-594CF2BAACF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024907$E2ADD752-0966-4CB2-B3B6-03F67FA60565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024907$EE6E5E36-08E3-43AB-87C7-CED77F352A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024907$D104E2C8-C26D-41BE-9F86-9453C1D20F3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9081e04b3d1f5775aa9797bbaf0aa9269e444c59","datavalue":{"value":"2185715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024907$6475F830-F28D-4447-892C-3F1217895A0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024907$DD92DBEC-22B7-4277-AF4E-443CDACA42AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024907$9EFA3595-0BDF-4F91-9A53-8CE7DE3A0757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024907$63DF5964-E7E3-4E5A-9884-26F9EDA5BADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117eb370679e5f6fa8c0baf376ecf934defd08ff","datavalue":{"value":"sharing graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024907$993AE9B6-665F-4FC2-9AF1-6CA2D3AF954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024907$CF8EA83D-54B2-4255-8448-8059E2AAE333","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":"Q3024907$30D40BA3-44DA-4710-94EF-CFD6141D1A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173f9069c177cdf67d44103e13ec7aeef4596eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1589650,"id":"Q1589650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de66aadbcb968efff8fc0d46270ccc949d887b1b","datavalue":{"value":{"amount":"+0.9916948676109314","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":"Q3024907$602CF4C2-082D-4103-AAC4-E6C5332BC28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58053b0f9c9591bccf7dd8e76a3ac6b3398e13c2","datavalue":{"value":{"entity-type":"item","numeric-id":4304131,"id":"Q4304131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d137a2685c4612d17b0e6083a220b02cdb406c65","datavalue":{"value":{"amount":"+0.818763792514801","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":"Q3024907$8B375837-C1AD-4914-B2B6-7AE5F558C1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65db2dd4a28f3043c64635ec8bafd646c235399a","datavalue":{"value":{"amount":"+0.8182418346405029","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":"Q3024907$11B758FA-DCDF-43B3-B91C-2CB2988C5F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fe8611e8a1bec02d58de834a2d50a8102862f6","datavalue":{"value":{"amount":"+0.8167145848274231","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":"Q3024907$4AF756F9-EAA0-4407-A9AD-CDCAC05C9465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e00492223d8a74fdffca3bd01a0982fa7c35cf","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e01f4d2bdc10dfe3447ac01481676379d1a6825","datavalue":{"value":{"amount":"+0.816321849822998","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":"Q3024907$38E14FB6-B9F3-4B4C-9484-C1D6A4E66299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3024907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3024907"}}}}}