{"entities":{"Q4940719":{"pageid":6970301,"ns":120,"title":"Item:Q4940719","lastrevid":41134847,"modified":"2025-04-18T10:57:49Z","type":"item","id":"Q4940719","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406803"}},"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":"Q4940719$4A65B780-CC78-4B7D-B507-189A613D7856","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0afe1e6ec79b46c110d2fc25691c3b21be937a9b","datavalue":{"value":"0941.03518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940719$26F1CF7D-5DF8-4D38-B0E3-0BFF800EE8A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4940719$0CB18C70-0904-4869-9EA8-95889619F7D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940719$D9284134-C449-4DE0-BDED-3023357FF1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940719$94264217-1915-40FE-881F-00C4AD2069CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940719$5B6D1754-EC3B-4E7B-B410-114A3F6C52C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7acba2d678b49286dcc33f73433f3ce34dcca137","datavalue":{"value":"1406803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940719$F7B739B8-76D7-44F2-B55E-0C7D433BC307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$CCB2C448-EDA6-43D4-A0A9-306654551485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e32ed3dacfd0945f35c928fd6dcd220bcd2948","datavalue":{"value":"syntactic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$8E3954AE-F83A-465B-883C-B202407E1AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2616d744ae9398638b5f042df670421a825cef5c","datavalue":{"value":"logic without structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$A5A9DDD9-D22A-4329-854E-13BAAF716EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c69420e617fd32bf6a4203f58356b04114a53c","datavalue":{"value":"noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$315837B4-B91B-4DE9-8849-A870D8D007B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$F4C239EB-AB61-4887-9193-788F6A083AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$8A37322E-5DFB-483E-84FA-AE00A5C712BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$D009E324-2538-4DAF-865B-512FDB6E4668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c67010319460776705895711b19a162d6dff7c7","datavalue":{"value":"bilinear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$936B01C8-E379-40A0-9A90-D6224F302263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0b506ec5ce8d99fe356a0c6c3e3c424641b194","datavalue":{"value":"cut elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$8DC20785-917D-4F1F-8B0F-BE51134D7555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d204cac3ff0a184e1c3ccc63449e9e11dcc81a78","datavalue":{"value":"residuated monoid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$0FAF31CC-6D88-4D04-8EFC-A4E9C30DE4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940719$64EBE1A4-B0AD-4837-A9E0-7EEB4146CEA9","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":"Q4940719$5EA662DA-2E61-4858-A686-6621C9BEE3FA","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":"Q4940719$28792704-296B-46A6-A9EF-1A8936E7EE4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4940719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4940719"}}}}}