{"entities":{"Q1181491":{"pageid":1192240,"ns":120,"title":"Item:Q1181491","lastrevid":67069020,"modified":"2026-04-12T14:48:36Z","type":"item","id":"Q1181491","labels":{"en":{"language":"en","value":"The contraction rule and decision problems for logics without structural rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28350"}},"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":"Q1181491$07DB82D5-EF35-4B05-AFDF-E5E911C3778F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c50133d1ab0d1bcd948216bda58fcda9078ae3b1","datavalue":{"value":{"text":"The contraction rule and decision problems for logics without structural rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181491$8BF585B8-4686-4053-87AE-7515A84E5E8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3159ba02998f89c9f7237c49b86d4c51639c3d47","datavalue":{"value":"0739.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181491$A82708E1-3E9D-4E76-B1F6-44DA45E0F91E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f35219e85846dca96c7067c988f5d88cc526deb","datavalue":{"value":"10.1007/BF00370189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181491$64EED53A-84A8-476B-9FD0-543879D1775F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ffb4cd4ba9b8d2811b95183f6987a2da2bb8452","datavalue":{"value":{"entity-type":"item","numeric-id":1181490,"id":"Q1181490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$F1DD3504-F83B-4E79-9992-55887150021B","rank":"normal"},{"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":"Q1181491$E8E24A84-E9CF-4AF8-8F11-646F7B076C20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$888CBAF7-1AA1-4A99-90C5-C2883B55998A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q1181491$4C4DA13A-AE7A-4996-A813-E5959FFFEB32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181491$58BB05C8-C2B9-4F5B-83C2-6C124F969072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181491$2D15BB75-DE35-48CF-B363-87D6740D19D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dade18d88124b1ae89e5f06076b7e9db5838e572","datavalue":{"value":"28350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181491$A4429133-5A52-4B1B-B0B1-EF7DB6D0C58C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c7acf48c6d133349e6cb62b250b12fc8e3cdbb","datavalue":{"value":"weak logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181491$1B9C23EA-5FED-4F70-B1C4-1398A0F4B924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181491$DCA9A309-CBAA-4BE0-A343-F5F563D4102E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181491$EEC1AF9D-2E2D-4D91-A998-D1D3E66F96AA","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":"Q1181491$B821AAA5-1297-4132-A6E1-18CD39BF03DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1384dd6b42b8334d8423728d34e4f431e0b60b58","datavalue":{"value":{"entity-type":"item","numeric-id":3262776,"id":"Q3262776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$27C62A5B-77FA-4698-B954-BE79F3EF6D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10670e83ac257a39006aad416722f9e5f2826687","datavalue":{"value":{"entity-type":"item","numeric-id":5519120,"id":"Q5519120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$8E08A367-34B0-4627-9B57-C8FAFFA01299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$175D788A-C28C-48EA-9336-BE83DEF1CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$7BED9DC4-0B9A-44F3-BBD3-94CBAAF5B6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$DF7A8AA3-1080-4F03-952B-E9F5AEA45EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c80d12f62d1042fb6dc6c4635da143b6ae731dc","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$44BC11C2-DAEB-4BB1-9247-D93569BB5DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$E066019A-B918-4925-8CF2-F8CD0CEC97D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f54f83144546552d2ad10df238ae04ef552280","datavalue":{"value":{"entity-type":"item","numeric-id":4268480,"id":"Q4268480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$361444D8-B6D5-46AE-A77D-42B830CC9782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6a31ccd986ac68d738b4166a45d437dbce48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$9E9C51CD-34D9-4FF8-ADBF-7897CD1DC0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181491$63443952-847B-4C8F-B858-78E8CC30AC52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bde4e6f8cc9776b084c02bc0bed401cd1ec8b1f","datavalue":{"value":{"amount":"+0.8030261397361755","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":"Q1181491$FADCB618-BCDC-4ACE-AAA8-CB0C540D7FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f397a7834639eff9ab32c90dbc0ed1254080f13","datavalue":{"value":{"entity-type":"item","numeric-id":3188328,"id":"Q3188328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6223a102c76b109dc32835dda30dcc110ad2bdd7","datavalue":{"value":{"amount":"+0.7908213138580322","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":"Q1181491$C945402A-0A97-46DC-9548-271186BBD0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4043b1a5634af979d310879026f96d542ac73ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4000672,"id":"Q4000672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f809272fb2d79c536abeaaa9abe2b5b56f6f2c5","datavalue":{"value":{"amount":"+0.79023277759552","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":"Q1181491$6117F4C4-E1B4-4A77-B5A8-B82C64E78542","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The contraction rule and decision problems for logics without structural rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_contraction_rule_and_decision_problems_for_logics_without_structural_rules"}}}}}