{"entities":{"Q3450806":{"pageid":5213140,"ns":120,"title":"Item:Q3450806","lastrevid":58177209,"modified":"2026-04-04T03:00:45Z","type":"item","id":"Q3450806","labels":{"en":{"language":"en","value":"Conservativity for theories of compositional truth via cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506059"}},"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":"Q3450806$4F1B95FD-456A-4E0F-91FE-C93B01F23AD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e209ffdf5435422895b11f053a4c0a3fe1faacfd","datavalue":{"value":{"text":"CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3450806$1ABAAB25-08C3-46A6-B10A-9ACA33F7EF76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1608eaa6f776bd1e548154cd34a13d7d1de3aa9","datavalue":{"value":"1376.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450806$8B6C54C3-EE9D-4889-9C9C-FA9758B29296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-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":"Q3450806$31263BD6-0176-4BB3-9057-B149EA7FEB2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1728eaefbcbe9cb215784b2e52a9f1fcb148788","datavalue":{"value":"https://arxiv.org/abs/1308.0168","type":"string"},"datatype":"url"},"type":"statement","id":"Q3450806$C102517A-B0EE-4F75-9EE2-2CDC3AEA76D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450806$3B88AD0C-0640-47C9-BE7C-6B4FDE04998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450806$1804F43F-87B7-4948-86D1-0790AB7E1142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49bc7a5ca9b6fc226b2cb812ef364ca280f162d0","datavalue":{"value":"6506059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450806$7CE8735E-158B-40B8-81CC-7F79D23E7B3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe802b5e94ee4daab9c68acf78f441adb3df3ea1","datavalue":{"value":"truth predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450806$09E48C24-B914-4D06-A738-41DF8A88F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450806$8A3D1D62-5927-4F48-948E-74D90591C3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6210c029f81f59aa6f28caa7841b99bbcba49582","datavalue":{"value":"compositional axioms for truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450806$79660F17-90C7-48BC-8EB2-911360255B1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$B00F608F-B2BC-484F-81EA-435E32D89584","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":"Q3450806$DE20C4DE-1FE6-4B0F-B4B6-3E21EB4D37C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a22da0c848b41cdafabe4ac4b30421ecf3800b80","datavalue":{"value":"W2963331508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450806$FBF3B6DE-3A47-4A9B-A9A2-693E6FB7F532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$E933BEA0-4B0D-494A-A720-9D5D101614FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f94f4532b6e7f70845dc6c67c4ff91c44814be","datavalue":{"value":{"entity-type":"item","numeric-id":1300008,"id":"Q1300008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$DD956C99-83F7-427A-B156-988127825BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$3BB54884-0317-41F8-8727-CF7D9D591D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce82222c4672028cb1f5d83dab0f9c423e475d86","datavalue":{"value":{"entity-type":"item","numeric-id":5850988,"id":"Q5850988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$4BCA48FC-36B9-47F7-B989-98465AEE1084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239e9d54939350f260361cffebe90d21cab3a982","datavalue":{"value":{"entity-type":"item","numeric-id":385807,"id":"Q385807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$93B1E1EC-7A15-4888-B2D0-4AA50B07760E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$2B61227F-A296-482F-BCC6-8BEC96C64084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$C9B67B95-9B48-4404-8CB6-16070F914FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb685597e7f0fa3e9b2031d9f7cf1f13ac4adf11","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$EFA2EC1E-0FCE-4478-935C-16E843ACA409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c732e1fb183d32f49654d6b26f967da289ddbf","datavalue":{"value":{"entity-type":"item","numeric-id":1224552,"id":"Q1224552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$0F2E2A15-6ECB-41FD-98CC-C97F01D9F6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c16f673d5703c33c3adf79a7f77df29cb82f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$93453D73-1416-4841-852E-541F023F92C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f932c3cf8b9de32a7a545ade5a1e2ac9f990ec1","datavalue":{"value":"10.1017/JSL.2015.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450806$76E18387-B198-42F9-B25B-429E715C7044","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450806$8B5BEC4E-4936-4BF5-B98A-877FE19DF417","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5490bb45c86d15af94a482c8992b7ca6117492c","datavalue":{"value":{"entity-type":"item","numeric-id":5107235,"id":"Q5107235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f91810a8473f29a726d27443ce441335d58e5f3","datavalue":{"value":{"amount":"+0.7888460159301758","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":"Q3450806$73D7B781-3C1D-4206-811D-746DE04FD72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8df0c3098235154efe743dc21b7a3d7180f2600","datavalue":{"value":{"entity-type":"item","numeric-id":1300008,"id":"Q1300008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd813eb114ed7fe15f196152c41de9ec05bbbc0c","datavalue":{"value":{"amount":"+0.7529239058494568","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":"Q3450806$DBB0809E-105F-452A-BFF2-9B9FAAF2418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e7c6f55c566c9842f8cbcc841ea6829b398a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b3309b88ce633d7ab0ac5ae0fdb86da258d7ba","datavalue":{"value":{"amount":"+0.751582682132721","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":"Q3450806$28CD4A7A-8956-40D4-8879-0230F1959099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b017a878f331f3bf8dba207a3c92c505fd81ccec","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b184428e2f26d9d43720d4b18a3119ca76e77cf","datavalue":{"value":{"amount":"+0.7485068440437317","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":"Q3450806$A5C5ABA8-95B5-49F3-B122-0B85696B62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97362d1d163e3cfe0b4d626d1706c925c820958a","datavalue":{"value":{"entity-type":"item","numeric-id":263089,"id":"Q263089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3ee74b2dc127613cd35ea6daddeb609665fe9e","datavalue":{"value":{"amount":"+0.7406262159347534","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":"Q3450806$D0DC72E2-E433-401D-B1CD-B48B1D6F60F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3450806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3450806"}}}}}