{"entities":{"Q5121904":{"pageid":7151478,"ns":120,"title":"Item:Q5121904","lastrevid":46189048,"modified":"2025-12-24T00:32:12Z","type":"item","id":"Q5121904","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250156"}},"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":"Q5121904$F762776C-F3BA-4261-B2C7-F3C1B757D3D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a1a1c0562ab5fc713861d8227ddb3585b03b6ff","datavalue":{"value":"1441.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121904$53B487D0-9DAF-4E46-B174-727C0129C958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$1825B141-DAD6-44F0-98B8-3B7027660C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ec1f3506837cdbc96572a8b9752777c89e7629","datavalue":{"value":{"entity-type":"item","numeric-id":1635509,"id":"Q1635509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$24653184-7CB8-4DB2-AF94-B13E8F404EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf90adf2f8c4be6bf83c172c6d96044304e5e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":508471,"id":"Q508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$A941F6BA-D808-4A67-871C-4A1DDD25F519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$3D7CE27C-F032-47F4-BD04-EEC5849AF9A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01916a707effd1d89230bb721fc7f1bfff6d69cd","datavalue":{"value":{"time":"+2020-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5121904$EE1491D6-2962-4026-8624-7CBBA86ED0E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121904$D6365CFF-71C0-4120-A9E0-EFF33FF6B9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121904$40A2ED53-0E23-4AC6-A43B-06B081C69B00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c865b2b9ebe82cbb123ccacaebc6eac4c3c386f7","datavalue":{"value":"7250156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121904$3EE68372-62A7-482A-B0B9-9F8D3AC7A716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121904$64B761C3-B659-4011-8BB9-742B0FE7EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121904$FFFC0D6B-B8BA-441A-81BB-2A8A163BDA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121904$2BD2CE35-D28B-405F-9373-489B5BD94E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690622c8b7ca046a987ebde0de761407389da48c","datavalue":{"value":"clique-coloring principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121904$D0950168-951F-47FC-A335-AE051391517C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1801519b1423d084011d5d167cddfe799027e69","datavalue":{"value":"lifting theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5121904$8FE30476-7D4D-4E47-AFEE-DD3DD6F02497","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":"Q5121904$08F9C83D-0AC3-418C-A483-13E4F3E3BADB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4690405eee8895f3745c3a69ec2e82721cd12da","datavalue":{"value":{"entity-type":"item","numeric-id":5900286,"id":"Q5900286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$5EE0AAE7-108B-4FFE-A97A-C3CE11B67C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$A6DAFF7E-D194-4D7D-B46D-5C859431C806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$A9F21926-6321-427E-8021-D5DFCF0D9758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97924c64ae51b97c748de4d1947f39e18ae04f88","datavalue":{"value":{"entity-type":"item","numeric-id":5444704,"id":"Q5444704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$3D93D159-3735-4877-B06C-94D6F9009896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbeff940ed321854f51a3ddcaf9106016e7c5e5b","datavalue":{"value":{"entity-type":"item","numeric-id":987797,"id":"Q987797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$96495DC8-7F7C-4616-B6B4-6DA6EB259C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184948c4f8242e28a56586a18dc4dd7ef1d6a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5259621,"id":"Q5259621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$AEA15DB0-5599-4AED-9419-19922719124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8882b47df15b6dc3bb408911ea80f0f4c85834","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$76D6D8E3-D41D-4E77-AB2A-DC444D4376F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0758251afe6a76a41e18f7daffbd45a12fb82b","datavalue":{"value":{"entity-type":"item","numeric-id":1408378,"id":"Q1408378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$8F30516D-1BFD-4E8B-9E39-E3F85AF5ECCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f126b7612c28e196203420c13ffa3709805388","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$BD726EE0-D8AC-475D-94E9-C1CDC2E5ADA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$82F5E2B5-8214-4190-8C05-0A34F104A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f5812e34a559e1a1e9ab89e4cf3751977c625","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$5C6CA925-C40C-4D71-B995-9F7339D521DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$B5EEE336-C95D-42AF-9BB0-CD816A7D648E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db99c21b94c60f303b191f15b8e05c4141c30dda","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$B7B184F3-5CD2-4786-BEA7-0BF5E30161E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f9a6c4f4bcee377c44fbafa74bfc3c8af5729c","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$6A8BD4D6-33FC-4588-A379-569AF1702094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$28274CE8-B592-4344-B5AC-E904A9162B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1cb13533682ea4db81d75690fd1d0d77bc40a","datavalue":{"value":{"entity-type":"item","numeric-id":2399382,"id":"Q2399382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$6DD8F815-6C94-4791-B39C-05D50474560A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eaf77358c3cb9475a6318e5acbeff0ad99abc24","datavalue":{"value":{"entity-type":"item","numeric-id":3006476,"id":"Q3006476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$94706B79-56F2-43D4-962C-0B9C7F8BCC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7519aefa4dda7e919ee4a80b4ac0ff9a83e620","datavalue":{"value":{"entity-type":"item","numeric-id":5096299,"id":"Q5096299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$8D86516F-851B-4144-9A58-7CB8155CF4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5121904$07B03D6F-E744-43AF-9F98-2709422FFBE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e34bd879515c7ac76b3fe6cfaa5b9b8573c998bc","datavalue":{"value":"10.4230/LIPICS.CCC.2018.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5121904$353ED6FD-A95B-4934-954F-A379DB889617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42251eb8c74163d8a65918642b6681c353a8233","datavalue":{"value":{"entity-type":"item","numeric-id":5148102,"id":"Q5148102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535998f7be7e7df89325cdf86765571871d6af4b","datavalue":{"value":{"amount":"+0.8694117069244385","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":"Q5121904$07FAA0E2-E0B5-40E2-96D7-41DFF35AEB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391c1c693c44ddcc7bd2a422a8e7a3438960a5db","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d145470abb84adf0bdfba673e684ebebf846852a","datavalue":{"value":{"amount":"+0.85817551612854","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":"Q5121904$F9BF73CE-B77E-42E3-A50F-13BC167641F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a031041be2d3201c96b1788bde5872167c8453b","datavalue":{"value":{"entity-type":"item","numeric-id":5056355,"id":"Q5056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95c3088919893fdd92c370c0d0ce02b8e617f5f","datavalue":{"value":{"amount":"+0.8574922680854797","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":"Q5121904$968A287F-C33B-4D25-B894-25989D3EF0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8480a23801b3bf7d1a9a627a353b0881ec4a867","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5bf0f8a097a46654214efb2a321baf5a68b78f","datavalue":{"value":{"amount":"+0.8397144079208374","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":"Q5121904$31185BA9-B3E1-40A7-B641-413094886A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11507ff6897153303279240edcb405f5eaa09839","datavalue":{"value":{"entity-type":"item","numeric-id":4928478,"id":"Q4928478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2573568f8a0769e92a706c43981e7ab6b5630a2","datavalue":{"value":{"amount":"+0.8179659247398376","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":"Q5121904$DC00E26B-647A-4C55-917A-91A2D6D2D301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5121904","badges":[]}}}}}