{"entities":{"Q5437244":{"pageid":7466808,"ns":120,"title":"Item:Q5437244","lastrevid":29554407,"modified":"2024-03-05T20:12:02Z","type":"item","id":"Q5437244","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5228272"}},"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":"Q5437244$68FCA7EC-9F1F-40AB-91F8-9CBA56461D24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db337565c380c2af72d746ac446e2d0ecee57895","datavalue":{"value":"1143.03350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$4CB0FE0C-1FC0-43ED-82E4-E8C85CFAE2EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437244$2253ABDF-043E-4D95-A189-EB2CD6B5A495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bf5ae4c4f38a4e50ac194230d4567cace8e4006","datavalue":{"value":{"time":"+2008-01-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":"Q5437244$8FE6439F-6683-4352-899A-D77AAC56DD11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$CF078371-49D9-4AFE-A2E6-E9A003ABE8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$AC98FEBA-41E6-47E2-83F5-BBF8538D20EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$7A2850BD-3601-42C8-A55D-72F05409A40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$B3679C7D-5319-42A3-A73C-8515DE7E6543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$DECC096B-E2A9-4957-995E-C8CFB4DB34E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f2ec6d3f3a2ba014fededd35e8076845fce929c","datavalue":{"value":"5228272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437244$882E72AD-EF39-4E8E-9A5B-3B551BD90476","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$D639F9CE-388A-4929-ADCF-4412628A379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$FE8A4E74-77D2-4FCF-BAEE-40F3F4CAF332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$A42F4C6E-8E26-4BBC-B0C8-AAB4A0CD069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$720DAFF1-8D26-464C-B044-876F460C5603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$95E5851E-A796-44E5-8241-FCC60123C999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$398EA1A3-3AEB-45CC-B19A-359364D0C686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437244$56C5FD34-A3F8-43FE-8988-F96BA1594BE3","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":"Q5437244$CFD4EAD1-7FF1-4408-BBC3-2C673F558BF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437244"}}}}}