{"entities":{"Q716501":{"pageid":718350,"ns":120,"title":"Item:Q716501","lastrevid":63782292,"modified":"2026-04-11T15:30:34Z","type":"item","id":"Q716501","labels":{"en":{"language":"en","value":"Finite axiomatizability in \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949324"}},"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":"Q716501$9FB4CB4F-84F7-46D2-9C8F-348CBD18742E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9307ddc2cc89b18140472f46435ffe041aef6ed","datavalue":{"value":{"text":"Finite axiomatizability in \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q716501$3BFA62E5-3317-4C99-B696-87F7178E4CF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41cf9adb1d57839ce9ea8bc15f47cd92261b1fe4","datavalue":{"value":"1248.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$3815B7DD-BB41-4528-AE5F-370463CFF353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$626A334C-0981-4BC7-BC63-DBD384F49E1E","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":"Q716501$94EE8AC0-A36D-4A1F-9FB9-2DB2151EC7B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q716501$F8276C9F-58B0-472F-9720-CE84B33E7292","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30be1747cac87799a3834ff113fbb7440bcbd9e6","datavalue":{"value":"Using the deep relationship between \u0141ukasiewicz logic, MV-algebras, and piecewise linear geometry, the main result the paper proves is a classification of (equivalent classes of) finitely axiomatisable theories in \u0141ukasiewicz propositional logic by means of weighted abstract simplicial complexes. Recall that an abstract simplicial complex is a pair \\((V,\\Sigma)\\) where \\(V\\) is a finite nonempty set and \\(\\Sigma\\) is a set of subsets of \\(V\\) whose union is \\(V\\) and such that every subset of an element of \\(\\Sigma\\) is again in \\(\\Sigma\\). A \\textit{weighted abstract simplical complex} \\((V,\\Sigma,\\omega)\\) is an abstract simplicial complex \\((V,\\Sigma)\\) together with a function \\(\\omega\\) mapping \\(V\\) to the positive integers. The main steps of the proofs are:  1) The fact that the Lindenbaum algebra of every (theory consisting of a) \\(1\\)-satisfiable formula \\(\\theta\\) in \\(n\\) propositional variables is the algebra of \\(n\\)-variate McNaughton functions restricted to \\(\\mathrm{Mod}(\\theta) = \\{v \\in [0,1]^n \\mid v(\\theta) = 1\\}\\), where truth-assignments have been identified with points in the unit hypercube.  2) The fact that for each nonempty subset \\(X \\subseteq [0,1]^n\\), \\(X\\) is a rational polyhedron (i.e., a finite union of compact convex polyhedra with rational vertices) iff \\(X = \\mathrm{Mod}(\\psi)\\) for some formula \\(\\psi\\).  3) The lemma that proves that a theory \\(\\Theta\\) is finitely axiomatisable iff \\(\\Theta = \\mathrm{Th}(P) = \\{\\psi \\mid v(\\psi) = 1, \\forall v \\in P\\}\\), for \\(P\\) some rational polyhedron.  4) The theorem that proves that the map \\(P \\mapsto \\mathrm{Th}(P)\\) determines a bijective correspondence between \\(\\mathbb{Z}\\)-homeomorphism classes of rational polyhedra in some \\(n\\)-cube, and equivalence classes of finitely axiomatisable theories (where two polyhedra \\(P\\), \\(Q\\) are said to be \\(\\mathbb{Z}\\)-homeomorphic if there is a piecewise linear homeomoprhism \\(\\eta : P \\to Q\\) that is onto and such that each linear piece of both \\(\\eta\\) and its inverse has integer coefficients).  5) The theorem proving that two weighted abstract simplicial complexes \\(K\\), \\(K'\\) are equivalent iff \\(\\mathrm{Th}(|\\Delta_K|)\\) is equivalent to \\(\\mathrm{Th}(|\\Delta_{K'}|)\\) (where \\(|\\Delta_K|\\) is the geometric realisation, as a rational polyhedron in \\([0,1]^n\\), of \\(K\\), and where two weighted abstract complexes are equivalent if they can be connected by a finite sequence of simple stellar subdivisions and their inverses).  6) The proposition proving that for every finitely axiomatisable theory \\(\\Theta\\) there is a weighted abstract simplicial complex \\(H\\) such that \\(\\Theta\\) is equivalent to \\(\\mathrm{Th}(|\\Delta_H|)\\).  The main theorem is then proved in the following form: The map \\(K \\mapsto \\mathrm{Th}(|\\Delta_K|)\\) determines a bijective correspondence between equivalence classes of weighted abstract simplicial complexes and equivalence classes of finitely axiomatisable theories in \u0141ukasiewicz propositional logic.  The author then proves that the equivalence problem for weighted abstract simplicial complexes is decidable iff so is the equivalence problem for finitely axiomatisable theories. It must be stressed that the decidability status of these problems is still open, while Markov's result cited in the bibliography implies that the equivalence problem for abstract simplicial complexes is undecidable.  The paper is completed with a brief survey of recent related results, showing that the field has been attracting increasing attention in the last few years.","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$0791A473-9945-484C-A9CE-E1437ED70174","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c9d8398a1ca729172ff10438ecb041a167d56eac","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$3E9CCC15-D74E-485D-8413-E4AB3FDC10E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$CF6EEBF6-9DA1-4BF7-8952-F7B4D04E8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$4FD0212F-E56B-42DD-9B80-F9A6424FFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a1cad158d855a2e8ea1a990792bb1979d58b9a7","datavalue":{"value":"14E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$4982E8CD-2A83-4C73-A700-2E473DD18917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$794B6119-B5A8-4249-9E76-79DAC23798E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7895a51deddeb07cbc966c2f535f0b106def3baf","datavalue":{"value":"5949324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$753441FC-F6A9-4483-9436-C81458EF4798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$35678604-CC79-43C3-86E0-E5A4499E9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$A1BA39C8-CBF7-47E3-8C9E-06E78E767E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$5227813D-82DA-4528-B9D7-CBADCC78A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15c7904f29b6ead5c6b56139f54d5a37b925235","datavalue":{"value":"finitely presented algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$B1CA403A-C7B0-4DF2-B262-3C29F060D8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dde588d49fdd98eaa11e965525c7338aa4a1e8f","datavalue":{"value":"rational polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$FF80789C-B7B9-4267-819C-A4C23B1606B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b826843ab20a87c9262e0d558d414868bdd4a5","datavalue":{"value":"simplicial complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q716501$977A5511-D3FA-436F-B66B-6B4801CEF24A","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":"Q716501$9EFC84C6-5B3A-438F-B0DE-5637A412F782","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86122afd234a8f5c1e5c0eabcfb71cc41e715231","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.06.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q716501$6FD7E2B8-5513-4A75-BF0B-52DE0DC36C08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17f6778cd0f8b89c46af42189636b3cd8e7d680d","datavalue":{"value":"W2034881471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$ECE4F238-03D1-4060-8A6D-650EF189F558","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a2dc34fdb35c0b67594e2b5ec4d23362ba0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2370369,"id":"Q2370369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$8FBA89BB-683B-4313-9E1D-DD8E9F892B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da98d83333a4041ba9356afb37323237aa80e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3259120,"id":"Q3259120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$EB6038C3-A591-491C-94C9-BB6F640FB204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203b6be28238bc75a2d12873673e8fa7edeb7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2498916,"id":"Q2498916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$9D182E99-AC79-479E-ACF2-BFF2685A3A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045f8fe04305bc40be029347b7c42bb89b56f3fc","datavalue":{"value":{"entity-type":"item","numeric-id":5187858,"id":"Q5187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$6A297782-48C4-4932-B728-A900D6586552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$537C6488-B4BF-4B93-8EC3-4DEA5698FF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a390ce09ae657141a08eabf36ab59d542c3f63","datavalue":{"value":{"entity-type":"item","numeric-id":1434764,"id":"Q1434764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$94689B7A-3303-46AF-A36B-BE33B80F2CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eedade48465f602f655009f56f2542441c8b1b","datavalue":{"value":{"entity-type":"item","numeric-id":1877093,"id":"Q1877093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$5F0D5E42-72B1-4871-93F0-CF6CC2650D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980784bc9886c846c3ff836902108aa11b9aab0","datavalue":{"value":{"entity-type":"item","numeric-id":5687941,"id":"Q5687941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$E8DE0309-3411-44F8-9B78-E848F4CDB605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97bffece7a27fdc89217b1aa07b2f8fb03275cb4","datavalue":{"value":{"entity-type":"item","numeric-id":3267404,"id":"Q3267404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$FCD0C40A-89C8-41AC-9868-B744A764C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cfdf0b633228b3eafd48c8bb7adc37efac3203","datavalue":{"value":{"entity-type":"item","numeric-id":3262787,"id":"Q3262787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$7BEA1D75-DDA5-4851-9E40-39021E63685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e763156958e2c249238046bb7fd44d00554643","datavalue":{"value":{"entity-type":"item","numeric-id":5309027,"id":"Q5309027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$FCF8AC6B-2522-44B9-A9CF-F842D5089942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$8246796B-DF7D-4E5B-9355-0E20239771A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a416b999b67f41f3eeeb826e5c40e6497c3b83c0","datavalue":{"value":{"entity-type":"item","numeric-id":3837472,"id":"Q3837472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$23BDABA3-8045-4402-BEB3-1DB56F3E2041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$81F0253A-3205-4E21-9804-387CA64C5FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a93ddfa4e3d4ba51fb1b5d5e75a79c50d5e1e2e","datavalue":{"value":{"entity-type":"item","numeric-id":1123916,"id":"Q1123916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$CAE21112-A1AC-46C7-9DE4-7EA5F9B4BE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab21d5f61b12448fdb1808b444bc3428d3da0c9","datavalue":{"value":{"entity-type":"item","numeric-id":818513,"id":"Q818513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$DB6D5B40-F487-4D39-B31C-B6ECE77CA2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0e7c76dd163ea11f708a0cabcd72001cb67d1b","datavalue":{"value":{"entity-type":"item","numeric-id":3435579,"id":"Q3435579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$8138B7C2-3450-48DE-9A31-354F9832C1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed439405436f4a07719f5739defffbbe055db68c","datavalue":{"value":{"entity-type":"item","numeric-id":5935996,"id":"Q5935996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$434B1FD4-DC36-4A88-A773-17C5F9C4938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c82701bf2a0dc501208776d94b3e9196794262f","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$F643D78B-6650-49C7-8E5F-B64BDB07934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8307542c36dfed46e360aa0670f904b1a7c65845","datavalue":{"value":{"entity-type":"item","numeric-id":2503197,"id":"Q2503197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$55AEBED9-A29A-48FE-8FA4-66996A43A630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f88437bb6b98943f14ce50df24d65f2cd63ca9","datavalue":{"value":{"entity-type":"item","numeric-id":860428,"id":"Q860428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$24AA2DAC-F369-4EFD-90B4-45C93FCE7CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef0ae29403da19780240ba90c57c313cc746811","datavalue":{"value":{"entity-type":"item","numeric-id":5667781,"id":"Q5667781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$AA300286-4195-4C39-882A-F6CC61466BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69574749d3da33d5ca22cf470962a52ec4923e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5328362,"id":"Q5328362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$D3F44876-CE75-4154-A31B-01CF49CC515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbb3c8f703ceee629f40e1a776b26b1f63bace4","datavalue":{"value":{"entity-type":"item","numeric-id":5801623,"id":"Q5801623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$8288F7FD-E158-410B-9E69-CCE0C9C7A248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7604b0dfb11ed292d8abd7e2b0b448ec393add00","datavalue":{"value":{"entity-type":"item","numeric-id":5690979,"id":"Q5690979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$49017AB0-1D4E-4B61-B60A-DC7B7820502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddc28176968b5fa81cadeea6f691407b2778d13","datavalue":{"value":{"entity-type":"item","numeric-id":636351,"id":"Q636351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$17DA267F-CDA4-4F3B-A69E-3DC50BFB5BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35ea896739f3430bb3f5ecdf3ebde0b6bd0a53f","datavalue":{"value":{"entity-type":"item","numeric-id":3583098,"id":"Q3583098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$A1AB2310-4036-4E62-994E-4F0E458AF7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8b6ebd38970df219d2a1cc5ca49f7e7a67fde","datavalue":{"value":{"entity-type":"item","numeric-id":3529898,"id":"Q3529898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$E76B5340-CBDE-4A53-AABB-C026766FFD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6443e1f5264eb1d2afd7419e58e3fe767e211f6","datavalue":{"value":{"entity-type":"item","numeric-id":976753,"id":"Q976753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$E0DDA09F-5218-4983-AEC4-AD9377A2B992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316b469123164811b4aa6f188bd6a280080ad278","datavalue":{"value":{"entity-type":"item","numeric-id":2905288,"id":"Q2905288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$5C31D7D9-A788-4E6E-876B-D9690A1A6776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a1bffb77f913a12ded9c3d7bc617618b65c4b","datavalue":{"value":{"entity-type":"item","numeric-id":661891,"id":"Q661891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$8B8DA483-F44A-484C-B9D1-D3100AFD8A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160921657b1f4bbb4235f1789d6c2aa426e6319f","datavalue":{"value":{"entity-type":"item","numeric-id":636342,"id":"Q636342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$5D0435F9-3C7F-4230-802E-A5D29CC7AEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f10a7600450d7afabf044fe3443f9c130af6b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3004945,"id":"Q3004945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$F1E01A8E-DF22-4010-9461-2152B32DE8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658f9cc66421b30cedc8b625d60a6ec06a280c40","datavalue":{"value":{"entity-type":"item","numeric-id":4915092,"id":"Q4915092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$61F81B9D-CB9D-46BF-AE53-8A254E878808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7befa320eb4d3a0d32f32b071037d49a57c926e3","datavalue":{"value":{"entity-type":"item","numeric-id":3440002,"id":"Q3440002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$98C212DA-65CB-4772-BFD8-C647E6F9AD26","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":"Q716501$3A83241C-DE74-4513-9039-C08F7AE226C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be035adff077ea27e9986c4ed93034cde3f0bfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3069724,"id":"Q3069724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$6724F9E1-0CC0-424E-BB29-D012721F9831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee05b382448898647be5358cf3de89a816004b1d","datavalue":{"value":{"entity-type":"item","numeric-id":2379841,"id":"Q2379841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$3325E9C7-6DC2-447A-8CF0-EC4655FAC547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0487605433b6cb9a780127257f216417bd945ee","datavalue":{"value":{"entity-type":"item","numeric-id":3420373,"id":"Q3420373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$3F6423F2-64C8-4771-8AC6-037F519CF641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6a85f13cb84aebb8026450602dfe79b00fdb8e","datavalue":{"value":{"entity-type":"item","numeric-id":3401165,"id":"Q3401165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$E97D56A9-A365-4857-B89B-B66076E9B387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84809811f1849b0dd3311c960e90ae6d31ee796f","datavalue":{"value":{"entity-type":"item","numeric-id":861847,"id":"Q861847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$90DBACCF-7CE1-474E-BC72-96714A826EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24023522acdd4fd619c5d038ead5f79f74c3ad3e","datavalue":{"value":{"entity-type":"item","numeric-id":995600,"id":"Q995600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$FF377DAD-DDF3-44A3-B88A-0FE845F6C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa4222b6c71ca968c9fa85fb5ff1bb6e000e6f9","datavalue":{"value":{"entity-type":"item","numeric-id":3600570,"id":"Q3600570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$CBFC19AE-5D4D-4AF8-8881-CC90A9B01626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d711bc2c09c1652f1843c856a808c0ca6beb5d","datavalue":{"value":{"entity-type":"item","numeric-id":934147,"id":"Q934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$605702F4-D508-44E2-8399-0E888D415A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c046019840c1852bbe6d74e3225c9434c34d913","datavalue":{"value":{"entity-type":"item","numeric-id":1035659,"id":"Q1035659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$A19194B4-FC1F-46E2-85B9-0EB49F263746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03fdcecc646fef5eace9befbd175955300fb162","datavalue":{"value":{"entity-type":"item","numeric-id":626097,"id":"Q626097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$1BFF1F12-DE9B-4B57-A88D-39C5AB6AAFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7454820726851f5b5b0d597ad4eb9a9152858a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3546146,"id":"Q3546146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$5CAE5EAB-D098-4CE1-8CFA-6577A361AA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77a9214cda195bcd568e53dbe2cc057b70f67fa","datavalue":{"value":{"entity-type":"item","numeric-id":3525186,"id":"Q3525186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716501$F60A1446-353C-4B5E-9663-53CFE6BDDB2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5bb91d782061263826da00499267659392cc3d5","datavalue":{"value":"10.1016/J.APAL.2011.06.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716501$8FDAB926-76F6-40F7-BBE4-96B97C0F84CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6c04ebaf451bf98b0044fe2add4de8992068ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdbb6d7c26b835c25a586a15331f63beef44355","datavalue":{"value":{"amount":"+0.7636593580245972","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":"Q716501$A4B458AC-7002-415B-8A88-6E7BDDFC0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ef87375c3f41a58793152369c8ae8411119d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3623218,"id":"Q3623218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1a08eab3f1e27c111fc21c2304c060acf56a12","datavalue":{"value":{"amount":"+0.763552188873291","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":"Q716501$228C4844-AE07-401F-BD5D-CF88DEE810E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b493cf34fbb3f2751e19dc9122d266f4f05d9f8","datavalue":{"value":{"entity-type":"item","numeric-id":3522700,"id":"Q3522700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de869fce24f27d8536785b0f454cb875e352931","datavalue":{"value":{"amount":"+0.7617847919464111","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":"Q716501$EDB985F9-5BA5-4C04-AB9B-B1970758B5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85252c0ddf4c140b97030e18fe2e47cb3226e540","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468803f35f609966b67d3ff01c085a0081648ea7","datavalue":{"value":{"amount":"+0.7570652961730957","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":"Q716501$1CACF36C-07CA-41D2-A166-03638CE9B93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb403c9bbb5a16531bef2300b5a474210cf01c","datavalue":{"value":{"entity-type":"item","numeric-id":1971778,"id":"Q1971778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03001e89b8c88f1181a4e31e2b7eb752591bb0da","datavalue":{"value":{"amount":"+0.7548528909683228","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":"Q716501$034206F2-1AD0-4258-AA34-FF12F97852A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite axiomatizability in \u0141ukasiewicz logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_axiomatizability_in_%C5%81ukasiewicz_logic"}}}}}