{"entities":{"Q4444913":{"pageid":6474512,"ns":120,"title":"Item:Q4444913","lastrevid":48228643,"modified":"2026-01-04T01:11:05Z","type":"item","id":"Q4444913","labels":{"en":{"language":"en","value":"Revisiting completeness for the Kn modal logics: a new proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034272"}},"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":"Q4444913$FDB20DFC-5C1F-4DB5-82EE-AA1142C3E562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64e12089a5ded222f56b8f1930b920c0458f918e","datavalue":{"value":{"text":"Revisiting completeness for the Kn modal logics: a new proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444913$24BCEC46-24C8-4A10-880C-7D34BB670223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"170e105e15c2693241584530ae0fcde8087a1d5e","datavalue":{"value":"1034.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444913$1A2A848D-BA27-409F-8350-565DFB3FF4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b10641fe82c4fd436ea98420a0ec298f121c4f45","datavalue":{"value":{"entity-type":"item","numeric-id":4444912,"id":"Q4444912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444913$3EFAD863-7CBE-4C56-82C5-D279A55025BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77f357196a2f0b89aafde4d12a20c0e2ed0e3a89","datavalue":{"value":{"entity-type":"item","numeric-id":3001359,"id":"Q3001359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444913$0C3D290E-154F-40E4-A81D-94905CC5DCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d6071fb6968d36ca60f57642589c999974bdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1411657,"id":"Q1411657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444913$E07506C8-406B-4A4F-AC2E-CAD32C674419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4444913$E9350E5F-3649-4F9A-9A63-2AD8FBE77AB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444913$696989BF-8A0D-4B01-B899-BEA98DF3ACBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1737dd17ae1f1e7ee07a2cd4f54ce9e96f9b93be","datavalue":{"value":"2034272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444913$BC94D77B-8410-4158-A997-928BAB7355D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b5b4c6a74d01162facd16c05aff271c69ccd9c","datavalue":{"value":"relational frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444913$E032A9E2-0EC0-4609-B982-93FC5542B7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8b493ce905b39bcdd717dc82917c3a6f6190183","datavalue":{"value":"chromatic indices of hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444913$CCE5F18B-0585-4B0C-818F-B3AFD85D8F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b178dac2cb687b46ff65eba501925d0a22e1857","datavalue":{"value":"\\(n\\)-traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444913$29ED6A95-0E74-4DF3-B7FE-F295E91CDD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444913$809A6113-46CA-4F26-A36A-F6C28C7C285D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444913$045C92D5-AC86-4184-B021-6B66BD273288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b36e7f2f2edf82469896981120488f710d53d80","datavalue":{"value":"aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444913$ADF653BF-5223-4ED1-B641-F4821641635A","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":"Q4444913$7BD0BF1D-B807-42ED-B5AF-0380F48EC435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a288f82e9ae99531d945aa0276597ba7702273eb","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.1.101","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444913$32935072-1489-4561-8C9D-D68A674F6E4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ee1979c4c410631ba75692b9e4ad95d897145fd","datavalue":{"value":"W2003782541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444913$E6420159-EC89-4021-96AA-0D31EF18E4DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1bd47dafacd8fe5bd9d1b3c81ce7d8bcdfc21a0","datavalue":{"value":"10.1093/JIGPAL/8.1.101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444913$14C122DC-4E50-4D16-9752-A2329D660CF4","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":"Q4444913$E18DC169-26C2-47B4-B17D-7E6E61BCD755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b0b980a91dec49c82296fdf5eecd2988c23ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4858819,"id":"Q4858819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301fe3c36fe3f1c2da299c0ee1b0a99aa8fa2032","datavalue":{"value":{"amount":"+0.8078005313873291","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":"Q4444913$1B151540-8581-4F12-8212-8703C5CAB48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7334478f63d1da89ef02991cd904e926008fffbe","datavalue":{"value":{"amount":"+0.7375043034553528","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":"Q4444913$88933174-F508-46CA-942C-9C84119C9C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ecc3123e43a031171df94e590860d4ef3a8991","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8f58e4c9f168e18916c1c91a378d0e44df33d1","datavalue":{"value":{"amount":"+0.7122904658317566","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":"Q4444913$02FDAE30-0EFF-4590-91B7-96480A2C66D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f3a5461a3d0d6dfa0e753f0a11f7ef3f3ed22c","datavalue":{"value":{"entity-type":"item","numeric-id":4532612,"id":"Q4532612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb9e9efba403a461098f9e8af8d300a6aa5d1b7","datavalue":{"value":{"amount":"+0.7106764912605286","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":"Q4444913$2B06B0FC-62F4-4F87-89CF-6056CEF77972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0e869b0f9bb0f208316e939c5d5c4ae9dbc94e","datavalue":{"value":{"entity-type":"item","numeric-id":5073942,"id":"Q5073942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ebf2f9cfd98e09922eb5b683afa92a59aa585e","datavalue":{"value":{"amount":"+0.7098278999328613","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":"Q4444913$34CDC837-8055-4532-A917-2AD1360841E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444913"}}}}}