{"entities":{"Q2075376":{"pageid":2086118,"ns":120,"title":"Item:Q2075376","lastrevid":78541421,"modified":"2026-05-06T11:50:26Z","type":"item","id":"Q2075376","labels":{"en":{"language":"en","value":"Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7473198"}},"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":"Q2075376$191C2F78-40E4-4AF2-87F9-A2C85503820E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ba29ea09448a76c0a6ad974f68682bf8cc60782","datavalue":{"value":{"text":"Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2075376$FF5AEF22-BB1F-46CD-A897-ACA84FAFBE3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$41A646B1-E049-4400-AA3E-BFFD6A064461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"420b5e771de4cdd4e5a8c91bc9b8fa984562c47d","datavalue":{"value":{"entity-type":"item","numeric-id":2055777,"id":"Q2055777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$CD5720DB-DBFD-42D5-948B-49CF225343FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$7B27D8BD-44DD-4D7B-91B4-DAF128D679D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44a4e856a85631fb651bf9ad5803d8b27e9b05d7","datavalue":{"value":{"time":"+2022-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2075376$3601765E-0B30-4C6C-9BAC-2DB600C328E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4445d222fcb3c126bcc1debcf89537ea8522dc46","datavalue":{"value":"The paper revises and extends the work presented in [the authors, Lect. Notes Comput. Sci. 12012, 22--41 (2020; Zbl 1456.68184)]. The setting is that of conditional logic, built upon a finite set \\(\\Sigma\\) of propositional letters, with formulas (conditionals) of the form \\((B|A)\\) with \\(A\\) and \\(B\\) propositional formulas over \\(\\Sigma\\) meant to express that \\textit{if \\(A\\) then usually \\(B\\)}; for instance, \\((e\\overline{f}|e)\\) can formalise that ``e-cars usually are e-cars that do not need fossil fuel''. The semantics is defined on the basis of \\textit{ordinal conditional functions} (OCF), that map possible worlds to plausibilities, in the form of natural numbers, lower numbers corresponding to ``less surprise''. An OCF \\(\\kappa\\) then accepts a conditional \\((B|A)\\), written \\(\\kappa\\models (B|A)\\) if \\(\\kappa(AB)<\\kappa(A\\overline{B})\\) (verification of the conditional is less surprising than its falsification). Given a knowledge base \\(\\mathcal R\\), all models of \\(\\mathcal R\\) accept a conditional \\((B|A)\\) iff \\((B|A)\\) can be derived from \\(\\mathcal R\\) using the 6 rules of system P [\\textit{D. Lehmann} and \\textit{M. Magidor}, Artif. Intell. 55, No. 1, 1--60 (1992; Zbl 0762.68057)].  The paper proposes: \\begin{itemize} \\item a notion of unique renaming normal form (\\(\\rho\\)NF) for knowledge bases thanks to which signatures can be renamed; \\item a reduced antecedent normal form (RANF) for knowledge bases, taking system P inferences into account; \\item a renaming antecedent normal form (\\(\\rho\\)ANF) and a renaming reduced antecedent normal form (\\(\\rho\\)RANF) that combine \\(\\rho\\)NF with ANF and RANF, respectively; \\item algorithms for transforming a knowledge base into any of the introduced normal forms; \\item an algorithm to systematically generate all knowledge bases in \\(\\rho\\)RANF normal form over a given signature that are consistent, pairwise not antecedentwise equivalent and pairwise not equivalent under signature renaming. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$AF7A6956-FDD9-4780-8118-EE24D0C6025C","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":"Q2075376$80DB5325-5C1A-4AD6-B121-A6007143A702","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075376$18316FBD-D957-4328-90A1-1674074DE777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075376$713396A5-7844-4C0C-9C8D-42A2E60D8E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"861d0c4c2dfe0f4771c0f24c733f9fd005c23db5","datavalue":{"value":"7473198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075376$81CB6744-553E-40EF-B264-879232D2FD7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabfa5d3951b6c64f2f74b5ce3b442c52df595a6","datavalue":{"value":"conditional knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$ECBC95D3-03DF-4760-88DB-52A569A43682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e93e16e3a094b75d3a592e5b1927a86ef24bb48","datavalue":{"value":"signature renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$907BF3B7-4540-4BDB-A411-B682C3CFBAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882042bdfb79e91796b4dd3baa8ef25b6c584c1b","datavalue":{"value":"inferential equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$B6613A3C-0BA3-4897-AC75-A81369C91B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc67a67f231ee7cff28e4c406b21e803a3e4c412","datavalue":{"value":"renaming normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$28D7FA74-6D57-4F29-9F88-D681DD29A653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8dfbe08d662731ca6a16297cd76cedb6cf3c92","datavalue":{"value":"antecedent normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$9D4D284D-7EE5-4915-8E5F-176017070F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c1fb02f31c25b752f3f8b399d1be46c6587500","datavalue":{"value":"reduced antecedent normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$DC8F84D4-9AC2-4716-BCE9-AB5831E0F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00798a3bb6b59ba52e0bf65c0c70039176a6d3b","datavalue":{"value":"knowledge base generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075376$CE72803D-08D2-47BE-91AE-3E544822DDCA","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":"Q2075376$5809067C-971D-4F9B-9D25-55DEA4044462","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc4924300b1f83e10871bf5b8534eb0fb20aa424","datavalue":{"value":"https://doi.org/10.1007/s10472-021-09745-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2075376$DD993596-82C2-4EBB-90DC-28F38E456F3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16b836d608ed33ea8fc0c4a755fc9deab3d66925","datavalue":{"value":"W3195130889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075376$720550CC-07D9-407D-B3C6-5BEA84800EA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$0F0C38CE-C67A-49C4-9E8D-8BC4EC42C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$C1C0A2A1-17F1-45AC-8144-ED51593CE12D","rank":"normal"},{"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":"Q2075376$BE59474B-0923-4341-869B-B68A8E93F93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$13C5087C-2297-46EE-BD97-E1857550F546","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":"Q2075376$201B15C7-EC41-47A8-9692-49E6F557562B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$4898A590-A671-4B4A-A7DB-BC89B1D8ABA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b15b130ea2d635f509ff09bb26797b710b7c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5365731,"id":"Q5365731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$71B4DD3F-246C-4ED8-A9B5-4D82E8845AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c66413207853f9d30811252e18e0aab59b8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2171264,"id":"Q2171264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$6741C590-42B7-446A-9DDA-4C9E7488E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6f72051b6ae2e63e08512c2f1ce12bb340cb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4943503,"id":"Q4943503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$A50787F6-0B8E-425D-BA01-0F96AC560DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eaf08266742406370a790bca62ffb2aaf03c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5940718,"id":"Q5940718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$0687D1DA-1C88-402B-89F9-F597E99D2388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b607439bd49e4fc2a082a1c7bb43dca878a78a","datavalue":{"value":{"entity-type":"item","numeric-id":1424928,"id":"Q1424928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$CA7B9507-C705-4659-ADA7-759CC9BC17BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aced7b9fe5403adb0f6b169cf408a44dfa9629f1","datavalue":{"value":{"entity-type":"item","numeric-id":2238598,"id":"Q2238598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$EAC430BD-6243-44F5-8D31-4C7DF8D0D2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4310f0d704a429a770e7ca4f18aea83640255d6c","datavalue":{"value":{"entity-type":"item","numeric-id":2401873,"id":"Q2401873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$E797EB88-3073-48EF-9F58-FB6FFA8B130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fbd15e5f1c91f9cba729b1bd611456f31c71906","datavalue":{"value":{"entity-type":"item","numeric-id":2297764,"id":"Q2297764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$57506387-D138-49D9-A85C-0699F6F79700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$417A47BF-FB4F-4017-B246-8A4D9BC0C8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa472ec0db992525f2c72c00aabbaff23a872ef4","datavalue":{"value":{"entity-type":"item","numeric-id":2206775,"id":"Q2206775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$0E5AF846-75B4-43FF-A611-692271C47E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$4811803A-B2F9-40F1-A842-A8A040556896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e33b0c482f93fd11800051cf0d9aef3a8eb6d8","datavalue":{"value":{"entity-type":"item","numeric-id":2296712,"id":"Q2296712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$F5BCB292-9CF5-47A7-9CB9-EB7D4CD6DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f825271f58cdef0953455028a4f32ad4ede6a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2185464,"id":"Q2185464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$BAAD58AE-975F-4FB7-810E-60082D27EDC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f52528f691ce314d23112d69b730bf98866aca29","datavalue":{"value":"10.1007/S10472-021-09745-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075376$C2F4BE70-C326-46A6-94F3-88138D148052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bdc6fefb6dc61b1a9a2d17dd582ae02680d7869","datavalue":{"value":{"entity-type":"item","numeric-id":2206775,"id":"Q2206775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91846077885abaaed8f019519c7e891a1304bd2","datavalue":{"value":{"amount":"+0.9491857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$1D8CB23F-B7E2-4989-8B9D-11A63CCCFC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990895257bdacde7d05ab5faa91fd0e146835dd1","datavalue":{"value":{"entity-type":"item","numeric-id":2297764,"id":"Q2297764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfad2f8e67bbad4a05f0017679790c638cb1ea18","datavalue":{"value":{"amount":"+0.8810227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$5CA4CC5E-57E6-4844-91FD-94589B29DB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce9697d8b9135eada19267208488eebd49463ac","datavalue":{"value":{"entity-type":"item","numeric-id":2401873,"id":"Q2401873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e411b7042472d352d9d763e868472b68cbf08935","datavalue":{"value":{"amount":"+0.85339296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$6FC7D299-6F88-4AF7-A81A-E82EB97AADB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7660a053927ad19aec5813e9fa5e36e5fe0a3342","datavalue":{"value":{"entity-type":"item","numeric-id":3641395,"id":"Q3641395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbd4faf98f02f7fdee74ac513d47edad172609e","datavalue":{"value":{"amount":"+0.84744656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$4AA1BB5A-8E17-4D73-A385-7C41AC049D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a66ab07c70081a9e4be71d35220e625ebefec8c","datavalue":{"value":{"entity-type":"item","numeric-id":2296712,"id":"Q2296712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b317ea6fc384ca9d8810c023546e6a6881666f8","datavalue":{"value":{"amount":"+0.8446272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$A88A02AF-5BC3-458B-9450-A7A8E760BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6933872363ac2abf11612db946c160dd670599d2","datavalue":{"value":{"entity-type":"item","numeric-id":4943503,"id":"Q4943503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7cb702387c2ab18a77b0aeb9e70502863a8596","datavalue":{"value":{"amount":"+0.8442865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$1A9FC666-C762-4254-ABB2-FFFA59B80760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fe99de19debabe2d8d833306f7e420aa8ae69b","datavalue":{"value":{"entity-type":"item","numeric-id":3092311,"id":"Q3092311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49ddc659d1f750e82db419a54feb1810068824","datavalue":{"value":{"amount":"+0.82489467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$98A529D8-BADB-4B8B-831E-8D9263AD4502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87377242c6ec9876a851f78113c8c0a3a37b94ff","datavalue":{"value":{"entity-type":"item","numeric-id":4930753,"id":"Q4930753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102a84a86514ba1a94f9c665a7a048d832991eed","datavalue":{"value":{"amount":"+0.82477534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$65BD1346-F631-4A2A-8A59-EF4EF4CD58A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809662027c131fc0521168563317257d97ac3756","datavalue":{"value":{"entity-type":"item","numeric-id":4273421,"id":"Q4273421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93f24eccc615ad0d1781012ade41e20aa05e797","datavalue":{"value":{"amount":"+0.82304764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$48D16DD4-1ABD-45D6-916E-03F5F422261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910147cc2ab2baace203f2b7b57a19a5fcc9f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5187866,"id":"Q5187866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98950836f25f8125e0fdad053f9bb1219f3e002f","datavalue":{"value":{"amount":"+0.8228865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2075376$5E566610-F580-40E5-99FD-8495CF9BA628","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075376$A0E24CF6-9B0B-481B-A577-D6524E2D0EB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_forms_of_conditional_knowledge_bases_respecting_system_P-entailments_and_signature_renamings"}}}}}