{"entities":{"Q55819":{"pageid":55875,"ns":120,"title":"Item:Q55819","lastrevid":56424513,"modified":"2026-03-13T06:32:06Z","type":"item","id":"Q55819","labels":{"en":{"language":"en","value":"cnf2aig"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2c1a73083719270c6e627f8a0d644f8038ed12ba","datavalue":{"value":"40119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55819$2EE25C62-F20B-4B96-8219-C019CA03EEB0","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"2226c8a01373227c09e290035767e3a06df1da32","datavalue":{"value":{"entity-type":"item","numeric-id":3453230,"id":"Q3453230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$7F32A8F8-15EE-40D2-9B9A-468C732687C0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$D83B8AD3-7096-45EB-9025-597B8E3A5C73","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"daa11df393085ef9a9c1e9b31a8a1053e676b207","datavalue":{"value":"https://github.com/Udopia/clauses/blob/master/cnf2aig.cc","type":"string"},"datatype":"url"},"type":"statement","id":"Q55819$637E28A9-162A-445F-B5F2-AB626A396E42","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"cb7ff236a8073994f0c1cd11061adaba5546b1a6","datavalue":{"value":"https://link.springer.com/chapter/10.1007%2F978-3-319-24318-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q55819$186B9951-E952-437D-BDC8-F108F88E2ACA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55819$80659733-7040-4590-93ED-EE8BEF673F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55819$8105C388-D70A-471B-A35A-3D5456BE4B96","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"96b21d88302f381ebecf19008b3e1df95aa2e41f","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$928068D5-5CB8-400C-B8BE-6D3F1C502F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$C94F07C8-49AD-4C07-B031-418FCBB4101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c30b2e0c43b8f9aeaf80b30666f4b29edfc427f7","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$243FC7A4-DE8C-4C2D-B1E2-D4113B354860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"484e36242dc96945449b6ca92530c4cea45d08b2","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$1DF96F9F-2730-4DA9-AA62-A7F6A6302807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"34f787b5e9c2ec499d5c884456806945585615ea","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$1F0604E4-4DE2-42B2-81E8-A23C82191696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cebaec1d4c924093d2802f1f6f7d4f984bb7f11","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$7CDB48B5-9E7A-4012-B0C8-FD6BD6E36622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8f5139b998955f1a9faa7781616fdecdb814c039","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$34E183B6-4C22-4274-B4C2-2CB49E063773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"25861b7988e9965aede716e4eb5ff238811e985d","datavalue":{"value":{"entity-type":"item","numeric-id":37205,"id":"Q37205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$872D3727-AA9B-431E-82C9-B8DDA0E7B96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e28a7dc622b7d530f6322756bb2503578815887a","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$3622B14D-2070-40D4-A24F-52CE94F62048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b5650198b811a1697c61d244d3db65bea8636746","datavalue":{"value":{"entity-type":"item","numeric-id":30405,"id":"Q30405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$E420AE77-F6BD-4406-9C64-572E3F82673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b19fd8e419fa1cf231481feba8263b917fc1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$7AC1E78B-D4D7-4366-B627-EA71D40B580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0a1440c031278a8f69dbeeb43ad704028362b37","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$F5FD7390-5C49-4D5B-A240-930EF4536E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4dea354d88e288ce7769cf94e094255b1c32a60","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$9B2B8992-1674-49DF-84CB-FBB98FEC4AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"db3fe41c602e2f7d50776ce88118a123b7a3a930","datavalue":{"value":{"entity-type":"item","numeric-id":25492,"id":"Q25492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$22D695BE-09F6-4622-8D74-DD18C88A22B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2b5abf97856e6cb14daa646095346ca168e052","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$0EE5F01C-A385-4200-9058-DFFC0485107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$F2E2C07D-0471-40C8-9740-55D8A9DCB61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d1fbfc19f44379302f87f91b9bef44f706f7015","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$31DA551D-0C85-438B-88A7-FBC66486EFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e56b4210f9eb9fb996262d2c19e48a8b293ba056","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$B0DA76D3-1612-47A4-9969-4A01051DA66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d9a241ea62c19819316dc010d562c6313b3903b","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55819$F112D000-9359-4894-8EA5-CBBA9CE75293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cnf2aig","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cnf2aig"}}}}}