{"entities":{"Q1790607":{"pageid":1801349,"ns":120,"title":"Item:Q1790607","lastrevid":69138120,"modified":"2026-04-13T05:01:20Z","type":"item","id":"Q1790607","labels":{"en":{"language":"en","value":"Hereditarily structurally complete superintuitionistic deductive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946465"}},"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":"Q1790607$01066756-6193-45F8-AB7E-9405EDA16B58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f835217a34193e29c51befb89e23b1ec28f35bc6","datavalue":{"value":{"text":"Hereditarily structurally complete superintuitionistic deductive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1790607$4A215BA3-3760-4662-9F58-A9D625B7C627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b21c3e19434210e221e0cc53c0550cfeea82f048","datavalue":{"value":"1439.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790607$19884D04-1421-4E55-ABEA-0F4D6CC1631F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"579335856e47b24da10b5706b1182084ec568e74","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$AEFE9956-B3BF-4DC4-8F2B-92F827BB2B7D","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":"Q1790607$E0CACA93-9690-410D-8C36-B13AEFD17FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18f7b6f0a3691379e3fad64a28fa4b629012c7d6","datavalue":{"value":{"time":"+2018-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1790607$F268088B-9227-4407-BFE4-EEB959903B6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcfc9c02c77a2d3ccdb20b7b057925f13bac05a2","datavalue":{"value":"https://arxiv.org/abs/1611.04809","type":"string"},"datatype":"url"},"type":"statement","id":"Q1790607$363A4334-99E3-4F89-AD2A-141BEAC3D20D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"387b408d74cbc14aae8d38d895b879d3240f9a49","datavalue":{"value":"A deductive system \\(\\langle Ax,R\\rangle\\) is defined by a set of (schemes of) axioms \\(Ax\\) and a set of rules \\(R\\). Any deductive system  \\(\\mathsf S=\\langle Ax,R\\rangle\\) defines in a natural way a consequence relation \\(\\vdash_{\\mathsf S}\\) and a logic \\(\\mathsf L(\\mathsf S)\\) (the set of formulas derivable from \\(Ax\\) by means of rules in \\(R\\)). A deductive system \\(\\mathsf S_2\\) is a deductive extension of \\(\\mathsf S_1\\) if  \\(\\vdash_{\\mathsf S_1}\\subseteq\\vdash_{\\mathsf S_2}\\). A deductive system \\(\\mathsf S\\) is called structurally complete if every rule admissible in  \\(\\mathsf S\\) is derivable in \\(\\mathsf S\\). A structurally complete system \\(\\mathsf S\\) is hereditarily structurally complete (h.s.c.) if every  deductive extension of \\(\\mathsf S\\) is structurally complete. It is known that for any deductive system \\(\\mathsf S\\), there is a structurally  complete deductive system \\(\\widetilde{S}\\) (the structural completion of \\(\\mathsf S\\)) such that \\(\\mathsf L(\\mathsf S)=\\mathsf L(\\widetilde{\\mathsf S})\\). Theorem~4.9 gives a necessary and sufficient condition for a system \\(\\widetilde{S}\\) to be h.s.c. in terms of preserving a relative base of rules admissible in \\(\\mathsf S\\) under deductive extensions of \\(\\mathsf S\\). The following problem is studied in the paper: given a superintuitionistic  deductive system (i.e., a deductive extension of intuitionistic propositional calculus \\(\\mathsf{IPC}\\)) \\(\\mathsf S\\), is the system \\(\\widetilde{S}\\)  h.s.c.? It is proved that there are continuum many h.s.c. superintuitionistic logics. On the other hand, there are continuum many  superintuitionistic logics which are not h.s.c..  Some concrete intermediate logics are considered. Namely, structural completions of the  intuitionistic logic, the G\u00f6del-Dummett logic, the G\u00f6del logics \\(G_n\\), the Yankov logic \\(\\mathsf{IPC}+\\neg p\\lor\\neg\\neg p\\), the logic of  Visser's rules, the logic of the Rieger-Nishimura ladder, the Smetanich logic are h.s.c.. At the same time, structural completions of the logics \\(\\mathsf{BD}_n\\)  of depth \\(n\\) for \\(n>3\\), the Kreisel-Putnam logic, the Medvedev logic of finite problems are not h.s.c.. For the negative results, the following  statement is important: for a logic \\(\\mathsf L\\), if the Lindenbaum algebra of formulas of one variable is finite and has at least 15 elements,  then the structural completion of \\(\\mathsf L\\) is not h.s.c..  There is no smallest h.s.c. deductive system extending \\(\\mathsf{IPC}\\). A deductive  system \\(\\mathsf S\\) is said to have the finite model property relative to admissibility if for every rule \\(\\mathsf r\\) not admissible in \\(\\mathsf S\\), there exists a finite Heyting algebra in which all admissible rules are valid but \\(\\mathsf r\\) is not valid. It is proved that there are continuum  many h.s.c. deductive systems without the finite model property relative to admissibility. A correspondence between h.s.c. deductive systems and properties of quasivarieties of Heyting algebras plays an important role in getting some results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$1050950C-6417-43D3-BD6D-CC9D981C94AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$FC0AED12-C053-4807-B416-5178D7C05806","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790607$3D0A0A42-685A-4105-8DA1-EA8720F80B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790607$A1D1AAE7-4A6D-4205-9550-8A7A3C95AD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a765c14a0447d663d44475b4e82fe3a0e0d507fa","datavalue":{"value":"6946465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790607$7548E149-944A-465E-8586-7C8E14A6B835","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$D316E7D7-B81F-4440-9D2F-8286A4D452F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$42C98285-03E0-4187-A429-0403B70BF044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$83000A0A-662D-44CD-A7FF-2EA4C5135E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$F6A7A2B2-1CD4-4D5D-8BE0-01C8545E913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"841f5b15baf468cc747fc0722eb4d8a37cbca2fe","datavalue":{"value":"hereditary structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$D3E8F9C4-3CB2-4C95-A65C-B191860AD23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$B1A2DB5E-202A-4AA0-9A48-72665368BD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9ecaa75540a3efa2d610af5195542bd51b7b84","datavalue":{"value":"primitive quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1790607$1679C501-7C7A-439D-B17F-8E4D8F3E95FC","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":"Q1790607$D96ED5A2-8B62-4A9F-AC57-CF0AF6B007AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbc521bfe5dbff10df9129c5da932eb29b7489b2","datavalue":{"value":"W2586254625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790607$5F86BA4F-C4D6-4B61-ACD0-50171A1CF4B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f614113e6cdc567134dd5f11080b39f9ea52705","datavalue":{"value":{"entity-type":"item","numeric-id":5597549,"id":"Q5597549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$A07910AA-C392-4166-B453-BB1C6F08F78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67523fc9f334c12cfc4f2c2ef0f88775a912ae67","datavalue":{"value":{"entity-type":"item","numeric-id":4011709,"id":"Q4011709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$A63307EE-DB09-45C4-A2C0-CFDC37A4DAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dc67082ba9d9143358226f3b7c64bbcc9561fe","datavalue":{"value":{"entity-type":"item","numeric-id":1771891,"id":"Q1771891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$C154BB11-88BA-41D8-9EAE-BA09C78F929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614feb9c6544269ccbb30568d8b95479db3187d1","datavalue":{"value":{"entity-type":"item","numeric-id":3534983,"id":"Q3534983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$3CEB586B-5EEB-447F-B610-A692AB77858D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$FDD72211-5500-4BD0-830E-D2C9D0F3E7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$FCA6E011-CD81-4263-9E2D-116DC96F12F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$3FEF2D0D-E8EB-4439-9B41-B7B7068FAE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf9f35305cec81383dab47d3302a015808f01f7","datavalue":{"value":{"entity-type":"item","numeric-id":1038654,"id":"Q1038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$72DF9A4F-46C5-441B-B859-2BE6BF1A4C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$9AA56C02-CB5F-4FB3-B4AB-4352C467E6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7934e33a35dd0c63bef1207c76931c406afb2c","datavalue":{"value":{"entity-type":"item","numeric-id":3772270,"id":"Q3772270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$EEFF591E-BD9B-43B6-8B27-8712639FA877","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":"Q1790607$445C4127-4F4E-45C1-BE76-D770A82D0038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a706862102e08346fb5b98ec547aa22293ece4","datavalue":{"value":{"entity-type":"item","numeric-id":278762,"id":"Q278762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$E76EFA72-7F7D-4DAB-9CFF-7405A917B1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab2b9bf036fadaaf8eb2c6d7ad54622ca048a0cc","datavalue":{"value":{"entity-type":"item","numeric-id":1233020,"id":"Q1233020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$A67072B2-05B5-4ACF-9B63-4CA87EAAAD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$206DCE31-0B0F-4599-B5A6-3031D584C93D","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":"Q1790607$09041866-84E7-4BBD-BA44-8A9F9B1F4CB6","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":"Q1790607$F689ACA2-CCBD-4BBD-9170-52026B7E4694","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":"Q1790607$B0443E38-30B2-4598-A1BE-EA53E2ECAB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$9AD21F03-A8FD-43B0-8C30-6E31BCC109B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13f50da9042f2f43e4eb607bb6a80929a61b53e","datavalue":{"value":{"entity-type":"item","numeric-id":5590782,"id":"Q5590782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$7511F6C1-5E2D-475F-A568-3EC222F01626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793f71fbbf14cbcfa91425f19c3fd6fbd221f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5588586,"id":"Q5588586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$650EE13B-B3BB-411F-8838-19CEEB294D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd1ca54b0e35669c1d25612eaadc1d2fdf3fd7d","datavalue":{"value":{"entity-type":"item","numeric-id":5245319,"id":"Q5245319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$E7258E11-6512-412D-9A89-DCF1FF3E3D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caef83d8c323369d390f06220cb4f544d73185f7","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$ECE05211-1371-45BE-9AC6-90A8B8655BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9ad6b6e321a7e2337813c8f50d9008365af515","datavalue":{"value":{"entity-type":"item","numeric-id":5616120,"id":"Q5616120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$2E831A29-9DE1-47E2-B930-0AD6E96D15D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0309c0557f9fc758ee71fe6eb1957c36e39215a","datavalue":{"value":{"entity-type":"item","numeric-id":4133597,"id":"Q4133597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$0A0B681A-D5E5-4514-94AF-C5AB2A7171C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72b1d020a8215d8ceeb1b77f5aa9149d1a7d6d7","datavalue":{"value":{"entity-type":"item","numeric-id":2374395,"id":"Q2374395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$AA118741-3F6F-4CA6-B7DE-19FDE8A040A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cef826c2d9d979712cacf8e27f1e26635fdae2","datavalue":{"value":{"entity-type":"item","numeric-id":4836055,"id":"Q4836055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$1EDADEB7-4B45-4409-A85D-1261CAC0796E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ae024dcc714b7d380639431f1ef67556c0021d","datavalue":{"value":{"entity-type":"item","numeric-id":4530732,"id":"Q4530732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$04BB3CE6-6C7A-49F2-90DA-B6FDF2106C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a661c2080233a2ef54e07a10037e82f3f7250","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$08B51648-D4C2-4C7E-8B9B-56A7BB8B59BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b99d9296ab5eba92b026b6c64ebd5668144485","datavalue":{"value":{"entity-type":"item","numeric-id":4304123,"id":"Q4304123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$80F92B51-6066-4027-A648-8D653BA23A13","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":"Q1790607$A4E65530-9E98-4BF3-BC9B-71DE4B2CEFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fd5a2f0979b8ec18f6f11198e9f252c9b63233","datavalue":{"value":{"entity-type":"item","numeric-id":4704656,"id":"Q4704656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$2408EF2F-54DF-4C2D-A9B8-21364BA8F666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e283f19cd2d66222fb90423cccfececb8bfe759","datavalue":{"value":{"entity-type":"item","numeric-id":3117777,"id":"Q3117777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$0A77FE6F-10E6-49AE-B364-02D592CC762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2ea534879b7d8fcf006b05153ab014c9afd9c1","datavalue":{"value":{"entity-type":"item","numeric-id":4820597,"id":"Q4820597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1790607$112681A8-776F-4642-8EC4-1DF327A986D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1873d208c95b09f9ce9d7c1d5f861bdc4f0f1e3a","datavalue":{"value":"10.1007/S11225-017-9769-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1790607$411C7440-09B3-4C7D-A17C-AD6B02AF048D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd0eb1fe2ba9322e58e0dcb65e5c82edac930e8","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5e3729f5477bb24db2ff22dae72a6d95733f87","datavalue":{"value":{"amount":"+0.8565406203269958","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":"Q1790607$917B400E-C16C-431F-BEE5-C23359C99A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dda455f2ff103a2dfe2af72f5a7a96f73ebf56","datavalue":{"value":{"entity-type":"item","numeric-id":4836055,"id":"Q4836055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3ab176d88780a16083c45792176188dc3316a1","datavalue":{"value":{"amount":"+0.8002676963806152","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":"Q1790607$D792A6C4-B8A9-4E07-9706-B2BCA9B5223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a781da4cda25a241b6ff8e4e3a8d43172ecca5","datavalue":{"value":{"entity-type":"item","numeric-id":4820592,"id":"Q4820592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3ab176d88780a16083c45792176188dc3316a1","datavalue":{"value":{"amount":"+0.8002676963806152","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":"Q1790607$910B44A5-A6A7-4FCA-871F-8D3474650619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b263ab830445b64d4bc4cbe4da53c7c14f29e66a","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234115f2514e505d2516ec3c5610558eaefb86ed","datavalue":{"value":{"amount":"+0.7961050271987915","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":"Q1790607$7E24ED47-1E6D-4D21-8BCE-64A6F83C2657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1523c4520993f3c16eb044de82bd5a3cb5b2c922","datavalue":{"value":{"entity-type":"item","numeric-id":5117590,"id":"Q5117590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96baf8e85a19e203f75e0679d2269b71a2b04561","datavalue":{"value":{"amount":"+0.7870321273803711","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":"Q1790607$0D769C76-ED2B-4583-B8BC-2B848739A168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hereditarily structurally complete superintuitionistic deductive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hereditarily_structurally_complete_superintuitionistic_deductive_systems"}}}}}