{"entities":{"Q5111318":{"pageid":7140892,"ns":120,"title":"Item:Q5111318","lastrevid":58425357,"modified":"2026-04-05T04:13:30Z","type":"item","id":"Q5111318","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204441"}},"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":"Q5111318$997E5799-EC81-4D40-B854-13DA1672C2EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c039444ea834937a6d9f76a50040c465e82d037c","datavalue":{"value":"1434.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$93D0DBD9-F878-40EE-BFD9-B05ED04FF830","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdf87fb982964371cbc6b176aa80689874696360","datavalue":{"value":{"entity-type":"item","numeric-id":386038,"id":"Q386038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$43C79627-0F8E-4962-8519-85951051EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$0CAD80BA-5960-4272-9A62-3AF17F39F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$10A78DF5-877C-4F74-ACA3-18C8DE4EB2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$2B49B45E-7359-4FF4-8481-29E47B68E87A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111318$0257AA4E-55CF-4049-8838-AC5E79B04CF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14cc37871bf53d13ac8dcf6c47f3dac63e0cbe8b","datavalue":{"value":"https://arxiv.org/abs/1705.00694","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111318$4E2C8A5D-63A7-47C7-9007-3FF16DD021A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$B81FDCF8-B08A-4554-9D96-624EECD3FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$46EF0727-5B18-44CD-9C39-CEB7A7C2D5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$F649067B-79ED-420F-A40E-EBD6DE2AD2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$FEAEA4CE-DD0C-42D4-92AB-CB6576B3B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$FE1A8A41-F789-491F-AB17-71E9F2D77373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49df7046aa5aa60ef0abcf169742f1cd8429625f","datavalue":{"value":"7204441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$F948F4FB-84AA-404F-819D-F57E8F06DE64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111318$227C159A-490C-422A-B70E-19F1809FC365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111318$AADF8051-44A2-487E-A90E-209C9E267009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f3961ba93646a0ad7c859571a7cd42770ea0b9","datavalue":{"value":"Lambek calculus with brackets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111318$6AF9A3D0-6176-48EC-ADDE-B45A5C4469D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111318$D6AD4BAE-8720-43D7-A678-50465C62CAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc544e482aa599702c82d69a25709014b297742d","datavalue":{"value":"polynomial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111318$F9B70C62-E360-4F33-B4E2-9039A4F83A12","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":"Q5111318$A8151336-4928-4C5A-8663-24833323CA6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd711382695e8cb332142fd8b67bdfd2e1852eaf","datavalue":{"value":{"entity-type":"item","numeric-id":1337601,"id":"Q1337601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$7D2B5340-3559-4F1B-9744-ACE4E57C6C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749e811aca8847021e0d18d285f7efd906f0c7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4857860,"id":"Q4857860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$D22AA062-445B-4477-8819-E6DBBF7746F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9882011de34630b782ede56a4bc5bccd272367","datavalue":{"value":{"entity-type":"item","numeric-id":4842978,"id":"Q4842978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$4487E9DA-AFAC-47FC-80C9-DEFDD4F5537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660350abd029fe02a0649413dceac4b42f1f6946","datavalue":{"value":{"entity-type":"item","numeric-id":5536273,"id":"Q5536273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$14BFF327-F2FC-466F-B81B-304EA595CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f7a3f75ecf5309012d7d2e1e615d3b5ba0a128","datavalue":{"value":{"entity-type":"item","numeric-id":4463937,"id":"Q4463937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$3FA35A49-740C-4247-AC22-2AFBCC987E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3cdb608da99a747ed026b3faabe579742a536d","datavalue":{"value":{"entity-type":"item","numeric-id":4398333,"id":"Q4398333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$2B331EAE-8047-47F1-ACC9-54EB3349D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$E5ADB3CE-305A-4EA1-8B92-70A6AE0591F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e59066148ff2746209f7dfd187b4836c5146bee","datavalue":{"value":{"entity-type":"item","numeric-id":4263153,"id":"Q4263153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$86835430-81EE-4078-AE3B-319A025E73EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d0bd91b16f8776a0d2b1500f5dd9774e69b47f","datavalue":{"value":{"entity-type":"item","numeric-id":4263011,"id":"Q4263011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$1F3EC63A-C28F-4C8C-B323-2EA6E9DF8B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$96F0FFD1-4E75-4ECE-BBA3-89BC4C59B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$D35BC00B-AE4C-406E-94D7-BE9A5DFB3E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956d898af512173ad3e3bf780fca11528bac3879","datavalue":{"value":{"entity-type":"item","numeric-id":1768792,"id":"Q1768792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$E749A28D-4302-436C-8C4E-BE8ED82CE942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d01ee74b851e975c75b29e83fda8a975a702db9","datavalue":{"value":{"entity-type":"item","numeric-id":2835058,"id":"Q2835058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$5D2083DF-6A5A-4BAE-80B9-78692231B025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446fe3e34c7316a7e438a6169932ad07d892cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":4842278,"id":"Q4842278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$B8F87884-05AF-41B4-B06C-59ACB74A852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576e444d059abc72fff2fe740a437de38c37cd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2903756,"id":"Q2903756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$92C16318-32B8-440B-A2CC-F090E6572470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7b78a88d8b3554e99efa82271eb13e58aada71","datavalue":{"value":{"entity-type":"item","numeric-id":511445,"id":"Q511445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$97A395D1-0B3B-4539-82BF-68C5A5626CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$3EA57C99-2DE7-4F33-B8F0-FB22627F84CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf627f9bea2670e555e81570d7d63865bb5c04cb","datavalue":{"value":{"entity-type":"item","numeric-id":3846669,"id":"Q3846669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$A1E4E673-E3E5-41B3-98B7-D6AD9D4F541B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a67d0e61838aa36d3a1f24aa1ad220953e70947","datavalue":{"value":{"entity-type":"item","numeric-id":1923840,"id":"Q1923840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$E641C433-0602-4EA3-9AAA-FF6C3634C2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c9b6f9ca3d171dbf2d02621061387dde3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$71447E2D-E885-4E08-877E-B9ECEE86263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7d735cc3188564661a5319f018d70b06752d63","datavalue":{"value":{"entity-type":"item","numeric-id":1398479,"id":"Q1398479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$BF847F57-17BD-4839-9F84-8A53A528BF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42903cd14f0e06ea6368cc8c427898c5388ff6a","datavalue":{"value":{"entity-type":"item","numeric-id":4923572,"id":"Q4923572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$B8FA6BCA-8781-4384-A498-2861819CB81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216ffba108b697b8ad4d0951ae283e2e0d09a945","datavalue":{"value":{"entity-type":"item","numeric-id":1899151,"id":"Q1899151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$227BE4B5-FBAB-4245-960F-7DA6D61B9720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df97cad4a346c950878513db532e8ebaf86c6ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4218528,"id":"Q4218528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$C62B66E7-9EE5-4BA5-932D-D3B28B05EDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$7193770C-0270-4F2C-A88A-27B9AF7404C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de20dd2a0d4e284dd483f6502177d1824603e44","datavalue":{"value":{"entity-type":"item","numeric-id":987373,"id":"Q987373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$B09B1269-90AF-405F-ABA8-E8F2B9F2D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111318$563D8FF5-9A35-42C8-856A-3E67FF818D48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50ce7024ecf4d688e8ef15f375580ff98b8fd44","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111318$DA6AD320-ED8C-4211-9B2D-213970860830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52bf311df252d6e7eee2c1a7abbf2aa10cf1415","datavalue":{"value":{"entity-type":"item","numeric-id":3584995,"id":"Q3584995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fdc364e6703f9b1b1e67d2248263d1da8986bc","datavalue":{"value":{"amount":"+0.8408318758010864","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":"Q5111318$907737DA-17F6-4E58-953E-25F879F961E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9275f8389c3e2ed19fe8c6604ef22467d9eb4457","datavalue":{"value":{"entity-type":"item","numeric-id":1337601,"id":"Q1337601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a24fc5856d49fbc0d0cfdbdc4aac6d326ef9a75","datavalue":{"value":{"amount":"+0.8221912384033203","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":"Q5111318$D6C720D9-8530-4E38-9C38-4947DC4676D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2519e3db66c711647f74d7215e62dbf6aaa1a79","datavalue":{"value":{"entity-type":"item","numeric-id":4857860,"id":"Q4857860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f349617e1edc51aeaed8cc04e200bd1190039ee","datavalue":{"value":{"amount":"+0.8093942999839783","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":"Q5111318$546155E8-786F-40B1-AF7C-8C420CBF5A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9f810086c244195c8bcd6ffe2d2d8f947de28c","datavalue":{"value":{"entity-type":"item","numeric-id":987373,"id":"Q987373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e039251103b71e9479ee414b8a591c8b5837d4","datavalue":{"value":{"amount":"+0.7986611723899841","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":"Q5111318$BA1D0970-0100-4865-8335-E89FEDB20DBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111318"}}}}}