{"entities":{"Q2776810":{"pageid":2787548,"ns":120,"title":"Item:Q2776810","lastrevid":79572719,"modified":"2026-05-06T14:14:06Z","type":"item","id":"Q2776810","labels":{"en":{"language":"en","value":"Finite models of some substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716767"}},"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":"Q2776810$DCD82659-4681-441B-9716-976842D75BFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05155873b2d6d1b008ba18c15256b89c7bb63260","datavalue":{"value":"0992.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776810$06FE9A18-4C43-45D6-B419-2B14AECDAFDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776810$17672BAF-8EDD-4BC5-B343-5E6808162087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd286c80e9259a0741aa43296398cc11e61b80","datavalue":{"value":{"time":"+2002-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2776810$B79B489A-925A-4E92-93C1-9605A6C88C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776810$1681E7B7-68E4-406D-8F13-8557E3041FB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"645ffadb9f497435ee608c08daaae8878fbede24","datavalue":{"value":"1716767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776810$394B3049-AA27-4E5C-A7E6-2990AA1B950B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$B1F7C156-8E2E-463A-B09C-986B9871225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9ca4c74f2a1654c41dd63a805fadad56c0db56","datavalue":{"value":"fragments of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$BC0416ED-2E50-48A7-8C72-71F5DC13C0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5b20ab29f45489d2068c3411d354eb6c6de54c","datavalue":{"value":"BCI logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$FF38CE3C-E681-4236-8EFA-496D4ADCC940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$4AFBD78A-6FF5-4A76-ACE4-EB38E21278C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$2E710140-A0D3-49B3-828F-5242E20BE459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$BED73B8D-CC4D-47EA-AEDD-2B1ADA41C9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79de35a09faee3aed60b7c339f189103486e6686","datavalue":{"value":"Cyclic MALL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776810$6BF99259-25F2-4C47-9810-09F872626DD3","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":"Q2776810$8869B93A-CE8B-46CD-AC52-39804C12925D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776810$F62F947C-6DAF-4F15-9D16-B23B5BFCC342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776810$82F8F587-AB24-4BA6-B7E3-49426461C594","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":"Q2776810$FC61898E-A4E7-434C-A295-BAB31D58B588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59e4046039d026a69f08e8b1921d78f93501bb0c","datavalue":{"value":"W2024895805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776810$DDA10FBC-CFFB-4DD4-A77F-5A90DA4B6D53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76779ff2927320341c1e6d2e5f75badcb60372a5","datavalue":{"value":"10.1002/1521-3870(200201)48:1%3C63::AID-MALQ63%3E3.0.CO;2-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776810$F5D72202-FB79-4898-9071-8CDE623DFDFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3d1352fbb006764865fe55255ed6cdacb20009d","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200201)48:1%3C63::aid-malq63%3E3.0.co;2-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q2776810$244F7AE2-B221-48AB-A47F-8C0C33FF0C1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eec62551639df517c4ba4777340c6bf7c71f049","datavalue":{"value":{"text":"Finite models of some substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2776810$FB42A9BF-7B9C-4091-AEE8-7F0003C738F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776810$3235A498-FCDA-4B39-B808-BA06B9612935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157c9cb5182ae11ca5dd58962af3031bf0838ba6","datavalue":{"value":{"amount":"+0.8725980520248413","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":"Q2776810$C3E84EBA-8C28-4567-8E2C-84D2CB879BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bce9eed4ce79dd805f77126f1e39a457acc8bbc","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157c9cb5182ae11ca5dd58962af3031bf0838ba6","datavalue":{"value":{"amount":"+0.8725980520248413","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":"Q2776810$96CEC7E5-81A3-4875-9E35-F4B6EB11EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459a5922378febad32c9441b36425d894473e680","datavalue":{"value":{"entity-type":"item","numeric-id":813074,"id":"Q813074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6457d0fdcfc4268281cf0fbc6e9e9afedee759e6","datavalue":{"value":{"amount":"+0.8299144506454468","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":"Q2776810$601E2AC6-D282-44E4-8A1A-C4AE13883BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a172df524c705bfd6218d691628e1e9c54112eb8","datavalue":{"value":{"amount":"+0.8288253545761108","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":"Q2776810$7939FC5F-C83F-4AA0-8ED6-D77115952BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30bb74fd4ebaa4fa96dc676f44839ba6777a957","datavalue":{"value":{"entity-type":"item","numeric-id":2563452,"id":"Q2563452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f5663eee9296ad05cc0f4449b47adae198d01f","datavalue":{"value":{"amount":"+0.8270213007926941","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":"Q2776810$35DD5E23-8167-427F-809A-05D551DDFA2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite models of some substructural logics","badges":[]}}}}}