{"entities":{"Q5224895":{"pageid":7254464,"ns":120,"title":"Item:Q5224895","lastrevid":94467155,"modified":"2026-06-05T06:53:37Z","type":"item","id":"Q5224895","labels":{"en":{"language":"en","value":"LP, K3 and FDE as substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085132"}},"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":"Q5224895$F9611E44-F300-4CD2-8965-3BE04098DE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1814d5f9891fafe3d894c8894f4396051b50d4e3","datavalue":{"value":"1418.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224895$F1FEEDE5-CC71-4B52-A43B-2A8051A66558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcec729d42a2555697b3167193f6be3c3e87740e","datavalue":{"value":{"entity-type":"item","numeric-id":1708465,"id":"Q1708465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224895$03F31968-2A86-4553-BB93-F010F669ADEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224895$4FF8969B-C64A-457B-83E3-BCA831915E34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224895$3F95081D-697C-41E3-A1EC-8A8059952FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224895$90B75C09-27EA-42EE-88BF-EDD0F578FF52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9c287f519908b823ddd8c6517e093c4b91216bb","datavalue":{"value":"7085132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224895$3BF3D573-F654-41BF-8124-9206A7FF5ED0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224895$1F0BA4D3-FD49-4395-B4B3-150EFB0E60DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224895$ABDD0394-E1CB-425F-BB2C-30782A090028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224895$0CC39C7A-BAA1-4600-AFAA-3A5A97BE79BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3cb33c8a04c5dc73d00fe236232074606302a7d","datavalue":{"value":"many-sided sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224895$D598B69A-5DB1-4960-8B2D-2F429E1CE61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224895$7D9C74A4-1D1F-40AD-9E36-6BEE548C99B2","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":"Q5224895$830C84BE-9A43-456F-BA9C-861632FFCB62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d83db291c84f17ecbdf4d9338fb6f368bcdaba3","datavalue":{"value":{"entity-type":"item","numeric-id":3305614,"id":"Q3305614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60fedefdbe8aae2d04ab8317308c686e9e1b721","datavalue":{"value":{"amount":"+0.78974848985672","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":"Q5224895$2691B5B9-AA17-40ED-A68C-376A6617110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac03f1038a75580921c2481092835fdb02df81c","datavalue":{"value":{"entity-type":"item","numeric-id":519853,"id":"Q519853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5196e1171b681e684fad5bfa6165e5e43019b","datavalue":{"value":{"amount":"+0.7607252597808838","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":"Q5224895$5ACD0A5C-E2C7-4F86-9A31-DA66DA275A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04820d1915a9276b8c19ada3a9f2ff7100819d00","datavalue":{"value":{"amount":"+0.7514873147010803","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":"Q5224895$CC87DEE3-572B-4625-8CD4-301E7E7B5308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04820d1915a9276b8c19ada3a9f2ff7100819d00","datavalue":{"value":{"amount":"+0.7514873147010803","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":"Q5224895$081B5616-AA49-4B63-A806-DB052EF19CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c4fdfad566481fbbfd52bcb7feeede7ab5cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fccb6df8fd43af11e12670977e1076f805a46f9","datavalue":{"value":{"amount":"+0.7508798241615295","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":"Q5224895$F9A99368-CDB1-4EAC-AF69-9BADBD4D1117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LP, K3 and FDE as substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LP,_K3_and_FDE_as_substructural_logics"}}}}}