{"entities":{"Q6893952":{"pageid":20860240,"ns":120,"title":"Item:Q6893952","lastrevid":84190565,"modified":"2026-05-13T09:48:48Z","type":"item","id":"Q6893952","labels":{"en":{"language":"en","value":"Multi-argument specialization semilattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8127829"}},"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":"Q6893952$8EB06B1C-654A-4440-A8D7-4CE487206B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e45f9d95e07e86cc0e81b87264167c0f586e6583","datavalue":{"value":{"text":"Multi-argument specialization semilattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6893952$37CF43D5-B614-4DC1-BC56-E89CEC8ED2E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"040d7c8307f4e6b0dbfd207f9973a42cdaaa3ecc","datavalue":{"value":"10.21136/MB.2025.0082-24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893952$581B11D3-15F3-4411-93FC-F0D633D3E92F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77f9010d02f758439d90289c14a0486d7f24824a","datavalue":{"value":{"entity-type":"item","numeric-id":304181,"id":"Q304181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$52984C3F-AE57-4CBE-9C2D-D83697E11702","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fd604585d5659300bb0c65d4a8afa123a17b5db","datavalue":{"value":{"entity-type":"item","numeric-id":2798049,"id":"Q2798049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$DF9EE279-31D1-4B16-A9FF-869FFFD35A26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed40ea515b48f533e3453a2e86e3ed576f48341c","datavalue":{"value":{"time":"+2025-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6893952$8146E311-BC24-44C4-AA61-6E4D3C962282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893952$023E925E-EE9C-4D16-8A41-8C12713A707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893952$03B4ABA4-FD98-4D4D-ADC8-FCBE21D7AA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893952$5D7E6329-A1B1-4D99-82DD-3E2153A4DC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893952$23FC75A1-7234-4D6E-9F75-4AE1FEEA9B21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2385e6045e5a53759673dd3cef109253ea45db59","datavalue":{"value":"8127829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6893952$3B932C27-1706-4CE8-9690-8574D3C13BB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9f091c0a863d1f494523ee38bfbdf2d71cb09a","datavalue":{"value":"multi-argument specialization semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893952$C719A9D7-4976-438E-9060-AB9B049C0F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb1c027418a8bfe4f1c795ce2c3a6bac4d141ee","datavalue":{"value":"closure semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893952$19F59C5E-EAE6-4759-9196-0625D8D81BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b41aac1310de69b34ae465a4b84c610ad0ebe9","datavalue":{"value":"closure space","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893952$83167B54-BE05-4070-B7BC-EB2463EDC237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a655dc7fd3c3f2031fd0bc13018366c7af754543","datavalue":{"value":"universal extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6893952$BEEC049B-8C19-4E57-B103-54ABD000AAFE","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":"Q6893952$BF20B9B5-A8DC-4EB4-B7A7-C044A0D68D24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f025d609a65f7ce86480b797f20471abae2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3053893,"id":"Q3053893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$14E5FCC4-C90E-4512-9AB2-781B17FBC63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$975AA588-3485-43CE-9426-F8F442E6FB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24142b57c6761c6b6a80a739e070b0f32af01f14","datavalue":{"value":{"entity-type":"item","numeric-id":3116854,"id":"Q3116854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$0DC246AA-5A5A-4AC3-9C07-641613D142CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d0acaaaaeb58d4d8e5cf6e1bdba8e1cfaaecd1","datavalue":{"value":{"entity-type":"item","numeric-id":5516652,"id":"Q5516652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$80474C6D-4268-4470-9A3E-66B98CF8F4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$8DD94E18-AD3B-4D99-B0BA-8894389AF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7a438c35f7e035afc4f4367f6244a62adc071b","datavalue":{"value":{"entity-type":"item","numeric-id":1857419,"id":"Q1857419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$B9678D75-2FA8-49D8-B6E6-56BC2F31EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cf215a1df2e937d0ae168bb6b3a4d4a2e09cec","datavalue":{"value":{"entity-type":"item","numeric-id":5191280,"id":"Q5191280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$9FC09399-2F31-44D5-99C5-DC64ECBACEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$4C6C64A9-53EE-4570-9C3F-618F15D40C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8aa05c5638662f0601198df4122785ac8efebb","datavalue":{"value":{"entity-type":"item","numeric-id":1769970,"id":"Q1769970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$85C46717-E45A-47E6-8202-2BD47127D290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$676AF942-115E-427A-8F10-BCD2FE90DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1330c5a073281311903bc76b1a6c4ab8b0d37778","datavalue":{"value":{"entity-type":"item","numeric-id":5527790,"id":"Q5527790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$D4182BA7-E70B-42ED-9391-2BD73477FB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4588fdc6aa2658b0dd7e91823501c2a285af5916","datavalue":{"value":{"entity-type":"item","numeric-id":5053420,"id":"Q5053420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$45F5D7F3-711F-4047-97AE-1830595C7FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337be2ea61d357532184f00e994b128a607e6c6d","datavalue":{"value":{"entity-type":"item","numeric-id":6081488,"id":"Q6081488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$F45CD87D-5DFC-48E9-B45A-2334444BB1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93fc4883d409ffba3883cb8812029691826ab90","datavalue":{"value":{"entity-type":"item","numeric-id":7026929,"id":"Q7026929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$7225506A-4FD8-4205-835A-F93966F91843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$85A98790-D9CE-4A7D-817B-2D01C8C1AC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be114ea323e4e3e2526a60748207fb7adce2334e","datavalue":{"value":{"entity-type":"item","numeric-id":3630396,"id":"Q3630396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$5ED4649C-E53F-4D4F-B774-19321A19CBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d338d467dd42b3add16862e126d5385fb976bd50","datavalue":{"value":{"entity-type":"item","numeric-id":3732526,"id":"Q3732526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$9805BFC1-06FD-4915-B5E0-87BE750448D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d031797b9992a611f1490e14ee3ff2960e561b","datavalue":{"value":{"entity-type":"item","numeric-id":1854300,"id":"Q1854300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$D72D0F1D-32C2-4467-974D-AA48FF58AE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81f613a8580122991b32d82b2674e36eacd38f6","datavalue":{"value":{"entity-type":"item","numeric-id":306579,"id":"Q306579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$C0E275BF-9F88-4A87-B145-1F4D994173B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35451d57d0923bd6220165efa1d53de2819d9423","datavalue":{"value":{"entity-type":"item","numeric-id":1981991,"id":"Q1981991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$33694C83-8FE4-4472-A277-5C9CDB83DFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22cef09a057cc41eb5fa83f1dfb291b684dcec2","datavalue":{"value":{"entity-type":"item","numeric-id":2527901,"id":"Q2527901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$E7FFA1FC-9A9A-497C-8B07-238FED054BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6893952$3399E74C-DCEA-4BF2-9E4A-598DB6F15B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-argument specialization semilattices.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-argument_specialization_semilattices."}}}}}