{"entities":{"Q31448":{"pageid":31504,"ns":120,"title":"Item:Q31448","lastrevid":56312940,"modified":"2026-03-13T06:02:05Z","type":"item","id":"Q31448","labels":{"en":{"language":"en","value":"OMEGA"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"df6e6cc7831d6bf1a96bfb1b211126071dcfde2c","datavalue":{"value":"19623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31448$08527006-DFF1-44E3-97B6-D7F9639FA2C4","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"67d5445450f94f4f50afda353a2498688fcc6235","datavalue":{"value":{"entity-type":"item","numeric-id":5234706,"id":"Q5234706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$78FF0451-E81A-4F9B-859D-2EC83A188121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"e071ebd4c7049688a37cd11d4f9fe5eac5b9ceb0","datavalue":{"value":{"entity-type":"item","numeric-id":4809051,"id":"Q4809051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$AC2D223D-57F0-4107-B2AD-A9EF89386BF8","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":"Q31448$F9DCF73B-32B5-4A55-8566-A359D53FA433","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"527e3b4f1e7068f0ab3ec1c8dba8586f02cac26d","datavalue":{"value":"https://github.com/theoremprover-museum/OMEGA","type":"string"},"datatype":"url"},"type":"statement","id":"Q31448$C62493B9-6FAC-49C0-9F37-45ED88C24BF1","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"f86c6c0efdeac37bf2c31cf84485dd39bab1f832","datavalue":{"value":"swh:1:snp:2689c595cca0434306ff4b74ff650a0525bbb051","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"527e3b4f1e7068f0ab3ec1c8dba8586f02cac26d","datavalue":{"value":"https://github.com/theoremprover-museum/OMEGA","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"849d4a92a6ebef56d8ffcba84b58bafa815d1a18","datavalue":{"value":{"time":"+2016-09-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":"Q31448$501CB609-1DF6-4098-BFC4-6F5685728A2E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9a86c15474c11de47616c3375e25d095cec4bb51","datavalue":{"value":"https://github.com/theoremprover-museum/OMEGA","type":"string"},"datatype":"url"},"type":"statement","id":"Q31448$5F020281-6692-4B05-B22A-A80D44DED3D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31448$7DA3F44C-36A8-4E4E-A5D8-789C421ECBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31448$4350AC5B-9922-47F6-9DBC-6339E5D7BBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31448$B7193A54-96BB-4CDE-AEE2-F1D3A163EB64","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$0B3E5325-34C7-4363-8FD2-262A70E13283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0b41f199822415452382cf24ab43b640f6230392","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$01C97C2C-F371-4C48-9B2E-907B648CF208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b46a92ecf181aaf6ba95c111143d4a257b6e3e1","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$E383F550-91EF-4550-A932-28054DC57113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$6714D7C3-3361-41DC-9AF9-16515D593CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$D5743896-ABA6-4576-B4D7-BC82B7BB3B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd05dab30c21de991e40748ca479b92dc016c05c","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$D26F2220-6DB1-4CF9-A78B-E0553637916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c10e98bea446aa1e4048ef443ada0dbbd873647d","datavalue":{"value":{"entity-type":"item","numeric-id":31451,"id":"Q31451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$614C94F6-23B4-46D3-8BA4-113F6F7CF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"975514f3fa631dd50016c1eeb9241c2d1e6e482a","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$BEE578CB-E104-4152-8A1E-562FE8D159B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$846E8A60-9B97-41E2-94BF-97F5C1D68D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dba8f46160c097d0f690e4d211ed58c0699c252e","datavalue":{"value":{"entity-type":"item","numeric-id":20724,"id":"Q20724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$199E87CC-139E-44A2-81BE-6567041F6520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a507159175b71dbd96200bab8251f1b66b13c5e","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$8F26DC67-566A-4C89-8F33-9EEDE1721E5D","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":"Q31448$581ABFF5-F4EF-45A2-A0C9-7B5098BE7EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$E89FCDFE-BC22-4625-A18B-2C0CBF38BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$75F7A522-5E1D-44DC-814A-A36A563C8B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b0b962c0c3267764266c7cdd69400b78b40460e","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$B7C79AAE-5677-47D2-A4EC-ACB724492D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$0FB1D3F7-9FBC-4761-A025-1BFE0AC1F5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8a133a0279bde2b619b9ec84e280b4e0609e0ea0","datavalue":{"value":{"entity-type":"item","numeric-id":33154,"id":"Q33154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$3E4F590E-A3FA-40B6-90E1-CFD3084F5776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1ece71852a4be0746148a72e07dca4daa7762dd","datavalue":{"value":{"entity-type":"item","numeric-id":33152,"id":"Q33152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$4B8065F1-C5D9-492E-AC5B-54CAC87FEC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1e2fce2e10201b3c6b09fd7c4b197e542c3092a","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$213229D6-6D1C-430B-BCCD-85BAC11142FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f15637eac19fd6a7e0fa4e1cf9f2abb0c4458ad3","datavalue":{"value":{"entity-type":"item","numeric-id":22255,"id":"Q22255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31448$70B31CD6-23FF-495A-B8FA-72DB111B99B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OMEGA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/OMEGA"}}}}}