{"entities":{"Q386639":{"pageid":388406,"ns":120,"title":"Item:Q386639","lastrevid":61454427,"modified":"2026-04-10T23:28:49Z","type":"item","id":"Q386639","labels":{"en":{"language":"en","value":"On unification and admissible rules in Gabbay-de Jongh logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236873"}},"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":"Q386639$410CCDCE-79BC-4D18-A16F-6D9E0DA9566B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb7970e9fab207aaf771fe989e31b689d0aa80c9","datavalue":{"value":{"text":"On unification and admissible rules in Gabbay-de Jongh logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386639$D7EC1319-3A7F-4FC9-A90A-28E2D2DDF602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd0a09f44345ca95270f841f021bad0a4ba4c0db","datavalue":{"value":"1316.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$C261CA45-6B90-405E-B03F-020FA9D5C192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44a0d77b31b619596c5934a12064cb858c851fa","datavalue":{"value":{"entity-type":"item","numeric-id":386638,"id":"Q386638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$3FD8C203-E2F1-4BB2-A650-D831F139E399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$D9F934E3-326E-46A3-ADF8-BE773D17FC79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$5E9E58D0-6F1D-4439-8D40-17251039A0CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386639$347CC505-718F-465F-B469-72DFB1B70B3D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$DF0AB251-A8B7-407F-87EF-815E83113AD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$DB892330-D145-49F0-B930-5CB7B14AB3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$9DAE3159-10E3-4EC7-9958-AE214B47912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$0D49C20A-F32A-4A9A-AE8F-B1ADD1A6BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$8F9EA0A0-5609-46DF-9D84-8F588C8E4FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3787e033bdc83e5ea7089fe475d35651542aad0","datavalue":{"value":"6236873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$B90F13FA-0F95-4D8E-85C3-071E81EC9940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q386639$6E70D814-CBC0-483A-8EBF-6279C396CB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q386639$D60B8714-41D9-4471-A8EE-B5004F39E3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q386639$B110D54B-07B1-4FDD-9889-B2FE2EDC107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5801949df1a914fbff7ef3b789425b663a74a970","datavalue":{"value":"extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q386639$AA880F71-A66B-43FC-A4F3-25D54368752B","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":"Q386639$E03A3B70-2F7E-40AF-9C46-E08E96B5AE1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"520ba5dcdfcc08e8bbbc56d9f99816c2c3ff1cd1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q386639$3877C4DC-6120-4436-A6CA-C877559E4402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41dd3c8d3a834749d489ceadaa18734cb06bac9e","datavalue":{"value":"W1973489930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$CA655184-BFD3-41D8-8D30-025D6B523961","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87000e171ea98427f9efb60b84553b6eeb21ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5595152,"id":"Q5595152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$CF3F2322-2E4F-47AE-B762-38EAA57423D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5601f49cdf0f19bfe88c6cdd114297b93028d69b","datavalue":{"value":{"entity-type":"item","numeric-id":6169561,"id":"Q6169561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$7DA2646E-9697-41B4-B2D7-B75136F0822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504179d3369bad63812171f461960968b16504e1","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$D8585558-4744-45C6-9EF8-7E30E559CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$3A6FD889-CD06-438B-8E1B-DEC70633224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c4483d7bb6f3d008e66e0132b225cdb61f30ab","datavalue":{"value":{"entity-type":"item","numeric-id":716499,"id":"Q716499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$90CAE785-A34C-4E03-9EDD-BA13D428ED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9583a02c3d9399c12376ce83a826d5789cef9579","datavalue":{"value":{"entity-type":"item","numeric-id":638480,"id":"Q638480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$93B6D63F-714A-4FFF-A5D3-F7D8E5C04E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5076c04cea88fb1134d078b66ded89b549634d5f","datavalue":{"value":{"entity-type":"item","numeric-id":661289,"id":"Q661289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$A8AA57CC-3E6E-438C-9493-9788C176BEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$D6D65BC1-D194-4E7E-B93E-F77765AED720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33642a283703233b812eb4bc89b990b37b99bd51","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$2E9702E8-4658-42E8-9DED-FE37DD559EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$4C3EC547-011D-4F26-B538-CD1637F50B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$D3FB2DEF-6150-4C93-8737-4D0E12B8F72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$5F86CFA1-E4A2-4057-9E3F-8AE7B284B63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$1BD47BDE-8D12-4888-84A1-33EF8E81F8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$541F55B3-4CED-448F-89F7-04407787B954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$CE8C0915-F42A-4606-B5B0-BE426A2F1981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f377fc5a4183c923431aca96f59c7e66969f8715","datavalue":{"value":{"entity-type":"item","numeric-id":5957911,"id":"Q5957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$7175E0FB-7F90-4140-986E-B78960D021CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$53CF6CDA-2CC6-400E-B5DD-3D8BF128879B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e050a2beefe1e68ff899c461aebd3bc8543a39da","datavalue":{"value":{"entity-type":"item","numeric-id":5292641,"id":"Q5292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$4790F8B4-5359-4133-981A-587882AEF17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$51973F65-2375-469B-A7C6-7ABF8B95837B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e8860a69ed37e50bd2086d4bbcfa819c116e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$EF19658F-323D-424C-837E-33F679CB5DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$2F7D7A09-30B9-4C09-AF24-19B955863801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$FAB35AC0-607D-4AE3-B57B-9F89E1B06549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f502d4e56a8abb89118bae401233dc90ef92b2","datavalue":{"value":{"entity-type":"item","numeric-id":3553916,"id":"Q3553916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$5159AAFE-585A-4789-A4B1-23A8C0D139D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$99BF292F-D5FC-46DB-B0BE-BF2631549271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bd3b3b932e2906f8850be14dad2c5749215613","datavalue":{"value":{"entity-type":"item","numeric-id":1140629,"id":"Q1140629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$CC7CCEE5-4255-4D0D-81CC-7C780A5F0D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$D192EB33-A29D-4C0D-A137-E9D562547155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$F29BADFC-E120-4668-919F-D9258666A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$C3BEC4DE-541A-457E-9C3C-7BF32EDEDDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$16663B40-8EC0-43D9-B975-7C1A22C95622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$6635914F-AB8D-4C18-A2BC-D21FD6E1BD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386639$F75010D9-DF2A-41B1-B9EF-7D7C3613AC80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4b8e3facb7d5f55e0a37ba9e8126dcc709762b7","datavalue":{"value":"10.1016/J.APAL.2013.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386639$101AF581-677D-481F-8E10-8879853EB829","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e250cf84ed3178f3b8c182eb108f75899a7b28ff","datavalue":{"value":"The paper studies intermediate propositional logics with the disjunction property, that is, such logics \\(x\\) that \\((A \\vee B) \\in x\\) yields \\(A \\in x\\) or \\(B \\in X\\). A substitution \\(\\sigma\\) unifies a formula \\(A\\) relative to \\(x\\) if \\(\\sigma(A) \\in x\\). A multiple-conclusion rule (m-rule for short) is an ordered pair of finite sets of formulas \\(\\Gamma/\\Delta\\). A rule \\(\\Gamma/\\Delta\\) is said to be admissible for a given logic \\(x\\), if every substitution that unifies all formulas from \\(\\Gamma\\), unifies at least one formula from \\(\\Delta\\). A set of m-rules forms a basis (of admissible rules) of a given logic \\(x\\), if this set induces the greatest multiple-conclusion consequence relation having \\(x\\) as its set of theorems.NEWLINENEWLINEThe introduced de Jongh m-rules (which are the modifications of the multiple-conclusion version of the Visser rules) play a very important role in the investigation of the admissible m-rules of the Gabbay-de Jongh logics \\(\\mathbf{D}_n\\). Namely, the main result of the paper is that \\((n + 1)\\)-th de Jongh rule \\(\\mathsf{J}_{n+1}\\) forms a basis for the admissible \\(m\\)-rules of \\(\\mathbf{D}_n\\). Moreover, if \\(\\mathsf{J}_{n+1}\\) is admissible in an extension \\(x\\) of \\(\\mathbf{D}_n\\), then \\(\\mathsf{J}_{n+1}\\) forms a basis of the admissible rules of \\(x\\) too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q386639$4B180B76-B115-41AE-8636-5386AFA52B21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc341d403f821c889894f8cb5337fe377605d4","datavalue":{"value":{"entity-type":"item","numeric-id":5283419,"id":"Q5283419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a735b483d85581b9d60e16837120f3e39672cd","datavalue":{"value":{"amount":"+0.8456571102142334","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":"Q386639$64B58FB9-82D6-4CA3-8FFA-FC1A05FDF2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8168ced63058c95f3ccaf4d00f48f1082c353f","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a84b661a8d9187df5de1c525250e2043e188bd","datavalue":{"value":{"amount":"+0.7857422232627869","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":"Q386639$3B6F5A20-0D54-4A7F-943E-E7C4FAFB3A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec9c97fd51bac5e9d2d6c87102a6f5c2981b681","datavalue":{"value":{"entity-type":"item","numeric-id":661289,"id":"Q661289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76364efec96fd84fe083f26ba0e4f32c5e6cda30","datavalue":{"value":{"amount":"+0.7842192649841309","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":"Q386639$C7FBD5FD-C572-414F-9DDB-788B7547E4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd345411df62d8e91bfa2fdb3b7ac46555caaa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65d028ed6fb438fa955b684562b8e273427c193","datavalue":{"value":{"amount":"+0.7787685394287109","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":"Q386639$B63233A7-E93F-40A8-A7B2-392573CF9425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d062a351f9842325c3aae3fd1e25ebddbaefddf","datavalue":{"value":{"entity-type":"item","numeric-id":5957911,"id":"Q5957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d17e66de618e743259ae60991374a295933ef5","datavalue":{"value":{"amount":"+0.7686327695846558","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":"Q386639$0B047383-E5E9-42FF-AF16-1C4657109AA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On unification and admissible rules in Gabbay-de Jongh logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_unification_and_admissible_rules_in_Gabbay-de_Jongh_logics"}}}}}