{"entities":{"Q4804181":{"pageid":6833761,"ns":120,"title":"Item:Q4804181","lastrevid":74845572,"modified":"2026-04-15T00:37:48Z","type":"item","id":"Q4804181","labels":{"en":{"language":"en","value":"Classical linear logics with mix separation principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1896670"}},"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":"Q4804181$BDD8F195-EE01-499C-958B-48E155666FA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af59c07a11b7a3ce21f7fc929c4899198f876328","datavalue":{"value":{"text":"Classical linear logics with mix separation principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4804181$79E8A418-3B53-4A4E-9DD0-ECC63F1AB2E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"340dc5fcfda90bb105c33614a5f7e8e14cef8610","datavalue":{"value":"1025.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$E65C5E0F-C599-4ED0-A986-DE604454E56F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804181$48905A73-6C1D-42F8-A611-5C1016BC19DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804181$E6E1480E-0F71-4A72-BEA9-C43D49C45FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c82779b21e083bd1cf024ff0b633233b5f9a39","datavalue":{"value":{"time":"+2003-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4804181$DE22D6F4-0C5B-466D-9E9D-8621DE2977DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$97A04412-132B-4047-93D7-3CC6ED988549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$7A7334F9-9700-4440-A4A3-B0B60225E7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$8B4AC33B-AC1D-4D37-994F-E55A7FB7F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$DC6CCC72-9CAB-4BAA-B76B-424BA27905D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96b05fe10f222057691e7fc30602c0cd5161bb23","datavalue":{"value":"1896670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$22FFFCCD-DBE9-4284-9F71-10BD41DB84F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e7cda631942e3e76411e97b6b44d8d7354ede8","datavalue":{"value":"Maksimova's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$5BF4455A-2866-4971-855A-41ABFBEDC0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a284b439c334d18d04492810e618bd62d702783","datavalue":{"value":"variants of classical linear logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$42D7AFEA-7AB6-48F5-8A86-C0A959F11663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f16a3b59de3a903fa7124333da485e11cec18ea","datavalue":{"value":"structural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$BC5E1E35-8124-4397-877F-C68865602444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$71866BD5-3F54-4B43-97E8-77C8FD93AB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$CB7673F4-F6DF-4891-9A09-847EA3B60DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5a3049edf72454dd214c7dd1762fd962b4a727","datavalue":{"value":"phase models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$A8A15445-C561-4A62-B133-313489342A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c964fc122393862afdf854e9d61975fbb4e2ffef","datavalue":{"value":"mix separation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804181$2D324764-295D-439D-99C3-4E9A3BD3CBCA","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":"Q4804181$7C54FAB7-F76B-4FC3-B24B-0E5679667C21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4f367fab543234ba31f162bed4cd4384ebae8ce","datavalue":{"value":"https://doi.org/10.1002/malq.200310019","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804181$886988F2-C411-4C65-8CD5-9AA9C3A38C6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed26adc422594c8793d456dcb14b06786ad5a89b","datavalue":{"value":"W2074560691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$4D52CE2D-3DE4-4ED9-BE1F-AD78C8AA9085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a4804aa8402ebf29ed9b2dc083a91dde85a64e6","datavalue":{"value":"10.1002/MALQ.200310019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804181$CC283EC2-893B-4421-9B2D-39B91D36BE5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c13826d3a2257adc1ce4af8aac9c73fa790c42","datavalue":{"value":{"entity-type":"item","numeric-id":1610623,"id":"Q1610623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0c289d39722e70c561e0467ebaad417e7d16df","datavalue":{"value":{"amount":"+0.7751967310905457","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":"Q4804181$3A3320F9-CCCE-4430-A94D-E9DA11CEA025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2943627d25dea64fc3b5477e944d8e42a4f63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfc564e0dc9ed940e5e98a4f339fd12f6394717","datavalue":{"value":{"amount":"+0.7664357423782349","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":"Q4804181$8D8B8035-A804-4638-B5EE-66ABB5FDB05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac604cd380ecf38a2af074b62aef2492799892fd","datavalue":{"value":{"entity-type":"item","numeric-id":4673354,"id":"Q4673354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce92e3620e5594d5c0a774717be758a1cf08479","datavalue":{"value":{"amount":"+0.7529816627502441","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":"Q4804181$E63D012F-FCE1-49BB-B127-E6FB04D5BA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8260b2c0e8039420b2ce74418411a9500d28f79b","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef018d41c97085a536f5ab380b0e38654a2a69e","datavalue":{"value":{"amount":"+0.7475980520248413","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":"Q4804181$779648A1-8CAB-4BF8-9361-827346C6C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b91651aebb88db5251d2d52ccfb302a66c6f5a","datavalue":{"value":{"entity-type":"item","numeric-id":3643261,"id":"Q3643261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d8c747efa67bda6f74c1dcabf78d41b7f359c0","datavalue":{"value":{"amount":"+0.7467887997627258","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":"Q4804181$7905E1C2-A801-45ED-AE8B-F1EF77C7E2C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical linear logics with mix separation principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_linear_logics_with_mix_separation_principle"}}}}}