{"entities":{"Q944384":{"pageid":946232,"ns":120,"title":"Item:Q944384","lastrevid":50456933,"modified":"2026-01-14T02:37:33Z","type":"item","id":"Q944384","labels":{"en":{"language":"en","value":"Density elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344353"}},"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":"Q944384$6C70305A-B316-4C0F-A50F-2DECFF7070D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41461e0486adf97f33a15c41b2ffa40618948d53","datavalue":{"value":{"text":"Density elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944384$AA18E7A6-34CE-4CA4-B307-E555D4267C6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d688183c799fb82cc501f75e89f9fb5582530060","datavalue":{"value":"1206.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944384$661C825D-C8E9-4E7B-B4BB-F18D8660A0F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$98299654-971C-4A10-A741-DED764BFE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$580E86CC-C35E-4133-A721-ABB0D4E6A42C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$050E1A0B-4421-4F5E-84C9-1CC0513E254B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944384$DE8564A4-8549-47EA-B4C4-2AC114D53849","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944384$2AD3DEAF-1376-472A-9432-3BB957404C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944384$05C6120F-0989-45CA-A7F4-2707E249CA06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"889bd9eb428cb7d49649ef3a96e0cf6fdb950896","datavalue":{"value":"5344353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944384$9BE1105E-9F78-4D09-8CD5-D62AEF18F808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q944384$41AC6E65-A919-4783-8F8C-2EC7D4FA3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q944384$E6F7BDF6-2880-47A3-B74C-24E6EA9CCA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q944384$A864FCA9-73AC-4691-A72A-FEDA70CFDE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81574493566183bc84a60a64489e3d3d85b230","datavalue":{"value":"density elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q944384$329EBDEA-E084-4956-9D1C-C31DA9B74AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2c79c8682fbe274fc16872eded01e22ad6da24","datavalue":{"value":"fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q944384$493D3FFD-A742-4B58-A2B2-20ED341D1B28","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":"Q944384$330BD92E-87C2-4F2D-97EA-9E20DAA31A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87ce871bc0cbfe49dd245813656934cb28193d5f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.05.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q944384$C23A831A-F375-4921-88F5-01D83EF4782C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a033eae3b1f912fb07695f17aa5b2b72ebb975a","datavalue":{"value":"W2188802573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944384$DC58BEF7-420B-4932-8062-F9B1AD00E1C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$26DDDAD8-DB1A-4459-872F-B52E7A1D2C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$4ECCED4A-79BA-48CF-8AE2-B1BF3756F772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5783b4c093518826dc9f8d32db7d60bedf770bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4825702,"id":"Q4825702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$35A7A713-3606-4AD1-85B2-A11D26FC8AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564367dda2d50860bb7dff01a2d84ec437758ded","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$98F32370-D88D-4508-AC68-742BC3E65887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749aa5c484d884771466997b802e7dc39af08a46","datavalue":{"value":{"entity-type":"item","numeric-id":5311280,"id":"Q5311280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$AB9B515D-AA42-47F8-8B3A-9F6CE4AC9585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4412af6e01cd77d7d54e6746d98fd56508bdb5d1","datavalue":{"value":{"entity-type":"item","numeric-id":5434503,"id":"Q5434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$E0FB739B-95D6-4332-B24A-50941A067C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$8EB43C65-1BDF-4F62-BE2A-0B033E4F83EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$DC64E95B-9935-4B5D-8A8B-E81B9C91EBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$0F08458F-F230-49CC-BA5A-23D95FBF211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$E02442A6-15EE-4520-B9AC-9AC1853D2981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$F9C1BF4E-2E06-47F5-A2D4-D85AC6D3AE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$73FEBCD3-C1DD-468B-BFE9-650E418531A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$D6D110AF-7D24-48BA-A1C1-30D2DCD38985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$00DE85C4-0543-4DD7-A158-DE343CCD5621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe495dfac89d8693abf9a8d244d270a12cd8f06","datavalue":{"value":{"entity-type":"item","numeric-id":1612691,"id":"Q1612691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$364FE00C-0654-43EC-BBAC-35D1352DDB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944384$429D4B4A-C4C8-464B-8A44-0DB1D103AD20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2800a52e71c0dda0cf06f31388cb3afe98e2a069","datavalue":{"value":"10.1016/J.TCS.2008.05.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944384$7D275699-017D-4962-88B1-7C6BF2B6BE09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db1ea23a36ca44227434a0c9dadcc74da60fefc","datavalue":{"value":{"entity-type":"item","numeric-id":5434503,"id":"Q5434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db12705e6a329290def876c0912a419c64e56b5b","datavalue":{"value":{"amount":"+0.9040625095367432","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":"Q944384$8547F526-35A2-4711-BC38-5BE2B54FCC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafcfd237663bdb61516eab14a0543120491c291","datavalue":{"value":{"entity-type":"item","numeric-id":1699744,"id":"Q1699744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2435e66b22ffd65c08ba9201c4d992c4bdca7b6c","datavalue":{"value":{"amount":"+0.7726916670799255","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":"Q944384$D73900B7-8B20-4EBF-B50E-104856230151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3516a91cd7d6d402577aedea849e41c45273ae","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6ea5045082c71e7309677571c59c080d94e896","datavalue":{"value":{"amount":"+0.7618510723114014","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":"Q944384$68982E18-0CDE-4029-AD34-DCF1A702A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a936a970050ea34bdbf80144d3a2856dc1dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2337894,"id":"Q2337894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce14216020699c671f77d1435d85ac630c5450cb","datavalue":{"value":{"amount":"+0.7608764171600342","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":"Q944384$B9996E2A-7B65-447C-850D-015FDBE9AF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc399e8874c597f0cb83a43b17314d1031c9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2335051,"id":"Q2335051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a7c2323a6826b4191bdb7a0094cae612058861","datavalue":{"value":{"amount":"+0.7437885403633118","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":"Q944384$EFCAA5D0-49EB-4E68-91D2-5E3DA730DF6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:944384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:944384"}}}}}