{"entities":{"Q5553260":{"pageid":7582820,"ns":120,"title":"Item:Q5553260","lastrevid":92646068,"modified":"2026-06-05T02:18:29Z","type":"item","id":"Q5553260","labels":{"en":{"language":"en","value":"Binary connectives functionally complete by themselves in S5 modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3269013"}},"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":"Q5553260$871D5E76-E993-45E7-BFE8-3402C82C37A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeb5f7e4a912819aca45325220a9500d7db5fae8","datavalue":{"value":{"text":"Binary connectives functionally complete by themselves in S5 modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5553260$9A9C3D48-A2BB-4273-AF14-139A7FACDDB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"451edd76914cc2d94e69ae3de8d96a51a8c04591","datavalue":{"value":"0168.00501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5553260$B078B282-A0D8-4B53-8948-544A817FB6D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba372edcf284ce093dc8966186da85813daf684","datavalue":{"value":"10.2307/2271247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5553260$6333033E-5F6A-42C3-80B7-B83BEF0296D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cce0591d7bb3afe92727a71c4e8bca31b60436f","datavalue":{"value":{"entity-type":"item","numeric-id":758972,"id":"Q758972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5553260$CC048938-25C6-49A1-A486-92B864863CDD","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":"Q5553260$F07E013A-AAEC-4C3E-9B06-9BCC05669E36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5553260$E59B5CA9-28A1-4BCA-9D74-7942037B6726","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386d7eac4371131238b1af6b1bb4bc43804812ba","datavalue":{"value":"3269013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5553260$D3DC66DD-912A-4391-8CA1-2AFB71B7D321","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5553260$769CB05D-EA0C-4EA4-A1C2-FEC34BB7D9B7","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":"Q5553260$1BD9AD0E-47C6-4E45-8C82-C2C117832326","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75740cb8c9a59e32ee16c5509a02008de9b0e098","datavalue":{"value":"https://doi.org/10.2307/2271247","type":"string"},"datatype":"url"},"type":"statement","id":"Q5553260$B47C2FE2-3CDB-4601-8AD3-09E925E2C63F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf2e85189f71c3059a4de6726c4184fb135f02d8","datavalue":{"value":"W2009627122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5553260$324A7CD8-39BA-40AC-AD34-695D98CAF1C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary connectives functionally complete by themselves in S5 modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_connectives_functionally_complete_by_themselves_in_S5_modal_logic"}}}}}