{"entities":{"Q515682":{"pageid":517449,"ns":120,"title":"Item:Q515682","lastrevid":62449245,"modified":"2026-04-11T06:09:41Z","type":"item","id":"Q515682","labels":{"en":{"language":"en","value":"CNF and DNF succinct graph encodings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695653"}},"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":"Q515682$87EA0909-2278-4B89-8AF9-7EB0EE3405B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f5cb5fb4e5303541d204fe5bbadb5d5d4170502","datavalue":{"value":{"text":"CNF and DNF succinct graph encodings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515682$230AC679-1631-4911-B0F1-53259851DD61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f386e473acd810805131e9162b4e5f7cf51e374","datavalue":{"value":"1362.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$8D3EE17A-9570-4935-9D74-2BCFE7E04DCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"388a896ba0a7231109171a069e15ad941f6d3498","datavalue":{"value":{"entity-type":"item","numeric-id":385511,"id":"Q385511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$F574F045-2575-4055-A538-960D01D61E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0875d93a5a943bd84d74518b3a3c951fc70de29b","datavalue":{"value":{"entity-type":"item","numeric-id":515681,"id":"Q515681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$B17A120E-76EB-4DE4-9C4E-2FF3F354BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa0ee16bcf9d62945fa4e27ea47d07c341ed7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1114674,"id":"Q1114674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$D25A4BC5-8580-42C1-8827-C6B3CE75CDF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$B0A4F58D-276F-49CB-9B10-B8E146B16235","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-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":"Q515682$8618B9E3-5C8A-4FA2-8FE2-48B10DE9F0F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$1A3DC333-349F-44E4-80E9-2F5561EF5AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$AF69E40F-9D0F-4297-80E1-0DCE8340173C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$A3A05977-21E6-4797-B00A-517704AE5A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$CEB5B284-C7A6-495A-9971-5C7690F72AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$BDBF91D2-2D99-44ED-A1C4-4C313A033ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$4E104A38-2DB3-4668-8047-D7651EE35506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"193df3d4edb49e9e84138f567dc476811963ec00","datavalue":{"value":"6695653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$8AF8D94D-8C5D-4AC6-A11C-E7474C50A589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q515682$23C79854-2989-49D3-8EA7-8BAF98034CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf9dcbb6adb8e33be280e409e182764033603e04","datavalue":{"value":"succinct encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q515682$796E9544-1C59-4967-BD13-79729CC9FF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf16bbd4a05fdbd1b003839acc80b324384294c1","datavalue":{"value":"graph isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q515682$D1A3755A-9392-4CF1-8C7D-B34C16A452CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0283841a5984d0ead194830870566a24cfd34f06","datavalue":{"value":"CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q515682$2F8BF33E-C904-4E4E-A970-7AB5C15139BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b2541b44abdffa80a55f59d74e8518d14a635","datavalue":{"value":"DNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q515682$E39F8111-0981-4226-90F8-DA147A2275F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$197E0EED-ABF2-4439-B6E0-B76BE72A753C","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":"Q515682$46334A90-AB6C-4548-A4DE-5D4FB24C4ABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"430ff2116837e80982e2475d8a819a2dbac0b42e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.06.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q515682$FABDA273-8168-4D44-B999-BFB23D2FB7CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bed91782671dc6f7701f483dcdd1a1edb76ceef","datavalue":{"value":"W2419633893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$FA6F9D7D-9AA5-44E4-9900-67AC39381F72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0ef8532ab913d21915c217c8864843924e816b","datavalue":{"value":{"entity-type":"item","numeric-id":2954981,"id":"Q2954981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$77458107-6856-4D65-A7D8-073F107F7E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f566977cc9493b741188ad56779efb152825f5","datavalue":{"value":{"entity-type":"item","numeric-id":968563,"id":"Q968563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$72594C75-E5E0-4B00-B9FC-7CE65B3CE540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22c812000a0b99f075047577d3305cc32ee5894","datavalue":{"value":{"entity-type":"item","numeric-id":2481543,"id":"Q2481543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$03F6E43E-C678-47F8-A2A8-B931E5EE07D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314574122ee9c043d9fad7fb2cf03f05c2ccca53","datavalue":{"value":{"entity-type":"item","numeric-id":1908349,"id":"Q1908349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$19E242B5-004A-4261-8D47-14D1D47C5F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464b4dd0849e507fdfa2e4d688bf778c01ec4856","datavalue":{"value":{"entity-type":"item","numeric-id":1775891,"id":"Q1775891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$2424639D-4629-45CA-8EEF-EFC86D428754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$A224AA66-9441-4DC3-9714-0313F6F6FF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1543a6d9030474a2d21021a96f6fd782e1dd1a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1167537,"id":"Q1167537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$678CB0FF-5612-4B64-BB67-E71720CEBD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$9DBA6C2B-05AB-451E-8F81-C21F3E865E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$5CCABA60-3AB3-4EA5-ACEB-84ABE98198DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390476e09120c30154050fe826807090d88096ca","datavalue":{"value":{"entity-type":"item","numeric-id":987394,"id":"Q987394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$01DCECA2-7868-4D5F-BAEF-7E8ED5944F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6120a8e3812d3efe1dcafbf27b40deab03845b","datavalue":{"value":{"entity-type":"item","numeric-id":290253,"id":"Q290253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$9F9CCB19-61B1-4597-914E-D9CF2C433F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf77b975112e69c8aad871a3bcb3e7a70b80a19","datavalue":{"value":{"entity-type":"item","numeric-id":4258578,"id":"Q4258578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$4AC4CA57-D99C-4983-8C02-3E5D1B8770C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f553c8f59e26fce96d1650fc4043c8eb59e4441","datavalue":{"value":{"entity-type":"item","numeric-id":3854626,"id":"Q3854626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515682$71037393-2346-435E-A12F-66018D5F8B9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41bc408e43f08b0fe5344cf3fb3cdea57f003ea6","datavalue":{"value":"10.1016/J.IC.2016.06.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515682$429A2B1B-42F7-487A-A3B9-CBF7E8316142","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39a3db96dd4c0f80849c1f72801fc528cfec354","datavalue":{"value":{"entity-type":"item","numeric-id":5404919,"id":"Q5404919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdec23cfa52ca8ec9751b8c9f50153e6939b1a8f","datavalue":{"value":{"amount":"+0.9759209156036376","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":"Q515682$7551C2CC-A020-40D4-8847-F16BDDBC5330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c786313cafd54cab59446ecc70225d04da3f676","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2888414e1a959cc434ded2ccb0572c06557bc85","datavalue":{"value":{"amount":"+0.8255936503410339","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":"Q515682$FD5FE951-E2EB-4F9A-BB21-9BA55762A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99abbf996b01c3753029ef90c670b6a080dcb66a","datavalue":{"value":{"entity-type":"item","numeric-id":4694758,"id":"Q4694758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffff79e08ef43443c32fdcf8045a77fe8ae74f66","datavalue":{"value":{"amount":"+0.7862049341201782","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":"Q515682$4D1EB20E-FC59-47A7-AF37-1D85BE35C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b9bf6e6e3ff7d69a81953c73acc1ad4f711c68","datavalue":{"value":{"entity-type":"item","numeric-id":4730785,"id":"Q4730785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffff79e08ef43443c32fdcf8045a77fe8ae74f66","datavalue":{"value":{"amount":"+0.7862049341201782","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":"Q515682$EB7DEE23-AAA2-4CE1-9791-80E07CBCB6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20205717776e879d13ba6bea38bb20593aebe14","datavalue":{"value":{"entity-type":"item","numeric-id":722204,"id":"Q722204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069e835dfe75da5b1bb2d731afac91be1e5f7390","datavalue":{"value":{"amount":"+0.7839450836181641","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":"Q515682$4246F763-680F-40A4-8664-765A963055CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CNF and DNF succinct graph encodings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CNF_and_DNF_succinct_graph_encodings"}}}}}