{"entities":{"Q1208119":{"pageid":1218868,"ns":120,"title":"Item:Q1208119","lastrevid":66349860,"modified":"2026-04-12T09:30:42Z","type":"item","id":"Q1208119","labels":{"en":{"language":"en","value":"A consistent theory of attributes in a logic without contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165916"}},"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":"Q1208119$C0CC1887-6090-498F-A05F-B7C53A1C169E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cc7455d9e517e31bbc6f568759734f1854f18a6","datavalue":{"value":{"text":"A consistent theory of attributes in a logic without contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208119$476A7CE5-539E-44FE-BC13-7B31CA88C11F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa9f410fc32caf0c3a3f783630d210f1ef23ef4","datavalue":{"value":"0765.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$DBBC1A6B-54FB-4B7D-A574-57C22F4FC2F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07e86bc582e9ab2356676a36772c5affff15aad1","datavalue":{"value":"10.1007/BF01053067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$F90C0BCE-0A61-4019-AA4F-3D7C4A571EB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46c947fd826a64db77c5eea5267d870ebb870456","datavalue":{"value":{"entity-type":"item","numeric-id":755576,"id":"Q755576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208119$5F74B2DC-D7E1-408E-BF9B-BFCAAB4C609B","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":"Q1208119$3D320832-F164-4FE6-A4EA-983F9B13E8D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208119$4E5DB45F-57FC-4936-BFD0-B041F91326FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c57759ae81cac7b1432443a84288ad90dd4bee7","datavalue":{"value":"A proof-theoretical demonstration is given for the consistency of a type- free theory of attributes \\(C\\) based on a logic without the contraction principle for implication. \\(C\\) is presented in axiomatic form and as natural-deduction calculi. The consistency proof is by a normalization theorem for one of the natural-deduction versions. \\(C\\) is shown to be in a sense highly non-extensional.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$0F24775B-24A4-45D0-92D9-509E4D8CEA44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$3EC6DD27-29BE-4525-B14C-3BC8E54BA580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$C1DFE2BB-9759-4E02-9FD5-80E056FB04B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$A76B8070-561A-47F6-9328-55EFD99E1070","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b71c266833afb8eec8853826409f9bab90cddd","datavalue":{"value":"165916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$265BCCF8-5B2E-4CB0-A2C1-5A8A1FA2557C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e686b295a289a813b9d2ce47266efadb7d9e2038","datavalue":{"value":"type-free consistent contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$DCEF6567-5A83-4E00-B54F-8D39DE279523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d46729db5b038acfbd78ab12ffc6fa5ca99e396","datavalue":{"value":"type-free theory of attributes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$09F74CC2-933C-4E09-AA50-52D60D9AB0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1af5147310d139128c9b36287f45c7844a8e56","datavalue":{"value":"logic without the contraction principle for implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$C133F2D2-4FF4-4473-921B-72B1A294B9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d0716821bfa45f47b641258e45d83e1350646f","datavalue":{"value":"natural-deduction calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$723042D9-18B1-49BD-BD08-44E673D6C3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$F7EEF744-D0C2-40A3-969C-56A94AC3EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06ef1df4ad67b7b3c2320f17b92ff7d331796e9","datavalue":{"value":"non-extensional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208119$57452CF3-9A11-4829-AA8A-BCAEA289E13F","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":"Q1208119$5038D329-22E7-4DEC-9515-41CA7E6BEECC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208119$E2A24DF3-02F2-46B5-9D05-246E40CB8F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f9a7101c4b1d182a3fd64de178bfe7cae0aa96","datavalue":{"value":{"entity-type":"item","numeric-id":3241190,"id":"Q3241190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208119$E3A365EF-DBCD-495F-84CB-E9889DE9D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa53ea8e16479341853a4ba6a2e4c94fd6f74174","datavalue":{"value":{"entity-type":"item","numeric-id":3789529,"id":"Q3789529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208119$055D6E59-5F48-43BC-8374-D0A4C5B1B720","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a05b1740896d2440dc13d60a389b7efe0c01147c","datavalue":{"value":"https://doi.org/10.1007/bf01053067","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208119$A2A2AC43-EF50-4BF2-BF40-FA6DED23180D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ec600594b4cb93ed3023f59c4524ba7d73b376","datavalue":{"value":"W1992629414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208119$AD1D6181-9C49-4B7E-8851-C30456EFD148","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfacadffd283ed6199f695bfef347f502ad6322","datavalue":{"value":{"entity-type":"item","numeric-id":3680807,"id":"Q3680807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20569b7baf0b92feda9ab698d39d8a4dd784943a","datavalue":{"value":{"amount":"+0.8693302","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":"Q1208119$106C0707-3AD1-4C0E-A98E-87ACAA755B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68343b4643f8d7a8cfbc94b8e5bc4c4a731ce469","datavalue":{"value":{"entity-type":"item","numeric-id":3466596,"id":"Q3466596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a6052ba2f1e533bd8f35be9225640a7e106fac","datavalue":{"value":{"amount":"+0.8600886","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":"Q1208119$5ABB1832-427B-4DAD-8B60-163C7D660820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6040db0b5bfa1b9dc29e2c0282c71ebf7621dd","datavalue":{"value":{"entity-type":"item","numeric-id":892134,"id":"Q892134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4af21f71014b2523cbbd742dfdd1182a3064ad","datavalue":{"value":{"amount":"+0.8562908","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":"Q1208119$44F5202C-BD15-41CC-B08E-5C851BA83508","rank":"normal"},{"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":"c27e4ed300c683092f49d1c790fc4776d62de6f7","datavalue":{"value":{"amount":"+0.85430574","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":"Q1208119$A06163DA-801A-4DB4-B5E4-E8BB449E0D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f528eaa5b9d5818db4b05c4a071449e56408cd","datavalue":{"value":{"amount":"+0.8525146","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":"Q1208119$F97062FB-3A55-4283-8E71-261F704CBBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6746dd9f6a74b3d3b40a2f57c363c5947bc48746","datavalue":{"value":{"entity-type":"item","numeric-id":1904094,"id":"Q1904094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8170cd0d67b3b92cc7c9a1d6dc70ef2618e79df1","datavalue":{"value":{"amount":"+0.8505305","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":"Q1208119$57566E4E-3B01-4DCF-82D8-6690B5425AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a02bafe836cd0b9491400fe4965a117bf50b68","datavalue":{"value":{"entity-type":"item","numeric-id":4218026,"id":"Q4218026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8463f89546b8421647f5e4165ca5c0ad2a762130","datavalue":{"value":{"amount":"+0.8496363","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":"Q1208119$7C6CCAC2-A1DF-49D4-B891-957A6860ABD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e9b976ad76c95c6cae98d630eded77593dfb3e","datavalue":{"value":{"entity-type":"item","numeric-id":6166129,"id":"Q6166129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb318bc1c4e92d4cf9e93b83d0b1819db5d86469","datavalue":{"value":{"amount":"+0.84780866","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":"Q1208119$599FED1F-E069-407B-92F1-90DEDF56710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89142ac0aa5eaed1cf7b784c776bc01f4c1176bd","datavalue":{"value":{"entity-type":"item","numeric-id":4833769,"id":"Q4833769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b51c8ff910e9987e62f9f446f68c8104e050107","datavalue":{"value":{"amount":"+0.8461363","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":"Q1208119$F392F5C5-AE62-474C-B7A6-7125B85BE58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf65b075e4ce691c2f3a0e706cf5942f32542edb","datavalue":{"value":{"entity-type":"item","numeric-id":1708464,"id":"Q1708464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555f5dc546d12b0ad4d339f261c45e873d0b1546","datavalue":{"value":{"amount":"+0.84579825","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":"Q1208119$0368A0D4-B2A7-4867-B3D1-D4786957A74A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A consistent theory of attributes in a logic without contraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_consistent_theory_of_attributes_in_a_logic_without_contraction"}}}}}