{"entities":{"Q22798":{"pageid":22854,"ns":120,"title":"Item:Q22798","lastrevid":56254026,"modified":"2026-03-13T05:46:29Z","type":"item","id":"Q22798","labels":{"en":{"language":"en","value":"tawSolver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5c27aec514f64c6e0829676a7221cb18fb352866","datavalue":{"value":"10844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22798$6CA3A672-4F46-437E-9FC7-5ECA959D4E29","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":"Q22798$6A548048-125D-4DA9-B9CC-5E6FD6DC6A58","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"f118589019e24fed9fce43d0bd5ac4a5af7c7cdc","datavalue":{"value":"https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp","type":"string"},"datatype":"url"},"type":"statement","id":"Q22798$F13FDDC9-D80C-4E7B-BDF5-63C73F5E626B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"36faccaee75671e8e71b62dcdacd1aaff2945af3","datavalue":{"value":"https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp","type":"string"},"datatype":"url"},"type":"statement","id":"Q22798$8305BDD0-F40F-4D98-A231-50A1F00ACEBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22798$928BD27B-709E-4F7A-8F9E-F4F5319E4BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22798$09980421-781E-4722-A8EC-20C21FCB873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22798$2E77CB89-D700-4A07-B0CE-AB060D49586A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22798$F8449BFB-B328-4315-9C4A-B110BE56879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22798$783E180A-0E2F-456A-9F2E-45CF1F4CB83D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"63f9139693977f2bccf8f9d905939366e810751d","datavalue":{"value":{"entity-type":"item","numeric-id":25557,"id":"Q25557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$5269B096-8350-4CFC-A208-83801A7E4DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"83c21ae18b90fa5902790b225f160a2011f629fc","datavalue":{"value":{"entity-type":"item","numeric-id":25556,"id":"Q25556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$E30EBDFD-2192-437B-B667-3EF576C05778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$724CE129-41A7-4D55-B497-52BACB92EA9F","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":"Q22798$10778910-E4D6-4D97-9436-3037CDDCF46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9eb436930ab1f6d235b354c651322b547341064b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$2ABDE759-47AD-483E-BC71-6685B2E4607F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f29c9b1edecb5ae8b8679151a51782e90d9480e","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$D69DD0DA-B0B1-4F6C-9767-BC3753104E22","rank":"normal"},{"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":"Q22798$DD4D2C44-4D00-4409-839A-ED2FEA5976E7","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":"Q22798$7CDA11ED-956B-420C-A5A6-54205833ECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3702312e6d97a69409579d346ce761c95d0ff2a9","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$39A394DF-3B10-4255-9B8F-FF4A15CDE3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74146d974647db251c3f3c72d131d04acf8668f6","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$0C82C5BD-E466-4B9B-8EF7-E212918144E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b10fe6e3bc5c69c332148e78e867385b231b7ea8","datavalue":{"value":{"entity-type":"item","numeric-id":44021,"id":"Q44021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$34BD38AE-14A8-4516-9DE6-9EB4D458AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e37d0f84800bb830b88b7439acea2ef09d22c165","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$1C6EAD31-10C7-4AC9-A29D-93313C1A9584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eb63a901bd741be63eca4eaafeb4b55ec7e2c2de","datavalue":{"value":{"entity-type":"item","numeric-id":45704,"id":"Q45704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$1591D445-D114-4A2F-9767-7F58DD5CB7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"36dacd5e0ce6f221a0ecf90efa0c07a5dd9417fd","datavalue":{"value":{"entity-type":"item","numeric-id":19839,"id":"Q19839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$CAB82F47-A6E6-4C72-9DFE-CDED2422F0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"095872c1e8412c6ab0e3851100ddb22b954f588a","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$D6620874-2870-4DF7-95F5-85833175DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$05968CC8-4690-4C63-B0B5-4A4376DA7B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac68e7002869796d40a9d334a16d34837c47813b","datavalue":{"value":{"entity-type":"item","numeric-id":57095,"id":"Q57095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$F538C07D-F5F8-41B4-BCA4-9A77D8880730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"65507bd09d5a09cfde7e62c5aed8eb47bf8d82a1","datavalue":{"value":{"entity-type":"item","numeric-id":16311,"id":"Q16311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$11C630C6-2529-4052-A296-209EE3B002BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$EE47582C-FDF5-46A2-B063-C14774B57651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22798$1A8F6D53-4BEF-4F5E-960A-C330D78F060A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TawSolver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TawSolver"}}}}}