{"entities":{"Q42233":{"pageid":42289,"ns":120,"title":"Item:Q42233","lastrevid":56370864,"modified":"2026-03-13T06:16:55Z","type":"item","id":"Q42233","labels":{"en":{"language":"en","value":"Z3str3"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5588e0a5f763981f8db951165da97160ec8e49b1","datavalue":{"value":"30519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42233$9EAF7C98-7A49-46FD-92CC-7E14583A5BB8","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":"Q42233$FAAB4997-0F5B-48CD-B576-6D93804AF8D3","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"b2ba146198c03bfa95f89dbb14448607d9236da1","datavalue":{"value":"https://github.com/z3prover/z3","type":"string"},"datatype":"url"},"type":"statement","id":"Q42233$4672DCD0-BA66-4060-8E96-8CA33160522A","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"cc5da2b3f4a247f2b6cdf87905d7ce2904e5576f","datavalue":{"value":"swh:1:snp:5bf2138358b1c86c2d7904aff6ea525a7c5e7cc5","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"b2ba146198c03bfa95f89dbb14448607d9236da1","datavalue":{"value":"https://github.com/z3prover/z3","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"f49101e197a350917396933307b5d717d74e6128","datavalue":{"value":{"time":"+2024-03-21T00: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":"Q42233$E69EF33D-7981-4FAE-849A-3ED41703627E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"741bb9e799ca1b73b2865406a26a84c1dd85d78d","datavalue":{"value":"https://sites.google.com/site/z3strsolver/","type":"string"},"datatype":"url"},"type":"statement","id":"Q42233$A22EC2D1-A55B-4782-A1B9-9077B1FD8550","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42233$75E8D269-E6AB-4010-AB2E-D5D797DF02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42233$E5E1EA37-971E-48BD-B550-4244DD544D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42233$A8DEEAA7-666A-45B0-AB79-72120896D058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42233$41A22BD1-2303-4B06-93BE-8974AA3A8E37","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$38357B4F-965D-47B2-93FB-71991BCA36DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28c3661cef8b55fa7be63e1e0776c729123a0926","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$124AC63E-3195-4518-9EDE-8746BFFF816B","rank":"normal"},{"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":"Q42233$85F66213-044C-407F-9C7B-AFAC614263CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc2348e1cf1948acaf152531b1616ff290d1df00","datavalue":{"value":{"entity-type":"item","numeric-id":33653,"id":"Q33653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$D6208CB0-ECFA-4520-986C-978C35EC06B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a9b7ff65c330fe62adbd2e4288e9cd9400d33496","datavalue":{"value":{"entity-type":"item","numeric-id":31322,"id":"Q31322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$341843BC-1B0B-4BD4-9677-24A2A76A5B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5247ba9a052d386d4e1d5a38ec16ab40efe1765d","datavalue":{"value":{"entity-type":"item","numeric-id":21145,"id":"Q21145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$C9C20E66-7B03-4F1D-AF76-B9D0A011B316","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":"Q42233$21185D14-9B52-4C62-9D50-2AB9C5DFFFD8","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":"Q42233$C74980CD-2926-42DA-A2BD-F23AD5A771F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d5493a6690a2f9833eee378e6907607209c550d","datavalue":{"value":{"entity-type":"item","numeric-id":1349735,"id":"Q1349735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$157E69B9-1122-4CB1-8A82-11D13E1D6A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d5dd3d0260e599109c03b9b870bcc9733f733241","datavalue":{"value":{"entity-type":"item","numeric-id":33658,"id":"Q33658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$F5DEEFB9-0DA0-4FE8-AAEA-CA029D2ACA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"066035908e5fb10787397e43d58d012cd73f4927","datavalue":{"value":{"entity-type":"item","numeric-id":31320,"id":"Q31320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$CB464613-9136-4EDE-8FFE-20A9CF5AD6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b55c4ffbad849e767b8a080306bb5429f1a3c04","datavalue":{"value":{"entity-type":"item","numeric-id":42234,"id":"Q42234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$6175187C-43C5-4B51-9DA6-25792D5F6E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"94333c41369e860f8294d1d0881694ed9a58a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":33657,"id":"Q33657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$AB367F44-E925-40C0-94A1-C30564308F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b69dfd6aefb61fb62fe0c9bd5bda4c391dd9a94","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42233$5F4F8AB5-7D62-4966-BD65-C31498AF20F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Z3str3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Z3str3"}}}}}