{"entities":{"Q5363770":{"pageid":7393344,"ns":120,"title":"Item:Q5363770","lastrevid":92284367,"modified":"2026-06-05T01:20:11Z","type":"item","id":"Q5363770","labels":{"en":{"language":"en","value":"Sparsification upper and lower bounds for graphs problems and not-all-equal SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6784967"}},"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":"Q5363770$38D30A72-E539-446A-AEE7-6DEFD1505CE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a501c8a6bc9284fd950ab02ec9413b425bb6defb","datavalue":{"value":"1372.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$9B88B9E3-26AD-488E-A5F0-1F6E5310903E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d978dbd306dcb2b0e214f67531547820a5423530","datavalue":{"value":{"entity-type":"item","numeric-id":372969,"id":"Q372969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363770$CED04A54-EDF5-4FD0-A589-6098FE199C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26133a3fa5fc05d4da5c57a24e34948090b984","datavalue":{"value":{"entity-type":"item","numeric-id":786032,"id":"Q786032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363770$1231FD94-7D36-4C77-A37D-471D97DA3FA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363770$CC926CE9-22E1-4101-B7D6-B479A6F9BD52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2a8e6423a0fcdb9189c7772a748f5e9e8d7384f","datavalue":{"value":"https://arxiv.org/abs/1509.07437","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363770$E46D3913-4DB3-41E9-96FD-1FFEC4FDA9E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$69DDC094-7C1F-4BA9-BE29-57F68A31AF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$3013EB4B-C5D5-411E-8330-F2F89CB08072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$D739985E-E572-4225-8DF4-BCE64FDC4CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$C7ED5641-F202-4666-B0FE-C60BB048440B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$B670A94C-8C40-4965-8A64-5FEABD5B17AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$1116261B-2DE5-45FB-8F71-EA5288FF1471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2254104af4330be92dfa0ca644f8d500475169e","datavalue":{"value":"6784967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$0B230DAD-A9F3-4630-8ADC-E8901A22903C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89064274a499b93f141ab8aab6929ae41a5ae460","datavalue":{"value":"sparsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363770$8D48B3E2-5DB0-436E-9F81-A7FA5035167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09726da53e95ae004a19637083ed8dc4eff896f","datavalue":{"value":"graph coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363770$5D357377-7F40-40E0-BBA2-E866A2C67AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0612807c22f01764e2b3d07b2bb1c1365e520f64","datavalue":{"value":"Hamiltonian cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363770$DA9A6F6D-D753-465C-A6D0-73A48FB17BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363770$C7C67489-1147-4E6F-B494-65589043B82C","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":"Q5363770$7931E33B-102D-451D-8744-32ABC5BA4987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97e9928a5b12f326097b39e8dc038b2031901c9d","datavalue":{"value":"W2540110070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$AA32DE7D-DED9-488A-987E-1F0D5FF002A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7fc494d935c0c049354c3f667462f09317906e4","datavalue":{"value":{"text":"Sparsification Upper and Lower Bounds for Graphs Problems and Not-All-Equal SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363770$486DC951-A897-4022-A673-EC6E75334CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a9d67d5bc18a42e399a287ef2119939b5c12de7","datavalue":{"value":"10.4230/LIPICS.IPEC.2015.163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363770$D4311158-926B-4BF8-B642-D463CC652116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4c356bde8b292ac2cbcb3869e6575707999de9","datavalue":{"value":{"entity-type":"item","numeric-id":2408194,"id":"Q2408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5662a5da9702b138c47f7a01ab5882a0ee47efeb","datavalue":{"value":{"amount":"+0.997550904750824","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":"Q5363770$247D975E-86C1-4F6B-9869-77FC3793852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d90f9a72948fa4502efb9e851a4e00a1db0fab9","datavalue":{"value":{"entity-type":"item","numeric-id":4608634,"id":"Q4608634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beaab1d1272d1b4cb5b9e7667395704b56c1777","datavalue":{"value":{"amount":"+0.8211709856987","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":"Q5363770$3E0FB1DF-397A-44E3-B274-1284AC6C5F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706c2e7b52f58a577da252a7891ee74f91ecf61f","datavalue":{"value":{"entity-type":"item","numeric-id":5205824,"id":"Q5205824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3aa6d0eda4f2c1d5fa857d0196fa1d7da60f241","datavalue":{"value":{"amount":"+0.819507896900177","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":"Q5363770$3DF81DD6-4907-458A-B071-5B5040560F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d9a8363b139a5d68c4c494c12fbf7b679aad25","datavalue":{"value":{"entity-type":"item","numeric-id":2875151,"id":"Q2875151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab50f13a097f3f1d0f7754729787a97a7b6022a6","datavalue":{"value":{"amount":"+0.7974808812141418","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":"Q5363770$3CE3A7E1-49C7-4729-B51C-C1164362EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23361c5083896a3b3f2e008692dfe9403693050d","datavalue":{"value":{"entity-type":"item","numeric-id":5053064,"id":"Q5053064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13bfa497b5283b8c162f16e020e9014dfe091b6f","datavalue":{"value":{"amount":"+0.793633759021759","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":"Q5363770$7CFD77B8-6B77-4502-98B4-F7AEE418B0C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sparsification upper and lower bounds for graphs problems and not-all-equal SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sparsification_upper_and_lower_bounds_for_graphs_problems_and_not-all-equal_SAT"}}}}}