{"entities":{"Q4557167":{"pageid":6586758,"ns":120,"title":"Item:Q4557167","lastrevid":89724155,"modified":"2026-06-04T18:06:21Z","type":"item","id":"Q4557167","labels":{"en":{"language":"en","value":"Conditional beliefs: from neighbourhood semantics to sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6986406"}},"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":"Q4557167$4A45074C-A6F8-42DC-83C0-C1A4C739CBE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df7f48d38e9d9bb55cd0ae0b377e56db8bb3197","datavalue":{"value":{"text":"CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4557167$0B3206B9-29C9-4260-8660-2628E37E476A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bd886c4754136d536de95d80ffb3be500cd17b9","datavalue":{"value":"1445.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557167$1373C0F6-344D-4541-8622-78AC3F2376DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f781ac9e81956f7fa76cc6b34366539bf167dc","datavalue":{"value":"10.1017/S1755020318000023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557167$D6450042-E2B3-49B5-BDF5-95BC558871F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e045518f6e12ef3786440340940f9f65ccbcbda","datavalue":{"value":{"entity-type":"item","numeric-id":1694455,"id":"Q1694455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$A136C687-EA90-45FA-ACFF-C69623AFDDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$65AB3BF0-59F2-47B5-83A8-D7D3E377A5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$77B6FF1C-EA46-498C-9F75-63DDAD9CF4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c824b5d3e081fdaeaa9a75ed728822b32ca6de72","datavalue":{"value":{"entity-type":"item","numeric-id":1344883,"id":"Q1344883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$1C864B55-16F3-42F4-8472-697E78305F7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$E9998DAC-B14E-4B8F-8043-062F470977FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90fc82896c37d679c242bb4883bc4b47e7985482","datavalue":{"value":{"time":"+2018-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4557167$94897071-5F83-4FCF-AA09-AAF4B0B945DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557167$78CDC807-27A0-4F64-9586-B30F7C12EA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557167$76816598-196C-4FF1-A595-9CD074417C0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c1eb3ab5a519f6b8e05b761bfa5a922dd685cb","datavalue":{"value":"6986406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557167$98818AAD-62C2-490A-B79E-F037B4F3A4C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c989ca52317133ade19c7496aeb9802d23cdb8e","datavalue":{"value":"conditional doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$EC91DE6C-CB98-48CD-B948-928CB8EA6304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$01F84093-B2F4-4E86-A604-EE3E0DB33485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$AE35BEBF-017E-432D-8704-467EF2E110D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85e0a5cd7ca420a67d84c73dddc8ccf39a37243","datavalue":{"value":"plausibility semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$118529A4-84DC-4FB6-AE81-EA8416F9A2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e32b5882e7cc2109bd073b612cf6d5b35f4c2c8","datavalue":{"value":"Alexandroff correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$63769B75-A41E-4BF8-ABD3-FC98136A164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$A9C50B73-75B5-45F9-A2A9-9144C49DF8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$3455EB91-475C-4C2F-AFB1-F142881733FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$218C6B0E-DB20-4B64-A2BE-6D410B48F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$7148F57D-C4CC-4A26-BB0B-16E57F65C2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4557167$5D2EEA92-5F33-4D7F-813F-2DCEA1BD733B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$9CE80CBA-CE06-45FE-9FB0-6C9043BF978E","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":"Q4557167$9BB411F6-AC47-4EBA-9101-02A17D592AA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c5a57c9080de810108abf5efb42a501eb770e8","datavalue":{"value":{"entity-type":"item","numeric-id":4917986,"id":"Q4917986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$55827F12-27FA-45C1-B82A-C7BF6DF3C7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b71fdf1d9aa494435aac4e2e0e005541ca50ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4648827,"id":"Q4648827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$C8135D0D-60E0-444C-B0CD-F734EC938571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9793ef70fcdf217f61623b403c4b40bb03902627","datavalue":{"value":{"entity-type":"item","numeric-id":4599502,"id":"Q4599502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$DF9FCF0F-81E7-4E7F-84CE-72802D06FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a1f8e23af8fbaa0c0c5d85c8425d8c3f567bf5","datavalue":{"value":{"entity-type":"item","numeric-id":1867531,"id":"Q1867531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$A208CBA8-B13D-4978-9E1B-41DE2457812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a881cefa9c635193f959826b67e8a1993246b","datavalue":{"value":{"entity-type":"item","numeric-id":1886744,"id":"Q1886744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$D3FC66AE-84A6-43E4-BC81-2C5E7C22F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb500e9c7a9e44e5fc691da108a2cc194f8b8fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2901219,"id":"Q2901219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$836679E8-BDE3-4FD5-AA6F-D9A36B75D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$E6A2EF0F-027F-45DA-8A02-1C37E4CE0B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e4b37fb168cb934be6eed27a67629c493e4a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4200041,"id":"Q4200041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$6BBCE8A7-4E9A-4626-B1A6-6C5CE19D9D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b8fe49b3cccec1632b53b1b50ed0fe903f8693","datavalue":{"value":{"entity-type":"item","numeric-id":1100194,"id":"Q1100194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$77C43632-9913-4596-9F38-A1714824DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$484841D9-3790-4FF8-BD73-A71D506E3975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$F6CC80AC-C7F8-478F-A671-5BECD4360716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$BC7B2BC1-2FF7-4C5A-9C1A-06745D44D606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bd00c58f098416551c3b2de632feda66d8e5ca","datavalue":{"value":{"entity-type":"item","numeric-id":5224887,"id":"Q5224887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$CDC7C7CF-D83F-4693-AAA9-EAA483EA867F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$58E42F36-8704-458B-84EB-B719D16B6ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782ccbaf2ef55de8a3f7fccf49250b656ffb0f12","datavalue":{"value":{"entity-type":"item","numeric-id":3455765,"id":"Q3455765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$74B59080-BF95-430D-8FFE-F949C3E81C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$2B290101-666A-44EC-94D7-A64D917668B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46786c5612c9735ee12426a1b6217c2de2e117cf","datavalue":{"value":{"entity-type":"item","numeric-id":1296383,"id":"Q1296383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$202B5941-4137-4FA0-9275-4C4352B340C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557167$AA86558B-A5A7-4912-9F2F-AF572D679A19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f46927b20c9286145f59bbd1ab088800ce7bfbe4","datavalue":{"value":"https://doi.org/10.1017/s1755020318000023","type":"string"},"datatype":"url"},"type":"statement","id":"Q4557167$11A82F85-1EFB-4DDD-8C7A-326404B19B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41743fbcdf162157479dd67c99546d36381b0cfc","datavalue":{"value":"W2802365993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557167$85D5953A-459E-49CF-8B7A-090007EEDD2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5336e220ae393aa94f7f4e6a38d5ef99cd6ac38c","datavalue":{"value":{"entity-type":"item","numeric-id":4636042,"id":"Q4636042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b49b39dc798e3be2ba1219e0ddedfd49519c567","datavalue":{"value":{"amount":"+0.937293291091919","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":"Q4557167$3DC93D9A-505A-4F98-8439-C2F458A26227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a43dea2adc62952bf1afe8e371d926c3dd1c79","datavalue":{"value":{"entity-type":"item","numeric-id":3384066,"id":"Q3384066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faba9ff6213b3a6bd05f8582bc00939f202ac79","datavalue":{"value":{"amount":"+0.8020909428596497","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":"Q4557167$A170E4CE-D7EC-45AF-84C0-E769E0AB1633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e853d58030e84f23a76610c07259b5f09101d56","datavalue":{"value":{"entity-type":"item","numeric-id":4917986,"id":"Q4917986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d70f82664acdf498c3c282298223f1e2391e97","datavalue":{"value":{"amount":"+0.7829859256744385","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":"Q4557167$6D6D4824-AF7A-4479-87DF-6FFB78FB049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1076a2515dd76219e5f1c3f7650c9f42fe12b590","datavalue":{"value":{"entity-type":"item","numeric-id":3455765,"id":"Q3455765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97710ed2e2d0d41b298bc1e07ed49e3296064aad","datavalue":{"value":{"amount":"+0.7754106521606445","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":"Q4557167$5E988106-D7AF-4F71-BF50-7B07DBDA481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e3372a5937eaa044f7b18a2b129349b8e940c","datavalue":{"value":{"entity-type":"item","numeric-id":4599502,"id":"Q4599502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa5b6c6170fa744155f49e7c898c962945620ad","datavalue":{"value":{"amount":"+0.7708643674850464","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":"Q4557167$1979D97F-80F4-4004-9BBC-74572CF4BBB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional beliefs: from neighbourhood semantics to sequent calculus","badges":[]}}}}}