{"entities":{"Q3431965":{"pageid":3442668,"ns":120,"title":"Item:Q3431965","lastrevid":50072146,"modified":"2026-01-12T21:09:09Z","type":"item","id":"Q3431965","labels":{"en":{"language":"en","value":"Reference Constructions in the Single-conclusion Proof Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142580"}},"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":"Q3431965$0403AAF5-9F86-4E76-ACFE-A0270081D684","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ca8bc2ad4184a49ed908e1f616a87bc71ec2936","datavalue":{"value":{"text":"Reference Constructions in the Single-conclusion Proof Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431965$8A67C780-CD89-409C-8E96-48166D767924","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4976118360afba8c8936ec960e459ed64980be1","datavalue":{"value":"1118.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431965$9EED582B-189C-47FC-86E0-BF0892344FF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431965$E7396D9A-F28D-4873-8A27-9BA2496EDCC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431965$81224A4C-6A59-41EE-8423-ECA56DA66AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431965$26349F90-CCDB-4E81-924A-F3138707280F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cb0f78bf552d031c415f8ee8d2d94c96d578b99","datavalue":{"value":"5142580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431965$B70005AC-856F-4AF2-86BC-41F9D9BD7927","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431965$5507F3FF-4F72-434D-BA28-459B87806E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a26a271d33d72fe20f2b4a2133c9d868293a599","datavalue":{"value":"explicit modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431965$7BA4DF2B-2184-4116-88AC-DF2839BB634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a2d088408a72044f14acdef53661d7c442de18","datavalue":{"value":"single conclusion logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431965$6685AAC4-0841-49EC-8757-F1807D353266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb3100754a4a6d00fd4f42625ce2e1ccde7811d","datavalue":{"value":"proof term","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431965$AB56D6D2-4E29-4AA3-BAA6-FEE11A6A6B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6328123beeab8d8ec1f2129672a31d02a9313b5a","datavalue":{"value":"reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431965$F5C40489-21E5-422F-82E0-1B8CE5D73FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431965$7728E2B2-22ED-43FE-9613-1152DD999DB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431965$F29D46ED-F768-4D86-87EF-229867CD8FF8","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":"Q3431965$E9B1AD23-CF52-4462-8C34-C436472DE05A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57d68e11ed8f01a1a124fffee8de7c8906b7f8c9","datavalue":{"value":"https://doi.org/10.1093/logcom/exl028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431965$E93092E2-6A68-408A-8D51-A1D1947BB59D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72fad374beb8d56496022581208fe97b09fa1087","datavalue":{"value":"W2078766035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431965$47CD5AAE-3341-4D51-A29F-8AE826B0C7E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ec957086d7f158ded3259ce46786078828c95a5","datavalue":{"value":"10.1093/LOGCOM/EXL028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431965$4F3B670D-C276-4EE1-929A-EB14E49D2CEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431965$F69DBBA5-3F14-45E4-BE59-E34C5E6D3979","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f8b0091a4c1ee5908d639a495fa6a3dfe32071","datavalue":{"value":{"entity-type":"item","numeric-id":2500486,"id":"Q2500486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8935f64591655748daf78a267904dce056ef79d","datavalue":{"value":{"amount":"+0.8998902440071106","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":"Q3431965$F1E069E8-C423-4E4A-983D-00D0737F36F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121f9e2ce3f64d7b853e7d0e3a801cfe0453f321","datavalue":{"value":{"entity-type":"item","numeric-id":3173324,"id":"Q3173324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25904c2deda4241c3d57eca9f47173bcc0157a1","datavalue":{"value":{"amount":"+0.7824922800064087","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":"Q3431965$70C23F4B-634E-447C-BA2E-0786A6957ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0669d74c59cca12cd38e7c156adfc1587bddfef4","datavalue":{"value":{"amount":"+0.7687569260597229","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":"Q3431965$2E7AE492-A569-45EF-A756-B10E1D7374E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9d7b1f498f1ff74a71bf3aa56d56878b6c9745","datavalue":{"value":{"amount":"+0.7663958072662354","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":"Q3431965$67A472C4-96B8-40EA-A561-1CD375D6A3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c0b5a56fda9883752d3d48e90ec7cf7985a97f","datavalue":{"value":{"entity-type":"item","numeric-id":5957913,"id":"Q5957913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f35cc83b3e306d12017c88008217b655071e597","datavalue":{"value":{"amount":"+0.757781982421875","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":"Q3431965$AC52DE0D-01FB-49BF-AE9B-B4E0F2778DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431965"}}}}}