{"entities":{"Q5090501":{"pageid":7120077,"ns":120,"title":"Item:Q5090501","lastrevid":55960474,"modified":"2026-02-21T13:09:18Z","type":"item","id":"Q5090501","labels":{"en":{"language":"en","value":"Lifting Theorems for Equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559159"}},"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":"Q5090501$1C79531E-919C-4E67-B132-5047FC154A5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e4034e7197211fec0d1a1b7ace521b43b3282e","datavalue":{"value":{"entity-type":"item","numeric-id":343855,"id":"Q343855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$A17929C6-E338-4CC3-92F4-3C0E46220A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"272fdeb62097a0625fd668d046e7880adaa46294","datavalue":{"value":{"entity-type":"item","numeric-id":2164679,"id":"Q2164679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$CA2C9434-F35F-44B0-AFCC-D1CAC6D9CA4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090501$DD72FB21-0155-425E-ACB1-4A19F7AA1CF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090501$01E39942-4A41-4310-AC8F-2469B75F7CC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98ed9c2f4b2752b49738e03eb57fa10cc8f222a6","datavalue":{"value":"7559159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090501$5461B785-4790-4F81-9FE5-00A1E1AD83A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d59f9270ba2c0b3161162dab212fcc774a42eba","datavalue":{"value":"communication complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090501$35CCDC09-9AD2-41E7-B03A-88C38914E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8745712302d28813999fe70c270cd7743c07054b","datavalue":{"value":"query complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090501$0540E9AD-4C8E-45B4-9DF3-67730FD1E13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23337078e6f4b7f21bde89e8c7883f47631f1ac2","datavalue":{"value":"simulation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090501$6B086BA2-5C94-4327-B0AD-E7FF3EA74F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb93fc07074ef63f6009a868746ff3fa3a013b77","datavalue":{"value":"equality function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090501$ED41CD5A-4BA3-40CD-A42F-6F338195AF5F","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":"Q5090501$770264BC-9AEE-4DDD-AE4D-3AB170D81F6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb653aecc995587a995ebd23483a055d84872cc","datavalue":{"value":{"entity-type":"item","numeric-id":2848223,"id":"Q2848223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$2703DAF0-11AE-48A1-AEF4-1329B85188D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bad333234c63e9812984acdd040abd539c12e7","datavalue":{"value":{"entity-type":"item","numeric-id":4571396,"id":"Q4571396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$EFDC073B-5E09-40FE-98A3-CA1BA6072C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0bd7c4140fa6168df48fe42dab5dc96ad6818f","datavalue":{"value":{"entity-type":"item","numeric-id":2986089,"id":"Q2986089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$9AF6B7FE-206C-42B4-81E5-F6528928C104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843722cc47f9515ccf1f295d480c3ff3f8845480","datavalue":{"value":{"entity-type":"item","numeric-id":5326564,"id":"Q5326564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$E4ADAEFE-81D0-4DE5-9B83-9A4E52433757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b359436405fb0178154ba3a3485c8a60b62250e8","datavalue":{"value":{"entity-type":"item","numeric-id":343858,"id":"Q343858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$FCE4566E-8D6E-42D5-8349-26AC3BD85986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9872d1e5b694c452e067c737826bed9fab5fdb53","datavalue":{"value":{"entity-type":"item","numeric-id":1853508,"id":"Q1853508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$9118A30C-C0DD-4853-BC65-F56E4D37520C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408a394c46a325359566e0abe861d3d0f8c1daf0","datavalue":{"value":{"entity-type":"item","numeric-id":4636619,"id":"Q4636619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$76F70400-85B5-4C6B-9AC9-BA68CBC5A904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5525a29a14c6417aa744949246971f4f610a945","datavalue":{"value":{"entity-type":"item","numeric-id":5230358,"id":"Q5230358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$CA9A1CBE-4FAA-4EF6-AA49-A1B672D893A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132eb773e00f08b7365043fd3fda57ddfe1a07a8","datavalue":{"value":{"entity-type":"item","numeric-id":1616616,"id":"Q1616616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$FAA5826D-AC56-455B-9FBA-A4A38F3F91AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a463fc9e3b81614c8c1dab5ef3f57a184d8caecf","datavalue":{"value":{"entity-type":"item","numeric-id":693002,"id":"Q693002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$D2AB9E43-433C-4BC9-8960-1A4F8A2E8B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffda4a0111441c0a888466331cde2936f26d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1601024,"id":"Q1601024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$B98FE8D9-4404-470B-BFED-9731E431A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af844c2c6763f85db410b680304bffb9e2586617","datavalue":{"value":{"entity-type":"item","numeric-id":4852622,"id":"Q4852622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$373489E2-9873-4C46-B363-BCCA6DA00468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9274ac63c743f8fc0c271c023f25aa6b86ee147b","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$82E32A1A-AC19-478B-9716-54840CBFA554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96d09c9183c789c01db22af5824fc66b3dacee2","datavalue":{"value":{"entity-type":"item","numeric-id":5136299,"id":"Q5136299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$1015DC1C-85DC-4CF4-842C-7957DFEECF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a057d58b7715316331c0f16f7f40f628b5ab7348","datavalue":{"value":{"entity-type":"item","numeric-id":5259555,"id":"Q5259555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$E8C5EB86-1AF1-43EF-BB15-827C28DF7913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6c8b2c77388e4584b678679cdf93e1da366a80","datavalue":{"value":{"entity-type":"item","numeric-id":4606697,"id":"Q4606697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$D96B9A1D-18FC-4A6C-80BC-E2A976760EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5053a202436634efee1e6ffad44d08d222355aa4","datavalue":{"value":{"entity-type":"item","numeric-id":5111383,"id":"Q5111383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$1C01F988-6133-48EF-A909-F6E385A2AFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e034352f5419a2fb2ad9b81c247da267460679","datavalue":{"value":{"entity-type":"item","numeric-id":5111142,"id":"Q5111142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$21260682-C06B-4014-A2B6-0D07A78C84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e9f78def13039601e7eb29280be2b0e945dda4","datavalue":{"value":{"entity-type":"item","numeric-id":5892101,"id":"Q5892101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$77B34619-EC43-42E8-88C1-34673331B2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8df9480a02349eca908ee6217ec5e68a8bfdd41","datavalue":{"value":{"entity-type":"item","numeric-id":4562279,"id":"Q4562279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$6DE96204-BEBC-4384-96B5-B4C5B480C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0aa38dfd1310384307cbc0fcac1cddd64dec905","datavalue":{"value":{"entity-type":"item","numeric-id":2989020,"id":"Q2989020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$BD726405-7255-46B6-8F18-3CF55A99B269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a33e79281cfa5b96d29898f2153f98f3a36a2a9","datavalue":{"value":{"entity-type":"item","numeric-id":4976061,"id":"Q4976061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$85AB8693-90DF-4BD2-8729-46FDBE72E25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f27f258e3e8ae56a0cd885b214e05caa7228bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4287360,"id":"Q4287360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$19859FA9-5836-4C39-9779-7EAF6DA3A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb021b0d2be857503d21b688dab7fb8c2c1699cd","datavalue":{"value":{"entity-type":"item","numeric-id":4605274,"id":"Q4605274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$0DF0D54B-847D-4D4F-B3A7-D68820D435CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869dd6b346a8373434a6a6cfa93472fd706e6d7","datavalue":{"value":{"entity-type":"item","numeric-id":2796407,"id":"Q2796407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$F2795449-AF86-4697-BC7F-EF571551BAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42a521a0161b8d41bc7ded0e3dbb704bd11752b","datavalue":{"value":{"entity-type":"item","numeric-id":5302084,"id":"Q5302084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$0660881D-2B29-42EF-81C7-33938F577783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba250fdfa4d02601e4237d7f8e9cb55557ae08ac","datavalue":{"value":{"entity-type":"item","numeric-id":343852,"id":"Q343852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$B9878F80-80E0-409A-BF4A-EAE37DF3059C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8113ac3e2bd23b254066d8dbcfb599fcdbb4c99","datavalue":{"value":{"entity-type":"item","numeric-id":4449184,"id":"Q4449184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$C1D2A7C8-F065-4EB7-8EA0-C0E02509BF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$FEA5DC4D-0B41-4F94-9E02-294C584C3DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218140a952bc22c5765ddba6f8482ee15b188561","datavalue":{"value":{"entity-type":"item","numeric-id":4764345,"id":"Q4764345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$2C45CD21-B087-486F-8334-788F39C936F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09197078f33ccba0eb69b812b6075f0111d7a955","datavalue":{"value":{"entity-type":"item","numeric-id":1918946,"id":"Q1918946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$C5AD5F02-BC79-41B3-A421-BC8CEC02A600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$0CECA373-3A45-4AE5-9E3D-CCA6DDB9123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377b0d58983accd4ce51467cf0a31533bcca92e0","datavalue":{"value":{"entity-type":"item","numeric-id":3449568,"id":"Q3449568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$37321B01-0D58-4A3C-90CE-52AE1559A9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1144d0b67f8ff771009e4303f5e20097a0e217","datavalue":{"value":{"entity-type":"item","numeric-id":4978005,"id":"Q4978005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$6423EC3E-D9BE-4A42-A705-E7EC5FE46D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcef1908ba91517283d7c26b84810c21a993adde","datavalue":{"value":{"entity-type":"item","numeric-id":5740187,"id":"Q5740187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$299B10BA-B642-41DD-819E-AAA7E52F6281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dac02fd3ae760dbfe8621a73ab072cd6887cd4b","datavalue":{"value":{"entity-type":"item","numeric-id":5005099,"id":"Q5005099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$58D97F18-6244-417B-A317-541F6AFFB910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$3C41FF20-C98A-406D-B581-7F3B46A5F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db3468346fcce29d2fe703e3816d1c0ffadbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":1224109,"id":"Q1224109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$07F0659C-BF55-49E1-B1F4-AAFDC15496FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7e34f839765e2bd8c4ec14aa20669177c402ee","datavalue":{"value":{"entity-type":"item","numeric-id":1751432,"id":"Q1751432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$0C3F591D-AFAF-4DC0-9718-2882E0B39473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e8617619cd18d231edca8b3cef3ab0f78c4dd","datavalue":{"value":{"entity-type":"item","numeric-id":5466532,"id":"Q5466532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$BD55077C-5C43-41C3-949E-AC96D3EC4481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8b1655bec20b79393653de614c27d8c60d34de","datavalue":{"value":{"entity-type":"item","numeric-id":3986480,"id":"Q3986480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$527EB70B-35FD-4472-BD49-8F2CEE42B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a97fe00ca06bfb9509b3fef9d28f7714a14f54","datavalue":{"value":{"entity-type":"item","numeric-id":5230374,"id":"Q5230374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$A90038FD-BADE-449D-9C7C-E85FAE8E7FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48505b742288f628d22e481819941926b33f5967","datavalue":{"value":{"entity-type":"item","numeric-id":4601824,"id":"Q4601824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$8CE0A80A-3E27-443B-8655-BE0D4A45896E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68b0db896436ce27f6ec20147c0e6d4a31b641","datavalue":{"value":{"entity-type":"item","numeric-id":1918947,"id":"Q1918947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$5377F316-59A8-4E02-B8C8-36E745D36D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f00391d6550986bc76041b5e4ff60f4bb989a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1977414,"id":"Q1977414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$79665D8B-C2CF-4B73-B547-600844BA37D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e2b020d2d74df08811f9e89381a33a8308190d","datavalue":{"value":{"entity-type":"item","numeric-id":3225179,"id":"Q3225179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$0564D9C8-51EC-4EC2-BFD4-818175A8155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df71ef9a6a9c735e0a0683694ad298c160330325","datavalue":{"value":{"entity-type":"item","numeric-id":2913808,"id":"Q2913808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$3CFD39DC-1877-49D8-9A32-70DABFE58D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda31cfcc4f5747385d700e8076a24c75b1e9776","datavalue":{"value":{"entity-type":"item","numeric-id":5415499,"id":"Q5415499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$DC67E748-B17B-432B-AB34-90F652EEF01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa308a148c1acc6e29f4ac96be16bb6e6e611c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5495864,"id":"Q5495864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$603DF726-5FBD-47FB-9488-0F1F24F06C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341836e5dbf81e71ceaefb3a9c2a5c33e7257454","datavalue":{"value":{"entity-type":"item","numeric-id":3633949,"id":"Q3633949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090501$42D002E9-2D21-45D3-A126-B1D063C0043B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b8c030d4f2b2e65b46ba43915f7becb38c01677","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2019.50","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090501$A9EDA6C0-52D0-44A8-B1F7-942D2D5EF3F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f5f6364d08d6af2483b08a494f8050423b5020d","datavalue":{"value":"W2934881566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090501$334C19FF-7A5E-4DCF-82D7-024CC515A82D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8e52561b9b18b69e5fefabb2ea0e4680fd8ba29","datavalue":{"value":{"text":"Lifting Theorems for Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090501$BED3DD80-EF6F-4C57-867D-FAC935513DF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24478faa2cc0ce552bca020412e2748629831b99","datavalue":{"value":"10.4230/LIPICS.STACS.2019.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090501$A159AB8D-427F-4798-951B-D3F5382D51C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c215db89975ba51d546ee5b890b9c9ab72bbfaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5856149,"id":"Q5856149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71d5d706fb99b33af65b9c8e39bc657bec544bb","datavalue":{"value":{"amount":"+0.8096712827682495","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":"Q5090501$8FD67C84-8F74-4026-9881-A3BC7C7DE22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188c495e049f3961eaed3d5a30f9342058663f94","datavalue":{"value":{"entity-type":"item","numeric-id":2946382,"id":"Q2946382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee779370d6667b7b4b2fb9afd219114fa043c21","datavalue":{"value":{"amount":"+0.7565475106239319","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":"Q5090501$1640170A-6E46-473B-BC87-AFE151C9FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6bc9925128933b3521b066bb616fce8fd639c1","datavalue":{"value":{"entity-type":"item","numeric-id":5136315,"id":"Q5136315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d5a4e0353b7cf5ba79d42ede55526ed1b579b6","datavalue":{"value":{"amount":"+0.7510660290718079","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":"Q5090501$505B41BB-E111-4086-911D-F69425B1D30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e23554d856f168e463be28f136e2d2ef49010c","datavalue":{"value":{"entity-type":"item","numeric-id":5117373,"id":"Q5117373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130f110f62a24cf2d6e51bcf18726682207507de","datavalue":{"value":{"amount":"+0.7488495707511902","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":"Q5090501$0B390C2F-522F-4EDA-8138-8E85A2710009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2673067301f139f9a0928b12c9407db8567df13","datavalue":{"value":{"entity-type":"item","numeric-id":2969646,"id":"Q2969646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec2a766beed3eb2458afe35352db7fc7b417c4f","datavalue":{"value":{"amount":"+0.7454910278320312","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":"Q5090501$E8055891-F827-42AC-B2C3-B02C02079DA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090501"}}}}}