{"entities":{"Q4650293":{"pageid":6679874,"ns":120,"title":"Item:Q4650293","lastrevid":48410905,"modified":"2026-01-04T15:42:01Z","type":"item","id":"Q4650293","labels":{"en":{"language":"en","value":"A proof-theoretic study of the correspondence of classical logic and modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133239"}},"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":"Q4650293$F8F9117C-162B-42EA-8FDF-3A23A890701C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cd1ea7bafb567fb45f4a1ae79a4d4624b9064b4","datavalue":{"value":{"text":"A proof-theoretic study of the correspondence of classical logic and modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4650293$929B4BAF-35E1-46CF-9C70-FE64C3FF8BD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0a99a985b670b6a55620596d73f5a11c11a19a2","datavalue":{"value":"1056.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$2291D287-0B0A-43C4-9DC2-06B244F7255E","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":"Q4650293$52639E8C-2A22-4AF8-8BBD-F175AF59706D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bb430d98445fad0c07a301b258c507df3dbc1f9","datavalue":{"value":{"time":"+2005-02-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":"Q4650293$94F2385D-8F96-4655-968D-E7AAC8CA7E8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8ae3d938472691b0f2ca6364ef1e633b197a91e","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1067620195","type":"string"},"datatype":"url"},"type":"statement","id":"Q4650293$CB698532-C8D7-4C9F-B149-B7CF6A561627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$52E80F36-0B25-4FC9-B2E8-4DF72ED9A2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$50E413F6-D8FC-4F1B-AC41-021C06367A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$8F306206-D7D1-4292-84AD-EAB9221FB2C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"952ba04a5489a0b90907cf69c6eb12f4cf368f78","datavalue":{"value":"2133239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$C44BDC2E-0141-4639-9CFC-CC81AE1FF582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004b8bf0ce8fe331daf333877d2f954f314e17e9","datavalue":{"value":"classical predicate logic with one-sorted variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650293$397FC0C9-E664-4AFB-8409-E35781B890D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650293$67C1919C-B42F-4541-A2E6-B6FF77F323AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68676b9cf2beb85861f0818fde224a891d88ee79","datavalue":{"value":"quantified S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650293$83C96AF6-57A1-4BA1-AB94-082D85A07129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9892fb03c20f97e905c57ff6bbdd22256cf65f7e","datavalue":{"value":"proof-transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650293$F0DEBB0D-45FC-44BD-A700-CCD05E5E73DF","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":"Q4650293$23DB4636-66E1-4B4E-8266-C89586CF8B49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea2bfa9697bb895bc21f73cb8437e2a10c8d2d6f","datavalue":{"value":"W2085424246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$E03F0782-81E6-4952-94E6-C92B631D720C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$37B5E092-8CC3-4E37-9D13-F12F4A38BE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3974826730c6cd32f5a0b39902b286982f03f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$6E3E7DBA-79A7-4FF5-A921-290A4831A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e05c5cb852405d842b80cf5b7d213abbec0a7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2532151,"id":"Q2532151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$E84AC9E0-616F-4A80-B4C2-2A3B3A311B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$B2890782-F231-4932-B2D3-5358B868B775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$4BDAD2C8-0867-471C-8A82-44B3E5A72489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c666e3fcf0629d0f49377167cb83d1390f2a022f","datavalue":{"value":{"entity-type":"item","numeric-id":2543317,"id":"Q2543317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$99A0E687-12D4-4312-828E-5BA7906D0C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$72BAB2AD-A329-47C6-B96A-A90EAC650A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579023570065d038507c5e845b3bfb596f30e954","datavalue":{"value":{"entity-type":"item","numeric-id":4753173,"id":"Q4753173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650293$0D0333A3-72C9-4B98-9ED2-7D2CDC257AEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"137644472993b1e3a1de37ba7524031e7cb438aa","datavalue":{"value":"10.2178/JSL/1067620195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650293$B3E61DA6-44E5-449D-AB05-04C73E386C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c353326a7014fdb6567a392652546507c33ab0","datavalue":{"value":{"entity-type":"item","numeric-id":687153,"id":"Q687153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42e1a82ebea152596cef70de773e12cda6b1dd4","datavalue":{"value":{"amount":"+0.8085048794746399","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":"Q4650293$FFD41B95-8467-44D2-847B-AF43A40DBC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d41a256d8a0fbb20ef755ba4f2fcfca939d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":1005938,"id":"Q1005938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ddf98512be3a0bd75e4981f936fffcd794135fe","datavalue":{"value":{"amount":"+0.8078427910804749","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":"Q4650293$3CB3837E-DF91-478F-811E-9DE7E190810E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ee55ee0c1a6f18196734940652882e4fbb0216","datavalue":{"value":{"entity-type":"item","numeric-id":3435242,"id":"Q3435242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370cb41568b9d8d687a1f46671bc2080d7cc5a1c","datavalue":{"value":{"amount":"+0.800146758556366","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":"Q4650293$EB61C756-D814-4C0E-8C29-7439B9CE5B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ea86ffc61316ca43e87cd26e310126220d364d","datavalue":{"value":{"entity-type":"item","numeric-id":5688803,"id":"Q5688803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d711588e8f5c5c46ca00a4b072f4c0f87b7f3d","datavalue":{"value":{"amount":"+0.7717239856719971","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":"Q4650293$318D300E-236E-4628-9BE2-0A9EA3DC350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced9ad8f0ffc4ecc5de4d0c3353fcd9e81e69675","datavalue":{"value":{"amount":"+0.7684873938560486","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":"Q4650293$3E65A140-2B83-450C-80E2-7B9BC6A46EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4650293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4650293"}}}}}