{"entities":{"Q55823":{"pageid":55879,"ns":120,"title":"Item:Q55823","lastrevid":56424720,"modified":"2026-03-13T06:32:11Z","type":"item","id":"Q55823","labels":{"en":{"language":"en","value":"NLocalSAT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"47890d20c813ec1cfbd634d7faefe46d25a3e2ed","datavalue":{"value":"40123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55823$4D9186FF-BE35-46A5-9B1F-43E6DC2B85EA","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":"Q55823$D4B4675A-169B-410F-A560-3769CEB29EFE","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"ea682556a42f5eba037ddd06b538b0b71801a932","datavalue":{"value":"https://github.com/myxxxsquared/NLocalSAT","type":"string"},"datatype":"url"},"type":"statement","id":"Q55823$F889B6A4-E0EC-4674-89A7-15645105C83C","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"76d02a432a36baf5988e7a191423dd17da05e6c6","datavalue":{"value":"swh:1:snp:81e8c47b6d300c4129676b64cd9ca04d57e130ff","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"ea682556a42f5eba037ddd06b538b0b71801a932","datavalue":{"value":"https://github.com/myxxxsquared/NLocalSAT","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"fdb6fecba20a52b0ede40d22d051f5fd66e4d792","datavalue":{"value":{"time":"+2024-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q55823$5787C368-8E34-4194-8B96-264D12C9E4FA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c9e95f4ef1093728300a437f084b7f80fd0fda58","datavalue":{"value":"https://arxiv.org/abs/2001.09398","type":"string"},"datatype":"url"},"type":"statement","id":"Q55823$334C35A0-5945-4CBC-9CC8-002733949C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55823$D4DEEA93-7B27-4978-BA33-5F65E6443D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55823$441C713A-EF7C-45EF-80FA-ECCE5BE6CEE9","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":"Q55823$4BBC5B94-D434-44AE-B965-92F6F2FDB18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c745e6e9f1aa85e3cd23892b6791e77cd6583967","datavalue":{"value":{"entity-type":"item","numeric-id":55822,"id":"Q55822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$877FC4C0-5DED-4113-83B5-86129C70D673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6c073dc082722634375a91d63c70996976c6e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$D897B724-0495-46A0-B904-496C07C0FDDC","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":"Q55823$311FDCC5-A51D-44BE-84B5-0E9DC66067B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"15ea5956f2f02755d29f75db4a932d0a941d29b7","datavalue":{"value":{"entity-type":"item","numeric-id":26704,"id":"Q26704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$AA94C5B0-4B25-4C42-9057-6C40CABE4E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"214950ad2a9d48c518e206f765d07759b8425856","datavalue":{"value":{"entity-type":"item","numeric-id":16903,"id":"Q16903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$81E410B9-5EDC-49C5-AEE0-61C59B824FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f39f1ee89f4c11e977a612e70a19c05440e3c67","datavalue":{"value":{"entity-type":"item","numeric-id":17032,"id":"Q17032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$93B37031-6FA0-411A-BB65-A6E44CF34E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8caa9f4838465d1b1a7422ea2a51dcb80c534e08","datavalue":{"value":{"entity-type":"item","numeric-id":1352844,"id":"Q1352844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$C065120F-355C-412D-9430-B78D8D23EA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9ce41118dbe81960b60f95f1ee1e1f2d6c6a7db","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$8722ECEE-C3A8-485A-A317-6635D739DDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d862cad93867555e29a057cd585ae5e17cfb02c6","datavalue":{"value":{"entity-type":"item","numeric-id":29711,"id":"Q29711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$F46A2481-0763-4AC0-B753-A70B0740B512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8789aa43c6a21e5c5fd5bd5a9fa7b7b990ebec0f","datavalue":{"value":{"entity-type":"item","numeric-id":5972724,"id":"Q5972724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$C675DC07-8A9C-4FE6-BDA0-5444B7F8859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a332fc55e9521016815a2f7c98ef1792a9bb7cec","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$D0BE9954-05EA-49B4-A60C-71B30976347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"59d0129601fb37041fcd9f4cc2289c044f93d967","datavalue":{"value":{"entity-type":"item","numeric-id":16254,"id":"Q16254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$0C51697A-20F1-40E4-B921-CD0FAB1F0AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b6bec3a8351dbce5924a420d3a0d7774d8d4b10b","datavalue":{"value":{"entity-type":"item","numeric-id":45106,"id":"Q45106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$40B06368-AFDE-46AC-BA4D-8C05E6B2439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"98230b2ef3d17ad17dd3bb9c2fd463ab36ddc7fb","datavalue":{"value":{"entity-type":"item","numeric-id":34000,"id":"Q34000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$953EC3C9-4555-43D0-900A-6ACBD8879DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"94390ac89e4d4c845deb141245e321941bbf1114","datavalue":{"value":{"entity-type":"item","numeric-id":36533,"id":"Q36533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$917DDAD7-9C4D-43EE-9D2D-24E60C796C39","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":"Q55823$61656E86-876F-4598-A73D-94AB669C2AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"827838c16ff6199af0328a8495e277b76839ef42","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$53673C8D-C13C-4BD9-9808-F9936B7DD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"22bcc122372963f9b59fb988669ed36464a2c046","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55823$08521529-DB70-4AE6-9FBB-70068FF1E99F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NLocalSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NLocalSAT"}}}}}