{"entities":{"Q4370236":{"pageid":6399835,"ns":120,"title":"Item:Q4370236","lastrevid":46996044,"modified":"2025-12-26T00:37:42Z","type":"item","id":"Q4370236","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104362"}},"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":"Q4370236$DC339FC7-66CB-43F2-98C9-AC709C909AB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd644d569de2a2da68cd11db6f1f3d8bda5f49d5","datavalue":{"value":"0889.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370236$22836058-FE09-4140-A2A7-F9770FBCE469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370236$593A81F4-78D7-4276-8586-9FE981C59E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f72a50a520d3a5f97e96f0332ad63fdd7fec33e","datavalue":{"value":{"entity-type":"item","numeric-id":280842,"id":"Q280842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370236$B19ECA2A-46AC-43A4-800B-195FE2C75AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a88302bb95e1e4db76c4441eafc7b30c336e74eb","datavalue":{"value":{"entity-type":"item","numeric-id":534714,"id":"Q534714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370236$51E79799-0AC5-494E-A25C-683F5B2390DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da5ec653cd76b79075d7eca2361024c9b561613","datavalue":{"value":{"time":"+1998-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370236$9158B29E-0C0B-4FEE-A3EB-A7ACF9C8FF44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370236$42169BC1-004C-4047-90D5-4D27B3023D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370236$7B451745-0544-4640-8325-2852523B0499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370236$6F5A85BF-FF9B-4AC8-9C59-91883386472E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370236$BACAC212-5A11-493F-9C5F-D5FB91187FF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a6c45d16e7bb158a5a32e51d9cc4c4ab92a678","datavalue":{"value":"1104362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370236$1C8D0ED9-A1ED-4889-BB4F-CFE688EDF2D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$C820969F-5C6E-4692-BD47-7E459A9FECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d45b4a1960f0f5709af314d5fdbaaefd560f7b","datavalue":{"value":"logical formalization of Tree-Adjoining Grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$CB887C0C-FCA8-4F38-B390-C79521E0B736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d24916efc2a8f031521998e550be00ccdce66dc","datavalue":{"value":"lexicalized trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$38426FF6-CA55-4086-9915-EE99A655AFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136073e65c053fed5398a72d7dead7dbf6da6cf7","datavalue":{"value":"noncommutative intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$97CFBBF2-E087-4E3D-A0FC-85FCB5A45335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728253dbe4fec5582cc60c487af5f42878f18f73","datavalue":{"value":"extension of Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$2F68D3DB-22A0-4721-B3D3-8516F8838466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$C71AD064-91D0-407E-8C75-9702DA1EE461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b867e22908721211eb664155d23d7486b3d04a","datavalue":{"value":"parse trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370236$8A2F25F9-6F75-4AB3-BA29-41F8AE19DF13","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":"Q4370236$41B34B6F-7280-4688-9055-7D67B6C56521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c61e900dbcf377f761c0a5cd6c560441023b29","datavalue":{"value":{"entity-type":"item","numeric-id":2763023,"id":"Q2763023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720da1c5974cd10b1dd7c859d33c639f5f6ebde1","datavalue":{"value":{"amount":"+0.8676050901412964","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":"Q4370236$0CB22434-CA1B-4798-B173-B675399B2D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a267a20766342b47fb94f0802f84975dd7e9972","datavalue":{"value":{"entity-type":"item","numeric-id":4273674,"id":"Q4273674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659477908bd020ec9dc44fa23df0f0a2d2673d29","datavalue":{"value":{"amount":"+0.8204734325408936","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":"Q4370236$3774FBD6-5502-4385-8FCE-3E740C2A0E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f271f32b4bf98cec5c977677ab045d641a469263","datavalue":{"value":{"entity-type":"item","numeric-id":4408471,"id":"Q4408471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89be77f0b4e984587ae46c49bf22a50f74ab1ed4","datavalue":{"value":{"amount":"+0.8085036873817444","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":"Q4370236$1683D2C8-5FED-4AF8-B3BD-1A0FA09D62D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf394e6b33cade59103b34b2524455d053e31681","datavalue":{"value":{"entity-type":"item","numeric-id":3585002,"id":"Q3585002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeae5c2e1b5c6bc048a7757326194e9025e5ea4","datavalue":{"value":{"amount":"+0.7963326573371887","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":"Q4370236$1D211A50-B7BD-4737-8047-82659B903112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370236"}}}}}