{"entities":{"Q5377337":{"pageid":7406911,"ns":120,"title":"Item:Q5377337","lastrevid":53432285,"modified":"2026-01-24T23:06:23Z","type":"item","id":"Q5377337","labels":{"en":{"language":"en","value":"A modal logic of a truth definition for finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7058615"}},"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":"Q5377337$BA576D16-0AC7-4804-B9EA-142E21F510AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1354a52bdb619d796ccfd5229c64d0cb7438e866","datavalue":{"value":{"text":"A Modal Logic of a Truth Definition for Finite Models*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377337$6D82EE72-CA75-49EA-8467-C632D4359979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da7edc11832e47be09eeba8d870e1819bcef14d1","datavalue":{"value":"1435.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377337$C0417924-51AD-4567-B6D2-D4C53C6D162F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f53de81d0ad360e0a799a3dfe4cddcddd9500e32","datavalue":{"value":"10.3233/FI-2019-1770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377337$F610C29D-6AC0-4CC8-A2D2-7CCA6549C4FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a3c8663170108175c063b2c8d8321d83a23a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1685931,"id":"Q1685931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377337$6E97DD6E-46A8-4A95-8F35-A20FA6E30E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377337$D53130A7-E5F4-45B6-B5C9-7AAAA90EDB66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377337$9F257B00-EC48-4639-8C1F-44D42106A971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d38dfc661f60012b57cbd71c3932ffe0b466b646","datavalue":{"value":{"time":"+2019-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377337$6829A0E4-8CFE-4437-897A-6A79E10B9E8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377337$49F80F11-00D8-4F93-BBBE-C7B3E822F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377337$F3E4A618-6BF8-44AB-BC5F-31F14F9072BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377337$1B95675F-8468-4B94-96FD-67CC27D25B29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b0b1317f63aa45a9dbb2293ed356e006c927d6","datavalue":{"value":"7058615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377337$CEFDD76F-5075-4CD2-BF9D-478B16113A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377337$F026DCF3-D2DB-4BBF-8E22-6B1FC7A575CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"644621202f44f18f1858ba746ea069285daccd5f","datavalue":{"value":"truth definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377337$86380B17-2168-4AB7-BD75-208E2F1FB278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377337$0B4E163C-D9D5-434B-AC46-D0360FB189A1","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":"Q5377337$D24072F6-D8A4-4FBB-B112-6E3A6CED9A85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e92a406cf765e4d14190380920ef55fc1023bc","datavalue":{"value":{"entity-type":"item","numeric-id":5000260,"id":"Q5000260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6720f228c36c3bc17b9fc09476d86532bc774380","datavalue":{"value":{"amount":"+0.7649896740913391","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":"Q5377337$939CF99F-1463-4714-9279-0FD7857DD805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3deadf74a4edbad47ab326310a97d995cf188f69","datavalue":{"value":{"entity-type":"item","numeric-id":5928928,"id":"Q5928928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35ccf84d067f14fa1aa46ffc8d690c3363eecbe","datavalue":{"value":{"amount":"+0.7615113258361816","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":"Q5377337$DDB796FB-8DAA-4CC1-8960-970236D64A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daa8a6c32887bce8eb1aba41b66a9941c560de6","datavalue":{"value":{"entity-type":"item","numeric-id":5311718,"id":"Q5311718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac8168b1fded0a0ba458a20b1bef818d36715a4","datavalue":{"value":{"amount":"+0.7566002607345581","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":"Q5377337$652E8474-4CEA-4C6F-81EF-8E976808C068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5b0d7147ede089fe5b452f3d98f60271346200","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198d5f2d2800e15a5ab663dc4abe50014568a6cd","datavalue":{"value":{"amount":"+0.7543395757675171","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":"Q5377337$7C3B665F-563D-4E92-B28C-C3CCFD2B243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50b703bc5ed63618f9bda7b54a9be260e36b6d7","datavalue":{"value":{"amount":"+0.7425236701965332","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":"Q5377337$DC0739D1-1D50-499F-8EB0-0BE04471CC89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5377337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5377337"}}}}}