{"entities":{"Q4941998":{"pageid":6971580,"ns":120,"title":"Item:Q4941998","lastrevid":41823683,"modified":"2025-05-08T18:25:14Z","type":"item","id":"Q4941998","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418443"}},"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":"Q4941998$4AE15BE5-A962-44E5-8B86-840371030ED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47183ffd23d39a2fcf162074ef8af6e55f06ccdc","datavalue":{"value":"0951.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941998$EC638FDB-EBEC-43FD-96BA-B5ADE3FEB35C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4941998$A00F7F82-1161-4CB0-8E5D-34D7DC3BB78A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7c200b5aeb736403225a92360bcf8ffab171d92","datavalue":{"value":{"time":"+2000-12-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4941998$C0BA88DB-57CB-4F74-B5AF-72FA391AEB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941998$B9ECB758-F03D-48AC-924F-6B72FAAAB31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941998$49558F7E-2129-409C-AF66-B8059D392C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941998$BFD59778-FF3F-4187-B379-EDADB7F01CF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45e6bb04ea892839856bc6ace92462c549314aef","datavalue":{"value":"1418443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941998$862BDA04-0830-48D6-B56B-DB3060E42032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$DC8DA625-EA6C-4514-8DB0-86C63063FA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$83AED159-7DE6-459D-A975-F21D859A230C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03f3e84760c90f7412f657674fcdcfaca409b93","datavalue":{"value":"fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$CC78DBDD-B074-4548-B46D-7EA0C97AB015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$0FD1F4CA-C798-497D-9B0F-5A27D8021E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$1D13E8ED-85BF-4D3E-B7F3-1FF14838264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571fd57a0a2b2b93f9270bee7950027200124f5d","datavalue":{"value":"noncommutative substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$18643660-2555-4D07-916E-10DB8FC6F3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53870e11b875093c8513f60598f1dee30c11870","datavalue":{"value":"extensions of Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$B0E51DCA-6695-4398-AE24-E701CD1888AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941998$A2928733-54D7-47D4-B374-D1A6C2C59A2D","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":"Q4941998$74EA436B-40AC-4DE2-B576-5E37B6213598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c843486c24c2a9525ea81f42bef652aa1a0adc","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f421d8d1ded017d32870d0a8f58195b69835ca","datavalue":{"value":{"amount":"+0.92537487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$06C8F01C-8E18-4DF0-878B-50A1587EFA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300bee42bbbebd513bde4a2f93a6feb946f320d4","datavalue":{"value":{"entity-type":"item","numeric-id":4972728,"id":"Q4972728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6dd28dc181fdee8df8cfab511070455ac7cd612","datavalue":{"value":{"amount":"+0.90738434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$2A9A3A12-0BAB-4024-9659-98C58DD0D5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c626534e84020b24628a861ffefa27c25a397c","datavalue":{"value":{"entity-type":"item","numeric-id":1799082,"id":"Q1799082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d8e4f7d6a6f4b8791b0179e57a17ce7ce1f5a4","datavalue":{"value":{"amount":"+0.90180826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$5DE75F56-D68F-4216-B671-26ED94CE4115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d88a8efbd0483724d85aa1250832b4e5fac7ae","datavalue":{"value":{"amount":"+0.89707553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$822CEACE-85D8-4B2D-BB7C-B78CD150D951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8464bab5a30f574750be428e653196b46b0e4d84","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b98cef35f9a68423714a17b5690df5162acc5c3","datavalue":{"value":{"amount":"+0.89420176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$8C6CD71B-A722-447D-B43E-16FD13ADD217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1c42645739f35c96193b05e0d5791972d47ca","datavalue":{"value":{"entity-type":"item","numeric-id":386648,"id":"Q386648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0815b10d8698dc8e703a7827b96c5561c02b7f80","datavalue":{"value":{"amount":"+0.8925833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$A4FCA30E-B7E1-450A-92FE-0D273A999B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a66ceca0078c8bda987450f05b35b87423076d5","datavalue":{"value":{"entity-type":"item","numeric-id":4487273,"id":"Q4487273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264b443e4beb3fc5bd682a67e05dcf0c0ac57a4b","datavalue":{"value":{"amount":"+0.8915812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$515569DB-0F9F-43F0-BBE3-8D1492F0D02E","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":"872f8138722bd21ea7fb3319632955c421129955","datavalue":{"value":{"amount":"+0.891375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$1FD37E8C-51E3-48CF-9383-9DF50351E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c332ba1a8fa240c11f96469355f25c8b471af2","datavalue":{"value":{"entity-type":"item","numeric-id":818518,"id":"Q818518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0142442768b5974cf4750a80d1c5d49ea9be9f3b","datavalue":{"value":{"amount":"+0.88580185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4941998$C3A1962B-2CA7-4085-9576-1607D1FA3171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4941998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4941998"}}}}}