{"entities":{"Q387628":{"pageid":389395,"ns":120,"title":"Item:Q387628","lastrevid":61498512,"modified":"2026-04-10T23:45:20Z","type":"item","id":"Q387628","labels":{"en":{"language":"en","value":"Funayama's theorem revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6242118"}},"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":"Q387628$D122A469-3163-4B72-8F21-3DBFFE0D2D2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14a3a89e956d4670229821b4c2920cacf099be10","datavalue":{"value":{"text":"Funayama's theorem revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387628$A2BB543A-54CF-4B6D-A500-028C03C76A62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81909ec0735d06cd2ed8b4352b5a49ab94f3b216","datavalue":{"value":"1285.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$08F9F6EC-710D-455C-9738-E03E13860DBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$5AA0BA49-06F7-4575-9888-36063B6E870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$CC672E6B-7423-46F2-A2F3-6E6DF50676A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a64c885a1154df6f4ff877f7f306fc40e8a6d","datavalue":{"value":{"entity-type":"item","numeric-id":165870,"id":"Q165870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$53A3AE43-C5BE-4C37-A255-8FD5D6B7EA5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$48D92DDB-FE6E-4BF1-95FC-D619C123F98B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0e11583d201a0dd3bf37ec901f99ad4976fdfe9","datavalue":{"value":{"time":"+2013-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q387628$4E3F3DE3-454E-4E30-A559-4B616B5110F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b303300a96ff8d5cecb7b6600472412b4a539275","datavalue":{"value":"Let \\(L\\) be a lattice. \\(L\\) satisfies the \\textit{join infinite distributive law} (JID) if for each \\(a\\in L\\) and \\(T\\subseteq L\\), whenever \\(\\bigvee T\\) exists, so does \\(\\bigvee\\{a\\wedge t:t\\in T\\}\\), and \\(a\\wedge \\bigvee T=\\bigvee \\{a\\wedge t:t\\in T\\}\\). Dually, we have the meet infinite distributive law (MID). It is obvious that each lattice that satisfies either (JID) or (MID) is distributive.    Funayama's theorem states that there is an embedding \\(e\\) of \\(L\\) into a complete Boolean algebra \\(B\\) that preserve all existing joins and meets in \\(L\\) iff \\(L\\) satisfies (JID) and (MID). Since every complete Boolean algebra satisfies both (JID) and (MID), one direction of this theorem is obvious. Thus, the main challenge is in proving the other direction.    Funayama's original proof is quite involved. \\textit{G. Gr\u00e4tzer} gave (in [General lattice theory. Berlin: Akademie-Verlag (1978; Zbl 0385.06014); Basel-Stuttgart: Birkh\u00e4user Verlag (1978; Zbl 0385.06015); New York-San Francisco: Academic Press (1978; Zbl 0436.06001)]) a more accessible proof in case \\(L\\) is complete by showing that if \\(L\\) satisfies both (JID) and (MID), then the embedding of \\(L\\) into its free Boolean extension \\(B(L)\\) is a complete lattice embedding. Then, taking the MacNeille completion \\(\\overline{B(L)}\\) of \\(B(L)\\), we have a complete Boolean algebra and the composition \\(L\\hookrightarrow B(L)\\hookrightarrow \\overline{B(L)}\\) is a complete lattice embedding. A different proof of this theorem in the case where \\(L\\) is a complete lattice satisfying (JID) was given in [\\textit{P. T. Johnstone}, Stone spaces. Cambridge etc.: Cambridge University Press (1982; Zbl 0499.54001)].    In this paper, the authors show that Gr\u00e4tzer's proof has a generalization to the case when \\(L\\) is not necessarily complete, thus providing an accessible proof of Funayama's theorem in the general case. In the complete case, they show that the Boolean algebras obtained by Gr\u00e4tzer and Johnstone, respectively, are isomorphic. In the non-complete case, they show that the class of lattices satisfying (JID) properly contains the class of Heyting algebras and so they characterize lattices satisfying (JID) and (MID) by means of their Priestley spaces. Using duality theory, they give alternative proofs of Funayama's theorem and of the isomorphism between the Boolean algebras constructed by Gr\u00e4tzer and Johnstone, respectively. The authors conclude this paper by showing that, unlike Gr\u00e4tzer's proof, Johnstone's proof has no obvious generalization to the non-complete case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$73EB5238-BFD0-4DDB-9DEE-4F011048EA8A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$96E72A3C-2505-4757-9C81-649A2BDB4272","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$7628BAC4-974A-4A9F-80FD-2A220BFE776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$7A782941-86E9-42D8-A675-4EAAD07B540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$53C6D595-1765-4F78-9C5F-82EB57786677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$3235DDFB-B1BC-425C-B012-CA691979FE39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76361def1c4b8528e619f4c00fc287f218e9c838","datavalue":{"value":"6242118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$E759830D-1C7E-4EB1-849B-F0AC69A07486","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ac3e44e6b023e89beae3d81b14af6c6aa2e25b0","datavalue":{"value":"join infinite distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$9ECEE1A1-6193-476D-BAE6-7C9770BDBFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fb71466247679885c9ebd53b85be801f22a3c2","datavalue":{"value":"meet infinite distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$7A58391B-7DA7-46D5-84E1-7EA40A00017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ee498a659b9507eec04137fdbb62e6c450e47cd","datavalue":{"value":"free Boolean extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$5B34CA98-391F-40CA-8557-424BFA9DC5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$C098137E-FC67-4210-B845-8AC429ED3F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70acc4487c94a262d59dce688e5372fa6a0eb0a","datavalue":{"value":"nucleus","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$C52C74C5-54C4-43C0-A927-E51B607C4CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65de7f31e11fe95d68c508034b790b3ffb1d3f06","datavalue":{"value":"Priestley spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$6D0ED346-9019-42AF-8531-BDBF725D8AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8658d1fafd4d1a05080867862eaad470b6d08959","datavalue":{"value":"Esakia space","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$62148E6D-0A47-4F43-A4B3-643C3E7AEE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ed4c533fcab5b74020800d174aac52e73c49e3","datavalue":{"value":"subframe","type":"string"},"datatype":"string"},"type":"statement","id":"Q387628$0D56DBA4-89F0-4F9B-A89A-0260262953A5","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":"Q387628$338C6315-72D9-4F5E-A38C-59A410DCF0FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e9ff6ef8543d39f638f194be555c2d6168232b","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0247-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q387628$9EDE3289-1489-4695-88A1-282B5B41DFCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e258459539449add4022ff01e90e51eced8114ab","datavalue":{"value":"W2388886173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$8FFB8A72-F3BE-4F6B-A34B-10C4451D205C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$3FFA5C2E-49A6-4C7F-989F-4CCEAF9F9C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5031afd21b374c30d3d3cde93a81e7f9db58143d","datavalue":{"value":{"entity-type":"item","numeric-id":4883943,"id":"Q4883943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$152D31C3-2800-423F-A84E-8645604E7DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b531059db91c345d4988fb54138296500ebbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":3875987,"id":"Q3875987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$3D9BF9DD-1F30-42EB-977E-178B8A73C420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$2F8AD3ED-082D-4B43-955C-AAC5D20E6FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3760b801141d798ca65d9cd1f7c7b1bb40a3cbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$ABF4C398-FCD5-4EAF-AE9C-218110879CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$CD85EC1B-D660-40D7-A374-E9D5CBC62728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c738b08d87af7a43a4ff84f7d7ec3ddbc2b7ab14","datavalue":{"value":{"entity-type":"item","numeric-id":4137166,"id":"Q4137166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$C666E37B-0AB5-4C3F-9704-994C0A59646B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$E4FF98D4-41A7-46EB-A4FD-B5DD676F61E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$34F4650E-E993-4DD7-9F32-7420747CD83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a82bf53fc9a4b0899e982830e82d1aff15ea949","datavalue":{"value":{"entity-type":"item","numeric-id":5341802,"id":"Q5341802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$28953D28-5258-4586-B88D-396E20EF1B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5585d4baeb825d826f8bb66ff9726cc956b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5255790,"id":"Q5255790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$7E77B7CF-0F17-41A8-93D7-5A2DF236E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39e3c342e66df036e61e224b5255faaf947b35c","datavalue":{"value":{"entity-type":"item","numeric-id":4165426,"id":"Q4165426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$F37A4B33-42D3-4E53-BAF5-92A660C75DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$B06F1DF5-0A5F-44B6-9DF6-F21AF6ACF1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$F9BC10C2-C249-4538-96C1-DFA439169D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$E6F87DB1-AC85-4C58-B9C7-41C4F453D895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019734743e1f6f0e9294f7c65e9fd58809311f79","datavalue":{"value":{"entity-type":"item","numeric-id":1332448,"id":"Q1332448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$773A8E09-6DBF-4E2C-96CD-704C00CABB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$CB18C99E-D298-46A1-956B-A104C0E3EB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$432BCBB3-0C1B-4E9F-B14C-D91879A1FBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4a4ca5d70584fdbf5b4133865db0aaa12ebbfd","datavalue":{"value":{"entity-type":"item","numeric-id":3817283,"id":"Q3817283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$B978B7AB-AC29-4118-9E23-1C956888E556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$CE6190AF-11BC-46AD-B212-D38102367538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d374e5741d3af854e5693214e4ef65ec167cc13","datavalue":{"value":{"entity-type":"item","numeric-id":3257817,"id":"Q3257817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$AFA6DBC4-FAE7-4F6F-9ED1-0EE11FC23DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2b95b4f68437129e4d1a54582f30ef096ca3e2","datavalue":{"value":{"entity-type":"item","numeric-id":3909693,"id":"Q3909693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$5EE8B08A-A344-4AE2-839A-27E42E251813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387628$9E363EEE-D1F5-4AA6-ABBA-F70622D2BD29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81ff560c011b97756423bd6e3aecaaf66b104be0","datavalue":{"value":"10.1007/S00012-013-0247-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387628$CB11E7E3-F5C3-4B94-B9FD-E9CB8D0463CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4ad68fb731affb8e462cd9b89627793022eb51","datavalue":{"value":{"entity-type":"item","numeric-id":3590981,"id":"Q3590981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09bfc74eed77b652c2030144f6ebea08e4bc929","datavalue":{"value":{"amount":"+0.7206972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$4C93F92F-3B2C-4B60-B9D9-5BED2B71ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04615b2cba4537f951725a2b1a251683bd158dad","datavalue":{"value":{"entity-type":"item","numeric-id":1013989,"id":"Q1013989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15419d5a7011c3cf9a7dbfdff2cc4ead265bf714","datavalue":{"value":{"amount":"+0.7171672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$0F953133-5579-468A-BA77-7F58ACE7943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782d4a020c4b6015ac43b3ab058f46752677554c","datavalue":{"value":{"entity-type":"item","numeric-id":3984098,"id":"Q3984098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a689efaa1acf964a66adf3aa93f183de5268ef96","datavalue":{"value":{"amount":"+0.7129295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$AD76EBD9-41F6-4AA0-AF63-7DD5D1F7B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee8d6bd176250da0bca6d85e657c8cf928bb17f","datavalue":{"value":{"entity-type":"item","numeric-id":4904955,"id":"Q4904955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c0f6006e54d6911f85c3352fd7ff7d49baa332","datavalue":{"value":{"amount":"+0.70812124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$84854A4B-C2AE-43A2-9219-FF5FDAC1E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad12751141b89b3f6aaf9b9ebdede9feec0d244","datavalue":{"value":{"entity-type":"item","numeric-id":1272094,"id":"Q1272094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc922a66b82cff9dd9e514e15faa65245740989f","datavalue":{"value":{"amount":"+0.7037457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$F33B3758-0D9D-4BB7-B3A4-2EA45E18CC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312946a7fbe42ccd3e1d983deb517a78bbe2244e","datavalue":{"value":{"entity-type":"item","numeric-id":3315561,"id":"Q3315561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b232a942077e10bbbe19d26f2ceb73b97ef24a5","datavalue":{"value":{"amount":"+0.6996768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$E121F7BD-F076-44A8-95FB-59D12ED83A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bdc9f4cfa1aa432e072bbc332616d479625c57","datavalue":{"value":{"entity-type":"item","numeric-id":4286322,"id":"Q4286322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518e30f37774192bb3b06fd50fe34726bc091bcc","datavalue":{"value":{"amount":"+0.6969332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$E775665F-87D9-4C7C-B55B-469117E5B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75654961ecbec8fd6e02750e72a9655db73c1a96","datavalue":{"value":{"entity-type":"item","numeric-id":3199463,"id":"Q3199463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09af1ea9d2e0c6eb0722e9aaf906c72b6b9513a8","datavalue":{"value":{"amount":"+0.6961124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387628$55AA5BD6-BC7D-4AD3-979D-FCF49FC04BA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Funayama's theorem revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Funayama%27s_theorem_revisited"}}}}}