{"entities":{"Q6659903":{"pageid":14271060,"ns":120,"title":"Item:Q6659903","lastrevid":42411909,"modified":"2025-06-15T14:48:42Z","type":"item","id":"Q6659903","labels":{"en":{"language":"en","value":"Proof theory of skew non-commutative \\texttt{MILL}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7964356"}},"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":"Q6659903$1EBD3B4F-BE5F-4D6A-BADD-1A6C562DB0FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7968f6cefd9f12ca89e967d9002e334aa34f4666","datavalue":{"value":{"text":"Proof theory of skew non-commutative \\texttt{MILL}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6659903$723A89C9-0BCE-411F-8FF4-413DF1DAACDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$C3FC1CD1-D026-4686-9DC2-730824333B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$0A3206DE-161A-4E35-9247-79D5906F3201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"202338fbc1bc171f1046478f99a1fc3b4855b789","datavalue":{"value":{"entity-type":"item","numeric-id":6659902,"id":"Q6659902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$8DA95B56-B045-48B7-9263-42C02B2E55EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d97a11f2ce21fc62fce1ecd5bb5e80dc2dcc64","datavalue":{"value":{"time":"+2025-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6659903$12DDEB5A-BFC8-430B-AAAF-58C878DD6C80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659903$6630C12A-EFD6-4D13-9ED2-C90E8EDA9552","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"490c09e9cc9f423f153b781e68b6ca29a2bac32a","datavalue":{"value":"7964356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659903$2E8A4345-5E81-41EC-9571-D223D4EE6993","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":"Q6659903$DD1F530B-29DA-45E9-80FE-1E24CAC212F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$48CCE119-F288-4B72-ADC7-C216C4B813BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$6DA401A2-92F8-4F9C-A8FB-8AD440F66FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$AE92FFA1-182B-408C-826A-6E153A4D5D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e18106c52e4150b3ad9ca296e13f3c74e0036c","datavalue":{"value":{"entity-type":"item","numeric-id":2012168,"id":"Q2012168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$02400B52-C86D-4D35-8D31-82D7E27AD919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e317abe9fffee248b9ecb22bddfbe1d2b81a8984","datavalue":{"value":{"entity-type":"item","numeric-id":1647335,"id":"Q1647335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$C940F26D-268C-4F44-BC6E-CEDF8C808C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655851c581e89dacba2f85e58defeb09d60f710f","datavalue":{"value":{"entity-type":"item","numeric-id":5360301,"id":"Q5360301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$7F5F5F0A-CA95-4D9A-809A-46447F4169BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$147654C6-E5C7-4C5E-94B3-1CDE29BC96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$956B2E35-9E71-4603-8838-E5D29203547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$9B1A67A4-3C32-47E1-AAE2-8E52238A1956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa37b7c7ffa9cc9dad4b48add719c158304554cb","datavalue":{"value":{"entity-type":"item","numeric-id":5014810,"id":"Q5014810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$2DB3BF39-EC7C-4250-82E0-6450615A2D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f806cbdfbf0a771c965b2b16132fb0b7ed0044f","datavalue":{"value":{"entity-type":"item","numeric-id":5018487,"id":"Q5018487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$358BA56A-1225-4960-AEEB-EA70261534BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d4dd3644e100b3a9bdb7f932463c1e039cd8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2919770,"id":"Q2919770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$AD4672D7-2317-453A-ABB9-E807F7393652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093a84e71597936873b55b347c7fb01007f7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2445835,"id":"Q2445835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$0D4D4FB6-B478-4842-B6D8-2A89941FA8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$18573772-325D-4280-96FB-9011749EA6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$6BAFD2CB-F96C-4732-B189-175FC4A97E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$BFECE059-B153-474A-ADC9-9B6462EA3535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eef7c45e05e86437ee5a82ee557e166b54807cf","datavalue":{"value":{"entity-type":"item","numeric-id":2981966,"id":"Q2981966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$0BAEBE15-4F74-4A52-BD25-A98510960478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a045b2d0227e534aa3b20c3783f27dd186aae4","datavalue":{"value":{"entity-type":"item","numeric-id":2376553,"id":"Q2376553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$88F4DA0D-8C60-4004-95A5-998C8C9CFD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b127a2ffd1fcbbeac06e83d274abbbcceeb0621","datavalue":{"value":{"entity-type":"item","numeric-id":456777,"id":"Q456777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$91008EC2-A6B5-40A4-93E8-61DB0C049D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a244e80ae532589469c24ae980da417806934a","datavalue":{"value":{"entity-type":"item","numeric-id":2133479,"id":"Q2133479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$8C4F6AB9-4080-4A83-A7D1-CBF57E5F647E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c824abce0cc30d7699d45d1456a6a667feb849f","datavalue":{"value":{"entity-type":"item","numeric-id":5019679,"id":"Q5019679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$B924F54E-FD67-4597-AD4A-CDBC89B084DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56db3a53e28af50c89589586035440d0f3329bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5014602,"id":"Q5014602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$BB59EC83-E848-4576-B0D0-9237140B3F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb302901924808a5ee1f0915a601c09c33cfad8","datavalue":{"value":{"entity-type":"item","numeric-id":2148789,"id":"Q2148789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$FF87D74A-1FFF-406C-808F-6A75FCED2BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5905cd8c9e0d8c6187ee37e10508db999ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4625697,"id":"Q4625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659903$27F7E503-30CD-4EAA-B3BA-44E88551E353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeeba14af8a6cb912e89c9eff7528add3cf7117f","datavalue":{"value":"10.4204/EPTCS.358.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659903$CE63FCBE-737E-4BF1-95EC-51F887030003","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6659903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6659903"}}}}}