{"entities":{"Q6864409":{"pageid":20683069,"ns":120,"title":"Item:Q6864409","lastrevid":75188155,"modified":"2026-04-18T03:43:46Z","type":"item","id":"Q6864409","labels":{"en":{"language":"en","value":"Quantum circuit mapping based on incremental and parallel SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8154423"}},"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":"Q6864409$04526E8C-9756-418B-B2F4-9ED8EECE2C56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ecc3cbc8e066d2b3d010660c2f29c61a2fd590","datavalue":{"value":{"text":"Quantum circuit mapping based on incremental and parallel SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6864409$63EAA555-8C17-4D45-BF18-E259CC31EFD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc4f89ae96f19fc28fa0edfa440e714c94f80cb","datavalue":{"value":"10.4230/LIPICS.SAT.2024.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864409$AFCAD717-539A-40D3-A8B3-E7AA0AA9EF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38a9d56765c2f8aa17b7f72e3f8eb014413ce9ce","datavalue":{"value":{"entity-type":"item","numeric-id":2628910,"id":"Q2628910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864409$7A72F0D6-A412-420F-96EB-B87E26F27690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58a86f98a497d514b16198f7343523f09ceee48d","datavalue":{"value":{"entity-type":"item","numeric-id":2410348,"id":"Q2410348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864409$B54D13A5-1D34-4588-B106-1C6A3650F85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5cde5b918ff921582ec788f03f8856e52a7daa0","datavalue":{"value":{"entity-type":"item","numeric-id":6864408,"id":"Q6864408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864409$E993A7DF-0B3D-4D8B-A53D-12687340F1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864409$F088B90F-2B2E-445D-8848-28D6186D0C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864409$7347C5A2-AA0D-4C35-8BCC-EE7D3B5999B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed61ba796b09d24654b6e63953d4a9b1b60a75c7","datavalue":{"value":{"time":"+2026-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6864409$24F2538A-CFDC-4C5B-B586-9604FFF1163F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864409$A0061B6B-B167-4DD3-85AE-C12D62AB0F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864409$A0DCDEE7-55DB-4E59-A950-F495B47AE538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864409$ABAFA43D-A869-49B2-A767-7C727496582E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dccec821e34ff88b2421465c70772947981dd85","datavalue":{"value":"8154423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864409$F8C8FD94-562E-4127-B52F-5E51F6A8A56E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864409$EF2C4309-230F-4C69-AA9A-B97ADEDF6A4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864409$4B341B18-E243-4C07-BDA7-96E131474D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15df49d2264db910982985ba2c5e0927db14531","datavalue":{"value":"quantum compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864409$DA382D4F-3E62-4342-9382-7D2AD606717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864409$03495635-19B1-4E78-BC21-AA7EA7DAA0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0e832a5bde61949515b8772264d6296609056f","datavalue":{"value":"incremental solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864409$C8216C00-CA76-4B4C-A602-5CD12D42C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"723fe61ef3357cf48f7dfc77881c993348bc12a5","datavalue":{"value":"parallel solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864409$E4013B25-58DD-47C6-8AD5-23ADBD87AD72","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":"Q6864409$D72E1AF5-6989-4320-9BC5-D49994DA5CAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum circuit mapping based on incremental and parallel SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_circuit_mapping_based_on_incremental_and_parallel_SAT_solving"}}}}}