{"entities":{"Q497427":{"pageid":499194,"ns":120,"title":"Item:Q497427","lastrevid":62316297,"modified":"2026-04-11T05:15:22Z","type":"item","id":"Q497427","labels":{"en":{"language":"en","value":"Intricate axioms as interaction axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484961"}},"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":"Q497427$C0F5C785-4073-4B72-AE4E-0EAE2C20EF2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9246e9d0271336b27969649a4703c1e8d08649de","datavalue":{"value":{"text":"Intricate axioms as interaction axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q497427$87EE1C5C-71BC-4516-A55F-96013F568C72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d8584ad5debfa4cbb5eaa60ff4af920af8aced2","datavalue":{"value":"1368.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497427$34C341D2-87E9-4593-B6B9-8878F2349B20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$BD3453CF-F40B-463A-A661-90B7D6F185AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$33211F30-8072-43D7-B769-28FED16BE96A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-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":"Q497427$50B8963E-1C03-4BEB-888D-29C10B1DF800","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b7d9eaf18698682007fc6731b28019bef602c98","datavalue":{"value":"https://hal.inria.fr/hal-01193284/file/FinalRevisedStudiaLogica2014.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q497427$6812E68F-A625-4D5F-A46F-46B6C26DB43F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c9b76d99aeb1c19d7a0ea3054e54cfb26eeddd1","datavalue":{"value":"With \\(\\mathbb{A}\\) a nonempty subset of \\(\\{1,2\\}\\) and \\(\\mathbb{P}\\) a nonempty set of propositional letters, let \\(\\mathcal{L_\\mathbb{A}}\\) be the set of propositional modal formulas built over \\(\\mathbb{P}\\), with \\([i]\\), \\(i\\in\\mathbb{A}\\), as modal operators, and let \\(L_\\mathbb{A}\\) be a normal modal logic over \\(\\mathcal{L_\\mathbb{A}}\\), that is, a subset of \\(\\mathcal{L_\\mathbb{A}}\\) closed under modus ponens and substitution instances, and containing all propositional tautologies, the axiom schema \\(\\bigl([i](\\varphi\\rightarrow\\psi)\\wedge[i]\\varphi\\bigr)\\rightarrow[i]\\psi\\), \\(i\\in\\mathbb{A}\\), and the necessitation rule that from \\(\\varphi\\) infers \\([i]\\varphi\\), \\(i\\in\\mathbb{A}\\). Write \\(L_1\\), \\(L_2\\) and \\(L_{1,2}\\) for \\(L_{\\{1\\}}\\), \\(L_{\\{2\\}}\\) and \\(L_{\\{1,2\\}}\\), respectively. Given two subsets \\(L\\) and \\(L'\\) of \\(\\mathcal{L_\\mathbb{A}}\\), let \\(L + L'\\) denote the normal modal logic over \\(\\mathcal{L_\\mathbb{A}}\\) generated by \\(L\\cup L'\\). The key notions of the paper are the following: {\\parindent=0.4 cm \\begin{itemize}\\item[--] A set of \\textit{interaction axioms} w.r.t.\\ \\((L_1,L_2)\\) is a finite subset \\(\\Gamma\\) of \\(L_{1,2}\\) for which there is no \\(\\chi\\in L_1\\cup L_2\\) with \\(\\chi\\leftrightarrow\\bigwedge\\Gamma\\in L_1+L_2\\). \\item[--] Let \\(x\\in{\\mathcal L}_1\\) and a set \\(\\Gamma\\) of interaction axioms w.r.t.\\ \\((L_1,L_2)\\) be given. {\\parindent=0.8 cm \\begin{itemize}\\item[--] \\(x\\) is \\textit{characterised} by \\(\\Gamma\\) iff \\(L_1+\\{x\\}=(L_1+L_2+\\Gamma)\\cap{\\mathcal L}_1\\): when adding the interaction axioms to the base logics, one obtains exactly the theorems for \\({\\mathcal L}_1\\) that would be obtained by only adding \\(x\\) to \\(L_1\\). \\item[--] \\(x\\) is \\textit{conservatively characterized} by \\(\\Gamma\\) if \\(L_1+\\{x\\}=(L_1+L_2+\\Gamma)\\cap{\\mathcal L}_1\\) and \\(L_2 = (L_1 + L_2 + \\Gamma)\\cap{\\mathcal L}_2\\) both hold: no new theorems for \\({\\mathcal L}_2\\) are obtained as `side effects'.   \\end{itemize}} \\item[--] Let \\(i\\) and \\(j\\) be either 1 and 2 or 2 and 1. The modality \\(\\langle i\\rangle\\), that is, \\(\\neg[i]\\neg\\), is \\textit{explicitly defined} in \\(L_{i,j}\\) in terms of the modality \\(\\langle j\\rangle\\) by a formula \\(\\mathrm{def}_i(p)\\in\\mathcal{L}_j\\) iff \\(\\langle i\\rangle p\\leftrightarrow\\mathrm{def}_i(p)\\in L_{i,j}\\).   \\end{itemize}} The aim of the paper is to demonstrate that in epistemic logic, axioms dealing with the notion of knowledge, which sometimes are hard to interpret intuitively, can be characterized in terms of understandable interaction axioms relating knowledge and belief, or knowledge and conditional belief. It is based on the following result:  ``Assume that \\(\\langle 2\\rangle\\) is explicitly defined in \\(L_1 + L_2 + \\Gamma\\) in terms of \\(\\langle 1\\rangle\\) by a formula \\(\\mathrm{def}_2(p)\\in{\\mathcal L}_1\\) positive in \\(p\\) (that is, such that all occurrences of \\(p\\) in \\(\\mathrm{def}_2(p)\\) written with only \\(\\neg\\) and \\(\\wedge\\) as Boolean operators are in the scope of an even number of negations). Then, the following are equivalent:  {\\parindent=6mm \\begin{itemize}\\item[--] \\(x\\) is characterized by \\(\\Gamma\\); \\item[--] (*) \\(L_1+L_2+\\Gamma=L1 +\\{x,\\langle 2\\rangle p\\leftrightarrow\\mathrm{def}_2(p)\\}\\).   \\end{itemize}} Moreover, assume that \\(\\langle 1\\rangle\\) is also explicitly defined in \\(L_1 + L_2 + \\Gamma\\) in terms of \\(\\langle 2\\rangle\\) by a formula \\(\\mathrm{def}_1(p)\\in{\\mathcal L}_2\\) positive in \\(p\\). Then, the following are equivalent:  {\\parindent=6mm \\begin{itemize}\\item[--] \\(x\\) is conservatively characterized by \\(\\Gamma\\); \\item[--] (*) holds and \\(L_1+L_2+\\Gamma=L_2 +\\{\\langle 1\\rangle p\\leftrightarrow\\mathrm{def}_1(p)\\}\\). ''   \\end{itemize}} The paper then examines interaction axioms from the epistemic logic literature, which connect the notions of belief or conditional belief with the notion of knowledge. It establishes results such as the following, where \\(K\\) and \\(B\\) are the knowledge and belief modal operators, respectively:   ``Let \\(I_1\\), \\(I_2\\), \\(I_3\\), \\(I_4\\) and \\(I_5\\) denote \\(Kp\\rightarrow Bp\\), \\(Bp\\rightarrow KBp\\), \\(Bp\\rightarrow BKp\\), \\(Bp\\leftrightarrow\\langle K\\rangle Kp\\) and \\(Kp\\leftrightarrow(p\\wedge Bp)\\), respectively.   \\noindent Let \\(T\\), 4, \\(D\\) and 5 denote \\(M\\varphi\\rightarrow\\varphi\\), \\(M\\varphi\\rightarrow MM\\varphi\\), \\(M\\varphi\\rightarrow \\langle M\\rangle\\varphi\\) and \\(\\neg M\\varphi\\rightarrow M\\neg M\\varphi\\), respectively. Let \\(S4_K\\) and \\(KD45_B\\) be the smallest normal modal logic for \\({\\mathcal L}_K\\) and \\({\\mathcal L}_B\\) generated by the set of axioms \\(\\{T, 4\\}\\) and \\(\\{D, 4, 5\\}\\), with \\(M\\) replaced by \\(K\\) and \\(B\\), respectively.   \\noindent Then the sets \\(\\{I_1\\}\\), \\(\\{I_2\\}\\), \\(\\{I_3\\}\\), \\(\\{I_4\\}\\), \\(\\{I_5\\}\\) and \\(\\{I_1,I_2,I_3\\}\\) are sets of interaction axioms with respect to \\((S4_K,KD45_B)\\). ''","type":"string"},"datatype":"string"},"type":"statement","id":"Q497427$56787AFB-BC0C-4108-8B33-5602ED2EA967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497427$138B3F13-5393-432E-BA3A-0F012025A574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497427$8FC1B732-03D3-489A-9045-7636C5882107","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c642b65b464e9436c92bfdec9280e8fb58100624","datavalue":{"value":"6484961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497427$A6BA871B-98FC-4E1E-BEA7-E02C99639B17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q497427$AFB5CD2C-59DF-4FCE-BAF5-3B2BE3092C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q497427$4C0B3DEE-A6F1-46F4-9520-27E90C48CF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd7188bf72608d603b86b6120c2f36d2e80f3a7","datavalue":{"value":"interaction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q497427$CDFD7A53-BB58-42B8-A01B-3C892707358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a48db37637c42ea88128c8788a872a4c0220be1","datavalue":{"value":"definability of modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q497427$0F89DDAA-50B4-4CB7-88C1-DC35297444DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc4d92eeceef517aba402e89c4445d8783074b3a","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$C45637BD-2AA9-4744-BF2D-5D038123E0AA","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":"Q497427$F53C2F7A-875C-4A3F-BFF5-4397BC5BCB3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96918f545fc1f890b89b544c4cf62087e47ff21f","datavalue":{"value":"W2118490872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497427$DADE5E95-282B-4601-8883-E417B2F70F4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7385f2cd7c0404a24668efe1fdbc2cf5bc333f3","datavalue":{"value":{"entity-type":"item","numeric-id":1224565,"id":"Q1224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$27CD35F3-EDBB-4729-9E7E-384471F4BD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce74f6ec8837b85d677d532fb3f7642e699c079","datavalue":{"value":{"entity-type":"item","numeric-id":497427,"id":"Q497427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$F787A030-35F8-4CD6-A160-1B7F29074FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551feaae985481576065cd5821f9e6e228edb194","datavalue":{"value":{"entity-type":"item","numeric-id":5249692,"id":"Q5249692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$77C835B3-F566-498C-B4CE-66E24C5B35F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c5a57c9080de810108abf5efb42a501eb770e8","datavalue":{"value":{"entity-type":"item","numeric-id":4917986,"id":"Q4917986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$323F32C5-6ADC-410F-AD32-154DDE81C05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9793ef70fcdf217f61623b403c4b40bb03902627","datavalue":{"value":{"entity-type":"item","numeric-id":4599502,"id":"Q4599502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$C9005BF5-CC49-44DE-9473-8031F7DF1D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b71fdf1d9aa494435aac4e2e0e005541ca50ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4648827,"id":"Q4648827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$D099825E-3B62-4646-9480-122CB1FB3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$34A6BE26-DABE-4520-9463-FAA7AFCC780F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a881cefa9c635193f959826b67e8a1993246b","datavalue":{"value":{"entity-type":"item","numeric-id":1886744,"id":"Q1886744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$F117712D-BB87-4EEB-B2F2-906795390D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efdab2d4bfeb9318612714339cc2e1288670ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4012236,"id":"Q4012236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$87FBA14C-6BCA-44E0-9392-415A5879E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$04F52B6D-D581-4B6B-A28F-9D361DC6E2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601cb07741d1cdb8443e15203972918d6a4be316","datavalue":{"value":{"entity-type":"item","numeric-id":3446280,"id":"Q3446280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$C79B54F4-3CAD-41E3-BF19-905A3754F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdaf5d46031139206d75f79bd5398a99227cd17","datavalue":{"value":{"entity-type":"item","numeric-id":1389534,"id":"Q1389534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$5DE074AD-E8A0-445C-A45D-BB03DAECEDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe6830e6aed4c8f586ab0527a59c35477a02ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5441354,"id":"Q5441354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$C510CD9F-3880-4B4D-B38F-E949E7DB6CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1d39540b1a585cfe667c60afa7c96c924fc245","datavalue":{"value":{"entity-type":"item","numeric-id":1815407,"id":"Q1815407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$52E39B4B-8C57-4D4F-9F20-D86DBE443526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f97042291b9c64c3d1a7b4a003005f297498d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3644801,"id":"Q3644801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$E9DC0589-C145-4D8B-9DCB-5D7C71485203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410ee85dc95aab7dd5bed2a5e157875c066eef5b","datavalue":{"value":{"entity-type":"item","numeric-id":3644800,"id":"Q3644800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$37D0C4E6-D93A-4234-AFAE-2448D428807F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc03b28e2b0563a73e1a4ebb26e320235ef697a","datavalue":{"value":{"entity-type":"item","numeric-id":3769995,"id":"Q3769995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$1290F992-0070-4C69-A10A-4EF3FB082184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$236CDE12-D2E1-4A65-9285-1F04DFF944E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$2DACEB6B-3BB7-45EE-8B1B-802319EEA9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$85767B29-BD95-416C-ABD4-290208638E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b01df3e969c44af1c74ea4d49e71e4b97f5ecb7","datavalue":{"value":{"entity-type":"item","numeric-id":1313959,"id":"Q1313959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$3CD1F12B-D492-4F21-ADA4-40F919D17C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19bae534540b3cc8b15a8c0f045c804c3ffb952","datavalue":{"value":{"entity-type":"item","numeric-id":3612355,"id":"Q3612355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$D8589775-ABAF-44CF-9A9F-4F03C06A480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311016c634a3083228e5a83a69e6ef73a98e8630","datavalue":{"value":{"entity-type":"item","numeric-id":4276179,"id":"Q4276179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$720FFF4D-056E-45EE-A1A2-E4CE35AD8A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4457e66e0b949ac76c9b165f55bc403d6596dbbf","datavalue":{"value":{"entity-type":"item","numeric-id":4179003,"id":"Q4179003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497427$508F4D06-29D0-44F3-87DE-0256794E20BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb5231d911387b036429cec7efaa771111b749ee","datavalue":{"value":"10.1007/S11225-015-9609-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497427$F4F579C8-7A0F-465E-A4B1-5879C2FDB5F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1cc5b95e5f7e8dc149092e53d38c42c5e23bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3644800,"id":"Q3644800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0564c8739ca0e5afbf5f9b376b8b33c0c2e79b6","datavalue":{"value":{"amount":"+0.7646775841712952","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":"Q497427$8001052E-F8E7-41DE-B6A5-DE38ABC8C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c1d25f0988e076a26dcbb42ea5fd16cb8c69eb","datavalue":{"value":{"entity-type":"item","numeric-id":3644801,"id":"Q3644801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9cc15ef3337d55c0b88380a591a3987190d664","datavalue":{"value":{"amount":"+0.7569454312324524","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":"Q497427$0BBD527B-6EA6-41D8-AAF9-9DDB513B4267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df699c41df682c910330015371fc21b3d9aeb589","datavalue":{"value":{"entity-type":"item","numeric-id":4276179,"id":"Q4276179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e53b814ea5e7151b30b21214aceca8781dfa2f","datavalue":{"value":{"amount":"+0.7535155415534973","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":"Q497427$F2F3F795-B5EF-4110-BE11-CAF8CA54E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4836bf32386de0155cb315228d0189e86e1c12","datavalue":{"value":{"entity-type":"item","numeric-id":1028642,"id":"Q1028642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bcf73099f34104279e1c03030b16957211eb55","datavalue":{"value":{"amount":"+0.7524656057357788","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":"Q497427$35636B15-5FAC-4B08-B59A-AAA7275A1FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f15e3b01455a6efefdd9763621b909dcc926ecc","datavalue":{"value":{"entity-type":"item","numeric-id":2425352,"id":"Q2425352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56966ea4daa82e5819df8203dcde4e713bfbf857","datavalue":{"value":{"amount":"+0.7445487976074219","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":"Q497427$EF8A2BE1-11AC-4651-A68B-4CDE18A7CCE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intricate axioms as interaction axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intricate_axioms_as_interaction_axioms"}}}}}