{"entities":{"Q2500817":{"pageid":2511560,"ns":120,"title":"Item:Q2500817","lastrevid":49898431,"modified":"2026-01-11T20:06:11Z","type":"item","id":"Q2500817","labels":{"en":{"language":"en","value":"A proof-theoretic view of necessity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047767"}},"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":"Q2500817$D5E431B0-FD18-40BB-AF36-F622D9C2CABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40821302f1849c81acd0506565eb4bb60c62e848","datavalue":{"value":{"text":"A proof-theoretic view of necessity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500817$93B7385E-FB06-4661-B104-6DE73EA6B473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a73620d3c57f4bf804c961ff4c30a7d62ad45980","datavalue":{"value":"1105.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$705D01E2-561B-4FE8-B3EE-5812FE85334D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$949303BA-5B33-4478-A209-1BB28AC994FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$D4C35633-EE1B-49FB-A1A9-2E9297A05660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500817$5DD8635F-BCA2-4EE4-A61B-23BDD08A7F6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef943bc34c6961d599d38fc7e8d550899350b208","datavalue":{"value":"In the language of classical propositional calculus let \\(D\\) be an axiom system and  \\[ \\{\\varphi_{11},\\dots, \\varphi_{m1}\\},\\dots,\\{\\varphi_{n1},\\dots, \\varphi_{nm_n}\\} \\]  be a system of alternatives satisfying natural conditions. A sentence \\(\\varphi= \\varphi_{k,\\ell_k}\\) is necessary for a sentence \\(\\psi\\) if \\(D,\\varphi_{1i_1},\\dots, \\varphi,\\dots,\\varphi_{n,i_n}\\models\\psi\\) (there is a potential proof of \\(\\psi\\) from \\(\\varphi\\)), but \\(D,\\varphi_{1i_1},\\dots, \\varphi_{\\ell i_\\ell},\\dots, \\varphi_{ni_n}\\not\\models\\psi\\) whenever \\(\\varphi_{\\ell i_\\ell}\\neq \\varphi\\) (there is no potential proof of \\(\\psi\\) not using \\(\\varphi\\)). The paper consists of motivations, justifications and possible directions of applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500817$276AA644-E0DE-40E2-B98C-89C9E0255D66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$A93F26BA-F784-4B89-9CEA-10F68CD6AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$9C320AD6-FF0A-493F-A9C0-8A919C71A017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$6783A1C2-09D2-428D-B77B-85DD46B24891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$F7AA2294-CFDE-46A9-A718-54E99B19613C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed87f8a0eeef9a8677303329a6d1c4d89ce3d8a4","datavalue":{"value":"5047767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$47126CFB-DA3C-4D13-96C2-77AFB329BA6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500817$072C0150-4BA4-4356-B8C2-3F112760295B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$35A8F547-409B-4B8B-BEE5-8443BB461363","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":"Q2500817$0151D7E4-B765-4DBE-86C8-3036815C83C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"225169ff4d2d8f5421ff6936cf6aaec529e96540","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6293-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500817$F6E95284-68C3-4F21-B361-34F892C62582","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea7ad6f1ad8376ebd7622e53201895b3152d9fc8","datavalue":{"value":"W1976016288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$20375B08-26A0-4E70-90B9-EA9E85D02375","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a96a6683b897f7ca64bc6cf9cbd92b4693c72f","datavalue":{"value":{"entity-type":"item","numeric-id":4507852,"id":"Q4507852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$AB4726D7-BA51-469C-9B4F-815119365E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$7DF97C9F-B4CA-48A9-83B5-971D32033E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$19463D36-BFF9-4BAD-8066-4392DA066A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647e67b17338f60be70b5ba9215500c4f016de10","datavalue":{"value":{"entity-type":"item","numeric-id":1610613,"id":"Q1610613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$CBA18ADC-41F2-458E-8A80-27B75330B159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ada69c58b82f7df3d5d2cfd3bc60e0b4ad6fadc","datavalue":{"value":{"entity-type":"item","numeric-id":5711927,"id":"Q5711927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$6663190B-C260-49BE-AE56-3DFFB6624376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b3f69f0697346e85ec3b675fb64acab83f8b64","datavalue":{"value":{"entity-type":"item","numeric-id":5813904,"id":"Q5813904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$24C27CE0-DC42-4DAC-AF3E-A5F88D2FDC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1625f115e441e4915a922f307a1f6b93e46903","datavalue":{"value":{"entity-type":"item","numeric-id":757344,"id":"Q757344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$BAB15C70-D50A-4BFB-B4EF-6D63D1E9E78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c98b2f9f83c486bcf26338ccc7f33b4c2ee91d5","datavalue":{"value":{"entity-type":"item","numeric-id":4236364,"id":"Q4236364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$56181619-BFDD-49B7-8C89-54736E8FBC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98dac2819645d7b6737278e3ffe008004ca3c967","datavalue":{"value":{"entity-type":"item","numeric-id":4803957,"id":"Q4803957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$38193FD0-F598-4C22-AF01-4A7C18EA039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$CBC30674-754C-4733-B158-4C58AB71C14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$FF6447B2-407D-4183-8681-2F84C3C2E01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41fead01a7d6bfe7e55bccc5621dba664f70313","datavalue":{"value":{"entity-type":"item","numeric-id":4281260,"id":"Q4281260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$ADAA3754-9D4F-4AA1-A204-4BFC2181AAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b833abc02f1a524492e73cd488d4481b2250a3e","datavalue":{"value":{"entity-type":"item","numeric-id":1337510,"id":"Q1337510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$C3DF2903-7600-40FE-B719-26A95D0878D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$C84ABD43-6BF4-4B07-B488-A3BBE9E68905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12505866355e577e0f8b3d64621dc797ebf5efbc","datavalue":{"value":{"entity-type":"item","numeric-id":704041,"id":"Q704041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500817$1C56068B-3825-4B39-B6E9-9068176E748F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54c06f1ef88e072a3adb588dfdfc1eb2e78efb2","datavalue":{"value":"10.1007/S11229-004-6293-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500817$84BE8B1F-A861-490D-B592-7BE465A985AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b1e92920ae415edef38ce27ef66111c6f89e46","datavalue":{"value":{"entity-type":"item","numeric-id":2908759,"id":"Q2908759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d7b848ada9752ca9a22a09ac031e8c553f7e3a","datavalue":{"value":{"amount":"+0.7149250507354736","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":"Q2500817$CB3254B5-31C7-4F9B-B8B1-5BBCF0FE6239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0fed6576cd005f1d51ec33478745542c7bf970","datavalue":{"value":{"entity-type":"item","numeric-id":2908766,"id":"Q2908766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a49939724ee67326d615f348fd9a1d1127c26fa","datavalue":{"value":{"amount":"+0.7067195177078247","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":"Q2500817$F481E1F9-5D26-4A0E-BAEA-C6BE3970E29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a41f9897536db9486e8bc5aea4a055f1531cff","datavalue":{"value":{"entity-type":"item","numeric-id":5046235,"id":"Q5046235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d5a5b8fea96db8e65099f3266eede3d61dfae9","datavalue":{"value":{"amount":"+0.7029747366905212","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":"Q2500817$E0BCC38F-5CE1-4A2B-BB70-A5587B5CA3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e342d5fe58e7b1ae3ebad924abc3ebf97d40b2","datavalue":{"value":{"entity-type":"item","numeric-id":1116939,"id":"Q1116939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8073cbabfecc66d8cbdb3c2e6707fc7294f85aec","datavalue":{"value":{"amount":"+0.6995152235031128","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":"Q2500817$3458CAC7-CC81-4FAA-BA78-A7573DF01CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c209388f96703632182de5f8ce347e62c596a32c","datavalue":{"value":{"entity-type":"item","numeric-id":5141784,"id":"Q5141784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1db2f8aa308d87647779e88beb8e80a802d83a","datavalue":{"value":{"amount":"+0.6969046592712402","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":"Q2500817$F6CA21FF-A8D2-454D-8B24-55E8D248BA19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500817","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500817"}}}}}