{"entities":{"Q1193657":{"pageid":1204406,"ns":120,"title":"Item:Q1193657","lastrevid":66456162,"modified":"2026-04-12T10:11:31Z","type":"item","id":"Q1193657","labels":{"en":{"language":"en","value":"Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64942"}},"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":"Q1193657$A5D41155-50F3-4961-86D8-29354C992CEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e6251e266f5f4468beb734c51dedcaf96c70cd2","datavalue":{"value":{"text":"Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193657$BD5F95A8-94A9-44C0-B00F-2F18C32E83B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59b3d663d988b1d03706ab9b96201fd818c419f5","datavalue":{"value":"0762.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193657$945B7296-35BC-4745-A21F-01C72A7CC86E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d074aa9de86d01ab57c91388f0563f0c7e303c4f","datavalue":{"value":"10.1016/0304-3975(92)90300-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193657$30FA1B18-D625-47A0-9F10-D1E91AFCDEEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$D70142A8-0C46-4969-85CB-5EB3CBE70A1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$B70838EF-9A03-476B-83F2-3A0F5268327F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193657$C542DD24-D0D7-4EBD-B156-AE1556EBEC8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193657$1B80A94E-439A-4F6C-B4CD-70E6775ADA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193657$12B6991E-4343-47AF-BF5F-9CC382FB26FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab701d585c9c9edd0a0150b25929227589283c4","datavalue":{"value":"64942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193657$5AA525ED-429A-46C0-84CF-478D4174963B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193657$97D91970-D8E1-4FEE-BCDC-91835722CA72","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":"Q1193657$2D67CAC2-534F-4D04-966E-B5A6BFE9B064","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1913ced96ee8d95025f40d671870dc547762dfae","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90300-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193657$0DAA2F7C-4753-4EEC-AC1D-99E3760ACBF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e68b2d495d2d7505cadd75687a229b52bdd496be","datavalue":{"value":"W2065922425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193657$310CE518-3CD6-4A3A-9C1D-23C02C0D2F5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babc13e0719d02ac80e7d11ecc8370e0ef2774b2","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$94041055-C626-45EA-8A10-B84C99DC72FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$55BE6250-1358-43A3-828A-93C18E447CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$0BA8252F-4AFB-432B-8876-09E58BEECFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$6FC8309C-7207-4E4A-9F1D-EC719AD06101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193657$31632445-1AE2-452D-95A1-58E7A7A939AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16361bdee4d0ce6141885d3450936c86f68c7d47","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c8e2441eec9b2604bf63d7be96bb34388b1909","datavalue":{"value":{"amount":"+0.7983003854751587","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":"Q1193657$11D3A5E1-4800-4E6A-A006-08DE2445D5E8","rank":"normal"},{"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":"84c8e2441eec9b2604bf63d7be96bb34388b1909","datavalue":{"value":{"amount":"+0.7983003854751587","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":"Q1193657$E8F0E44A-CE1C-4584-8980-0E492F3CF541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a1528c715d06729fdeb1a47891dc6ffae76caa","datavalue":{"value":{"amount":"+0.7914993166923523","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":"Q1193657$B3D837F7-F86E-4151-BF13-ACA19687362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f502c6a6ef566da0ff2f60e40ee683ddb083636","datavalue":{"value":{"entity-type":"item","numeric-id":2517231,"id":"Q2517231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71efce5037493ecf9e0af7ac6b01d3209bfe163","datavalue":{"value":{"amount":"+0.7722166776657104","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":"Q1193657$AAD25C4C-B6B5-4D7F-BAF3-09B12A861383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992386b5c7846a62c5ba47bdbcb74781227e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":2774267,"id":"Q2774267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fa7404ca808c93bf1eeb20154473453603ef8f","datavalue":{"value":{"amount":"+0.7601830959320068","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":"Q1193657$C4D3F759-EF87-4592-AC56-99D1CCEE6EDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonmodal_classical_linear_predicate_logic_is_a_fragment_of_intuitionistic_linear_logic"}}}}}