{"entities":{"Q30364":{"pageid":30420,"ns":120,"title":"Item:Q30364","lastrevid":56305488,"modified":"2026-03-13T06:00:12Z","type":"item","id":"Q30364","labels":{"en":{"language":"en","value":"JavaSMT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f798fdf850bac847d264e95c6953a70860935598","datavalue":{"value":"18525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30364$350498AC-84D3-40E3-9B75-AC01D45A2575","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":"Q30364$7A880540-8F7F-4D25-A882-50841D3CB1CD","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"b4e370e165c450fd1346700d876ed65cf0488753","datavalue":{"value":"https://github.com/sosy-lab/java-smt","type":"string"},"datatype":"url"},"type":"statement","id":"Q30364$ABC141C8-BA7A-4E12-BBC5-A91A5D0C0C1E","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"35ec0902d4ae0742c94ab43f6f49807fa9ccfe5e","datavalue":{"value":"swh:1:snp:5482de5f0e3d9fe3b37d72c7ebd748e06ddc718a","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"b4e370e165c450fd1346700d876ed65cf0488753","datavalue":{"value":"https://github.com/sosy-lab/java-smt","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"502850434f5dc1dadd7e446b08564267b747676d","datavalue":{"value":{"time":"+2024-03-12T00: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":"Q30364$654E9463-7EF7-4485-AC23-D6D4A954FA3D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d7b15c7143ee3862e8e90823413722027a76f785","datavalue":{"value":"https://github.com/sosy-lab/java-smt","type":"string"},"datatype":"url"},"type":"statement","id":"Q30364$51A42EBD-7FA8-4710-8507-D487880C0C1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30364$574EC328-5C9A-45D6-B493-95FEEDF04026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30364$DA5DE4F9-99AC-46FB-B017-2B9BE1CAFBF6","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$EE02793E-6E15-4532-BE9D-A6881932ABD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$B284F1A1-3D1D-4DEE-9C66-053CA2DC5FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d94e0f5ee53fe1381b129e5bdaa9726bb5454fbf","datavalue":{"value":{"entity-type":"item","numeric-id":25013,"id":"Q25013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$E698B8CC-C889-4491-94D2-73308378F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$418A209C-7FF2-4194-8886-32F8DBEDCF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd36a79f21586dcde663ed7a88c99f00a8d8c485","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$12C6A0ED-70D4-4793-AC1C-6D44DD7E6297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6eeb0e8d0af57bbb343e2e878281b5dc6acc3784","datavalue":{"value":{"entity-type":"item","numeric-id":54038,"id":"Q54038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$E402344F-CAA3-4FEC-A9E8-5CEA67C5EB1E","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":"Q30364$B7AE7FE1-6262-4334-AA68-4EA18D6ED146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fbe6523a1b1eb18752d46b22b6d17bbb4257a2c9","datavalue":{"value":{"entity-type":"item","numeric-id":13198,"id":"Q13198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$66306D44-4E8C-48A2-BB24-4FB6AB2D6B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66168feda9e1784d76b7dcbc6fb97af98c98b137","datavalue":{"value":{"entity-type":"item","numeric-id":1353554,"id":"Q1353554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$59E9A53D-D50E-4E76-B52A-05325E75FC9B","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":"Q30364$E3501DFA-F3D8-4E4B-BB2D-06E9F609CE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b1b20d9ecd4423905e281121812901f67b36eec2","datavalue":{"value":{"entity-type":"item","numeric-id":25895,"id":"Q25895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$6D879889-E689-43F9-AD3B-31E2D4244A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b2e3bbb5705880b5ed8c07507722ac1386ea1aa1","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$9CA2029B-F089-484A-83DE-DCE8755B986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea618b60335bcf55a6f317c9a6084c6406b2043b","datavalue":{"value":{"entity-type":"item","numeric-id":27980,"id":"Q27980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30364$D55EAF51-1E8F-41E3-B62A-DA4DE6FD7747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"JavaSMT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/JavaSMT"}}}}}