{"entities":{"Q4302840":{"pageid":6332441,"ns":120,"title":"Item:Q4302840","lastrevid":47265073,"modified":"2026-01-01T04:23:14Z","type":"item","id":"Q4302840","labels":{"en":{"language":"en","value":"A model-theoretic analysis of knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622320"}},"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":"Q4302840$57711B0D-66FA-476C-9DBC-A25EE1E53F3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49e695749332e2a60fc382ac7e625cb473471741","datavalue":{"value":{"text":"A model-theoretic analysis of knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302840$B0B301A7-1284-42CB-9033-95CF6BE58FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb1e2a19e9e84cf298ac108f8762924c8357f90f","datavalue":{"value":"0799.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$58367530-F37C-4F02-898E-ED63270EB6C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af24c346b2658279332cc6367ab5487ac7455cf5","datavalue":{"value":"10.1145/103516.128680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$66DA761B-B044-409B-827E-4E8A87097AF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"501919793d5a7682fe5d33dabd63127f0c90af27","datavalue":{"value":{"entity-type":"item","numeric-id":388219,"id":"Q388219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302840$C0AC4EB6-A0A5-4AC6-8E0B-F5B233EC80C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302840$F4D86F40-9B2D-4162-AF63-C16F29EAEFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302840$1F605207-FF5C-4F75-A963-A55965B39227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302840$D8DAAAD0-9987-43BD-A459-2C277762AA54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302840$52D1C926-DF2F-4217-ADE2-8004ABD6717A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$1082624F-AC8E-41D4-87A7-349C17C5CDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$E641803B-ADEE-4BDA-BD6F-5B8340FFB173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$51107255-207C-435E-881F-4A9480B850DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$A75E32D0-4741-46B6-8900-FAB346AD71C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edc346c5b93160d24bbc17c643df5cadf68315b4","datavalue":{"value":"622320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$D0EA88AC-BF85-4345-B9B6-D8A4DBA63868","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6eaceb3c3d9dd3c15bb339405c9c9aed38e70a","datavalue":{"value":"common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$8CF7E9B8-FB97-4353-A5AD-B86D07E4CD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$5EAE2F8B-1ACC-4364-807A-691AAE24CE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbff0d4f85c64354000eea509240638d007805f","datavalue":{"value":"epistemology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$8A02B8BB-61AF-47EA-8421-97B75795857A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a602e4f9bce4842c07cfeede11f8408aca10a7","datavalue":{"value":"knowledge structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$7F572E21-8E74-48E2-A7A3-03E94DDA5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$CC5473E1-3DA0-4E49-BD85-51B0A187F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$C1B5504A-4862-4EAE-8991-72F280791DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$8E9121FF-7FF6-4CDF-9592-2F554A45D02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c698dd5fe9a71f2ef82a2668f8b50d293eab1a55","datavalue":{"value":"reasoning about knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$95F845DB-F396-4EAB-A03B-1736A6C71A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c476ea069bfa2c90dd52157c8abdc3559cfb68f","datavalue":{"value":"model theory of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302840$24F272B3-72D5-45C7-B98C-A1EF1E0C19F4","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":"Q4302840$4693B97B-6305-4AEE-A3C8-9A5243B20E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ffe4e2366ef178eb22ae697766e094a7c25af1f","datavalue":{"value":"https://doi.org/10.1145/103516.128680","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302840$D7951F70-A31B-42AF-8D70-C8B2060C2663","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cecaf2ce8d05e7a5c2c7e4c0ed95c5de8c99416","datavalue":{"value":"W2016917647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302840$788EDB4D-D838-4EF6-942B-C000900CE595","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8c7ea0b4c2243e621dca3d116daa5d08b8be19","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ead9c52eff6c8a5bdf6cb3bb89bd58af0447ef","datavalue":{"value":{"amount":"+0.7986940145492554","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":"Q4302840$9F41F84D-CCE1-4FB8-BFF8-D5655D1A9797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ffe86b2f49b57339bb830f48bbf6b5951e14bb","datavalue":{"value":{"entity-type":"item","numeric-id":4027734,"id":"Q4027734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceaf945e47ae24baa836d8df6bc0f21bf307503","datavalue":{"value":{"amount":"+0.7918227910995483","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":"Q4302840$02BBAF86-E51A-4D12-B59C-CE07EC0A8809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc897bb6a2b48eb8faec0f336183d4a4f4f15f4","datavalue":{"value":{"entity-type":"item","numeric-id":4713374,"id":"Q4713374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceaf945e47ae24baa836d8df6bc0f21bf307503","datavalue":{"value":{"amount":"+0.7918227910995483","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":"Q4302840$D871F6DA-11B2-4743-A958-D3A162C5CD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c0d1ca283970df6d14db817e32cc7196f56c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3703315,"id":"Q3703315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811b4467ab5830907dd492c96a68f4a30340d00a","datavalue":{"value":{"amount":"+0.7803295254707336","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":"Q4302840$2362CE22-E72B-47B1-AF14-7E249FCB2B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf456413e2882ea252bfd1e889ee1927b47cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf7e27fd1da3422cfee074df279bca6d62cf5f0","datavalue":{"value":{"amount":"+0.7753064036369324","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":"Q4302840$16D9A78F-8FEF-40E6-A54C-812BBCAE7EE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302840"}}}}}