{"entities":{"Q6089500":{"pageid":13223807,"ns":120,"title":"Item:Q6089500","lastrevid":98662595,"modified":"2026-06-05T18:11:18Z","type":"item","id":"Q6089500","labels":{"en":{"language":"en","value":"Quantum symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7763944"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$169E3498-6CFB-4428-926B-3D1FA5462495","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01651c318e1f1d4ddb50b5db9611e9e34ba9fd25","datavalue":{"value":{"text":"Quantum symbolic execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6089500$5D5D3168-693D-42F2-97E7-6A5AF44744CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a35f561d0936669a320f067afb4f0e42f9e2f53","datavalue":{"value":{"entity-type":"item","numeric-id":264592,"id":"Q264592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$568F9849-4DE3-4A11-9041-B80FF5910A35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0cf32823be09de1295dffc9c4e992799b891134","datavalue":{"value":{"time":"+2023-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6089500$BC5A3076-34A0-4FA8-B81D-F389CE3F44A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d534818b8f2bfd083354f2a61e6e262ecdeb0df","datavalue":{"value":"https://arxiv.org/abs/2209.08582","type":"string"},"datatype":"url"},"type":"statement","id":"Q6089500$1C546C01-5937-4E5B-81B5-81CDA96EE52D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6089500$5D7CA056-960C-4F73-8660-50043908766F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38772b699656fdb1fd6f741ade6010a34789a1ce","datavalue":{"value":"7763944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6089500$6B0A18AC-2B8E-4A5E-A359-119B677C8FF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4edb8776b15251255b21053beef6ca3191c2e74","datavalue":{"value":"quantum symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6089500$FA551D84-6ED2-46AB-98E5-25ABA7124760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db198fb03714f7509761511f943bf3ac43e22b7f","datavalue":{"value":"test cases","type":"string"},"datatype":"string"},"type":"statement","id":"Q6089500$801F5EC3-B43A-4CC8-8B3C-6F51AB85C4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ed48173d399d592df15d8efe86da513cc2ec7c","datavalue":{"value":"quantum program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6089500$2008A6CC-1B2F-4322-B1C5-AB281A1832CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900cbbd7e91210c6806782d5be6a87cdfecfc0f2","datavalue":{"value":"quantum program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6089500$14901A38-B490-4FDB-91B5-98FD5024D310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6089500$AD9FD120-CB90-431C-9837-2B3C81ACFF3B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$1E746936-09A6-4DD0-9F2F-3C5E40A11E95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6221295b6d4cb5031e3982de6b55edd376d713bd","datavalue":{"value":"W4387803990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6089500$16906839-2F82-45FF-A2D2-7F1D33D37817","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a445fad0dc0985d7853860e848fa4592ae7f51","datavalue":{"value":{"entity-type":"item","numeric-id":2706552,"id":"Q2706552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$5FD0B86A-542C-464B-98DA-19B6BE341B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb0e21d10e801ea12d979c3a962f47f6ce135e8","datavalue":{"value":{"entity-type":"item","numeric-id":6055345,"id":"Q6055345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$7DC19246-9865-47DC-98CB-D51CA72B784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028cf0e7aff7a6be5caf13bae7dcf6d4212ebd3b","datavalue":{"value":{"entity-type":"item","numeric-id":2331073,"id":"Q2331073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$7FE6329F-59A9-47D2-A815-5B926E6452AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$CEC350DF-D802-4520-9E87-CDBFCE4F1288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6089500$4B4D6D56-78EB-4AD1-841C-35A7EE0476D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dccac5f206fb09aa13e935258d5a230ef2cab1f","datavalue":{"value":"10.1007/S11128-023-04144-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6089500$EE3F3E6D-1531-4DA9-B90E-C0D3E98E7980","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3e5aa2f243d7e5738bc8e7a75771b6c3f8748b","datavalue":{"value":{"entity-type":"item","numeric-id":6174534,"id":"Q6174534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b95930d6d0dbf6f9fe7021de7b7b2f6105950c","datavalue":{"value":{"amount":"+0.7735093235969543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6089500$0BB6FDE9-6872-4E7B-96F3-32F7EA518996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807479a434725e5c8c7e9a91ebdbdea35f4f0ea","datavalue":{"value":{"entity-type":"item","numeric-id":667515,"id":"Q667515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56dc7f1d35ccaf4440d75b6500664c6a251290c1","datavalue":{"value":{"amount":"+0.7254005670547485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6089500$83DFCA83-887E-4F09-BA22-112D86B6C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604857cf924a0ac17c6f0fbe8c10a04bb96bb7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3186602,"id":"Q3186602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d149321d6c7da1b98a8944f132c6147f45d775","datavalue":{"value":{"amount":"+0.7143151760101318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6089500$6C5E91F7-D7E0-4915-98A2-C64B196C8D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c154aca5e69a14c803fe294ad60c88eb230e373","datavalue":{"value":{"entity-type":"item","numeric-id":2686227,"id":"Q2686227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5020475970f5d5386ff7d991f21c461528ef59f","datavalue":{"value":{"amount":"+0.71206134557724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6089500$D694C0C7-621A-4E24-9199-CF35786628E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum symbolic execution","badges":[]}}}}}