{"entities":{"Q4392658":{"pageid":6422257,"ns":120,"title":"Item:Q4392658","lastrevid":41124776,"modified":"2025-04-18T09:45:44Z","type":"item","id":"Q4392658","labels":{"en":{"language":"en","value":"Two extensions of the structurally free logic LC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1160472"}},"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":"Q4392658$9F44B810-61EB-42B9-B451-C3107E10D820","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b910d10a54f10825891e715be18772662c1160","datavalue":{"value":{"text":"Two extensions of the structurally free logic LC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4392658$2C758CD0-525D-45CF-BF55-AE928E142ABF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7de10837074095691cd58b5d14a3d28276508e43","datavalue":{"value":"0904.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$09B8FB02-82C9-434E-B74C-BC01A1A54E43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392658$3926BF94-8583-4ED1-A3A5-6A25815B746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392658$5B6C4A5C-B375-4F5A-AE93-67F50E3DA4EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4657432f41b43c1846ecc251d3ec440dc26ae96","datavalue":{"value":{"time":"+1998-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":"Q4392658$D2319EFC-1AF6-47E4-8F73-870D3916C34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$78DE3B38-8DA8-47FF-9108-8B8FBF4A56EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$C679BC61-9600-4B9F-BA93-7191BE4D5209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$0F8678E4-FFCA-47C5-B30F-91639B21559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$659FD49E-1DC2-464C-A6C2-23811DAE0FCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56e121f00bc08b30e495c4c9200e51f55ded8d9","datavalue":{"value":"1160472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$A37B6DAB-8AC2-476D-92CC-10AB64DB4AB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$2B546CBA-D0F0-41AE-B3FD-D4FBB3E75A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$06544008-1B31-460A-9DA1-1C4824FC5EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$EC4C368A-E733-46DD-AB0B-35EDB0E54D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e088acd9c9c09e34b42be0a0207c694c2bb31178","datavalue":{"value":"single-conclusion sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$ED09F104-C80D-44BB-9CB6-A8804A843562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$B6E5BD2F-D19D-4431-B4DA-CC713D21998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$49DC3EFC-4F7E-46CA-8D81-F459DF5FE83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de57c46fb6cfcb42a2f145f8d96ae682fdfff345","datavalue":{"value":"frame semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$BBBCA855-526B-4212-AD75-38F27DB5ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392658$C88BF9C6-EBFE-4E7D-B77D-4848521864C5","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":"Q4392658$CC519842-2EAE-473A-81CC-A2749DBBA8A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2dcb7c0cbf81185bf7495d8746a3be505b070c5","datavalue":{"value":"https://doi.org/10.1093/jigpal/6.3.403","type":"string"},"datatype":"url"},"type":"statement","id":"Q4392658$4FAD4105-491F-4EAC-BE40-A5FB9EEB38B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0407356c3d7554f2032842f8a29e1c12451b3fce","datavalue":{"value":"W2034977973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$BB2B3650-FD3C-4A6B-8BC8-EB6CDDA4AB73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a321a5dd57afa279376e7e12e12771b2841c56ce","datavalue":{"value":"10.1093/JIGPAL/6.3.403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392658$31D22AE3-38E2-429C-BD01-74499112403F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54887a4f484a5fe3ea296eaf75c92c6059eaf03","datavalue":{"value":{"entity-type":"item","numeric-id":3081825,"id":"Q3081825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698c7b64c5436027eea381e70acc84d9cf161630","datavalue":{"value":{"amount":"+0.77035415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$F1FC8A0D-B58F-49A0-95B9-9BF8102C6C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acb8ea6bb99c8f81b2ce256b0179befeaafd7c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3367500,"id":"Q3367500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ced87d644fb3a2f7f85eeeed35615bdc7bb2f3","datavalue":{"value":{"amount":"+0.7701221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$3BFF709B-BD9A-4E71-9A18-E2A98CCE5832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a008ff32b974e7c39c6e2e326cc1734acebeeee","datavalue":{"value":{"entity-type":"item","numeric-id":5224787,"id":"Q5224787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c106dc30c2d7366ca4d7193763c4cb19cd56e6a5","datavalue":{"value":{"amount":"+0.7599599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$C4A67016-7AFB-4DB9-A354-0C3336A0C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9d4c00d166edf8dfba02ee35c290ac429f9313","datavalue":{"value":{"entity-type":"item","numeric-id":2850235,"id":"Q2850235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8e951c60bbb9136e07c3dd25bedb95a090a562","datavalue":{"value":{"amount":"+0.7584987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$0D994ED5-75E5-42E4-B876-665CC782826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02143ec1e8a84ac534419747fa9b81d46555c3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3435246,"id":"Q3435246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb2a8c25386ce598ea2900dee57ed4041a3627e","datavalue":{"value":{"amount":"+0.7581227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$01D179DE-2B66-437A-A56D-D64350CD26B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4790188b056e1c8cc057819dd8c5198445cdc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3585998,"id":"Q3585998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b1928ea164717b4d53481a478fdb6e3b2d0805","datavalue":{"value":{"amount":"+0.75508595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$0287AA19-8546-4B13-8CDB-360C6A9970BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee3101169c659ad2070a1ca789edbfb86d4773","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25940435e258f1c264fc18e9932074f2afa9cd27","datavalue":{"value":{"amount":"+0.75369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$933E5BC2-5A08-47DF-BD6B-9C142851E3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87841b06f6d81884acd1204a2d1928d4d84031b9","datavalue":{"value":{"entity-type":"item","numeric-id":2534156,"id":"Q2534156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a848a6be047cf60c125a9587ffb3324aa5d09891","datavalue":{"value":{"amount":"+0.75158805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$384A32BB-9076-46A9-9E15-DD992DED8782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66401da7bc4d3e39136b3448e104e23791aa319d","datavalue":{"value":{"entity-type":"item","numeric-id":3010364,"id":"Q3010364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298d75698d805d116379b61b8d9a3dfe5b0fc2a2","datavalue":{"value":{"amount":"+0.74839205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4392658$2F600D91-F125-408E-A3CE-6044758C2507","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392658$6C33376A-AB46-4E75-B959-4C862932CCDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4392658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4392658"}}}}}