{"entities":{"Q4842635":{"pageid":6872215,"ns":120,"title":"Item:Q4842635","lastrevid":47341861,"modified":"2026-01-01T10:48:31Z","type":"item","id":"Q4842635","labels":{"en":{"language":"en","value":"Cylindric modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785345"}},"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":"Q4842635$8E213476-109A-4120-8BD1-40E93C6BB3DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72513eddedafa64d2ccf5164663e792beae37d23","datavalue":{"value":{"text":"Cylindric modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842635$9B1524C4-9F6D-44B6-86A2-51670A206524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c310f5f6e784ed8fdbff2f66a797a906770a0d9","datavalue":{"value":"0830.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842635$24E9A549-3FE6-4D66-A8F6-FDBAF5B7D4A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"952e80c84f55a008cfed4b835993b0ad559d224c","datavalue":{"value":"10.2307/2275853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842635$3588914D-8E5C-4B8D-9F9A-D9A1134DFF57","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":"Q4842635$53B31738-6F21-46C3-BE7E-2D1DB4DF034E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c305b7fdcb11f411e5b2568d002c13123a59fe2","datavalue":{"value":{"time":"+1995-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842635$88E390E3-B8F7-42A6-B842-305078875B78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842635$398C3FC6-577C-4DAA-A344-F3116586344C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842635$450D2E50-CAE5-4098-9698-088893A4BC69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31858593c11096de55133b40da086024fe0ba938","datavalue":{"value":"785345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842635$76F2F345-F8B1-4308-8413-7F2C4305DC22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebd5d77adcb47c9288cee42bec7e3c9d6fdb1aa","datavalue":{"value":"cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842635$175857A9-734C-4A14-9A2E-88F428261411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9988e03da7bbcf49bfe4a33f18dc091f91cc68c2","datavalue":{"value":"logic with finitely many variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842635$5C9C0327-1308-4983-9204-CD5B50A40B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5cbcda99d753e8fe5ce7fc13a19f8046954faa","datavalue":{"value":"derivation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842635$BBA65314-09A3-42F7-B208-E3CE7E1CCF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"039d9f79956fe3426db3719fa352ed39ae8d6797","datavalue":{"value":"modalization of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842635$86461890-E85A-4B4C-9481-5DC807967C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842635$774C36AA-1921-437F-AEC2-DC19B2854CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$E4C9AA69-919C-4D76-BEB7-CECD0AF749D9","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":"Q4842635$99C567ED-8D77-4B74-9FF7-60D2E99A9AA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed50cb02f6d25d4a8abc4692185b7c783921a712","datavalue":{"value":"https://doi.org/10.2307/2275853","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842635$DC19D2A0-8647-4E9A-A4A6-FA7CB69DEA2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25700b0fdc7f3bee230eb3e7069757715db75514","datavalue":{"value":"W2154648038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842635$81C5EC4C-CCED-4ACD-BEB8-8BA369E71E43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2377d3b7676d1c90850ec185215eed480678ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$01B94141-E180-4144-9755-6AA60496B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$E5AF2E4A-3436-4BF1-8AF4-B3DEF8EE8191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b53b7bee2fce0b63ac1a02eaebc250bdc437fc2","datavalue":{"value":{"entity-type":"item","numeric-id":1169457,"id":"Q1169457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$41B47A00-50A1-45D6-A121-6641D303205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487b33ab56fdb9cca1574f1b231714b30bc27b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1217805,"id":"Q1217805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$32417FDB-022B-44BB-B440-55A7B3C64D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b502f8896845cfc7c33ed733b8893381c7e34822","datavalue":{"value":{"entity-type":"item","numeric-id":2269508,"id":"Q2269508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$F3B4D4D2-73D2-49E4-A76D-DCCDE0CCCC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f4cf4ff644c5a2ead5e80e32317fa095ea47f7","datavalue":{"value":{"entity-type":"item","numeric-id":1150594,"id":"Q1150594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$51FD882F-ABA2-494D-A5A5-61796E9CD3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693d4d2c0f293d1fccb74636ce199dc482f65b07","datavalue":{"value":{"entity-type":"item","numeric-id":5549024,"id":"Q5549024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$D7BF86FC-BC8C-4763-83FB-B06ACC82E823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$E9E71673-9186-4CAF-BE0D-F0974022627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$16152E5F-37D3-435F-AB60-20A82A9FC141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$2EC8F985-E9FB-4131-9A28-38876E36E9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36b8db7d3e123ba8986d106ba36b3bf5601bf77","datavalue":{"value":{"entity-type":"item","numeric-id":1098852,"id":"Q1098852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842635$2D5D27A8-B056-45E9-9972-4DBED4AB506D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf06e31da4fb049e6b5addb5618fc9d8f872a26d","datavalue":{"value":{"entity-type":"item","numeric-id":2853717,"id":"Q2853717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38092162c69fd2d68684844097f1fbd23d302f9","datavalue":{"value":{"amount":"+0.8514621257781982","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":"Q4842635$2A4AE248-91F4-4939-B8A7-9EEDD0F491E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b77bea443a002e318219e96f6b865f80f3bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":4873977,"id":"Q4873977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b34841e741a2024b6e2cd38070a5e7398889549","datavalue":{"value":{"amount":"+0.8161692023277283","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":"Q4842635$788B7E24-AC15-4CB9-A0F0-30DF9B185341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e360042de6a848d82fbe36105e6a6bc03ff4f68","datavalue":{"value":{"entity-type":"item","numeric-id":4318161,"id":"Q4318161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0407102d137df277af38dde6fff4fc4e0e0d564","datavalue":{"value":{"amount":"+0.8131673336029053","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":"Q4842635$4B1C8F7D-A942-4CDB-888C-E353F6D74E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c6e9408e0e14e6c46c868a73ad5713ce1b9ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7326265720f94fe2458f0e0a8ccb121ae47eb6d7","datavalue":{"value":{"amount":"+0.8119478225708008","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":"Q4842635$36226FF4-C6DC-460A-8C62-5881B62281A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38d3009aa09b9a71106636c5585b93e7a74ddb7","datavalue":{"value":{"amount":"+0.7686296701431274","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":"Q4842635$189F8629-4E16-4CCA-84EB-144E185FD828","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842635"}}}}}