{"entities":{"Q4636040":{"pageid":6665621,"ns":120,"title":"Item:Q4636040","lastrevid":53071220,"modified":"2026-01-24T04:11:32Z","type":"item","id":"Q4636040","labels":{"en":{"language":"en","value":"Post completeness in congruential modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863650"}},"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":"Q4636040$9208A574-AC09-4699-8134-8EF6D5173666","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9298e1f5f525ace2b6448317bdddadffa61f515d","datavalue":{"value":"1400.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636040$E76F96D4-A60E-4431-9D82-7DAC10ADC93C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cacc2855768c74c4174546017ae63b2e563038b","datavalue":{"value":{"entity-type":"item","numeric-id":373014,"id":"Q373014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636040$11E68A5D-7A53-4814-B697-08093F15D37E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636040$7F7E1FD4-B860-4350-8DEB-3B01BDEFA510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636040$94A15E89-E7B4-4641-AA4B-2D3357949199","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6df01d30332a81eeadbf7377978880138eb590","datavalue":{"value":"6863650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636040$877F965E-5689-49D0-9932-8FB2EA0EA601","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636040$93ACF84C-AFD0-4189-94EC-AEBE949FF861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5178b94ec71a6a0101dc9e210eaf1e7b14072c28","datavalue":{"value":"post completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636040$E8EB881A-3091-4139-A4B3-D8F195A44606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2cfc6557b2ad7da081950e0dfc55354693699d","datavalue":{"value":"congruential modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636040$FA54FFB8-FBBE-434F-8EF5-25A8D84E2303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7482af88908f413994b9957d684fdce41e2b6c","datavalue":{"value":"classical modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636040$0F6D1AAE-2E7B-4F2B-AEA1-050497A6108A","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":"Q4636040$813040DE-23E9-47A8-9972-84E01A78AF8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa5ea2037d53666e3b1b3e73f87ec10cb68b831","datavalue":{"value":{"entity-type":"item","numeric-id":691130,"id":"Q691130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696222423af886d326281156c1295982475d8ee1","datavalue":{"value":{"amount":"+0.8544852137565613","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":"Q4636040$6D5F8427-9AD5-4550-8DAA-6269E84DE9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c72085d428c1c44e82c7b8fa2fb44ee79e381b","datavalue":{"value":{"entity-type":"item","numeric-id":920977,"id":"Q920977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3fc719bdee53499495cefebed422211d8a8d39","datavalue":{"value":{"amount":"+0.8536759614944458","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":"Q4636040$E3023398-5579-4517-A3E8-B3C26017FDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab9ef6938548bd3d1b64e0a6b929e990f2bbe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4789045,"id":"Q4789045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa4a0e3124c31ae5d1832efa01d48587d3d836c","datavalue":{"value":{"amount":"+0.8247960209846497","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":"Q4636040$57EDE6B7-2FD5-4DBA-9E0C-8FEFF966381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd4bdb07296ff3a4f5122abe7f67ea8120bb8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5963201,"id":"Q5963201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fced48c66e940495eab2d1c7f5bca2a29558378","datavalue":{"value":{"amount":"+0.771414577960968","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":"Q4636040$1F13FD18-CA10-490E-A18D-3082972484D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f442e2fe323c5fe2c0f90f1edefa050e234059a","datavalue":{"value":{"amount":"+0.7697312831878662","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":"Q4636040$45A089A0-2F89-4D5D-BD0A-2AD313AE0912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636040"}}}}}