{"entities":{"Q3033743":{"pageid":3044459,"ns":120,"title":"Item:Q3033743","lastrevid":45299824,"modified":"2025-12-04T11:29:19Z","type":"item","id":"Q3033743","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132135"}},"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":"Q3033743$FE508E99-E075-4AE1-A706-CB4427224FBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bc0432bd20187fb9b8c02fb6953112732d0cb9b","datavalue":{"value":"0692.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033743$1886993E-8678-4BBD-8A67-FA5352DD3420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3033743$456FF28B-10A5-439F-97D5-C408B6EA7367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033743$F1596B82-B0A8-4B39-944D-560CC4096139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033743$C34FA002-BC25-4A09-80FD-E7BDD0A86D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033743$472C5E20-9595-41DF-BAA3-A522FC097242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77e4badfa333c46337be62782580c382c6754ebd","datavalue":{"value":"4132135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033743$CCB26693-CC82-4B30-8DA3-1071963857DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033743$7F4DA122-FFC0-4745-B139-A6FE42904349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c54aa264a7c1d9b79c43498771adcd2b9f98c47","datavalue":{"value":"type calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033743$437EE902-97CC-4A30-B1FF-3E59D7C222B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033743$5E8B1D9C-03FD-47C7-AC4F-706560CFD84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033743$D6571F9D-3912-4922-9582-79AC75A607EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a12cb602a40f7e1852c98e149015afdd9e79ae43","datavalue":{"value":"syntactical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033743$76FC46B4-562C-47FD-B19A-755E83D4E481","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":"Q3033743$29DC3DF3-D18C-46AD-8F27-49361CD44F91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033743$26F89056-B5DF-4E5D-AE43-7CCF8AA6113F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3033743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3033743"}}}}}