{"entities":{"Q4221774":{"pageid":6251375,"ns":120,"title":"Item:Q4221774","lastrevid":46593489,"modified":"2025-12-25T03:54:31Z","type":"item","id":"Q4221774","labels":{"en":{"language":"en","value":"Extended disjunction and existence properties for some predicate modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228630"}},"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":"Q4221774$14716214-8F64-458F-B11F-02BD41600F52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f4e2efcbf80716f6c69deb0e06eb87ab1266366","datavalue":{"value":{"text":"Extended disjunction and existence properties for some predicate modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221774$5FAA090F-4794-4343-AF2E-51B01778EEBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32ee8af513433f7c81f09bbfdc65bad2b8492120","datavalue":{"value":"0957.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$287EE69C-A987-410A-BCAD-465D2A7560F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221774$3A812833-40DB-4221-9E46-D12B274EF928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f06e3965919c6d8e09cf93fa6be5852ecd89988e","datavalue":{"value":{"time":"+2001-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4221774$3D9F4E1D-E069-41FA-89E4-64EB66C5C679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$EE1D9DF0-BEA2-46DF-B981-2255AD28B0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$B6786A38-4AFE-4553-B6B6-14CB0AD30131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$220C9400-5927-4AAB-BD0A-BFC73350D388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1918af0dae1d06a72f015f49d1807c2629dd856","datavalue":{"value":"1228630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$955D5FE3-84B4-4444-AC64-4C23B0F071EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$0B1818A6-8689-46AE-8B90-90DE2BD298F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$875FF429-1818-49E1-BACF-A0D971319474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffcc0a2100b2ea9374a45dd23ad299c1f372760b","datavalue":{"value":"existence properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$59D0895A-3014-4A6C-9B40-CCBE86BDA0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29324ad1f4671f85a9ef1ed901f9f5b7256f1935","datavalue":{"value":"Harrop formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$BC0B00C0-49C4-4815-95D7-4BD871F79EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"987fa27a94291d6a49b75e9f56dbd6bf287759e9","datavalue":{"value":"cut-free calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$5571DFFF-72C3-4602-8969-91FB1125B6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6e3052772e4733dc012925f47f6fcd36dfee24","datavalue":{"value":"disjunction properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$DD76AA98-5CC2-4213-893C-EF919AFFC8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$BFF5E73A-E308-4243-AA35-B40AEB3E16A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4c813c96de31789fd6d315cedee081899724","datavalue":{"value":"Barcan axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221774$D0A9172C-D0F0-48BC-B3F7-37E77999B9C5","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":"Q4221774$D277CE1E-CDFD-4B10-A123-46213B310AD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa5217e35d2b8c5bd00a4b82c23c9c784ce8d37c","datavalue":{"value":"https://doi.org/10.1093/jigpal/6.5.775","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221774$9ABE0BC0-F81A-40CE-BC7E-98D5EA94760E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85f2215ee4e9c14b39ee1e5a207bcb620a057632","datavalue":{"value":"W2095570248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$1F58C2D8-0BAE-40F3-BCC5-B18985B1DEC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b835e9f037e91bff44b1e2e3983141abbb3d05e3","datavalue":{"value":"10.1093/JIGPAL/6.5.775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221774$494E97A2-DA59-462F-BA69-4E246048BA60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221774$7C61FA9E-8565-45C9-962C-42E752CE4D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0721762138ce27176f0549426401f2da49be957e","datavalue":{"value":{"entity-type":"item","numeric-id":3800004,"id":"Q3800004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e973f6ee39f00936317c2ccc81c94e69a95b0d1","datavalue":{"value":{"amount":"+0.8986225128173828","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":"Q4221774$E962EF92-4FBF-4D59-83EC-4E65C8F9D0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f86146be4b879e30cb1389125f5b388fd413ff","datavalue":{"value":{"entity-type":"item","numeric-id":3322079,"id":"Q3322079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8c5be30725a4f795e020723e325eac4ea28aa7","datavalue":{"value":{"amount":"+0.8191439509391785","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":"Q4221774$CE0EFDE4-BF28-4354-BA10-4EBC9EF1FCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1728235207b2c0f219e468c964d732208ea6ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":3760513,"id":"Q3760513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d3ff95dd702393d0c4d54bcb9c71d3c7a45231","datavalue":{"value":{"amount":"+0.8049477934837341","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":"Q4221774$F51C5424-1BD7-4851-8C5F-2E1AFC278605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0a2fd6f420097f1f8d832df93f65e2095c28d4","datavalue":{"value":{"entity-type":"item","numeric-id":3486545,"id":"Q3486545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51362b7346f9924780ac51dd75cc98501bfe123","datavalue":{"value":{"amount":"+0.8016172051429749","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":"Q4221774$1A937EDE-1C7B-437A-8421-C3DE0013839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75aeac5a560fd2ab3cf01e1f1df741200a2a6ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4608557,"id":"Q4608557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064e84ad83049b6ef2c2166a57f9db633018b5f6","datavalue":{"value":{"amount":"+0.796418309211731","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":"Q4221774$52978651-2B9F-426F-8273-48E445DCCBE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4221774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4221774"}}}}}