{"entities":{"Q43078":{"pageid":43134,"ns":120,"title":"Item:Q43078","lastrevid":56388126,"modified":"2026-03-13T06:23:06Z","type":"item","id":"Q43078","labels":{"en":{"language":"en","value":"Reluplex"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"9ece24d84c8cfccb748b19f769ce15daadb18fa0","datavalue":{"value":"31367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$1B314107-AAD6-4C39-863F-E23D0153D1BC","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":"Q43078$A740AA49-3A1F-4E24-9298-B77D3E168A99","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"e97e820eda1c521433c56726fa9cdf151c8bee81","datavalue":{"value":"https://github.com/guykatzz/ReluplexCav2017","type":"string"},"datatype":"url"},"type":"statement","id":"Q43078$AA48C4B7-57AC-4F4D-BDD8-40A20ED2462B","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"b1efcc1a9890ebc48069fa58342cb99fcd072e1c","datavalue":{"value":"swh:1:snp:45df0d59ed20a7382c55d45519b538583d52a1c1","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"e97e820eda1c521433c56726fa9cdf151c8bee81","datavalue":{"value":"https://github.com/guykatzz/ReluplexCav2017","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"ab8c493dfedbd531d524dbc3d5d44b176b7f200c","datavalue":{"value":{"time":"+2021-06-02T00: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":"Q43078$1A1FC6CE-A35C-4787-AA50-575FB753DB52","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a003768b779202da37f1bc1f9a83538ada646bf8","datavalue":{"value":"https://arxiv.org/abs/1702.01135","type":"string"},"datatype":"url"},"type":"statement","id":"Q43078$9A9911D5-011B-4034-A4CC-7222E6F74F2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$A1E07B21-FB5F-477B-948E-65350AAF7130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$E8C5F851-35E4-4E9C-ABE2-10B903951775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$D1825C25-9992-479B-AC89-7539E25F2068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$C660259F-3749-49EB-88AC-B9F7CEC3B0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$665FF7A4-C03B-449B-BB28-FFFF2B132C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$7BF0C06D-3DD2-4325-B710-98A46CD98AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$E0A8ADAB-8868-4B04-8276-50A5DEAF8F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$E7237F34-81F4-49AB-8D5A-8CC5EAAFBEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8e231fdb33dcfe6258f2f5ff03e1ecfad18bd7","datavalue":{"value":"49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$8427D2C5-6321-4787-8DA2-9A7899F712F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$6D825A45-F4DA-41A5-BEC7-183703E8E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$DF4CE88B-945F-4E08-9C2C-DBA6E6AB3B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$3BE42060-33E4-47FD-B9ED-ECEC3EE2F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43078$1D89CAEE-969A-4245-BD0C-D488F37B0B0B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60d5b957f38cd972a444d1b9310ddd08274b2418","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$D5E1DE96-44A7-4ED9-8368-DBD455DF2BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eb5bd2777888eeeb057786f45c94aa3e6d7482ae","datavalue":{"value":{"entity-type":"item","numeric-id":43079,"id":"Q43079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$438438C6-3E79-43D3-81CF-E4111AB3AA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc794d34d26fffbf018f6594229d1a80d0bae01a","datavalue":{"value":{"entity-type":"item","numeric-id":44250,"id":"Q44250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$E353F76F-9153-4F9C-AF6B-4D4812369285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b1d54cab7b7c9812bfe440460dfadfed8258d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":24783,"id":"Q24783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$308E9496-095C-4CF2-A6D6-3E1EF2858113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8538e7edb5814bed39cd0b655e7261f88db36dd2","datavalue":{"value":{"entity-type":"item","numeric-id":32917,"id":"Q32917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$6B2A0E0B-63AC-4963-AD7E-87DEDE2B56AD","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":"Q43078$B4A7FB5D-8A9A-4009-B61B-9F89A5B26919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4cbe3f1486e7fafad1f60dce21451bcc64856c3d","datavalue":{"value":{"entity-type":"item","numeric-id":54222,"id":"Q54222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$9CFA0F09-496E-4256-B2E1-EA5BC7B507D7","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":"Q43078$FFCBF268-F2A9-412E-9CD9-B405F57CA2DB","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":"Q43078$47767FDF-570C-495B-A469-1A279ACC0A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"431b7a1240ccc9454b902da6710822999137a52a","datavalue":{"value":{"entity-type":"item","numeric-id":32750,"id":"Q32750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$8AABEFFC-C6B4-42FA-9237-86BE8F26BA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e57f7bc0e4c0eac204b97559bfce96e771694d5","datavalue":{"value":{"entity-type":"item","numeric-id":1351987,"id":"Q1351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$5BCF598C-68A4-4717-BFA0-86F5219403FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"997aed9b5feef629a0362cd7cf7b65d867afcdce","datavalue":{"value":{"entity-type":"item","numeric-id":27063,"id":"Q27063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$7C153279-AE52-4A3C-A92B-9C994B992152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4002bd093a4497ae8f2c5f3f4f67a19ce23fcb5","datavalue":{"value":{"entity-type":"item","numeric-id":29713,"id":"Q29713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$2F6C6FA0-F69C-49FF-AF80-0FEB286DA11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac7d6d6325c4d82b9aa3989106d3451d258bafe7","datavalue":{"value":{"entity-type":"item","numeric-id":1353188,"id":"Q1353188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$B31FFBD1-99E8-443C-9A8C-B87CC8D7811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cb7ba316072b7ae753bbf5163b8eb84a0e06617a","datavalue":{"value":{"entity-type":"item","numeric-id":1351995,"id":"Q1351995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$9196F0E7-C1BD-4B28-8E06-062CF8E03CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24e2ddd4f98dba8c7ab0bfe2b04022d0bcf1cb44","datavalue":{"value":{"entity-type":"item","numeric-id":27219,"id":"Q27219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$5E975DC3-5C17-4DB7-92AE-D37C276A9DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bfeea106e88c35f66ad5ec1b4606328449f829e2","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$814C9DCB-958B-41F6-B45A-5C9BFE14A206","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":"Q43078$12D79CF1-9BDC-4736-9CBE-5B3A28288BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43078$04C9754F-4EBA-4925-B5FA-D9FA2EDE1906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reluplex","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reluplex"}}}}}