{"entities":{"Q5874223":{"pageid":7903774,"ns":120,"title":"Item:Q5874223","lastrevid":39654405,"modified":"2024-12-30T16:43:13Z","type":"item","id":"Q5874223","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650848"}},"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":"Q5874223$68D523E3-7D47-4B06-972A-FE03A4471111","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2285d8b829d07ac88f14bf0c8507541af2328aef","datavalue":{"value":{"entity-type":"item","numeric-id":5089019,"id":"Q5089019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874223$94DE4D25-AB2C-4346-B56D-47B0444A51F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874223$ACD38ACA-D3D0-4811-B202-8D7474760FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874223$DCF6000A-586E-436F-9E1F-CCE85978FFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874223$8824F110-5FCB-4604-BCCA-F864F7DE787B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ec386100afcfeaa74e3a5ae76050fbf468adad","datavalue":{"value":"7650848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874223$75ED744F-6E93-4878-99BF-5A878FDD60D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f6d445e36d9a5a976ab3db2d676f545e60e0c5c","datavalue":{"value":"generalized applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$90FFAB1F-6F3F-4972-A288-AE20119A8762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$C84C474A-53FD-4C78-BF13-0157E21598D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$F6964802-BA0D-472F-875F-DA89C72BF471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$C3FB38E5-60AC-44A8-B376-934F2996B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$EBB4A11F-00D3-488C-9C9E-E515DF71EEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$1272DAAD-8708-48B8-80BF-63D880C2C2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd0e7f1d5333a883614d6d92e8687db6f0edba6","datavalue":{"value":"protecting-by-a-lambda","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874223$6E78FA82-1154-46CB-A918-ACF56E7A6ED6","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":"Q5874223$6FBF5C72-A764-4690-A5A1-B3014249FBB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2020afbafb331c7976e30ba8909f5a0568635f2","datavalue":{"value":"10.4230/LIPICS.CSL.2020.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874223$3AB9F129-9292-4E97-A6D8-7550D58A2CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874223"}}}}}