{"entities":{"Q682380":{"pageid":684229,"ns":120,"title":"Item:Q682380","lastrevid":63775062,"modified":"2026-04-11T15:27:53Z","type":"item","id":"Q682380","labels":{"en":{"language":"en","value":"Many-sorted equivalence of shiny and strongly polite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833780"}},"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":"Q682380$4496F8A7-B50C-4573-982D-92C08E17D6E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdb3bc3031d67aac3fe16fd51210e00eb639589f","datavalue":{"value":{"text":"Many-sorted equivalence of shiny and strongly polite theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q682380$70DB9181-5D62-453E-9466-B4F70B28BD1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3a4bd0091db3043e2e79e7fd7391628180a4a67","datavalue":{"value":"1425.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$FCCAD5D7-E12D-47F6-969C-C53041D26BE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10123ee631291b5a24c77f6834ee2ed15960ebc4","datavalue":{"value":{"entity-type":"item","numeric-id":682378,"id":"Q682378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$328123E9-F478-44FC-826E-70C2EF37D7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$EBBB4D2F-40D7-4D4E-B844-1EAD02553CF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$B9243F2C-3F38-4D33-B6B9-EF6352289A6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-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":"Q682380$6B25F75E-ADBA-4E6A-9491-1E124C99825E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$15A4652F-5F5A-434A-89A9-5A5F7091E8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$6CF7E1F7-242A-4671-90C4-40C719CBC93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$0652B857-5C6B-47D9-B457-803780ED014A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae8e065d92d9a094f4215e3f684916c700d815fc","datavalue":{"value":"6833780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$BC8D5D49-F60F-4576-9E5D-91FD5D110B59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279779f05502f6e088584762a3eda6a41a96f8a6","datavalue":{"value":"Nelson-Oppen method","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$A6F81672-E6D1-4E4F-B64E-D0FB6778BA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db7d9c618d5514417c59100c74ae063644c699f","datavalue":{"value":"combination of satisfiability procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$68DECDE6-8F53-4528-8AEB-C4345BE67F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a87cb9773c152e429059321d7c47811bbcfa6d5","datavalue":{"value":"shiny theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$AEE31D6E-B4E1-4646-9751-DAFFCD41B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d8651d90d2b539c39324f5a1d5189d748fcaaf","datavalue":{"value":"polite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$0461E244-B8F4-466C-9070-9CF9BD81073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e06f9321b0f714cde91c4ec09331c9a9ce352ca","datavalue":{"value":"strongly polite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$48584700-CF0A-4EC1-8400-73ECA94ED95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$B4436414-A111-472F-9710-951FD168C286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q682380$1D8249F5-08B4-4D8C-B23B-C4C52FF881D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45048559eefa05e5e21c6d306ffd9a763129c162","datavalue":{"value":{"entity-type":"item","numeric-id":24801,"id":"Q24801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$9A97B6B5-A88C-4475-BFFE-93CDCCBB3128","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":"Q682380$DF0159B3-0B6F-4A7B-97DE-F67FD52227AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf4a518ce4a7b838bfe2eacc08f3b945000ea29a","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9411-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q682380$C16ED628-3E3C-413B-BCFB-185862BEABA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d08cfe0998240f78e69fcccc0902ac5ca84b6a","datavalue":{"value":"W2593951067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$35D8B1CD-02A7-45BD-9AE4-4A10782F5C96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffccdb231cee30de07973ad38eb67dc764cc0130","datavalue":{"value":{"entity-type":"item","numeric-id":3172881,"id":"Q3172881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$7171B6C5-5037-49B4-8657-5191D52F5906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7fab590de2ed4572a1cf7e503b1935d266d2c1","datavalue":{"value":{"entity-type":"item","numeric-id":2870128,"id":"Q2870128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$AED24F8E-9BE8-48B0-83D4-5356AE41B366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825d72ec6dfd18edbaa5b86fee391dd213a6f091","datavalue":{"value":{"entity-type":"item","numeric-id":3192185,"id":"Q3192185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$3FE38068-C17D-4EC6-B6FA-9F56FB535E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$877EBA64-E752-4CB7-B7D0-3C89F37294BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13db506da8cabc64fa334c9f63cc928d5a991b9c","datavalue":{"value":{"entity-type":"item","numeric-id":3093615,"id":"Q3093615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$175684A9-0123-4747-9E58-4976ACC8F413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$CB0381CA-8604-4AC4-9CE3-1E5EFA33971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c3c1d2d8bd223898d76726cee233eaf79c3109","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$67184956-7578-4626-96DB-14DD4D85884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28d1219e29c4a80580daac11ef44292c3abd11a","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$0D20401B-E356-4BD1-B30D-890BE3D3C477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$5ACC4DE0-BC11-4066-8586-749F3827C676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$F3A419D5-0D48-4F88-A3C9-F43F305F9FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55234d08de3fc0bb2ef7aa7f9a37f83d6ee9b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5491892,"id":"Q5491892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$D72F4661-FEF6-43AF-B2CE-A0CF2F0880BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$2941C81F-210A-499D-B614-F673BEF0C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682380$33554E38-3508-45A6-A22D-E7B83725A2A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d797ddb86c3fc7619602b25aff4570fa528b8ff","datavalue":{"value":"10.1007/S10817-017-9411-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682380$8A06E6F3-E03D-4EE5-AAD7-821664A41184","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f16a68b9f1617ba070186a3068c7fa5ee4f9f3","datavalue":{"value":{"entity-type":"item","numeric-id":2374328,"id":"Q2374328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b12ef9dc4214096dcf5b24b2387a7059d3e56f","datavalue":{"value":{"amount":"+0.87934494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$198EB0CC-056C-4DFF-98D2-6E0E2D685A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6685754c3cf3d1fd60cae6470da35fa66e4fa6c","datavalue":{"value":{"entity-type":"item","numeric-id":2491817,"id":"Q2491817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087de7d8d1602a2fc2a5bb482524a2654ae9a7fb","datavalue":{"value":{"amount":"+0.87377656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$B98E0CA7-C77F-4A31-B76D-31D3154A23A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd3bb0e813cb92ee596030dcba069020cbfbe79","datavalue":{"value":{"entity-type":"item","numeric-id":5394620,"id":"Q5394620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e7519714799c5af948649da29401ec2acb8a85","datavalue":{"value":{"amount":"+0.8689971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$D4273262-548C-45BE-9866-3B67F2136951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6582ee31bb20d52ce1667aef1b4dc2fc816fabe7","datavalue":{"value":{"entity-type":"item","numeric-id":5294025,"id":"Q5294025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e7519714799c5af948649da29401ec2acb8a85","datavalue":{"value":{"amount":"+0.8689971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$7CC2870E-FB13-4258-9DBF-3ED4F4430775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766816f4aa439bab768f8a9062b1339090f5bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c188c4d614b4b3396be54f4a01fb8691448211d9","datavalue":{"value":{"amount":"+0.8633084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$DFEA15FC-41B4-43D1-A478-C3AD7F2CA119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51f8d76b6c6939c8017ef4af3f04b660f1b53b8","datavalue":{"value":{"entity-type":"item","numeric-id":5095650,"id":"Q5095650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b308107b1f38e44af3ddcfdd9fec251877fc3fcc","datavalue":{"value":{"amount":"+0.85852224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$6497158A-8D89-415A-8FAB-70B5375BAC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b06de468b1d2e4a214737f8d2e3032bd8e024fd","datavalue":{"value":{"entity-type":"item","numeric-id":3688387,"id":"Q3688387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19d61d1bb39082d9a66fb0b5e75cd5599005ea0","datavalue":{"value":{"amount":"+0.8580659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$1EB4D0A6-0AC3-4B68-9513-FE4B163C1CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3131d6b14131a2d1e4e291658c4f8f96206bfcd8","datavalue":{"value":{"amount":"+0.8562677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$3061B3DC-A2AC-4064-8753-7A69C5F946CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabac73dc1d17c7ca42387c6476356dd0dabf509","datavalue":{"value":{"entity-type":"item","numeric-id":5528633,"id":"Q5528633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9470027b923f45ab192c0a64475148233849f32e","datavalue":{"value":{"amount":"+0.84968853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$B0FD14FB-F9BB-4199-A96F-C24976C370D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34724f5a107235429ea5d85dfa0b52bc4d39836a","datavalue":{"value":{"entity-type":"item","numeric-id":795823,"id":"Q795823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59363f7fcd7dfa864b6be6941bc6d6761b161858","datavalue":{"value":{"amount":"+0.8487729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q682380$0709F5BC-285A-4822-B864-FFAA6BADAF28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-sorted equivalence of shiny and strongly polite theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Many-sorted_equivalence_of_shiny_and_strongly_polite_theories"}}}}}